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-3461483-1307099718/watcher-3461483-1307099718 -o /tmp/evaluation-result-3461483-1307099718/solver-3461483-1307099718 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461483-1307099718.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.93 2.00 1.99 3/386 27793
/proc/meminfo: memFree=23168496/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=5404 CPUtime=0 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 1131 0 0 0 0 0 0 0 25 0 1 0 821574573 5533696 1062 33554432000 4194304 5714214 140736589602336 18446744073709551615 4354544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 1351 1062 173 372 0 976 0
[startup+0.0360911 s]
/proc/loadavg: 1.93 2.00 1.99 3/386 27793
/proc/meminfo: memFree=23168496/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=5396 CPUtime=0.02 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 1217 0 0 0 2 0 0 0 25 0 1 0 821574573 5525504 1070 33554432000 4194304 5714214 140736589602336 18446744073709551615 4313891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 1349 1070 180 372 0 974 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5396
[startup+0.101067 s]
/proc/loadavg: 1.93 2.00 1.99 3/386 27793
/proc/meminfo: memFree=23168496/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=5792 CPUtime=0.09 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 1338 0 0 0 9 0 0 0 25 0 1 0 821574573 5931008 1191 33554432000 4194304 5714214 140736589602336 18446744073709551615 4309516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 1448 1191 180 372 0 1073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5792
[startup+0.301031 s]
/proc/loadavg: 1.93 2.00 1.99 3/386 27793
/proc/meminfo: memFree=23168496/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=7512 CPUtime=0.29 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 1754 0 0 0 28 1 0 0 25 0 1 0 821574573 7692288 1607 33554432000 4194304 5714214 140736589602336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 1878 1607 180 372 0 1503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7512
[startup+0.700962 s]
/proc/loadavg: 1.93 2.00 1.99 3/386 27793
/proc/meminfo: memFree=23168496/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=10152 CPUtime=0.68 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 2433 0 0 0 67 1 0 0 25 0 1 0 821574573 10395648 2286 33554432000 4194304 5714214 140736589602336 18446744073709551615 4309329 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 2538 2286 180 372 0 2163 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10152
[startup+1.50083 s]
/proc/loadavg: 1.93 2.00 1.99 3/387 27794
/proc/meminfo: memFree=23157700/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=15228 CPUtime=1.49 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 3695 0 0 0 146 3 0 0 25 0 1 0 821574573 15593472 3548 33554432000 4194304 5714214 140736589602336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 3807 3548 180 372 0 3432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15228
[startup+3.10054 s]
/proc/loadavg: 1.93 2.00 1.99 3/387 27794
/proc/meminfo: memFree=23150632/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=23312 CPUtime=3.08 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 5721 0 0 0 305 3 0 0 19 0 1 0 821574573 23871488 5574 33554432000 4194304 5714214 140736589602336 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 5828 5575 180 372 0 5453 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23312
[startup+6.30097 s]
/proc/loadavg: 1.93 2.00 1.99 3/387 27794
/proc/meminfo: memFree=23135688/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=35660 CPUtime=6.29 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 8808 0 0 0 624 5 0 0 25 0 1 0 821574573 36515840 8661 33554432000 4194304 5714214 140736589602336 18446744073709551615 4309806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 8915 8661 180 372 0 8540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35660
[startup+12.7008 s]
/proc/loadavg: 1.86 1.98 1.99 3/387 27822
/proc/meminfo: memFree=23789964/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=47892 CPUtime=12.69 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 11847 0 0 0 1262 7 0 0 25 0 1 0 821574573 49041408 11700 33554432000 4194304 5714214 140736589602336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 11973 11700 180 372 0 11598 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47892
[startup+25.5006 s]
/proc/loadavg: 1.89 1.98 1.99 3/387 27822
/proc/meminfo: memFree=23734368/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=91488 CPUtime=25.49 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 22733 0 0 0 2539 10 0 0 25 0 1 0 821574573 93683712 22586 33554432000 4194304 5714214 140736589602336 18446744073709551615 4310931 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 22872 22586 180 372 0 22497 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91488
[startup+51.101 s]
/proc/loadavg: 1.93 1.98 1.99 3/387 27823
/proc/meminfo: memFree=23684316/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=126340 CPUtime=51.09 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 31411 0 0 0 5094 15 0 0 25 0 1 0 821574573 129372160 31264 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 31585 31264 180 372 0 31210 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126340
[startup+102.314 s]
/proc/loadavg: 2.02 2.00 1.99 3/387 27851
/proc/meminfo: memFree=23647412/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=153180 CPUtime=102.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 38139 0 0 0 10208 22 0 0 25 0 1 0 821574573 156856320 37992 33554432000 4194304 5714214 140736589602336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 38295 37992 180 372 0 37920 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153180
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/387 27853
/proc/meminfo: memFree=23590520/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=166984 CPUtime=162.29 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 41556 0 0 0 16199 30 0 0 25 0 1 0 821574573 170991616 41409 33554432000 4194304 5714214 140736589602336 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 41746 41409 180 372 0 41371 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 166984
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 27855
/proc/meminfo: memFree=23548936/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=166984 CPUtime=222.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 41556 0 0 0 22192 38 0 0 25 0 1 0 821574573 170991616 41409 33554432000 4194304 5714214 140736589602336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 41746 41409 180 372 0 41371 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 166984
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27856
/proc/meminfo: memFree=23548244/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=166984 CPUtime=282.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 41560 0 0 0 28183 47 0 0 25 0 1 0 821574573 170991616 41413 33554432000 4194304 5714214 140736589602336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 41746 41413 180 372 0 41371 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 166984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27858
/proc/meminfo: memFree=23507644/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=166984 CPUtime=342.29 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 41560 0 0 0 34175 54 0 0 25 0 1 0 821574573 170991616 41413 33554432000 4194304 5714214 140736589602336 18446744073709551615 4309554 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 41746 41413 180 372 0 41371 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 166984
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27859
/proc/meminfo: memFree=23489004/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=179984 CPUtime=402.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 44799 0 0 0 40162 68 0 0 25 0 1 0 821574573 184303616 44652 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 44996 44652 180 372 0 44621 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 179984
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27861
/proc/meminfo: memFree=23461064/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=191040 CPUtime=462.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 47561 0 0 0 46152 78 0 0 25 0 1 0 821574573 195624960 47414 33554432000 4194304 5714214 140736589602336 18446744073709551615 4309480 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 47760 47414 180 372 0 47385 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 191040
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27863
/proc/meminfo: memFree=23433724/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=201088 CPUtime=522.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 50031 0 0 0 52142 88 0 0 25 0 1 0 821574573 205914112 49884 33554432000 4194304 5714214 140736589602336 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 50272 49884 180 372 0 49897 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 201088
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27864
/proc/meminfo: memFree=23283892/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=351732 CPUtime=582.3 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 87640 0 0 0 58125 105 0 0 25 0 1 0 821574573 360173568 87493 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 87933 87493 180 372 0 87558 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 351732
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 27871
/proc/meminfo: memFree=23224828/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=408408 CPUtime=822.31 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 101815 0 0 0 82093 138 0 0 25 0 1 0 821574573 418209792 101668 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 102102 101668 180 372 0 101727 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 408408
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 27872
/proc/meminfo: memFree=23225652/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=398632 CPUtime=882.31 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 101815 0 0 0 88086 145 0 0 25 0 1 0 821574573 408199168 99242 33554432000 4194304 5714214 140736589602336 18446744073709551615 4309791 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 99658 99242 180 372 0 99283 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 398632
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27874
/proc/meminfo: memFree=23202272/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=418004 CPUtime=942.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 107665 0 0 0 94080 152 0 0 25 0 1 0 821574573 428036096 104083 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 104501 104083 180 372 0 104126 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 418004
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27875
/proc/meminfo: memFree=23184344/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=424772 CPUtime=1002.31 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110236 0 0 0 100073 158 0 0 25 0 1 0 821574573 434966528 105779 33554432000 4194304 5714214 140736589602336 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 106193 105779 180 372 0 105818 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 424772
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27877
/proc/meminfo: memFree=23187996/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1062.31 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 106064 167 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 4311201 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 413612
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27879
/proc/meminfo: memFree=23145552/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1122.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 112058 174 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 413612
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27880
/proc/meminfo: memFree=23067128/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1182.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 118050 182 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 413612
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 27882
/proc/meminfo: memFree=23053576/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1242.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 124042 190 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 413612
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/387 27883
/proc/meminfo: memFree=23053908/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1302.33 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 130035 198 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 413612
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 27885
/proc/meminfo: memFree=23041600/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1362.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 136024 208 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 413612
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 27887
/proc/meminfo: memFree=23041412/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413612 CPUtime=1422.34 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110243 0 0 0 142018 216 0 0 25 0 1 0 821574573 423538688 102996 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103403 102996 180 372 0 103028 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 413612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 27888
/proc/meminfo: memFree=23041380/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1482.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 148007 225 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 413772
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 27890
/proc/meminfo: memFree=23041336/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1542.33 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 154000 233 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 413772
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27891
/proc/meminfo: memFree=23041148/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1602.32 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 159994 238 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 413772
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27893
/proc/meminfo: memFree=23041340/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1662.33 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 165986 247 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 413772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 27895
/proc/meminfo: memFree=23030888/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1722.34 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 171978 256 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 413772
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/387 27896
/proc/meminfo: memFree=23007772/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1782.33 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 177970 263 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 413772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.01 3/387 27897
/proc/meminfo: memFree=23008500/32951124 swapFree=49244120/67111528
[pid=27793] ppid=27791 vsize=413772 CPUtime=1800.05 cores=1,3,5,7
/proc/27793/stat : 27793 (wbo1.6) R 27791 27793 27315 0 -1 4202496 110250 0 0 0 179740 265 0 0 25 0 1 0 821574573 423702528 103003 33554432000 4194304 5714214 140736589602336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27793/statm: 103443 103003 180 372 0 103068 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 413772
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.03
CPU time (s): 1800.08
CPU user time (s): 1797.41
CPU system time (s): 2.67059
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 428308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.41
system time used= 2.67059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110250
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= 4714
runsolver used 6.552 second user time and 15.2537 second system time
The end