runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708357-1338245571/watcher-3708357-1338245571 -o /tmp/evaluation-result-3708357-1338245571/solver-3708357-1338245571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708357-1338245571.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 19452
/proc/meminfo: memFree=28873272/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=21596 CPUtime=0 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 290683018 22114304 313 33554432000 134512640 137138936 4292279136 4292277728 134531237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 5399 313 175 642 0 4082 0
[startup+0.032386 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 19452
/proc/meminfo: memFree=28873272/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=16216 CPUtime=0.02 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 1099 0 0 0 2 0 0 0 20 0 1 0 290683018 16605184 1013 33554432000 134512640 137138936 4292279136 4292277664 134517403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 4054 1013 258 642 0 2737 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16216
[startup+0.100319 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 19452
/proc/meminfo: memFree=28873272/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=18576 CPUtime=0.09 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 1928 0 0 0 9 0 0 0 20 0 1 0 290683018 19021824 1763 33554432000 134512640 137138936 4292279136 4292277904 134519766 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 4644 1763 463 642 0 3327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18576
[startup+0.300308 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 19452
/proc/meminfo: memFree=28873272/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27016 CPUtime=0.29 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5093 0 0 0 29 0 0 0 20 0 1 0 290683018 27664384 4198 33554432000 134512640 137138936 4292279136 4291792272 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27016
[startup+0.700252 s]
/proc/loadavg: 2.00 2.01 2.00 3/174 19452
/proc/meminfo: memFree=28873272/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27016 CPUtime=0.68 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5093 0 0 0 68 0 0 0 20 0 1 0 290683018 27664384 4198 33554432000 134512640 137138936 4292279136 4291792412 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27016
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19453
/proc/meminfo: memFree=28857384/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27148 CPUtime=1.49 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5124 0 0 0 148 1 0 0 20 0 1 0 290683018 27799552 4229 33554432000 134512640 137138936 4292279136 4291792224 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27148
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19453
/proc/meminfo: memFree=28857120/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27148 CPUtime=3.09 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5124 0 0 0 308 1 0 0 20 0 1 0 290683018 27799552 4229 33554432000 134512640 137138936 4292279136 4291792224 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27148
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19453
/proc/meminfo: memFree=28856872/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27148 CPUtime=6.28 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5124 0 0 0 627 1 0 0 20 0 1 0 290683018 27799552 4229 33554432000 134512640 137138936 4292279136 4291792272 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27148
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19453
/proc/meminfo: memFree=28854904/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27808 CPUtime=12.69 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5289 0 0 0 1267 2 0 0 20 0 1 0 290683018 28475392 4394 33554432000 134512640 137138936 4292279136 4291792428 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6952 4394 184 642 0 6308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27808
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19453
/proc/meminfo: memFree=28853680/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=27808 CPUtime=25.49 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5289 0 0 0 2546 3 0 0 20 0 1 0 290683018 28475392 4394 33554432000 134512640 137138936 4292279136 4291792224 134541945 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 6952 4394 184 642 0 6308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27808
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19454
/proc/meminfo: memFree=28848708/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=29984 CPUtime=51.08 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 303423 0 0 0 5061 47 0 0 20 0 1 0 290683018 30703616 4907 33554432000 134512640 137138936 4292279136 4292277632 134618206 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 7496 4907 192 642 0 6852 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29984
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19454
/proc/meminfo: memFree=28828912/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=34512 CPUtime=102.28 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 923634 0 0 0 10097 131 0 0 20 0 1 0 290683018 35340288 6141 33554432000 134512640 137138936 4292279136 4292277560 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 8628 6141 192 642 0 7984 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34512
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 19454
/proc/meminfo: memFree=28808076/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=40548 CPUtime=162.26 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 1587994 0 0 0 16002 224 0 0 20 0 1 0 290683018 41521152 7618 33554432000 134512640 137138936 4292279136 4292277616 136500266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 10137 7618 192 642 0 9493 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40548
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19454
/proc/meminfo: memFree=28792104/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=44964 CPUtime=222.24 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 2141532 0 0 0 21927 297 0 0 20 0 1 0 290683018 46043136 8723 33554432000 134512640 137138936 4292279136 4291884760 134600738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 11241 8723 192 642 0 10597 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44964
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 19454
/proc/meminfo: memFree=28780076/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=50568 CPUtime=282.24 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 2771927 0 0 0 27837 387 0 0 20 0 1 0 290683018 51781632 10124 33554432000 134512640 137138936 4292279136 4291884408 134599769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 12642 10124 192 642 0 11998 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 50568
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 19454
/proc/meminfo: memFree=28762136/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=56192 CPUtime=342.22 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 3309663 0 0 0 33760 462 0 0 20 0 1 0 290683018 57540608 11530 33554432000 134512640 137138936 4292279136 4292277632 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 14048 11530 192 642 0 13404 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 56192
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19455
/proc/meminfo: memFree=28748544/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=61404 CPUtime=402.21 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 3926183 0 0 0 39672 549 0 0 20 0 1 0 290683018 62877696 12833 33554432000 134512640 137138936 4292279136 4291884360 134600259 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 15351 12833 192 642 0 14707 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 61404
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19458
/proc/meminfo: memFree=28733036/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=66428 CPUtime=462.21 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 4650081 0 0 0 45576 645 0 0 20 0 1 0 290683018 68022272 14089 33554432000 134512640 137138936 4292279136 4292277652 134551517 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 16607 14089 192 642 0 15963 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 66428
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19481
/proc/meminfo: memFree=28718188/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=71308 CPUtime=522.19 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5290954 0 0 0 51484 735 0 0 20 0 1 0 290683018 73019392 15309 33554432000 134512640 137138936 4292279136 4292277652 134551382 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 17827 15309 192 642 0 17183 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 71308
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19481
/proc/meminfo: memFree=28705224/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=75776 CPUtime=582.17 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 5834894 0 0 0 57403 814 0 0 20 0 1 0 290683018 77594624 16405 33554432000 134512640 137138936 4292279136 4291884608 134603271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 18944 16413 192 642 0 18300 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 75776
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28580732/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=118536 CPUtime=1062.08 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 9494907 0 0 0 104811 1397 0 0 20 0 1 0 290683018 121380864 27116 33554432000 134512640 137138936 4292279136 4292277888 134575368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 29634 27116 192 642 0 28990 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 118536
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19486
/proc/meminfo: memFree=28567596/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=124708 CPUtime=1122.08 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 9956521 0 0 0 110731 1477 0 0 20 0 1 0 290683018 127700992 28659 33554432000 134512640 137138936 4292279136 4292277616 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 31177 28659 192 642 0 30533 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 124708
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19486
/proc/meminfo: memFree=28548500/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=129928 CPUtime=1182.06 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 10343770 0 0 0 116663 1543 0 0 20 0 1 0 290683018 133046272 29964 33554432000 134512640 137138936 4292279136 4292277680 134607604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 32482 29964 192 642 0 31838 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 129928
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19486
/proc/meminfo: memFree=28534812/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=134108 CPUtime=1242.06 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 10758129 0 0 0 122591 1615 0 0 20 0 1 0 290683018 137326592 31041 33554432000 134512640 137138936 4292279136 4292275512 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 33527 31041 192 642 0 32883 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 134108
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19487
/proc/meminfo: memFree=28523008/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=137928 CPUtime=1302.05 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 11172515 0 0 0 128514 1691 0 0 20 0 1 0 290683018 141238272 31996 33554432000 134512640 137138936 4292279136 4292277632 134618378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 34482 31996 192 642 0 33838 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 137928
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 19525
/proc/meminfo: memFree=28654540/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=142952 CPUtime=1362.03 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 11584854 0 0 0 134437 1766 0 0 20 0 1 0 290683018 146382848 33220 33554432000 134512640 137138936 4292279136 4291885720 134600805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 35738 33220 192 642 0 35094 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 142952
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19525
/proc/meminfo: memFree=28650308/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=147148 CPUtime=1422.02 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 12040337 0 0 0 140365 1837 0 0 20 0 1 0 290683018 150679552 34269 33554432000 134512640 137138936 4292279136 4292277632 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 36787 34269 192 642 0 36143 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 147148
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19525
/proc/meminfo: memFree=28645252/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=152364 CPUtime=1482.01 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 12482168 0 0 0 146286 1915 0 0 20 0 1 0 290683018 156020736 35573 33554432000 134512640 137138936 4292279136 4292277560 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 38091 35573 192 642 0 37447 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 152364
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19525
/proc/meminfo: memFree=28629224/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=157744 CPUtime=1542 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 12859389 0 0 0 152218 1982 0 0 20 0 1 0 290683018 161529856 36950 33554432000 134512640 137138936 4292279136 4292277632 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 39436 36950 192 642 0 38792 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 157744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19526
/proc/meminfo: memFree=28628544/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=162428 CPUtime=1601.99 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 13259348 0 0 0 158148 2051 0 0 20 0 1 0 290683018 166326272 38097 33554432000 134512640 137138936 4292279136 4292277632 134618019 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 40607 38097 192 642 0 39963 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 162428
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19529
/proc/meminfo: memFree=28620952/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=166384 CPUtime=1661.97 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 13680704 0 0 0 164069 2128 0 0 20 0 1 0 290683018 170377216 39110 33554432000 134512640 137138936 4292279136 4292278064 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 41596 39110 192 642 0 40952 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 166384
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19529
/proc/meminfo: memFree=28616060/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=171444 CPUtime=1721.96 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14076135 0 0 0 169999 2197 0 0 20 0 1 0 290683018 175558656 40375 33554432000 134512640 137138936 4292279136 4292278064 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 42861 40375 192 642 0 42217 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 171444
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 19529
/proc/meminfo: memFree=28611472/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=176152 CPUtime=1781.96 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14512595 0 0 0 175929 2267 0 0 20 0 1 0 290683018 180379648 41520 33554432000 134512640 137138936 4292279136 4291884328 134600290 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44038 41520 192 642 0 43394 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 176152
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19529
/proc/meminfo: memFree=28611224/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=176888 CPUtime=1791.55 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14590398 0 0 0 176875 2280 0 0 20 0 1 0 290683018 181133312 41641 33554432000 134512640 137138936 4292279136 4291884312 134600987 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44222 41647 192 642 0 43578 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 176888
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19529
/proc/meminfo: memFree=28611100/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=176632 CPUtime=1794.76 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14615801 0 0 0 177191 2285 0 0 20 0 1 0 290683018 180871168 41640 33554432000 134512640 137138936 4292279136 4292277632 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44158 41640 192 642 0 43514 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 176632
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19529
/proc/meminfo: memFree=28614264/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=177816 CPUtime=1796.35 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14628925 0 0 0 177347 2288 0 0 20 0 1 0 290683018 182083584 41936 33554432000 134512640 137138936 4292279136 4292277652 134551445 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44454 41936 192 642 0 43810 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 177816
[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19529
/proc/meminfo: memFree=28611224/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=176248 CPUtime=1797.15 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14635144 0 0 0 177427 2288 0 0 20 0 1 0 290683018 180477952 41576 33554432000 134512640 137138936 4292279136 4292278064 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44062 41576 192 642 0 43418 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 176248
[startup+1797.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19529
/proc/meminfo: memFree=28611224/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=176632 CPUtime=1797.55 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14638535 0 0 0 177466 2289 0 0 20 0 1 0 290683018 180871168 41649 33554432000 134512640 137138936 4292279136 4292277632 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44158 41649 192 642 0 43514 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 176632
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19529
/proc/meminfo: memFree=28611224/32873852 swapFree=6856/6856
[pid=19452] ppid=19450 vsize=177848 CPUtime=1797.95 cores=1,3,5,7
/proc/19452/stat : 19452 (bsolo) R 19450 19452 18303 0 -1 4202496 14642545 0 0 0 177506 2289 0 0 20 0 1 0 290683018 182116352 41944 33554432000 134512640 137138936 4292279136 4292277652 134551422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19452/statm: 44462 41944 192 642 0 43818 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 177848
Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.01
CPU user time (s): 1775.1
CPU system time (s): 22.9015
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 177848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.1
system time used= 22.9015
maximum resident set size= 167828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14642913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 1871
runsolver used 5.59815 second user time and 19.593 second system time
The end