runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/uns-trendy-0.0002/small3.cudf.cudf_set.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/cudf_set/small3.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/small3.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.04 1.05 1.01 5/34 11672 /proc/meminfo: memFree=870616/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=6676 CPUtime=0.01 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 227 0 0 0 1 0 0 0 25 0 1 0 527760863 6836224 169 1283457024 134512640 140938604 4292765888 18446744073709551615 140190608 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 1669 169 127 1569 0 77 0 [startup+0.195117 s] /proc/loadavg: 1.04 1.05 1.01 5/34 11672 /proc/meminfo: memFree=870616/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=14424 CPUtime=0.19 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 2261 0 1 0 18 1 0 0 25 0 1 0 527760863 14770176 1633 1283457024 134512640 140938604 4292765888 18446744073709551615 137314920 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3606 1633 649 1569 0 1660 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16816 [startup+0.205106 s] /proc/loadavg: 1.04 1.05 1.01 5/34 11672 /proc/meminfo: memFree=870616/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=14424 CPUtime=0.2 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 2271 0 1 0 19 1 0 0 25 0 1 0 527760863 14770176 1643 1283457024 134512640 140938604 4292765888 18446744073709551615 135322335 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3606 1643 649 1569 0 1660 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 16816 [startup+0.305135 s] /proc/loadavg: 1.04 1.05 1.01 5/34 11672 /proc/meminfo: memFree=870616/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=14460 CPUtime=0.3 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 2552 0 1 0 29 1 0 0 25 0 1 0 527760863 14807040 1657 1283457024 134512640 140938604 4292765888 18446744073709551615 134950263 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3615 1657 656 1569 0 1669 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 16852 [startup+0.705236 s] /proc/loadavg: 1.04 1.05 1.01 5/34 11672 /proc/meminfo: memFree=870616/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=13552 CPUtime=0.7 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 2883 0 1 0 69 1 0 0 25 0 1 0 527760863 13877248 1618 1283457024 134512640 140938604 4292765888 18446744073709551615 135091347 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3388 1618 664 1569 0 1442 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 15944 [startup+1.50824 s] /proc/loadavg: 1.04 1.05 1.01 2/35 11673 /proc/meminfo: memFree=866112/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=13552 CPUtime=1.44 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 3483 0 6 0 143 1 0 0 25 0 1 0 527760863 13877248 1636 1283457024 134512640 140938604 4292765888 18446744073709551615 135091314 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3388 1636 682 1569 0 1442 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 15944 [startup+3.10846 s] /proc/loadavg: 1.04 1.05 1.01 2/35 11673 /proc/meminfo: memFree=865996/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=13252 CPUtime=3.03 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 3598 0 10 0 302 1 0 0 25 0 1 0 527760863 13570048 1639 1283457024 134512640 140938604 4292765888 18446744073709551615 137529052 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3313 1639 710 1569 0 1367 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 15644 [startup+6.30884 s] /proc/loadavg: 1.04 1.05 1.01 2/35 11673 /proc/meminfo: memFree=865996/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=13252 CPUtime=6.23 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 3598 0 10 0 622 1 0 0 25 0 1 0 527760863 13570048 1639 1283457024 134512640 140938604 4292765888 18446744073709551615 135319809 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3313 1639 710 1569 0 1367 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 15644 [startup+12.7096 s] /proc/loadavg: 1.03 1.05 1.01 2/35 11673 /proc/meminfo: memFree=865996/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=13252 CPUtime=12.63 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 3601 0 10 0 1261 2 0 0 25 0 1 0 527760863 13570048 1642 1283457024 134512640 140938604 4292765888 18446744073709551615 135322361 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 3313 1642 713 1569 0 1367 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 15644 [startup+25.5024 s] /proc/loadavg: 1.03 1.04 1.01 2/35 11673 /proc/meminfo: memFree=862028/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18796 CPUtime=25.42 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 9348 0 11 0 2534 8 0 0 25 0 1 0 527760863 19247104 2634 1283457024 134512640 140938604 4292765888 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4699 2634 724 1569 0 2753 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 21188 [startup+51.1081 s] /proc/loadavg: 1.02 1.04 1.01 2/35 11673 /proc/meminfo: memFree=862152/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18796 CPUtime=51.03 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 16209 0 11 0 5091 12 0 0 25 0 1 0 527760863 19247104 2636 1283457024 134512640 140938604 4292765888 18446744073709551615 135083822 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4699 2636 724 1569 0 2753 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 21188 [startup+102.31 s] /proc/loadavg: 1.00 1.03 1.00 2/35 11673 /proc/meminfo: memFree=862152/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=102.23 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 25840 0 11 0 10203 20 0 0 25 0 1 0 527760863 19349504 2660 1283457024 134512640 140938604 4292765888 18446744073709551615 135304415 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2660 724 1569 0 2778 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 21288 [startup+162.312 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=862028/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=162.16 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 38456 0 11 0 16188 28 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 135077797 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 737 1569 0 2778 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 21288 Solver just ended. Dumping a history of the last processes samples [startup+179.206 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=862028/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=179.01 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 41002 0 11 0 17870 31 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 135083904 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 736 1569 0 2778 0 Current children cumulated CPU time (s) 179.01 Current children cumulated vsize (KiB) 21288 [startup+192.009 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=861904/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=191.8 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 43147 0 11 0 19149 31 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 137543452 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 736 1569 0 2778 0 Current children cumulated CPU time (s) 191.8 Current children cumulated vsize (KiB) 21288 [startup+195.209 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=861904/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=195.01 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 43194 0 11 0 19469 32 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 135322341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 736 1569 0 2778 0 Current children cumulated CPU time (s) 195.01 Current children cumulated vsize (KiB) 21288 [startup+198.411 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=861904/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=198.2 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 43720 0 11 0 19788 32 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 135079294 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 736 1569 0 2778 0 Current children cumulated CPU time (s) 198.2 Current children cumulated vsize (KiB) 21288 [startup+200.011 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=861904/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=199.79 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 44218 0 11 0 19947 32 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 135084053 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 736 1569 0 2778 0 Current children cumulated CPU time (s) 199.79 Current children cumulated vsize (KiB) 21288 [startup+200.812 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=861904/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=18896 CPUtime=200.59 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 44440 0 11 0 20027 32 0 0 25 0 1 0 527760863 19349504 2674 1283457024 134512640 140938604 4292765888 18446744073709551615 137543672 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 4724 2674 736 1569 0 2778 0 Current children cumulated CPU time (s) 200.59 Current children cumulated vsize (KiB) 21288 [startup+201.212 s] /proc/loadavg: 1.00 1.02 1.00 2/35 11673 /proc/meminfo: memFree=861904/1048576 swapFree=2094596/2097144 [pid=11671] ppid=11670 vsize=2392 CPUtime=0 /proc/11671/stat : 11671 (uns-trendy-0.00) S 11670 11671 3447 769 3447 4194304 363 0 0 0 0 0 0 0 23 0 1 0 527760863 2449408 261 1283457024 134512640 135191968 4292323472 18446744073709551615 4158740894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11671/statm: 598 261 221 166 0 30 0 [pid=11672] ppid=11671 vsize=11364 CPUtime=200.99 /proc/11672/stat : 11672 (cudfsolver-stat) R 11671 11671 3447 769 3447 4202496 44860 0 11 0 20066 33 0 0 25 0 1 0 527760863 11636736 1298 1283457024 134512640 140938604 4292765888 18446744073709551615 137923692 0 0 0 0 0 0 0 17 0 0 0 0 /proc/11672/statm: 2841 1298 740 1569 0 895 0 Current children cumulated CPU time (s) 200.99 Current children cumulated vsize (KiB) 13756 Child status: 0 Real time (s): 201.24 CPU time (s): 201.021 CPU user time (s): 200.689 CPU system time (s): 0.33202 CPU usage (%): 99.8912 Max. virtual memory (cumulated for all children) (KiB): 23860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 200.689 system time used= 0.33202 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45591 page faults= 11 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 2491 runsolver used 0 second user time and 0 second system time The end