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/201108241238/packup2mp4tr-0.6/rand491.cudf.s-e.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/incremental/s-e/rand491.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand491.cudf.s-e.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.03 1.00 5/34 15924
/proc/meminfo: memFree=540240/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=4108 CPUtime=0
/proc/15924/stat : 15924 (packup) R 15923 15923 1511 34817 1511 4202496 503 0 0 0 0 0 0 0 25 0 1 0 3695906 4206592 432 1283457024 134512640 134752139 4294213952 18446744073709551615 4157022947 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/15924/statm: 1027 432 286 59 0 191 0

[startup+0.153422 s]
/proc/loadavg: 1.04 1.03 1.00 5/34 15924
/proc/meminfo: memFree=540240/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=9152 CPUtime=0.14
/proc/15924/stat : 15924 (packup) R 15923 15923 1511 34817 1511 4202496 1790 0 0 0 14 0 0 0 25 0 1 0 3695906 9371648 1719 1283457024 134512640 134752139 4294213952 18446744073709551615 134681765 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/15924/statm: 2288 1719 286 59 0 1452 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 11716

[startup+0.203431 s]
/proc/loadavg: 1.04 1.03 1.00 5/34 15924
/proc/meminfo: memFree=540240/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=10736 CPUtime=0.2
/proc/15924/stat : 15924 (packup) R 15923 15923 1511 34817 1511 4202496 2189 0 0 0 18 2 0 0 25 0 1 0 3695906 10993664 2118 1283457024 134512640 134752139 4294213952 18446744073709551615 134681805 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/15924/statm: 2684 2118 286 59 0 1848 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13300

[startup+0.313456 s]
/proc/loadavg: 1.04 1.03 1.00 5/34 15924
/proc/meminfo: memFree=540240/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=14072 CPUtime=0.3
/proc/15924/stat : 15924 (packup) R 15923 15923 1511 34817 1511 4202496 3004 0 0 0 28 2 0 0 25 0 1 0 3695906 14409728 2933 1283457024 134512640 134752139 4294213952 18446744073709551615 134681556 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/15924/statm: 3518 2933 286 59 0 2682 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16636

[startup+0.713504 s]
/proc/loadavg: 1.04 1.03 1.00 5/34 15924
/proc/meminfo: memFree=540240/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30196 CPUtime=0.7
/proc/15924/stat : 15924 (packup) R 15923 15923 1511 34817 1511 4202496 7171 0 0 0 67 3 0 0 25 0 1 0 3695906 30920704 6872 1283457024 134512640 134752139 4294213952 18446744073709551615 4158757112 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/15924/statm: 7549 6872 322 59 0 6713 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 32760

[startup+1.51362 s]
/proc/loadavg: 1.04 1.03 1.00 2/37 15927
/proc/meminfo: memFree=507088/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30196 CPUtime=0.86
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7176 0 0 0 71 15 0 0 25 0 1 0 3695906 30920704 6875 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7549 6875 325 59 0 6713 0
[pid=15926] ppid=15924 vsize=1676 CPUtime=0
/proc/15926/stat : 15926 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 25 0 1 0 3695993 1716224 124 1283457024 134512640 134593992 4293331216 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15926/statm: 419 124 108 20 0 46 0
[pid=15927] ppid=15926 vsize=19256 CPUtime=0.64
/proc/15927/stat : 15927 (minisatp_32) R 15926 15923 1511 34817 1511 4202496 3945 0 0 0 64 0 0 0 25 0 1 0 3695994 19718144 3523 1283457024 134512640 135413687 4292980960 18446744073709551615 134711385 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15927/statm: 4814 3523 83 220 0 4592 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 53692

[startup+3.11381 s]
/proc/loadavg: 1.04 1.03 1.00 2/39 15931
/proc/meminfo: memFree=505328/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30200 CPUtime=1.9
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7244 5727 0 0 78 27 80 5 18 0 1 0 3695906 30924800 6889 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7550 6889 333 59 0 6714 0
[pid=15930] ppid=15924 vsize=1668 CPUtime=0
/proc/15930/stat : 15930 (sh) S 15924 15923 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 3696097 1708032 123 1283457024 134512640 134593992 4292489280 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15930/statm: 417 123 108 20 0 44 0
[pid=15931] ppid=15930 vsize=43708 CPUtime=1.19
/proc/15931/stat : 15931 (minisatp_32) R 15930 15923 1511 34817 1511 4202496 13053 0 0 0 111 8 0 0 24 0 1 0 3696098 44756992 9954 1283457024 134512640 135413687 4293054704 18446744073709551615 134948381 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15931/statm: 10927 9954 107 220 0 10705 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78140

