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-3478839-1307440388/watcher-3478839-1307440388 -o /tmp/evaluation-result-3478839-1307440388/solver-3478839-1307440388 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478839-1307440388.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: 2.06 2.03 1.94 2/474 23533
/proc/meminfo: memFree=21070520/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=45640 CPUtime=0.01 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 478 0 0 0 1 0 0 0 22 0 1 0 836454275 46735360 432 33554432000 4194304 5714214 140734901158464 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 11410 432 214 372 0 294 0
[startup+0.0695899 s]
/proc/loadavg: 2.06 2.03 1.94 2/474 23533
/proc/meminfo: memFree=21070520/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=48420 CPUtime=0.06 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 1380 0 0 0 6 0 0 0 22 0 1 0 836454275 49582080 1334 33554432000 4194304 5714214 140734901158464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 12105 1335 434 372 0 989 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 48420
[startup+0.100584 s]
/proc/loadavg: 2.06 2.03 1.94 2/474 23533
/proc/meminfo: memFree=21070520/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=49948 CPUtime=0.09 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 1923 0 0 0 9 0 0 0 22 0 1 0 836454275 51146752 1844 33554432000 4194304 5714214 140734901158464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 12487 1844 564 372 0 1371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49948
[startup+0.30055 s]
/proc/loadavg: 2.06 2.03 1.94 2/474 23533
/proc/meminfo: memFree=21070520/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=59320 CPUtime=0.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 5074 0 0 0 29 0 0 0 23 0 1 0 836454275 60743680 4931 33554432000 4194304 5714214 140734901158464 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 14830 4931 1353 372 0 3714 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59320
[startup+0.70048 s]
/proc/loadavg: 2.06 2.03 1.94 2/474 23533
/proc/meminfo: memFree=21070520/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=78740 CPUtime=0.69 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 11629 0 0 0 68 1 0 0 25 0 1 0 836454275 80629760 11099 33554432000 4194304 5714214 140734901158464 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 19685 11099 2948 372 0 8569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78740
[startup+1.50038 s]
/proc/loadavg: 2.06 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20982752/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=116192 CPUtime=1.49 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 24283 0 0 0 146 3 0 0 25 0 1 0 836454275 118980608 23240 33554432000 4194304 5714214 140734901158464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 29048 23241 6242 372 0 17932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116192
[startup+3.10107 s]
/proc/loadavg: 2.06 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20881568/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=242172 CPUtime=3.09 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 70836 0 0 0 300 9 0 0 18 0 1 0 836454275 247984128 59052 33554432000 4194304 5714214 140734901158464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 60543 59055 173 372 0 60168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242172
[startup+6.30052 s]
/proc/loadavg: 2.05 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20468028/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=259408 CPUtime=6.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 77655 0 0 0 612 17 0 0 25 0 1 0 836454275 265633792 63965 33554432000 4194304 5714214 140734901158464 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 64852 63965 180 372 0 64477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 259408
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 1.94 3/478 23540
/proc/meminfo: memFree=20466620/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=259408 CPUtime=12.7 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 77658 0 0 0 1245 25 0 0 25 0 1 0 836454275 265633792 63968 33554432000 4194304 5714214 140734901158464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 64852 63968 180 372 0 64477 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 259408
[startup+25.5011 s]
/proc/loadavg: 2.04 2.03 1.94 4/478 23541
/proc/meminfo: memFree=20467696/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=259408 CPUtime=25.5 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 77670 0 0 0 2516 34 0 0 25 0 1 0 836454275 265633792 63980 33554432000 4194304 5714214 140734901158464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/23533/statm: 64852 63980 180 372 0 64477 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 259408
[startup+51.1006 s]
/proc/loadavg: 2.02 2.02 1.94 3/478 23541
/proc/meminfo: memFree=20467284/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=259408 CPUtime=51.07 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 77688 0 0 0 5059 48 0 0 25 0 1 0 836454275 265633792 63998 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 64852 63998 180 372 0 64477 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 259408
[startup+102.319 s]
/proc/loadavg: 2.01 2.02 1.94 3/478 23543
/proc/meminfo: memFree=20457844/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=267436 CPUtime=102.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 79720 0 0 0 10148 81 0 0 25 0 1 0 836454275 273854464 66030 33554432000 4194304 5714214 140734901158464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 66859 66030 180 372 0 66484 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 267436
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.94 4/478 23544
/proc/meminfo: memFree=20430792/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=295688 CPUtime=162.27 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 86382 0 0 0 16129 98 0 0 25 0 1 0 836454275 302784512 72692 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 73922 72692 180 372 0 73547 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 295688
[startup+222.3 s]
/proc/loadavg: 2.13 2.04 1.95 3/478 23546
/proc/meminfo: memFree=20394568/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=318360 CPUtime=222.28 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 91818 0 0 0 22112 116 0 0 25 0 1 0 836454275 326000640 78128 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 79590 78128 180 372 0 79215 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 318360
[startup+282.301 s]
/proc/loadavg: 2.10 2.05 1.96 3/478 23547
/proc/meminfo: memFree=20347304/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=341104 CPUtime=282.28 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 97446 0 0 0 28098 130 0 0 25 0 1 0 836454275 349290496 83756 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 85276 83756 180 372 0 84901 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 341104
[startup+342.301 s]
/proc/loadavg: 2.03 2.03 1.96 3/478 23549
/proc/meminfo: memFree=20304384/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=364584 CPUtime=342.28 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 102979 0 0 0 34086 142 0 0 25 0 1 0 836454275 373334016 89289 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 91146 89289 180 372 0 90771 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 364584
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 1.96 3/478 23551
/proc/meminfo: memFree=20268276/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=384064 CPUtime=402.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 107732 0 0 0 40080 149 0 0 25 0 1 0 836454275 393281536 94042 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 96016 94042 180 372 0 95641 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 384064
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/478 23552
/proc/meminfo: memFree=20231068/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=406196 CPUtime=462.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 113149 0 0 0 46074 155 0 0 25 0 1 0 836454275 415944704 99459 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 101549 99459 180 372 0 101174 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 406196
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/478 23563
/proc/meminfo: memFree=20204716/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=418920 CPUtime=522.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 116335 0 0 0 52069 160 0 0 25 0 1 0 836454275 428974080 102645 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 104730 102645 180 372 0 104355 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 418920
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/478 23564
/proc/meminfo: memFree=20173588/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=436600 CPUtime=582.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 120575 0 0 0 58051 178 0 0 25 0 1 0 836454275 447078400 106885 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 109150 106885 180 372 0 108775 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 436600
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.13 2.04 1.97 3/478 23571
/proc/meminfo: memFree=20055984/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=494696 CPUtime=822.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 134348 0 0 0 82009 220 0 0 25 0 1 0 836454275 506568704 120658 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 123674 120658 180 372 0 123299 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 494696
[startup+882.301 s]
/proc/loadavg: 2.05 2.03 1.97 3/478 23572
/proc/meminfo: memFree=20023484/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=508092 CPUtime=882.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 137578 0 0 0 88003 226 0 0 25 0 1 0 836454275 520286208 123888 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 127023 123888 180 372 0 126648 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 508092
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/478 23574
/proc/meminfo: memFree=19995820/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=520284 CPUtime=942.3 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 140606 0 0 0 93999 231 0 0 25 0 1 0 836454275 532770816 126916 33554432000 4194304 5714214 140734901158464 18446744073709551615 4329454 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 130071 126916 180 372 0 129696 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 520284
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/478 23576
/proc/meminfo: memFree=19968404/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=533276 CPUtime=1002.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 143791 0 0 0 99988 241 0 0 25 0 1 0 836454275 546074624 130101 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 133319 130101 180 372 0 132944 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 533276
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/478 23577
/proc/meminfo: memFree=19946440/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=544704 CPUtime=1062.3 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 146611 0 0 0 105982 248 0 0 25 0 1 0 836454275 557776896 132921 33554432000 4194304 5714214 140734901158464 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 136176 132921 180 372 0 135801 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 544704
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/478 23579
/proc/meminfo: memFree=19922004/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=555724 CPUtime=1122.29 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 149414 0 0 0 111977 252 0 0 25 0 1 0 836454275 569061376 135724 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 138931 135724 180 372 0 138556 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 555724
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 4/478 23580
/proc/meminfo: memFree=19894960/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=570648 CPUtime=1182.3 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 153031 0 0 0 117971 259 0 0 25 0 1 0 836454275 584343552 139341 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 142662 139341 180 372 0 142287 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 570648
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 23582
/proc/meminfo: memFree=19866924/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=589628 CPUtime=1242.3 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 157387 0 0 0 123967 263 0 0 25 0 1 0 836454275 603779072 143697 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 147407 143697 180 372 0 147032 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 589628
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 23584
/proc/meminfo: memFree=19849552/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=598588 CPUtime=1302.32 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 159643 0 0 0 129964 268 0 0 25 0 1 0 836454275 612954112 145953 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 149647 145953 180 372 0 149272 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 598588
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 1.98 4/478 23585
/proc/meminfo: memFree=19828944/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=607572 CPUtime=1362.31 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 161929 0 0 0 135959 272 0 0 25 0 1 0 836454275 622153728 148239 33554432000 4194304 5714214 140734901158464 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 151893 148239 180 372 0 151518 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 607572
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.00 3/478 23587
/proc/meminfo: memFree=19812200/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=617556 CPUtime=1422.32 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 164441 0 0 0 141956 276 0 0 25 0 1 0 836454275 632377344 150751 33554432000 4194304 5714214 140734901158464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 154389 150751 180 372 0 154014 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 617556
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/478 23588
/proc/meminfo: memFree=19796684/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=626712 CPUtime=1482.3 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 166730 0 0 0 147950 280 0 0 25 0 1 0 836454275 641753088 153040 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 156678 153040 180 372 0 156303 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 626712
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23590
/proc/meminfo: memFree=19783156/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=634544 CPUtime=1542.31 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 168715 0 0 0 153946 285 0 0 25 0 1 0 836454275 649773056 155025 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 158636 155025 180 372 0 158261 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 634544
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23592
/proc/meminfo: memFree=19768384/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=643552 CPUtime=1602.31 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 170872 0 0 0 159943 288 0 0 25 0 1 0 836454275 658997248 157182 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 160888 157182 180 372 0 160513 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 643552
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/478 23593
/proc/meminfo: memFree=19751748/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=653744 CPUtime=1662.32 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 173372 0 0 0 165940 292 0 0 25 0 1 0 836454275 669433856 159682 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 163436 159682 180 372 0 163061 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 653744
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 23595
/proc/meminfo: memFree=19734872/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=664956 CPUtime=1722.31 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 176078 0 0 0 171936 295 0 0 25 0 1 0 836454275 680914944 162388 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 166239 162388 180 372 0 165864 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 664956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23596
/proc/meminfo: memFree=19716392/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=674676 CPUtime=1782.31 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 178579 0 0 0 177932 299 0 0 25 0 1 0 836454275 690868224 164889 33554432000 4194304 5714214 140734901158464 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 168669 164889 180 372 0 168294 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 674676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23597
/proc/meminfo: memFree=19712548/32951124 swapFree=67057928/67111528
[pid=23533] ppid=23531 vsize=678528 CPUtime=1800.03 cores=0,2,4,6
/proc/23533/stat : 23533 (wbo1.6) R 23531 23533 23281 0 -1 4202496 179394 0 0 0 179703 300 0 0 25 0 1 0 836454275 694812672 165704 33554432000 4194304 5714214 140734901158464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/23533/statm: 169632 165704 180 372 0 169257 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 678528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.07
CPU user time (s): 1797.03
CPU system time (s): 3.03854
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 678528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.03854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179394
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= 7
involuntary context switches= 1092
runsolver used 8.80566 second user time and 19.0411 second system time
The end