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-3743046-1338792198/watcher-3743046-1338792198 -o /tmp/evaluation-result-3743046-1338792198/solver-3743046-1338792198 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743046-1338792198.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.00 2.00 3/176 32435
/proc/meminfo: memFree=26116980/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=21732 CPUtime=0 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 398 0 0 0 0 0 0 0 20 0 1 0 345345228 22253568 352 33554432000 134512640 137136520 4291167376 4291165896 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 5433 352 186 641 0 4116 0
[startup+0.0838479 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32435
/proc/meminfo: memFree=26116980/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=17848 CPUtime=0.08 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 1668 0 0 0 8 0 0 0 20 0 1 0 345345228 18276352 1582 33554432000 134512640 137136520 4291167376 4291164856 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 4462 1583 420 641 0 3145 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17848
[startup+0.100236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32435
/proc/meminfo: memFree=26116980/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=18568 CPUtime=0.09 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 1910 0 0 0 9 0 0 0 20 0 1 0 345345228 19013632 1745 33554432000 134512640 137136520 4291167376 4291166144 134520243 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 4642 1745 462 641 0 3325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18568
[startup+0.300146 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32435
/proc/meminfo: memFree=26116980/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27012 CPUtime=0.29 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5097 0 0 0 29 0 0 0 20 0 1 0 345345228 27660288 4202 33554432000 134512640 137136520 4291167376 4290680652 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6753 4202 189 641 0 6109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27012
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32435
/proc/meminfo: memFree=26116980/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27012 CPUtime=0.69 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5097 0 0 0 69 0 0 0 20 0 1 0 345345228 27660288 4202 33554432000 134512640 137136520 4291167376 4290680652 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6753 4202 189 641 0 6109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27012
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26100604/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27144 CPUtime=1.49 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5128 0 0 0 148 1 0 0 20 0 1 0 345345228 27795456 4233 33554432000 134512640 137136520 4291167376 4290680464 134544393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27144
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26100208/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27144 CPUtime=3.09 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5128 0 0 0 308 1 0 0 20 0 1 0 345345228 27795456 4233 33554432000 134512640 137136520 4291167376 4290680464 134544272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27144
[startup+6.30012 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26100140/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27144 CPUtime=6.29 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5128 0 0 0 628 1 0 0 20 0 1 0 345345228 27795456 4233 33554432000 134512640 137136520 4291167376 4290680652 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27144
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26097624/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27804 CPUtime=12.69 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5293 0 0 0 1267 2 0 0 20 0 1 0 345345228 28471296 4398 33554432000 134512640 137136520 4291167376 4290680464 134543760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6951 4398 189 641 0 6307 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27804
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26097028/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=27804 CPUtime=25.49 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5293 0 0 0 2546 3 0 0 20 0 1 0 345345228 28471296 4398 33554432000 134512640 137136520 4291167376 4290680652 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 6951 4398 189 641 0 6307 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27804
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26092812/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=30660 CPUtime=51.08 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 324367 0 0 0 5066 42 0 0 20 0 1 0 345345228 31395840 5082 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 7665 5082 198 641 0 7021 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30660
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26082308/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=34352 CPUtime=102.28 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 1036512 0 0 0 10101 127 0 0 20 0 1 0 345345228 35176448 5942 33554432000 134512640 137136520 4291167376 4290772600 134599067 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 8588 5946 198 641 0 7944 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34352
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32436
/proc/meminfo: memFree=26071784/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=39880 CPUtime=162.26 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 1810685 0 0 0 16001 225 0 0 20 0 1 0 345345228 40837120 7387 33554432000 134512640 137136520 4291167376 4290772832 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 9970 7387 198 641 0 9326 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 39880
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32437
/proc/meminfo: memFree=26063824/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=45764 CPUtime=222.24 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 2572927 0 0 0 21907 317 0 0 20 0 1 0 345345228 46862336 8796 33554432000 134512640 137136520 4291167376 4291165904 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 11441 8796 198 641 0 10797 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 45764
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32437
/proc/meminfo: memFree=26056152/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=48660 CPUtime=282.24 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 3444699 0 0 0 27800 424 0 0 20 0 1 0 345345228 49827840 9615 33554432000 134512640 137136520 4291167376 4291166304 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 12165 9615 198 641 0 11521 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 48660
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32437
/proc/meminfo: memFree=26047220/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=54676 CPUtime=342.23 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 4243409 0 0 0 33699 524 0 0 20 0 1 0 345345228 55988224 11087 33554432000 134512640 137136520 4291167376 4291165752 136502850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 13669 11087 198 641 0 13025 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 54676
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32437
/proc/meminfo: memFree=26036712/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=61252 CPUtime=402.21 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 4938697 0 0 0 39603 618 0 0 20 0 1 0 345345228 62722048 12763 33554432000 134512640 137136520 4291167376 4291166304 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 15313 12763 198 641 0 14669 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 61252
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32440
/proc/meminfo: memFree=26028952/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=66516 CPUtime=462.2 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 5726392 0 0 0 45505 715 0 0 20 0 1 0 345345228 68112384 14047 33554432000 134512640 137136520 4291167376 4290772616 134598726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 16629 14047 198 641 0 15985 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 66516
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32441
/proc/meminfo: memFree=26018220/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=70248 CPUtime=522.19 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 6557781 0 0 0 51394 825 0 0 20 0 1 0 345345228 71933952 15012 33554432000 134512640 137136520 4291167376 4291166048 134616813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 17562 15012 198 641 0 16918 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 70248
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32441
/proc/meminfo: memFree=26008220/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=75828 CPUtime=582.18 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 7326196 0 0 0 57295 923 0 0 20 0 1 0 345345228 77647872 16375 33554432000 134512640 137136520 4291167376 4291165908 134551107 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 18957 16375 198 641 0 18313 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 75828
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26045980/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=127532 CPUtime=1122.08 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 12361056 0 0 0 110589 1619 0 0 20 0 1 0 345345228 130592768 29333 33554432000 134512640 137136520 4291167376 4291166016 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 31883 29333 198 641 0 31239 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 127532
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32517
/proc/meminfo: memFree=26037804/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=134516 CPUtime=1182.06 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 12961026 0 0 0 116510 1696 0 0 20 0 1 0 345345228 137744384 31005 33554432000 134512640 137136520 4291167376 4290772896 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 33629 31019 198 641 0 32985 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 134516
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32517
/proc/meminfo: memFree=26026008/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=140468 CPUtime=1242.05 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 13511241 0 0 0 122435 1770 0 0 20 0 1 0 345345228 143839232 32472 33554432000 134512640 137136520 4291167376 4290772600 134598780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 35117 32472 198 641 0 34473 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 140468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32517
/proc/meminfo: memFree=26018280/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=146396 CPUtime=1302.05 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 14051153 0 0 0 128363 1842 0 0 20 0 1 0 345345228 149909504 34017 33554432000 134512640 137136520 4291167376 4290772696 134599497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 36599 34017 198 641 0 35955 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 146396
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32517
/proc/meminfo: memFree=26009104/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=153900 CPUtime=1362.04 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 14553520 0 0 0 134295 1909 0 0 20 0 1 0 345345228 157593600 35893 33554432000 134512640 137136520 4291167376 4291165904 134600585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 38475 35893 198 641 0 37831 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 153900
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32518
/proc/meminfo: memFree=26000544/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=159424 CPUtime=1422.03 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 15058985 0 0 0 140225 1978 0 0 20 0 1 0 345345228 163250176 37274 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 39856 37274 198 641 0 39212 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 159424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32518
/proc/meminfo: memFree=25991180/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=165876 CPUtime=1482.01 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 15508307 0 0 0 146157 2044 0 0 20 0 1 0 345345228 169857024 38887 33554432000 134512640 137136520 4291167376 4290774288 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 41469 38887 198 641 0 40825 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 165876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32518
/proc/meminfo: memFree=25981880/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=171976 CPUtime=1542 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 15920776 0 0 0 152098 2102 0 0 20 0 1 0 345345228 176103424 40412 33554432000 134512640 137136520 4291167376 4290772616 134599529 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 42994 40412 198 641 0 42350 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 171976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32518
/proc/meminfo: memFree=25973660/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=177096 CPUtime=1601.99 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 16341069 0 0 0 158038 2161 0 0 20 0 1 0 345345228 181346304 41724 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 44274 41724 198 641 0 43630 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 177096
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 32521
/proc/meminfo: memFree=25966236/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=181732 CPUtime=1661.98 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 16972483 0 0 0 163948 2250 0 0 20 0 1 0 345345228 186093568 42851 33554432000 134512640 137136520 4291167376 4291165968 134616680 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 45433 42851 198 641 0 44789 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 181732
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32522
/proc/meminfo: memFree=25955456/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=188752 CPUtime=1721.97 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17371079 0 0 0 169886 2311 0 0 20 0 1 0 345345228 193282048 44638 33554432000 134512640 137136520 4291167376 4291166016 134606783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 47188 44638 198 641 0 46544 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 188752
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25944836/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=193836 CPUtime=1781.96 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17845337 0 0 0 175806 2390 0 0 20 0 1 0 345345228 198488064 45876 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48459 45876 198 641 0 47815 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 193836
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25942680/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=195368 CPUtime=1791.56 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17924842 0 0 0 176753 2403 0 0 20 0 1 0 345345228 200056832 46260 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48842 46260 198 641 0 48198 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 195368
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25942060/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=194984 CPUtime=1794.76 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17943752 0 0 0 177069 2407 0 0 20 0 1 0 345345228 199663616 46196 33554432000 134512640 137136520 4291167376 4291165868 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48746 46196 198 641 0 48102 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 194984
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25941936/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=194984 CPUtime=1796.35 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17956713 0 0 0 177226 2409 0 0 20 0 1 0 345345228 199663616 46196 33554432000 134512640 137136520 4291167376 4291166016 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48746 46196 198 641 0 48102 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 194984
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25942804/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=195368 CPUtime=1797.15 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17962068 0 0 0 177305 2410 0 0 20 0 1 0 345345228 200056832 46260 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48842 46260 198 641 0 48198 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 195368
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25942804/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=194984 CPUtime=1797.55 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17965276 0 0 0 177344 2411 0 0 20 0 1 0 345345228 199663616 46196 33554432000 134512640 137136520 4291167376 4291166304 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48746 46196 198 641 0 48102 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 194984
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25942804/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=196584 CPUtime=1797.95 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17967141 0 0 0 177384 2411 0 0 20 0 1 0 345345228 201302016 46588 33554432000 134512640 137136520 4291167376 4291165968 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 49146 46588 198 641 0 48502 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 196584
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32522
/proc/meminfo: memFree=25940944/32873648 swapFree=6864/6864
[pid=32435] ppid=32433 vsize=195784 CPUtime=1798.06 cores=1,3,5,7
/proc/32435/stat : 32435 (bsolo) R 32433 32435 30743 0 -1 4202496 17967396 0 0 0 177395 2411 0 0 20 0 1 0 345345228 200482816 46396 33554432000 134512640 137136520 4291167376 4291165868 136698750 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32435/statm: 48946 46396 198 641 0 48302 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 195784
Child status: 0
Real time (s): 1798.43
CPU time (s): 1798.09
CPU user time (s): 1773.98
CPU system time (s): 24.1163
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 196584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.98
system time used= 24.1163
maximum resident set size= 186480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17967621
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= 81
involuntary context switches= 1844
runsolver used 3.22951 second user time and 8.65868 second system time
The end