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-3478795-1307438586/watcher-3478795-1307438586 -o /tmp/evaluation-result-3478795-1307438586/solver-3478795-1307438586 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478795-1307438586.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.96 2.01 1.70 3/477 23432
/proc/meminfo: memFree=21110892/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=10644 CPUtime=0.01 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 1 0 836273963 10899456 366 33554432000 4194304 5714214 140734294867440 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 2661 366 199 372 0 219 0
[startup+0.0472661 s]
/proc/loadavg: 1.96 2.01 1.70 3/477 23432
/proc/meminfo: memFree=21110892/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=12144 CPUtime=0.04 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 909 0 0 0 4 0 0 0 25 0 1 0 836273963 12435456 862 33554432000 4194304 5714214 140734294867440 18446744073709551615 5203700 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 3036 862 315 372 0 594 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12144
[startup+0.100307 s]
/proc/loadavg: 1.96 2.01 1.70 3/477 23432
/proc/meminfo: memFree=21110892/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=14876 CPUtime=0.09 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 1752 0 0 0 9 0 0 0 25 0 1 0 836273963 15233024 1672 33554432000 4194304 5714214 140734294867440 18446744073709551615 4222928 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 3719 1673 516 372 0 1277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14876
[startup+0.300253 s]
/proc/loadavg: 1.96 2.01 1.70 3/477 23432
/proc/meminfo: memFree=21110892/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=23540 CPUtime=0.29 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 4672 0 0 0 29 0 0 0 25 0 1 0 836273963 24104960 4527 33554432000 4194304 5714214 140734294867440 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 5885 4527 1240 372 0 3443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23540
[startup+0.701182 s]
/proc/loadavg: 1.96 2.01 1.70 3/477 23432
/proc/meminfo: memFree=21110892/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=57260 CPUtime=0.69 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 16180 0 0 0 68 1 0 0 18 0 1 0 836273963 58634240 13839 33554432000 4194304 5714214 140734294867440 18446744073709551615 4964926 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 14315 13839 173 372 0 13940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57260
[startup+1.50103 s]
/proc/loadavg: 1.96 2.01 1.70 3/478 23433
/proc/meminfo: memFree=21011232/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=55144 CPUtime=1.49 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 16260 0 0 0 144 5 0 0 19 0 1 0 836273963 56467456 13382 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 13786 13382 180 372 0 13411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55144
[startup+3.10074 s]
/proc/loadavg: 1.96 2.01 1.70 3/478 23433
/proc/meminfo: memFree=20960020/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=55144 CPUtime=3.09 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 16260 0 0 0 301 8 0 0 22 0 1 0 836273963 56467456 13382 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 13786 13382 180 372 0 13411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55144
[startup+6.30119 s]
/proc/loadavg: 1.96 2.01 1.71 3/478 23433
/proc/meminfo: memFree=20762556/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=55144 CPUtime=6.29 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 16270 0 0 0 615 14 0 0 25 0 1 0 836273963 56467456 13392 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 13786 13392 180 372 0 13411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55144
[startup+12.7011 s]
/proc/loadavg: 1.96 2.01 1.71 3/478 23433
/proc/meminfo: memFree=20761232/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=55944 CPUtime=12.69 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 16355 0 0 0 1245 24 0 0 25 0 1 0 836273963 57286656 13477 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 13986 13477 180 372 0 13611 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55944
[startup+25.5008 s]
/proc/loadavg: 1.97 2.00 1.71 3/478 23433
/proc/meminfo: memFree=20754732/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=62832 CPUtime=25.49 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 18123 0 0 0 2520 29 0 0 25 0 1 0 836273963 64339968 15245 33554432000 4194304 5714214 140734294867440 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 15708 15245 180 372 0 15333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62832
[startup+51.1003 s]
/proc/loadavg: 2.14 2.04 1.73 3/478 23434
/proc/meminfo: memFree=20733468/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=84884 CPUtime=51.09 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 23557 0 0 0 5066 43 0 0 25 0 1 0 836273963 86921216 20679 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 21221 20679 180 372 0 20846 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84884
[startup+102.318 s]
/proc/loadavg: 2.06 2.03 1.74 3/478 23435
/proc/meminfo: memFree=20694792/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=121864 CPUtime=102.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 32528 0 0 0 10168 63 0 0 25 0 1 0 836273963 124788736 29650 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 30466 29650 180 372 0 30091 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 121864
[startup+162.301 s]
/proc/loadavg: 2.05 2.03 1.76 3/478 23440
/proc/meminfo: memFree=20650312/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=154756 CPUtime=162.29 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 40507 0 0 0 16152 77 0 0 25 0 1 0 836273963 158470144 37629 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 38689 37629 180 372 0 38314 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 154756
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 1.77 3/478 23442
/proc/meminfo: memFree=20605348/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=170632 CPUtime=222.3 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 44475 0 0 0 22132 98 0 0 25 0 1 0 836273963 174727168 41597 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 42658 41597 180 372 0 42283 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 170632
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.78 3/478 23443
/proc/meminfo: memFree=20573488/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=176704 CPUtime=282.29 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 45945 0 0 0 28098 131 0 0 25 0 1 0 836273963 180944896 43067 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 44176 43067 180 372 0 43801 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 176704
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.79 3/478 23445
/proc/meminfo: memFree=20527584/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=209736 CPUtime=342.3 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 54142 0 0 0 34083 147 0 0 25 0 1 0 836273963 214769664 51264 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 52434 51264 180 372 0 52059 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 209736
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/478 23446
/proc/meminfo: memFree=20493964/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=233872 CPUtime=402.29 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 60238 0 0 0 40071 158 0 0 25 0 1 0 836273963 239484928 57360 33554432000 4194304 5714214 140734294867440 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 58468 57360 180 372 0 58093 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 233872
[startup+462.301 s]
/proc/loadavg: 2.05 2.02 1.82 3/478 23448
/proc/meminfo: memFree=20477340/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=242500 CPUtime=462.3 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 62430 0 0 0 46052 178 0 0 25 0 1 0 836273963 248320000 59552 33554432000 4194304 5714214 140734294867440 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 60625 59552 180 372 0 60250 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242500
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 1.83 3/478 23450
/proc/meminfo: memFree=20460828/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=244576 CPUtime=522.3 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 62869 0 0 0 52039 191 0 0 25 0 1 0 836273963 250445824 59991 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 61144 59991 180 372 0 60769 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 244576
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 1.84 3/478 23451
/proc/meminfo: memFree=20436488/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=254968 CPUtime=582.3 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 65398 0 0 0 58027 203 0 0 25 0 1 0 836273963 261087232 62520 33554432000 4194304 5714214 140734294867440 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 63742 62520 180 372 0 63367 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 254968
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.03 1.88 3/478 23458
/proc/meminfo: memFree=20325428/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=334672 CPUtime=822.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 84758 0 0 0 81965 266 0 0 25 0 1 0 836273963 342704128 81880 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 83668 81880 180 372 0 83293 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 334672
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 1.88 3/478 23459
/proc/meminfo: memFree=20316224/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=335312 CPUtime=882.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 84906 0 0 0 87949 282 0 0 25 0 1 0 836273963 343359488 82028 33554432000 4194304 5714214 140734294867440 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 83828 82028 180 372 0 83453 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 335312
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 1.89 3/478 23461
/proc/meminfo: memFree=20296476/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=336428 CPUtime=942.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 85177 0 0 0 93930 301 0 0 25 0 1 0 836273963 344502272 82299 33554432000 4194304 5714214 140734294867440 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 84107 82299 180 372 0 83732 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 336428
[startup+1002.3 s]
/proc/loadavg: 2.15 2.04 1.90 3/478 23462
/proc/meminfo: memFree=20272520/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=354020 CPUtime=1002.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 89558 0 0 0 99916 315 0 0 25 0 1 0 836273963 362516480 86680 33554432000 4194304 5714214 140734294867440 18446744073709551615 4322729 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 88505 86680 180 372 0 88130 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 354020
[startup+1062.3 s]
/proc/loadavg: 2.12 2.05 1.91 3/478 23464
/proc/meminfo: memFree=20244348/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=375364 CPUtime=1062.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 94854 0 0 0 105905 326 0 0 25 0 1 0 836273963 384372736 91976 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 93841 91976 180 372 0 93466 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 375364
[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 1.91 3/478 23466
/proc/meminfo: memFree=20219900/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=394244 CPUtime=1122.31 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 99502 0 0 0 111896 335 0 0 25 0 1 0 836273963 403705856 96624 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 98561 96624 180 372 0 98186 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 394244
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/478 23467
/proc/meminfo: memFree=20195944/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=410140 CPUtime=1182.32 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 103525 0 0 0 117888 344 0 0 25 0 1 0 836273963 419983360 100647 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 102535 100647 180 372 0 102160 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 410140
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 1.93 3/478 23469
/proc/meminfo: memFree=20178680/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=415068 CPUtime=1242.32 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 104745 0 0 0 123871 361 0 0 25 0 1 0 836273963 425029632 101867 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 103767 101867 180 372 0 103392 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 415068
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.93 3/478 23471
/proc/meminfo: memFree=20161428/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=415352 CPUtime=1302.34 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 104824 0 0 0 129858 376 0 0 25 0 1 0 836273963 425320448 101946 33554432000 4194304 5714214 140734294867440 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 103838 101946 180 372 0 103463 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 415352
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/478 23472
/proc/meminfo: memFree=20152468/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=416480 CPUtime=1362.32 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 105025 0 0 0 135844 388 0 0 25 0 1 0 836273963 426475520 102147 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 104120 102147 180 372 0 103745 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 416480
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.93 3/478 23474
/proc/meminfo: memFree=20149592/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=416480 CPUtime=1422.34 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 105048 0 0 0 141837 397 0 0 25 0 1 0 836273963 426475520 102170 33554432000 4194304 5714214 140734294867440 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 104120 102170 180 372 0 103745 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 416480
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/478 23475
/proc/meminfo: memFree=20140152/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=416480 CPUtime=1482.32 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 105075 0 0 0 147824 408 0 0 25 0 1 0 836273963 426475520 102197 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 104120 102197 180 372 0 103745 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 416480
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/478 23477
/proc/meminfo: memFree=20124132/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=418520 CPUtime=1542.32 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 105555 0 0 0 153817 415 0 0 25 0 1 0 836273963 428564480 102677 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 104630 102677 180 372 0 104255 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 418520
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/478 23478
/proc/meminfo: memFree=20100552/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=429896 CPUtime=1602.33 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 108341 0 0 0 159810 423 0 0 25 0 1 0 836273963 440213504 105463 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 107474 105463 180 372 0 107099 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 429896
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 1.94 3/478 23480
/proc/meminfo: memFree=20068164/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=446260 CPUtime=1662.33 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 112347 0 0 0 165803 430 0 0 25 0 1 0 836273963 456970240 109469 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 111565 109469 180 372 0 111190 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 446260
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/478 23482
/proc/meminfo: memFree=20041480/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=460132 CPUtime=1722.33 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 115699 0 0 0 171793 440 0 0 25 0 1 0 836273963 471175168 112821 33554432000 4194304 5714214 140734294867440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 115033 112821 180 372 0 114658 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 460132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/478 23483
/proc/meminfo: memFree=20016032/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=474808 CPUtime=1782.33 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 119414 0 0 0 177785 448 0 0 25 0 1 0 836273963 486203392 116536 33554432000 4194304 5714214 140734294867440 18446744073709551615 4300368 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 118702 116536 180 372 0 118327 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 474808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.03 1.94 3/479 23485
/proc/meminfo: memFree=20436112/32951124 swapFree=67057928/67111528
[pid=23432] ppid=23430 vsize=474940 CPUtime=1800.04 cores=0,2,4,6
/proc/23432/stat : 23432 (wbo1.6) R 23430 23432 23281 0 -1 4202496 119478 0 0 0 179545 459 0 0 25 0 1 0 836273963 486338560 116600 33554432000 4194304 5714214 140734294867440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/23432/statm: 118735 116600 180 372 0 118360 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 474940
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.04
CPU time (s): 1800.08
CPU user time (s): 1795.46
CPU system time (s): 4.6203
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 474940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.46
system time used= 4.6203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119478
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= 2633
runsolver used 8.83666 second user time and 19.0081 second system time
The end