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-3478982-1307444012/watcher-3478982-1307444012 -o /tmp/evaluation-result-3478982-1307444012/solver-3478982-1307444012 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478982-1307444012.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.02 2.04 2.01 2/477 23785
/proc/meminfo: memFree=20717656/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=11940 CPUtime=0.01 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 487 0 0 0 1 0 0 0 25 0 1 0 836816582 12226560 441 33554432000 4194304 5714214 140735994994560 18446744073709551615 4233632 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 2985 441 214 372 0 284 0
[startup+0.036276 s]
/proc/loadavg: 2.02 2.04 2.01 2/477 23785
/proc/meminfo: memFree=20717656/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=13084 CPUtime=0.03 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 834 0 0 0 3 0 0 0 25 0 1 0 836816582 13398016 788 33554432000 4194304 5714214 140735994994560 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 3271 789 297 372 0 570 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13084
[startup+0.100266 s]
/proc/loadavg: 2.02 2.04 2.01 2/477 23785
/proc/meminfo: memFree=20717656/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=16272 CPUtime=0.09 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 1910 0 0 0 9 0 0 0 25 0 1 0 836816582 16662528 1831 33554432000 4194304 5714214 140735994994560 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 4068 1831 559 372 0 1367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16272
[startup+0.300242 s]
/proc/loadavg: 2.02 2.04 2.01 2/477 23785
/proc/meminfo: memFree=20717656/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=25592 CPUtime=0.29 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 5079 0 0 0 29 0 0 0 25 0 1 0 836816582 26206208 4935 33554432000 4194304 5714214 140735994994560 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 6398 4935 1351 372 0 3697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25592
[startup+0.701162 s]
/proc/loadavg: 2.02 2.04 2.01 2/477 23785
/proc/meminfo: memFree=20717656/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=60668 CPUtime=0.69 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 17183 0 0 0 67 2 0 0 18 0 1 0 836816582 62124032 14584 33554432000 4194304 5714214 140735994994560 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 15167 14588 173 372 0 14792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 60668
[startup+1.50102 s]
/proc/loadavg: 2.02 2.04 2.01 3/478 23786
/proc/meminfo: memFree=20656288/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=62720 CPUtime=1.49 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 18159 0 0 0 139 10 0 0 19 0 1 0 836816582 64225280 15117 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 15680 15117 180 372 0 15305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62720
[startup+3.10074 s]
/proc/loadavg: 2.01 2.04 2.01 3/478 23787
/proc/meminfo: memFree=20654700/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=62720 CPUtime=3.09 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 18159 0 0 0 285 24 0 0 18 0 1 0 836816582 64225280 15117 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 15680 15117 180 372 0 15305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62720
[startup+6.30017 s]
/proc/loadavg: 2.01 2.04 2.01 3/478 23787
/proc/meminfo: memFree=20652420/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=62720 CPUtime=6.29 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 18162 0 0 0 584 45 0 0 25 0 1 0 836816582 64225280 15120 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 15680 15120 180 372 0 15305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62720
[startup+12.701 s]
/proc/loadavg: 2.01 2.04 2.01 3/478 23787
/proc/meminfo: memFree=20648224/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=62720 CPUtime=12.69 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 18169 0 0 0 1202 67 0 0 25 0 1 0 836816582 64225280 15127 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 15680 15127 180 372 0 15305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62720
[startup+25.5008 s]
/proc/loadavg: 2.01 2.04 2.01 3/478 23787
/proc/meminfo: memFree=20626320/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=77120 CPUtime=25.49 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 21792 0 0 0 2458 91 0 0 25 0 1 0 836816582 78970880 18750 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 19280 18750 180 372 0 18905 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77120
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23788
/proc/meminfo: memFree=20586448/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=106876 CPUtime=51.09 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 28974 0 0 0 4985 124 0 0 25 0 1 0 836816582 109441024 25932 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 26719 25932 180 372 0 26344 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 106876
[startup+102.318 s]
/proc/loadavg: 1.97 2.01 2.00 3/478 23817
/proc/meminfo: memFree=20962124/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=128472 CPUtime=102.31 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 34238 0 0 0 10087 144 0 0 25 0 1 0 836816582 131555328 31196 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 32118 31196 180 372 0 31743 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 128472
[startup+162.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/478 23819
/proc/meminfo: memFree=20902960/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=157272 CPUtime=162.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 41351 0 0 0 16047 183 0 0 25 0 1 0 836816582 161046528 38309 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 39318 38309 180 372 0 38943 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 157272
[startup+222.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/478 23820
/proc/meminfo: memFree=20848604/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=185504 CPUtime=222.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 48190 0 0 0 22020 210 0 0 25 0 1 0 836816582 189956096 45148 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 46376 45148 180 372 0 46001 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 185504
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/478 23822
/proc/meminfo: memFree=20793628/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=215932 CPUtime=282.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 55880 0 0 0 27973 257 0 0 25 0 1 0 836816582 221114368 52838 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 53983 52838 180 372 0 53608 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 215932
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 23823
/proc/meminfo: memFree=20760240/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=222652 CPUtime=342.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 57520 0 0 0 33895 335 0 0 25 0 1 0 836816582 227995648 54478 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 55663 54478 180 372 0 55288 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 222652
[startup+402.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/478 23825
/proc/meminfo: memFree=20728348/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=227084 CPUtime=402.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 58500 0 0 0 39863 367 0 0 25 0 1 0 836816582 232534016 55458 33554432000 4194304 5714214 140735994994560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 56771 55458 180 372 0 56396 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 227084
[startup+462.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/478 23836
/proc/meminfo: memFree=20689148/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=244224 CPUtime=462.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 62751 0 0 0 45829 401 0 0 25 0 1 0 836816582 250085376 59709 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 61056 59709 180 372 0 60681 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 244224
[startup+522.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/478 23837
/proc/meminfo: memFree=20641716/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=270760 CPUtime=522.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 68953 0 0 0 51802 428 0 0 25 0 1 0 836816582 277258240 65911 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 67690 65911 180 372 0 67315 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 270760
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23839
/proc/meminfo: memFree=20607840/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=281580 CPUtime=582.3 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 71704 0 0 0 57764 466 0 0 25 0 1 0 836816582 288337920 68662 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 70395 68662 180 372 0 70020 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 281580
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/478 23845
/proc/meminfo: memFree=20465892/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=340432 CPUtime=822.31 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 86091 0 0 0 81638 593 0 0 25 0 1 0 836816582 348602368 83049 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 85108 83049 180 372 0 84733 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 340432
[startup+882.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 23847
/proc/meminfo: memFree=20426548/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=358148 CPUtime=882.31 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 90601 0 0 0 87619 612 0 0 25 0 1 0 836816582 366743552 87559 33554432000 4194304 5714214 140735994994560 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 89537 87559 180 372 0 89162 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 358148
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23848
/proc/meminfo: memFree=20402592/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=359560 CPUtime=942.31 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 90872 0 0 0 93581 650 0 0 25 0 1 0 836816582 368189440 87830 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 89890 87830 180 372 0 89515 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 359560
[startup+1002.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/478 23850
/proc/meminfo: memFree=20378144/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=360624 CPUtime=1002.31 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 91142 0 0 0 99555 676 0 0 25 0 1 0 836816582 369278976 88100 33554432000 4194304 5714214 140735994994560 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 90156 88100 180 372 0 89781 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 360624
[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/478 23852
/proc/meminfo: memFree=20356048/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=362000 CPUtime=1062.31 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 91449 0 0 0 105520 711 0 0 25 0 1 0 836816582 370688000 88407 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 90500 88407 180 372 0 90125 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 362000
[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/478 23853
/proc/meminfo: memFree=20322780/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=373712 CPUtime=1122.32 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 94388 0 0 0 111495 737 0 0 25 0 1 0 836816582 382681088 91346 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 93428 91346 180 372 0 93053 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 373712
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 23855
/proc/meminfo: memFree=20274384/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=398364 CPUtime=1182.32 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 100510 0 0 0 117464 768 0 0 25 0 1 0 836816582 407924736 97468 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 99591 97468 180 372 0 99216 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 398364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23856
/proc/meminfo: memFree=20221644/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=426524 CPUtime=1242.32 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 107572 0 0 0 123412 820 0 0 25 0 1 0 836816582 436760576 104530 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 106631 104530 180 372 0 106256 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 426524
[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/478 23858
/proc/meminfo: memFree=20185664/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=437132 CPUtime=1302.33 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 110245 0 0 0 129335 898 0 0 25 0 1 0 836816582 447623168 107203 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 109283 107203 180 372 0 108908 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 437132
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 23860
/proc/meminfo: memFree=20158476/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=442004 CPUtime=1362.32 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 111471 0 0 0 135269 963 0 0 25 0 1 0 836816582 452612096 108429 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 110501 108429 180 372 0 110126 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 442004
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/478 23861
/proc/meminfo: memFree=20133424/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=448136 CPUtime=1422.34 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 112971 0 0 0 141247 987 0 0 25 0 1 0 836816582 458891264 109929 33554432000 4194304 5714214 140735994994560 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 112034 109929 180 372 0 111659 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 448136
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23863
/proc/meminfo: memFree=20102896/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=460088 CPUtime=1482.32 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 115867 0 0 0 147224 1008 0 0 25 0 1 0 836816582 471130112 112825 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 115022 112825 180 372 0 114647 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 460088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23864
/proc/meminfo: memFree=20061328/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=481748 CPUtime=1542.33 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 121245 0 0 0 153203 1030 0 0 25 0 1 0 836816582 493309952 118203 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 120437 118203 180 372 0 120062 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 481748
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/478 23866
/proc/meminfo: memFree=20025088/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=501228 CPUtime=1602.33 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 126084 0 0 0 159186 1047 0 0 25 0 1 0 836816582 513257472 123042 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 125307 123042 180 372 0 124932 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 501228
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/478 23868
/proc/meminfo: memFree=19995804/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=514872 CPUtime=1662.33 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 129466 0 0 0 165171 1062 0 0 25 0 1 0 836816582 527228928 126424 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319968 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 128718 126424 180 372 0 128343 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 514872
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 23869
/proc/meminfo: memFree=19964272/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=526320 CPUtime=1722.33 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 132328 0 0 0 171160 1073 0 0 25 0 1 0 836816582 538951680 129286 33554432000 4194304 5714214 140735994994560 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 131580 129286 180 372 0 131205 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 526320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23871
/proc/meminfo: memFree=19926780/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=540724 CPUtime=1782.33 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 135934 0 0 0 177145 1088 0 0 25 0 1 0 836816582 553701376 132892 33554432000 4194304 5714214 140735994994560 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 135181 132892 180 372 0 134806 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 540724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23871
/proc/meminfo: memFree=19918220/32951124 swapFree=67057928/67111528
[pid=23785] ppid=23783 vsize=543900 CPUtime=1800.05 cores=1,3,5,7
/proc/23785/stat : 23785 (wbo1.6) R 23783 23785 23281 0 -1 4202496 136755 0 0 0 178914 1091 0 0 25 0 1 0 836816582 556953600 133713 33554432000 4194304 5714214 140735994994560 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/23785/statm: 135975 133713 180 372 0 135600 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 543900
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): 1789.15
CPU system time (s): 10.9373
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 543900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.15
system time used= 10.9373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136755
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= 8
involuntary context switches= 1410
runsolver used 7.9078 second user time and 19.948 second system time
The end