[startup+6.30663 s]
/proc/loadavg: 1.04 1.03 1.00 2/39 15933
/proc/meminfo: memFree=473460/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30204 CPUtime=3.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7319 20878 0 0 84 41 230 14 18 0 1 0 3695906 30928896 6896 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7551 6896 333 59 0 6715 0
[pid=15932] ppid=15924 vsize=1672 CPUtime=0
/proc/15932/stat : 15932 (sh) S 15924 15923 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 18 0 1 0 3696277 1712128 124 1283457024 134512640 134593992 4288480368 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15932/statm: 418 124 108 20 0 45 0
[pid=15933] ppid=15932 vsize=96748 CPUtime=2.57
/proc/15933/stat : 15933 (minisatp_32) R 15932 15923 1511 34817 1511 4202496 29795 0 1 0 236 21 0 0 25 0 1 0 3696278 99069952 21595 1283457024 134512640 135413687 4291432288 18446744073709551615 134971271 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15933/statm: 24187 21595 108 220 0 23965 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 131188

[startup+12.7086 s]
/proc/loadavg: 1.04 1.03 1.00 2/39 15936
/proc/meminfo: memFree=402664/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30208 CPUtime=7.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7384 55357 0 1 94 52 581 42 18 0 1 0 3695906 30932992 6897 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7552 6897 333 59 0 6716 0
[pid=15934] ppid=15924 vsize=1672 CPUtime=0
/proc/15934/stat : 15934 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 3696678 1712128 124 1283457024 134512640 134593992 4289135888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15934/statm: 418 124 108 20 0 45 0
[pid=15935] ppid=15934 vsize=150040 CPUtime=4.96
/proc/15935/stat : 15935 (minisatp_32) R 15934 15923 1511 34817 1511 4202496 48077 0 0 0 478 18 0 0 25 0 1 0 3696679 153640960 32339 1283457024 134512640 135413687 4290772672 18446744073709551615 134962843 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15935/statm: 37510 32339 108 220 0 37288 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 184484

Solver just ended. Dumping a history of the last processes samples

[startup+12.8087 s]
/proc/loadavg: 1.04 1.03 1.00 2/39 15936
/proc/meminfo: memFree=402664/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30208 CPUtime=7.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7384 55357 0 1 94 52 581 42 18 0 1 0 3695906 30932992 6897 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7552 6897 333 59 0 6716 0
[pid=15934] ppid=15924 vsize=1672 CPUtime=0
/proc/15934/stat : 15934 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 3696678 1712128 124 1283457024 134512640 134593992 4289135888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15934/statm: 418 124 108 20 0 45 0
[pid=15935] ppid=15934 vsize=152564 CPUtime=5.06
/proc/15935/stat : 15935 (minisatp_32) R 15934 15923 1511 34817 1511 4202496 48894 0 0 0 488 18 0 0 25 0 1 0 3696679 156225536 33129 1283457024 134512640 135413687 4290772672 18446744073709551615 134689870 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15935/statm: 38141 33129 108 220 0 37919 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 187008

[startup+14.4093 s]
/proc/loadavg: 1.03 1.03 1.00 2/39 15936
/proc/meminfo: memFree=349344/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30208 CPUtime=7.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7384 55357 0 1 94 52 581 42 18 0 1 0 3695906 30932992 6897 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7552 6897 333 59 0 6716 0
[pid=15934] ppid=15924 vsize=1672 CPUtime=0
/proc/15934/stat : 15934 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 3696678 1712128 124 1283457024 134512640 134593992 4289135888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15934/statm: 418 124 108 20 0 45 0
[pid=15935] ppid=15934 vsize=182964 CPUtime=6.66
/proc/15935/stat : 15935 (minisatp_32) R 15934 15923 1511 34817 1511 4202496 61967 0 0 0 642 24 0 0 25 0 1 0 3696679 187355136 41230 1283457024 134512640 135413687 4290772672 18446744073709551615 134698776 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15935/statm: 45741 41230 108 220 0 45519 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 217408

