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-3479015-1307444786/watcher-3479015-1307444786 -o /tmp/evaluation-result-3479015-1307444786/solver-3479015-1307444786 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479015-1307444786.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: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=3088 CPUtime=0 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 582 0 0 0 0 0 0 0 18 0 1 0 934709298 3162112 523 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 772 523 180 372 0 397 0
[startup+0.047828 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=3352 CPUtime=0.04 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 645 0 0 0 4 0 0 0 18 0 1 0 934709298 3432448 586 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 838 586 180 372 0 463 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3352
[startup+0.100808 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=4012 CPUtime=0.09 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 794 0 0 0 9 0 0 0 18 0 1 0 934709298 4108288 735 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 1003 735 180 372 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4012
[startup+0.300812 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=5464 CPUtime=0.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 1174 0 0 0 28 1 0 0 18 0 1 0 934709298 5595136 1115 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 1366 1115 180 372 0 991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5464
[startup+0.70071 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=7456 CPUtime=0.69 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 1643 0 0 0 68 1 0 0 18 0 1 0 934709298 7634944 1584 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 1864 1584 180 372 0 1489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7456
[startup+1.50055 s]
/proc/loadavg: 0.16 0.03 0.01 3/528 11340
/proc/meminfo: memFree=24721012/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=9044 CPUtime=1.49 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 2043 0 0 0 147 2 0 0 20 0 1 0 934709298 9261056 1984 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 2261 1984 180 372 0 1886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9044
[startup+3.10026 s]
/proc/loadavg: 0.16 0.03 0.01 2/523 11357
/proc/meminfo: memFree=24730328/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=10644 CPUtime=3.09 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 2473 0 0 0 306 3 0 0 25 0 1 0 934709298 10899456 2414 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 2661 2414 180 372 0 2286 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10644
[startup+6.30074 s]
/proc/loadavg: 0.31 0.07 0.02 2/523 11388
/proc/meminfo: memFree=24726116/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=14432 CPUtime=6.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 3399 0 0 0 625 4 0 0 25 0 1 0 934709298 14778368 3340 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 3608 3340 180 372 0 3233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14432
[startup+12.7006 s]
/proc/loadavg: 0.44 0.10 0.03 3/528 11398
/proc/meminfo: memFree=24524640/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=19612 CPUtime=12.69 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 4670 0 0 0 1263 6 0 0 25 0 1 0 934709298 20082688 4611 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 4903 4611 180 372 0 4528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19612
[startup+25.5004 s]
/proc/loadavg: 0.79 0.19 0.06 3/528 11398
/proc/meminfo: memFree=24507676/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=27752 CPUtime=25.48 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 6670 0 0 0 2536 12 0 0 25 0 1 0 934709298 28418048 6611 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 6938 6611 180 372 0 6563 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27752
[startup+51.1009 s]
/proc/loadavg: 1.20 0.33 0.11 3/528 11399
/proc/meminfo: memFree=24431252/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=41088 CPUtime=51.08 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 9942 0 0 0 5086 22 0 0 25 0 1 0 934709298 42074112 9883 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 10272 9883 180 372 0 9897 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41088
[startup+102.32 s]
/proc/loadavg: 1.65 0.59 0.21 3/528 11400
/proc/meminfo: memFree=24176716/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=64588 CPUtime=102.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 15730 0 0 0 10190 39 0 0 25 0 1 0 934709298 66138112 15671 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 16147 15671 180 372 0 15772 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 64588
[startup+162.3 s]
/proc/loadavg: 1.87 0.84 0.32 3/528 11402
/proc/meminfo: memFree=23842428/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=88964 CPUtime=162.27 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 21781 0 0 0 16170 57 0 0 25 0 1 0 934709298 91099136 21722 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 22241 21722 180 372 0 21866 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 88964
[startup+222.301 s]
/proc/loadavg: 1.95 1.05 0.42 3/528 11404
/proc/meminfo: memFree=23479196/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=111680 CPUtime=222.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 27378 0 0 0 22151 77 0 0 25 0 1 0 934709298 114360320 27319 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 27920 27319 180 372 0 27545 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 111680
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.52 3/528 11405
/proc/meminfo: memFree=23455096/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=135868 CPUtime=282.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 33357 0 0 0 28133 95 0 0 25 0 1 0 934709298 139128832 33298 33554432000 4194304 5714214 140735099080960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 33967 33298 180 372 0 33592 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 135868
[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.61 3/528 11408
/proc/meminfo: memFree=23433824/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=156096 CPUtime=342.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 38364 0 0 0 34112 116 0 0 25 0 1 0 934709298 159842304 38305 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 39024 38305 180 372 0 38649 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 156096
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/528 11409
/proc/meminfo: memFree=23407120/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=181136 CPUtime=402.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 44580 0 0 0 40093 135 0 0 25 0 1 0 934709298 185483264 44521 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 45284 44521 180 372 0 44909 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 181136
[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.77 3/528 11412
/proc/meminfo: memFree=23385004/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=204044 CPUtime=462.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 50086 0 0 0 46074 154 0 0 25 0 1 0 934709298 208941056 50027 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 51011 50027 180 372 0 50636 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 204044
[startup+522.3 s]
/proc/loadavg: 2.23 1.71 0.87 3/528 11414
/proc/meminfo: memFree=23364376/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=225204 CPUtime=522.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 55286 0 0 0 52057 171 0 0 25 0 1 0 934709298 230608896 55227 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 56301 55227 180 372 0 55926 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 225204
[startup+582.301 s]
/proc/loadavg: 2.19 1.79 0.94 3/528 11415
/proc/meminfo: memFree=23344244/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=245692 CPUtime=582.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 60375 0 0 0 58039 190 0 0 25 0 1 0 934709298 251588608 60316 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 61423 60316 180 372 0 61048 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 245692
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.90 1.17 3/528 11422
/proc/meminfo: memFree=22543660/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=326536 CPUtime=822.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 80339 0 0 0 81967 262 0 0 25 0 1 0 934709298 334372864 80280 33554432000 4194304 5714214 140735099080960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 81634 80280 180 372 0 81259 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 326536
[startup+882.301 s]
/proc/loadavg: 2.00 1.91 1.22 3/528 11423
/proc/meminfo: memFree=22369760/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=347576 CPUtime=882.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 85566 0 0 0 87949 280 0 0 25 0 1 0 934709298 355917824 85507 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319136 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 86894 85507 180 372 0 86519 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 347576
[startup+942.301 s]
/proc/loadavg: 2.00 1.92 1.27 3/528 11425
/proc/meminfo: memFree=22196972/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=370184 CPUtime=942.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 91176 0 0 0 93928 301 0 0 25 0 1 0 934709298 379068416 91117 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 92546 91117 180 372 0 92171 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 370184
[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.31 3/528 11426
/proc/meminfo: memFree=21992224/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=392144 CPUtime=1002.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 96648 0 0 0 99906 323 0 0 25 0 1 0 934709298 401555456 96589 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 98036 96589 180 372 0 97661 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 392144
[startup+1062.3 s]
/proc/loadavg: 2.16 1.98 1.36 3/528 11428
/proc/meminfo: memFree=21843516/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=410656 CPUtime=1062.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 101244 0 0 0 105886 344 0 0 25 0 1 0 934709298 420511744 101185 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 102664 101185 180 372 0 102289 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 410656
[startup+1122.3 s]
/proc/loadavg: 2.29 2.03 1.41 3/528 11430
/proc/meminfo: memFree=21665776/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=430960 CPUtime=1122.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 106257 0 0 0 111866 363 0 0 25 0 1 0 934709298 441303040 106194 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 107740 106194 180 372 0 107365 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 430960
[startup+1182.3 s]
/proc/loadavg: 2.18 2.04 1.45 3/528 11431
/proc/meminfo: memFree=21483708/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=455648 CPUtime=1182.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 112355 0 0 0 117848 382 0 0 25 0 1 0 934709298 466583552 112292 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 113912 112292 180 372 0 113537 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 455648
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 1.48 3/528 11433
/proc/meminfo: memFree=21292452/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=476192 CPUtime=1242.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 117468 0 0 0 123828 402 0 0 25 0 1 0 934709298 487620608 117405 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 119048 117405 180 372 0 118673 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 476192
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.51 3/528 11434
/proc/meminfo: memFree=21043660/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=499476 CPUtime=1302.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 123251 0 0 0 129812 419 0 0 25 0 1 0 934709298 511463424 123188 33554432000 4194304 5714214 140735099080960 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 124869 123188 180 372 0 124494 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 499476
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.54 3/528 11436
/proc/meminfo: memFree=20811736/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=520036 CPUtime=1362.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 128391 0 0 0 135793 438 0 0 25 0 1 0 934709298 532516864 128328 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 130009 128328 180 372 0 129634 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 520036
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.57 3/528 11438
/proc/meminfo: memFree=20568896/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=539344 CPUtime=1422.32 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 133202 0 0 0 141776 456 0 0 25 0 1 0 934709298 552288256 133139 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 134836 133139 180 372 0 134461 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 539344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.59 3/528 11439
/proc/meminfo: memFree=20343944/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=559312 CPUtime=1482.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 138186 0 0 0 147754 477 0 0 25 0 1 0 934709298 572735488 138123 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 139828 138123 180 372 0 139453 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 559312
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.61 3/528 11441
/proc/meminfo: memFree=20156660/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=581792 CPUtime=1542.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 143755 0 0 0 153734 496 0 0 25 0 1 0 934709298 595755008 143692 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 145448 143692 180 372 0 145073 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 581792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/528 11442
/proc/meminfo: memFree=19939500/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=600852 CPUtime=1602.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 148495 0 0 0 159716 515 0 0 25 0 1 0 934709298 615272448 148432 33554432000 4194304 5714214 140735099080960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 150213 148432 180 372 0 149838 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 600852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/528 11444
/proc/meminfo: memFree=19757676/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=620316 CPUtime=1662.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 153326 0 0 0 165697 534 0 0 25 0 1 0 934709298 635203584 153263 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 155079 153263 180 372 0 154704 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 620316
[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 1.69 3/528 11446
/proc/meminfo: memFree=19562336/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=640348 CPUtime=1722.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 158332 0 0 0 171677 554 0 0 25 0 1 0 934709298 655716352 158269 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 160087 158269 180 372 0 159712 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 640348
[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.72 3/528 11447
/proc/meminfo: memFree=19337120/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=663560 CPUtime=1782.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 164100 0 0 0 177659 572 0 0 25 0 1 0 934709298 679485440 164037 33554432000 4194304 5714214 140735099080960 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 165890 164037 180 372 0 165515 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 663560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.05 1.72 3/528 11448
/proc/meminfo: memFree=19283296/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=667984 CPUtime=1800.02 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 165203 0 0 0 179424 578 0 0 25 0 1 0 934709298 684015616 165140 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 166996 165140 180 372 0 166621 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 667984
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.08
CPU user time (s): 1794.26
CPU system time (s): 5.81812
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 667984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 5.81811
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165203
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= 1973
runsolver used 10.1545 second user time and 20.9678 second system time
The end