runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478841-1307440381/watcher-3478841-1307440381 -o /tmp/evaluation-result-3478841-1307440381/solver-3478841-1307440381 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478841-1307440381.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.03 2.04 1.96 2/535 16616
/proc/meminfo: memFree=27820152/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=54160 CPUtime=0 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 404 0 0 0 0 0 0 0 22 0 1 0 855636197 55459840 358 33554432000 134512640 137138936 4288900688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 13540 358 201 642 0 2155 0
[startup+0.0634401 s]
/proc/loadavg: 2.03 2.04 1.96 2/535 16616
/proc/meminfo: memFree=27820152/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=56892 CPUtime=0.06 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 1295 0 0 0 6 0 0 0 22 0 1 0 855636197 58257408 1249 33554432000 134512640 137138936 4288900688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 14223 1249 411 642 0 2838 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 56892
[startup+0.100435 s]
/proc/loadavg: 2.03 2.04 1.96 2/535 16616
/proc/meminfo: memFree=27820152/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=58664 CPUtime=0.09 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 1909 0 0 0 9 0 0 0 22 0 1 0 855636197 60071936 1863 33554432000 134512640 137138936 4288900688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 14666 1863 563 642 0 3281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58664
[startup+0.300398 s]
/proc/loadavg: 2.03 2.04 1.96 2/535 16616
/proc/meminfo: memFree=27820152/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=67940 CPUtime=0.29 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 4981 0 0 0 29 0 0 0 23 0 1 0 855636197 69570560 4935 33554432000 134512640 137138936 4288900688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 16985 4935 1327 642 0 5600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67940
[startup+0.70033 s]
/proc/loadavg: 2.03 2.04 1.96 2/535 16616
/proc/meminfo: memFree=27820152/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=86248 CPUtime=0.69 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 11112 0 0 0 68 1 0 0 25 0 1 0 855636197 88317952 11066 33554432000 134512640 137138936 4288900688 18446744073709551615 134520243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 21562 11066 2866 642 0 10177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86248
[startup+1.50019 s]
/proc/loadavg: 2.03 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27772404/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=120420 CPUtime=1.49 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 22699 0 0 0 146 3 0 0 25 0 1 0 855636197 123310080 22613 33554432000 134512640 137138936 4288900688 18446744073709551615 136659595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 30105 22614 5916 642 0 18720 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120420
[startup+3.10091 s]
/proc/loadavg: 2.03 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27726164/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=183544 CPUtime=3.09 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 54140 0 0 0 302 7 0 0 25 0 1 0 855636197 187949056 43234 33554432000 134512640 137138936 4288900688 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 45886 43234 183 642 0 45242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183544
[startup+6.30035 s]
/proc/loadavg: 2.03 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27586560/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=239780 CPUtime=6.29 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 68285 0 0 0 614 15 0 0 25 0 1 0 855636197 245534720 57296 33554432000 134512640 137138936 4288900688 18446744073709551615 134540085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 59945 57296 185 642 0 59301 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239780
[startup+12.7002 s]
/proc/loadavg: 2.02 2.04 1.96 3/536 16617
/proc/meminfo: memFree=27584324/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=239780 CPUtime=12.7 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 68291 0 0 0 1245 25 0 0 25 0 1 0 855636197 245534720 57302 33554432000 134512640 137138936 4288900688 18446744073709551615 134540174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 59945 57302 185 642 0 59301 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 239780
[startup+25.501 s]
/proc/loadavg: 2.09 2.06 1.97 3/536 16644
/proc/meminfo: memFree=28153044/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=239780 CPUtime=25.49 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 68299 0 0 0 2511 38 0 0 25 0 1 0 855636197 245534720 57310 33554432000 134512640 137138936 4288900688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 59945 57310 185 642 0 59301 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 239780
[startup+51.1005 s]
/proc/loadavg: 2.20 2.08 1.98 3/536 16645
/proc/meminfo: memFree=28152980/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=239912 CPUtime=51.09 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 68311 0 0 0 5050 59 0 0 25 0 1 0 855636197 245669888 57322 33554432000 134512640 137138936 4288900688 18446744073709551615 134540051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 59978 57322 185 642 0 59334 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 239912
[startup+102.32 s]
/proc/loadavg: 2.32 2.12 2.00 3/536 16646
/proc/meminfo: memFree=28152384/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=239912 CPUtime=102.31 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 68327 0 0 0 10144 87 0 0 25 0 1 0 855636197 245669888 57338 33554432000 134512640 137138936 4288900688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 59978 57338 185 642 0 59334 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 239912
[startup+162.301 s]
/proc/loadavg: 2.19 2.11 2.00 3/536 16648
/proc/meminfo: memFree=28155556/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=234952 CPUtime=162.3 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 68351 0 0 0 16085 145 0 0 25 0 1 0 855636197 240590848 56119 33554432000 134512640 137138936 4288900688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 58738 56119 192 642 0 58094 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 234952
[startup+222.3 s]
/proc/loadavg: 2.07 2.09 2.00 3/536 16650
/proc/meminfo: memFree=28130596/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=270240 CPUtime=222.29 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 77141 0 0 0 22018 211 0 0 25 0 1 0 855636197 276725760 64909 33554432000 134512640 137138936 4288900688 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 67560 64909 192 642 0 66916 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 270240
[startup+282.301 s]
/proc/loadavg: 2.02 2.07 2.00 3/536 16651
/proc/meminfo: memFree=28014620/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=329260 CPUtime=282.3 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 91896 0 0 0 27951 279 0 0 25 0 1 0 855636197 337162240 79664 33554432000 134512640 137138936 4288900688 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 82315 79664 192 642 0 81671 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 329260
[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/536 16653
/proc/meminfo: memFree=27935740/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=362740 CPUtime=342.3 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 100266 0 0 0 33944 286 0 0 25 0 1 0 855636197 371445760 88034 33554432000 134512640 137138936 4288900688 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 90685 88034 192 642 0 90041 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 362740
[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 16654
/proc/meminfo: memFree=27867764/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=401516 CPUtime=402.22 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 109960 0 0 0 39907 315 0 0 25 0 1 0 855636197 411152384 97728 33554432000 134512640 137138936 4288900688 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 100379 97728 192 642 0 99735 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 401516
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 16656
/proc/meminfo: memFree=27798664/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=444136 CPUtime=462.22 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 120615 0 0 0 45904 318 0 0 25 0 1 0 855636197 454795264 108383 33554432000 134512640 137138936 4288900688 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 111034 108383 192 642 0 110390 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 444136
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16667
/proc/meminfo: memFree=27733500/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=470752 CPUtime=522.23 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 127269 0 0 0 51886 337 0 0 25 0 1 0 855636197 482050048 115037 33554432000 134512640 137138936 4288900688 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 117688 115037 192 642 0 117044 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 470752
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16668
/proc/meminfo: memFree=27676068/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=492052 CPUtime=582.22 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 132596 0 0 0 57841 381 0 0 25 0 1 0 855636197 503861248 120364 33554432000 134512640 137138936 4288900688 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 123013 120364 192 642 0 122369 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 492052
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27295412/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=685664 CPUtime=1062.23 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 180999 0 0 0 105791 432 0 0 25 0 1 0 855636197 702119936 168767 33554432000 134512640 137138936 4288900688 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 171416 168767 192 642 0 170772 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 685664
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16686
/proc/meminfo: memFree=27259304/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=702968 CPUtime=1122.23 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 185325 0 0 0 111789 434 0 0 25 0 1 0 855636197 719839232 173093 33554432000 134512640 137138936 4288900688 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 175742 173093 192 642 0 175098 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 702968
[startup+1182.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/536 16687
/proc/meminfo: memFree=27223948/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=720140 CPUtime=1182.24 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 189628 0 0 0 117787 437 0 0 25 0 1 0 855636197 737423360 177396 33554432000 134512640 137138936 4288900688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 180035 177396 192 642 0 179391 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 720140
[startup+1242.3 s]
/proc/loadavg: 2.26 2.09 2.02 3/536 16689
/proc/meminfo: memFree=27190452/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=738040 CPUtime=1242.24 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 194100 0 0 0 123785 439 0 0 25 0 1 0 855636197 755752960 181868 33554432000 134512640 137138936 4288900688 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 184510 181868 192 642 0 183866 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 738040
[startup+1302.3 s]
/proc/loadavg: 2.25 2.12 2.03 3/536 16690
/proc/meminfo: memFree=27155228/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=750124 CPUtime=1302.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 197114 0 0 0 129767 458 0 0 25 0 1 0 855636197 768126976 184882 33554432000 134512640 137138936 4288900688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 187531 184882 192 642 0 186887 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 750124
[startup+1362.3 s]
/proc/loadavg: 2.14 2.11 2.03 4/536 16692
/proc/meminfo: memFree=27129416/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=757012 CPUtime=1362.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 198836 0 0 0 135750 475 0 0 25 0 1 0 855636197 775180288 186604 33554432000 134512640 137138936 4288900688 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 189253 186604 192 642 0 188609 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 757012
[startup+1422.32 s]
/proc/loadavg: 2.05 2.09 2.03 3/536 16694
/proc/meminfo: memFree=27098032/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=768596 CPUtime=1422.27 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 201732 0 0 0 141751 476 0 0 25 0 1 0 855636197 787042304 189500 33554432000 134512640 137138936 4288900688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 192149 189500 192 642 0 191505 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 768596
[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/536 16695
/proc/meminfo: memFree=27068496/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=781008 CPUtime=1482.24 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 204835 0 0 0 147747 477 0 0 25 0 1 0 855636197 799752192 192603 33554432000 134512640 137138936 4288900688 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 195252 192603 192 642 0 194608 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 781008
[startup+1542.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/536 16697
/proc/meminfo: memFree=27040568/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=791932 CPUtime=1542.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 207566 0 0 0 153746 479 0 0 25 0 1 0 855636197 810938368 195334 33554432000 134512640 137138936 4288900688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 197983 195334 192 642 0 197339 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 791932
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/536 16698
/proc/meminfo: memFree=27005828/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=806024 CPUtime=1602.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 211089 0 0 0 159743 482 0 0 25 0 1 0 855636197 825368576 198857 33554432000 134512640 137138936 4288900688 18446744073709551615 134578636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 201506 198857 192 642 0 200862 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 806024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 16700
/proc/meminfo: memFree=26970960/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=820944 CPUtime=1662.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 214822 0 0 0 165736 489 0 0 25 0 1 0 855636197 840646656 202590 33554432000 134512640 137138936 4288900688 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 205236 202590 192 642 0 204592 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 820944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 16702
/proc/meminfo: memFree=26939060/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=839928 CPUtime=1722.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 219568 0 0 0 171734 491 0 0 25 0 1 0 855636197 860086272 207336 33554432000 134512640 137138936 4288900688 18446744073709551615 136297625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 209982 207336 192 642 0 209338 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 839928
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/536 16703
/proc/meminfo: memFree=26913368/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=851700 CPUtime=1782.25 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 222511 0 0 0 177732 493 0 0 25 0 1 0 855636197 872140800 210279 33554432000 134512640 137138936 4288900688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 212925 210279 192 642 0 212281 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 851700
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.12 2.05 2.01 3/536 16704
/proc/meminfo: memFree=26910256/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=853744 CPUtime=1791.87 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 223022 0 0 0 178694 493 0 0 25 0 1 0 855636197 874233856 210790 33554432000 134512640 137138936 4288900688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 213436 210790 192 642 0 212792 0
Current children cumulated CPU time (s) 1791.87
Current children cumulated vsize (KiB) 853744
[startup+1795.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 16704
/proc/meminfo: memFree=26908768/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=854416 CPUtime=1795.06 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 223190 0 0 0 179013 493 0 0 25 0 1 0 855636197 874921984 210958 33554432000 134512640 137138936 4288900688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 213604 210958 192 642 0 212960 0
Current children cumulated CPU time (s) 1795.06
Current children cumulated vsize (KiB) 854416
[startup+1796.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 16704
/proc/meminfo: memFree=26908024/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=854768 CPUtime=1796.65 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 223278 0 0 0 179172 493 0 0 25 0 1 0 855636197 875282432 211046 33554432000 134512640 137138936 4288900688 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 213692 211046 192 642 0 213048 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 854768
[startup+1797.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 16704
/proc/meminfo: memFree=26907400/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=854768 CPUtime=1797.45 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 223278 0 0 0 179252 493 0 0 25 0 1 0 855636197 875282432 211046 33554432000 134512640 137138936 4288900688 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 213692 211046 192 642 0 213048 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 854768
[startup+1797.9 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 16704
/proc/meminfo: memFree=26907400/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=854768 CPUtime=1797.85 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202496 223280 0 0 0 179292 493 0 0 25 0 1 0 855636197 875282432 211048 33554432000 134512640 137138936 4288900688 18446744073709551615 134542986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16616/statm: 213692 211048 192 642 0 213048 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 854768
[startup+1798.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 16704
/proc/meminfo: memFree=26907400/32951124 swapFree=58212616/67111528
[pid=16616] ppid=16614 vsize=0 CPUtime=1798.06 cores=1,3,5,7
/proc/16616/stat : 16616 (bsolo) R 16614 16616 16389 0 -1 4202500 223286 0 0 0 179309 497 0 0 25 0 1 0 855636197 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/16616/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.1
CPU time (s): 1798.06
CPU user time (s): 1793.09
CPU system time (s): 4.97224
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 854768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 4.97224
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223286
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= 5
involuntary context switches= 19809
runsolver used 9.1916 second user time and 22.7845 second system time
The end