[startup+15.2095 s]
/proc/loadavg: 1.03 1.03 1.00 2/39 15936
/proc/meminfo: memFree=349344/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30208 CPUtime=7.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7384 55357 0 1 94 52 581 42 18 0 1 0 3695906 30932992 6897 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7552 6897 333 59 0 6716 0
[pid=15934] ppid=15924 vsize=1672 CPUtime=0
/proc/15934/stat : 15934 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 3696678 1712128 124 1283457024 134512640 134593992 4289135888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15934/statm: 418 124 108 20 0 45 0
[pid=15935] ppid=15934 vsize=184460 CPUtime=7.46
/proc/15935/stat : 15935 (minisatp_32) R 15934 15923 1511 34817 1511 4202496 64719 0 0 0 720 26 0 0 25 0 1 0 3696679 188887040 40816 1283457024 134512640 135413687 4290772672 18446744073709551615 134649555 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15935/statm: 46115 40816 110 220 0 45893 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 218904

[startup+15.6096 s]
/proc/loadavg: 1.03 1.03 1.00 2/39 15936
/proc/meminfo: memFree=347732/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30208 CPUtime=7.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7384 55357 0 1 94 52 581 42 18 0 1 0 3695906 30932992 6897 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7552 6897 333 59 0 6716 0
[pid=15934] ppid=15924 vsize=1672 CPUtime=0
/proc/15934/stat : 15934 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 3696678 1712128 124 1283457024 134512640 134593992 4289135888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15934/statm: 418 124 108 20 0 45 0
[pid=15935] ppid=15934 vsize=184460 CPUtime=7.86
/proc/15935/stat : 15935 (minisatp_32) R 15934 15923 1511 34817 1511 4202496 64988 0 0 0 760 26 0 0 25 0 1 0 3696679 188887040 40820 1283457024 134512640 135413687 4290772672 18446744073709551615 134649868 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15935/statm: 46115 40820 110 220 0 45893 0
Current children cumulated CPU time (s) 15.55
Current children cumulated vsize (KiB) 218904

[startup+15.8108 s]
/proc/loadavg: 1.03 1.03 1.00 2/39 15936
/proc/meminfo: memFree=347732/1048576 swapFree=0/0
[pid=15923] ppid=15922 vsize=2564 CPUtime=0
/proc/15923/stat : 15923 (packup2mp4tr-0.) S 15922 15923 1511 34817 1511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 3695906 2625536 272 1283457024 134512640 135304128 4294087008 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/15923/statm: 641 272 233 194 0 28 0
[pid=15924] ppid=15923 vsize=30208 CPUtime=7.69
/proc/15924/stat : 15924 (packup) S 15923 15923 1511 34817 1511 4202496 7384 55357 0 1 94 52 581 42 18 0 1 0 3695906 30932992 6897 1283457024 134512640 134752139 4294213952 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/15924/statm: 7552 6897 333 59 0 6716 0
[pid=15934] ppid=15924 vsize=1672 CPUtime=0
/proc/15934/stat : 15934 (sh) S 15924 15923 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 3696678 1712128 124 1283457024 134512640 134593992 4289135888 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/15934/statm: 418 124 108 20 0 45 0
[pid=15935] ppid=15934 vsize=175524 CPUtime=8.06
/proc/15935/stat : 15935 (minisatp_32) R 15934 15923 1511 34817 1511 4202496 64998 0 0 0 778 28 0 0 25 0 1 0 3696679 179736576 37807 1283457024 134512640 135413687 4290772672 18446744073709551615 134992593 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/15935/statm: 43881 37807 118 220 0 43659 0
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (KiB) 209968

Child status: 0
Real time (s): 15.9078
CPU time (s): 15.857
CPU user time (s): 14.6129
CPU system time (s): 1.24408
CPU usage (%): 99.6808
Max. virtual memory (cumulated for all children) (KiB): 237008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.6129
system time used= 1.24408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134487
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 247

runsolver used 0 second user time and 0.012 second system time

The end