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-3461728-1307121218/watcher-3461728-1307121218 -o /tmp/evaluation-result-3461728-1307121218/solver-3461728-1307121218 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461728-1307121218.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: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=13512 CPUtime=0.01 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 1210 0 0 0 1 0 0 0 25 0 1 0 804537677 13836288 1163 33554432000 4194304 5714214 140737329855008 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 3378 1165 223 372 0 1074 0
[startup+0.043533 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=18292 CPUtime=0.04 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 2362 0 0 0 4 0 0 0 25 0 1 0 804537677 18731008 2315 33554432000 4194304 5714214 140737329855008 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 4573 2316 305 372 0 2269 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18292
[startup+0.100527 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=24524 CPUtime=0.09 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 4171 0 0 0 9 0 0 0 25 0 1 0 804537677 25112576 3977 33554432000 4194304 5714214 140737329855008 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 6131 3977 498 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24524
[startup+0.300501 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=32764 CPUtime=0.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 6934 0 0 0 29 0 0 0 25 0 1 0 804537677 33550336 6611 33554432000 4194304 5714214 140737329855008 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 8191 6611 1166 372 0 5887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32764
[startup+0.70042 s]
/proc/loadavg: 1.89 2.02 1.99 2/526 32407
/proc/meminfo: memFree=23005556/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=82228 CPUtime=0.69 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 21884 0 0 0 67 2 0 0 25 0 1 0 804537677 84201472 19366 33554432000 4194304 5714214 140737329855008 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 20557 19366 172 372 0 20182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82228
[startup+1.50027 s]
/proc/loadavg: 1.89 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22817440/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=105972 CPUtime=1.49 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 32153 0 0 0 146 3 0 0 18 0 1 0 804537677 108515328 25613 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 26493 25613 180 372 0 26118 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105972
[startup+3.10098 s]
/proc/loadavg: 1.89 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22804216/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=105972 CPUtime=3.09 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 32153 0 0 0 305 4 0 0 18 0 1 0 804537677 108515328 25613 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 26493 25613 180 372 0 26118 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105972
[startup+6.30041 s]
/proc/loadavg: 1.90 2.02 1.99 3/527 32408
/proc/meminfo: memFree=22807788/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=113640 CPUtime=6.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 34153 0 0 0 622 7 0 0 25 0 1 0 804537677 116367360 27613 33554432000 4194304 5714214 140737329855008 18446744073709551615 4309240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 28410 27613 180 372 0 28035 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113640
[startup+12.7003 s]
/proc/loadavg: 1.91 2.01 1.99 3/527 32408
/proc/meminfo: memFree=22789508/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=113640 CPUtime=12.69 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 34154 0 0 0 1256 13 0 0 25 0 1 0 804537677 116367360 27614 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 28410 27614 180 372 0 28035 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113640
[startup+25.501 s]
/proc/loadavg: 1.93 2.01 1.99 3/527 32408
/proc/meminfo: memFree=22781636/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=113640 CPUtime=25.49 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 34195 0 0 0 2528 21 0 0 25 0 1 0 804537677 116367360 27655 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 28410 27655 180 372 0 28035 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113640
[startup+51.1004 s]
/proc/loadavg: 1.95 2.01 1.99 3/527 32409
/proc/meminfo: memFree=22764180/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=128808 CPUtime=51.09 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 37912 0 0 0 5079 30 0 0 25 0 1 0 804537677 131899392 31372 33554432000 4194304 5714214 140737329855008 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 32202 31372 180 372 0 31827 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 128808
[startup+102.32 s]
/proc/loadavg: 1.98 2.01 1.99 3/527 32410
/proc/meminfo: memFree=22715172/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=159264 CPUtime=102.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 45458 0 0 0 10185 46 0 0 25 0 1 0 804537677 163086336 38918 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 39816 38918 180 372 0 39441 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 159264
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32412
/proc/meminfo: memFree=22649544/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=187924 CPUtime=162.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 52509 0 0 0 16154 75 0 0 25 0 1 0 804537677 192434176 45969 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 46981 45969 180 372 0 46606 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 187924
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32414
/proc/meminfo: memFree=22649720/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=187924 CPUtime=222.29 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 52625 0 0 0 22142 87 0 0 25 0 1 0 804537677 192434176 46085 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 46981 46085 180 372 0 46606 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 187924
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32415
/proc/meminfo: memFree=22629728/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=208528 CPUtime=282.3 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 57736 0 0 0 28128 102 0 0 25 0 1 0 804537677 213532672 51196 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 52132 51196 180 372 0 51757 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 208528
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 4/527 32417
/proc/meminfo: memFree=22598192/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=234144 CPUtime=342.3 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 63789 0 0 0 34114 116 0 0 25 0 1 0 804537677 239763456 57249 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 58536 57249 180 372 0 58161 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 234144
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/527 32418
/proc/meminfo: memFree=22561824/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=251984 CPUtime=402.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 68307 0 0 0 40105 126 0 0 25 0 1 0 804537677 258031616 61767 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 62996 61767 180 372 0 62621 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 251984
[startup+462.301 s]
/proc/loadavg: 2.14 2.03 2.00 3/527 32420
/proc/meminfo: memFree=22510576/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=268184 CPUtime=462.3 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 72400 0 0 0 46093 137 0 0 25 0 1 0 804537677 274620416 65860 33554432000 4194304 5714214 140737329855008 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 67046 65860 180 372 0 66671 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 268184
[startup+522.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/527 32422
/proc/meminfo: memFree=22493812/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=284912 CPUtime=522.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 76565 0 0 0 52085 146 0 0 25 0 1 0 804537677 291749888 70025 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 71228 70025 180 372 0 70853 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 284912
[startup+582.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/527 32423
/proc/meminfo: memFree=22485328/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=293344 CPUtime=582.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 78663 0 0 0 58068 163 0 0 25 0 1 0 804537677 300384256 72123 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 73336 72123 180 372 0 72961 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 293344
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32433
/proc/meminfo: memFree=22465528/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=296932 CPUtime=822.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 79524 0 0 0 82022 209 0 0 25 0 1 0 804537677 304058368 72984 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 74233 72984 180 372 0 73858 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 296932
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32434
/proc/meminfo: memFree=22437348/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=311536 CPUtime=882.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 83146 0 0 0 88011 221 0 0 25 0 1 0 804537677 319012864 76606 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 77884 76606 180 372 0 77509 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 311536
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32436
/proc/meminfo: memFree=22406940/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=329480 CPUtime=942.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 87578 0 0 0 94003 229 0 0 25 0 1 0 804537677 337387520 81038 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 82370 81038 180 372 0 81995 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 329480
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/527 32437
/proc/meminfo: memFree=22383348/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=348384 CPUtime=1002.31 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 92313 0 0 0 99989 242 0 0 25 0 1 0 804537677 356745216 85773 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 87096 85773 180 372 0 86721 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 348384
[startup+1062.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/527 32439
/proc/meminfo: memFree=22366700/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=365200 CPUtime=1062.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 96543 0 0 0 105980 252 0 0 25 0 1 0 804537677 373964800 90003 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 91300 90003 180 372 0 90925 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 365200
[startup+1122.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/527 32441
/proc/meminfo: memFree=22338880/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=383232 CPUtime=1122.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 100631 0 0 0 111971 261 0 0 25 0 1 0 804537677 392429568 94091 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 95808 94091 180 372 0 95433 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 383232
[startup+1182.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/527 32442
/proc/meminfo: memFree=22324800/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=396812 CPUtime=1182.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104040 0 0 0 117961 271 0 0 25 0 1 0 804537677 406335488 97500 33554432000 4194304 5714214 140737329855008 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99203 97500 180 372 0 98828 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 396812
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/527 32444
/proc/meminfo: memFree=22324600/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=397124 CPUtime=1242.32 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104113 0 0 0 123941 291 0 0 25 0 1 0 804537677 406654976 97573 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99281 97573 180 372 0 98906 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 397124
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 32445
/proc/meminfo: memFree=22322816/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=397284 CPUtime=1302.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104150 0 0 0 129931 303 0 0 25 0 1 0 804537677 406818816 97610 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99321 97610 180 372 0 98946 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 397284
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32447
/proc/meminfo: memFree=22324752/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=397716 CPUtime=1362.33 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104271 0 0 0 135921 312 0 0 25 0 1 0 804537677 407261184 97731 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99429 97731 180 372 0 99054 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 397716
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 32449
/proc/meminfo: memFree=22324208/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398240 CPUtime=1422.35 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104358 0 0 0 141913 322 0 0 25 0 1 0 804537677 407797760 97818 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99560 97818 180 372 0 99185 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 398240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32450
/proc/meminfo: memFree=22323676/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398380 CPUtime=1482.33 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104398 0 0 0 147901 332 0 0 25 0 1 0 804537677 407941120 97858 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99595 97858 180 372 0 99220 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 398380
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 32452
/proc/meminfo: memFree=22323880/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398664 CPUtime=1542.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104465 0 0 0 153893 341 0 0 25 0 1 0 804537677 408231936 97925 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99666 97925 180 372 0 99291 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 398664
[startup+1602.3 s]
/proc/loadavg: 2.25 2.06 2.02 3/527 32453
/proc/meminfo: memFree=22323332/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=398984 CPUtime=1602.33 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 104542 0 0 0 159885 348 0 0 25 0 1 0 804537677 408559616 98002 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 99746 98002 180 372 0 99371 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 398984
[startup+1662.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/527 32455
/proc/meminfo: memFree=22315612/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=406396 CPUtime=1662.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 106357 0 0 0 165875 359 0 0 25 0 1 0 804537677 416149504 99817 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 101599 99817 180 372 0 101224 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 406396
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/527 32457
/proc/meminfo: memFree=22303680/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=418584 CPUtime=1722.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 109428 0 0 0 171866 368 0 0 25 0 1 0 804537677 428630016 102888 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 104646 102888 180 372 0 104271 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 418584
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/527 32458
/proc/meminfo: memFree=22287032/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=432888 CPUtime=1782.34 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 112936 0 0 0 177856 378 0 0 25 0 1 0 804537677 443277312 106396 33554432000 4194304 5714214 140737329855008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 108222 106396 180 372 0 107847 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 432888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.01 2/525 32460
/proc/meminfo: memFree=22585260/32951124 swapFree=64303760/67111528
[pid=32407] ppid=32405 vsize=437276 CPUtime=1800.06 cores=1,3,5,7
/proc/32407/stat : 32407 (wbo1.6) R 32405 32407 23633 0 -1 4202496 114057 0 0 0 179625 381 0 0 25 0 1 0 804537677 447770624 107517 33554432000 4194304 5714214 140737329855008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/32407/statm: 109319 107517 180 372 0 108944 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 437276
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.09
CPU user time (s): 1796.25
CPU system time (s): 3.83942
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 437276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.25
system time used= 3.83942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114057
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= 9
involuntary context switches= 2011
runsolver used 8.78566 second user time and 22.3366 second system time
The end