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-3707514-1338141545/watcher-3707514-1338141545 -o /tmp/evaluation-result-3707514-1338141545/solver-3707514-1338141545 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707514-1338141545.opb
running on 4 cores: 0,2,4,6
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: 1.92 2.00 1.99 2/174 5493
/proc/meminfo: memFree=28931400/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=27808 CPUtime=0 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 280280502 28475392 289 33554432000 134512640 137138936 4288025344 4288023856 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 6952 289 182 642 0 2091 0
[startup+0.0732611 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 5493
/proc/meminfo: memFree=28931400/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=31732 CPUtime=0.06 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 1520 0 0 0 6 0 0 0 20 0 1 0 280280502 32493568 1473 33554432000 134512640 137138936 4288025344 4288023592 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 7933 1473 405 642 0 3072 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31732
[startup+0.100231 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 5493
/proc/meminfo: memFree=28931400/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=32980 CPUtime=0.09 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 1945 0 0 0 9 0 0 0 20 0 1 0 280280502 33771520 1898 33554432000 134512640 137138936 4288025344 4288023752 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 8245 1899 489 642 0 3384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32980
[startup+0.300215 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 5493
/proc/meminfo: memFree=28931400/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=43996 CPUtime=0.29 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 5375 0 0 0 29 0 0 0 20 0 1 0 280280502 45051904 5209 33554432000 134512640 137138936 4288025344 4288024112 134519371 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 10999 5210 1124 642 0 6138 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43996
[startup+0.7002 s]
/proc/loadavg: 1.92 2.00 1.99 2/174 5493
/proc/meminfo: memFree=28931400/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=64800 CPUtime=0.69 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 12059 0 0 0 68 1 0 0 20 0 1 0 280280502 66355200 11590 33554432000 134512640 137138936 4288025344 4288023812 136525315 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 16200 11591 2345 642 0 11339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64800
[startup+1.50023 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 5494
/proc/meminfo: memFree=28880428/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=116180 CPUtime=1.49 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 30648 0 0 0 145 4 0 0 20 0 1 0 280280502 118968320 25649 33554432000 134512640 137138936 4288025344 4286006512 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 29045 25649 183 642 0 28401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116180
[startup+3.10023 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 5494
/proc/meminfo: memFree=28828604/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=116576 CPUtime=3.08 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 30793 0 0 0 304 4 0 0 20 0 1 0 280280502 119373824 25794 33554432000 134512640 137138936 4288025344 4286006736 134566244 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5493/statm: 29144 25794 183 642 0 28500 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 116576
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 1.99 3/175 5494
/proc/meminfo: memFree=28828108/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=116708 CPUtime=6.28 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 30824 0 0 0 624 4 0 0 20 0 1 0 280280502 119508992 25825 33554432000 134512640 137138936 4288025344 4286006736 134566117 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 29177 25825 183 642 0 28533 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 116708
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 5494
/proc/meminfo: memFree=28826260/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=117632 CPUtime=12.69 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 31088 0 0 0 1264 5 0 0 20 0 1 0 280280502 120455168 26089 33554432000 134512640 137138936 4288025344 4286006736 134566231 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 29408 26089 183 642 0 28764 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 117632
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 5494
/proc/meminfo: memFree=28815156/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=117632 CPUtime=25.48 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 31088 0 0 0 2543 5 0 0 20 0 1 0 280280502 120455168 26089 33554432000 134512640 137138936 4288025344 4286006512 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 29408 26089 183 642 0 28764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 117632
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5494
/proc/meminfo: memFree=28796184/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=117632 CPUtime=51.08 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 31088 0 0 0 5102 6 0 0 20 0 1 0 280280502 120455168 26089 33554432000 134512640 137138936 4288025344 4286006700 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 29408 26089 183 642 0 28764 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117632
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 5498
/proc/meminfo: memFree=28794936/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=118688 CPUtime=102.27 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 31381 0 0 0 10220 7 0 0 20 0 1 0 280280502 121536512 26382 33554432000 134512640 137138936 4288025344 4286006512 134543015 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 29672 26382 183 642 0 29028 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 118688
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5521
/proc/meminfo: memFree=28794432/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=119084 CPUtime=162.26 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 31463 0 0 0 16218 8 0 0 20 0 1 0 280280502 121942016 26464 33554432000 134512640 137138936 4288025344 4286006700 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 29771 26464 183 642 0 29127 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 119084
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5521
/proc/meminfo: memFree=28792072/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=122512 CPUtime=222.23 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 2989758 0 0 0 21839 384 0 0 20 0 1 0 280280502 125452288 27353 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 30628 27353 192 642 0 29984 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122512
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5521
/proc/meminfo: memFree=28763864/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=146284 CPUtime=282.19 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 6182087 0 0 0 27396 823 0 0 20 0 1 0 280280502 149794816 34065 33554432000 134512640 137138936 4288025344 4288024008 136574033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 36571 34065 192 642 0 35927 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 146284
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 5521
/proc/meminfo: memFree=28708808/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=165908 CPUtime=342.18 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 12167910 0 0 0 32658 1560 0 0 20 0 1 0 280280502 169889792 38669 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 41477 38697 192 642 0 40833 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 165908
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/175 5522
/proc/meminfo: memFree=28658340/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=190416 CPUtime=402.18 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 16124955 0 0 0 38150 2068 0 0 20 0 1 0 280280502 194985984 45081 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 47604 45081 192 642 0 46960 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 190416
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 5522
/proc/meminfo: memFree=28634588/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=212012 CPUtime=462.17 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 19269026 0 0 0 43710 2507 0 0 20 0 1 0 280280502 217100288 50492 33554432000 134512640 137138936 4288025344 4288024460 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 53003 50492 192 642 0 52359 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 212012
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5522
/proc/meminfo: memFree=28618724/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=229884 CPUtime=522.15 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 21667709 0 0 0 49368 2847 0 0 20 0 1 0 280280502 235401216 54714 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 57471 54737 192 642 0 56827 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 229884
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5522
/proc/meminfo: memFree=28601468/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=244852 CPUtime=582.13 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 23681883 0 0 0 55062 3151 0 0 20 0 1 0 280280502 250728448 58691 33554432000 134512640 137138936 4288025344 4288024272 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 61213 58691 192 642 0 60569 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 244852
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28484280/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=362644 CPUtime=1062 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 39461259 0 0 0 100726 5474 0 0 20 0 1 0 280280502 371347456 88137 33554432000 134512640 137138936 4288025344 4288024272 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 90661 88137 192 642 0 90017 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 362644
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28473536/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=371252 CPUtime=1121.94 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 40992990 0 0 0 106489 5705 0 0 20 0 1 0 280280502 380162048 90315 33554432000 134512640 137138936 4288025344 4288024272 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 92813 90316 192 642 0 92169 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 371252
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28445512/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=385548 CPUtime=1181.93 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 42930754 0 0 0 112193 6000 0 0 20 0 1 0 280280502 394801152 93888 33554432000 134512640 137138936 4288025344 4288023572 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 96387 93888 192 642 0 95743 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 385548
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5527
/proc/meminfo: memFree=28433236/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=397588 CPUtime=1241.93 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 44668180 0 0 0 117917 6276 0 0 20 0 1 0 280280502 407130112 96827 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 99397 96849 192 642 0 98753 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 397588
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5531
/proc/meminfo: memFree=28422192/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=407916 CPUtime=1301.93 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 46280633 0 0 0 123664 6529 0 0 20 0 1 0 280280502 417705984 99482 33554432000 134512640 137138936 4288025344 4288024008 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 101979 99482 192 642 0 101335 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 407916
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28769420/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=421800 CPUtime=1361.91 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 47800443 0 0 0 129422 6769 0 0 20 0 1 0 280280502 431923200 102806 33554432000 134512640 137138936 4288025344 4288024008 136574033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 105450 102602 192 642 0 104806 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 421800
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28690804/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=432788 CPUtime=1421.91 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 49399516 0 0 0 135181 7010 0 0 20 0 1 0 280280502 443174912 105696 33554432000 134512640 137138936 4288025344 4288024008 136574033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 108197 105696 192 642 0 107553 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 432788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5569
/proc/meminfo: memFree=28620256/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=447472 CPUtime=1481.89 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 51006379 0 0 0 140940 7249 0 0 20 0 1 0 280280502 458211328 109342 33554432000 134512640 137138936 4288025344 4288024272 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 111868 109342 192 642 0 111224 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 447472
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 5570
/proc/meminfo: memFree=28562836/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=458712 CPUtime=1541.88 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 52182410 0 0 0 146757 7431 0 0 20 0 1 0 280280502 469721088 112159 33554432000 134512640 137138936 4288025344 4288024272 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 114678 112159 192 642 0 114034 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 458712
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28498096/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=470484 CPUtime=1601.84 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 53603052 0 0 0 152531 7653 0 0 20 0 1 0 280280502 481775616 115103 33554432000 134512640 137138936 4288025344 4288024272 134542776 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 117621 115103 192 642 0 116977 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 470484
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 5571
/proc/meminfo: memFree=28441492/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=482520 CPUtime=1661.81 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 54804633 0 0 0 158333 7848 0 0 20 0 1 0 280280502 494100480 118128 33554432000 134512640 137138936 4288025344 4288024268 135984570 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 120630 118128 192 642 0 119986 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 482520
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28367492/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=497064 CPUtime=1721.8 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 56048912 0 0 0 164142 8038 0 0 20 0 1 0 280280502 508993536 121748 33554432000 134512640 137138936 4288025344 4288024096 134575311 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 124266 121748 192 642 0 123622 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 497064
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28307752/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=508700 CPUtime=1781.79 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57173722 0 0 0 169960 8219 0 0 20 0 1 0 280280502 520908800 124669 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127175 124669 192 642 0 126531 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 508700
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28302280/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=510020 CPUtime=1791.4 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57368485 0 0 0 170890 8250 0 0 20 0 1 0 280280502 522260480 124663 33554432000 134512640 137138936 4288025344 4288024008 136574033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127176 124663 192 642 0 126532 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 510020
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28299288/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=509368 CPUtime=1794.6 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57481843 0 0 0 171193 8267 0 0 20 0 1 0 280280502 521592832 124845 33554432000 134512640 137138936 4288025344 4288024272 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127342 124845 192 642 0 126698 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 509368
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28297552/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=510028 CPUtime=1796.19 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57505667 0 0 0 171348 8271 0 0 20 0 1 0 280280502 522268672 124981 33554432000 134512640 137138936 4288025344 4288024460 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127507 124981 192 642 0 126863 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 510028
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28296808/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=511344 CPUtime=1796.99 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57515418 0 0 0 171427 8272 0 0 20 0 1 0 280280502 523616256 125192 33554432000 134512640 137138936 4288025344 4288024096 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127836 125216 192 642 0 127192 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 511344
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28296808/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=510028 CPUtime=1797.79 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57528041 0 0 0 171504 8275 0 0 20 0 1 0 280280502 522268672 124983 33554432000 134512640 137138936 4288025344 4288024272 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127507 124983 192 642 0 126863 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 510028
[startup+1798.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28296684/32873852 swapFree=6856/6856
[pid=5493] ppid=5491 vsize=511344 CPUtime=1798 cores=0,2,4,6
/proc/5493/stat : 5493 (bsolo) R 5491 5493 1566 0 -1 4202496 57531666 0 0 0 171524 8276 0 0 20 0 1 0 280280502 523616256 125318 33554432000 134512640 137138936 4288025344 4288024096 134575242 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5493/statm: 127836 125318 192 642 0 127192 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 511344
Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.05
CPU user time (s): 1715.28
CPU system time (s): 82.7704
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 511344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1715.28
system time used= 82.7704
maximum resident set size= 501280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57532326
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= 220
involuntary context switches= 1933
runsolver used 3.2775 second user time and 7.81581 second system time
The end