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-3461475-1307098969/watcher-3461475-1307098969 -o /tmp/evaluation-result-3461475-1307098969/solver-3461475-1307098969 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461475-1307098969.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.00 2.01 2.00 2/438 14232
/proc/meminfo: memFree=29976872/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=4052 CPUtime=0 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 1 0 900127632 4149248 733 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 1013 733 179 372 0 638 0
[startup+0.075779 s]
/proc/loadavg: 2.00 2.01 2.00 2/438 14232
/proc/meminfo: memFree=29976872/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=4448 CPUtime=0.06 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 905 0 0 0 6 0 0 0 20 0 1 0 900127632 4554752 847 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 1112 847 180 372 0 737 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4448
[startup+0.10077 s]
/proc/loadavg: 2.00 2.01 2.00 2/438 14232
/proc/meminfo: memFree=29976872/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=4580 CPUtime=0.09 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 961 0 0 0 9 0 0 0 20 0 1 0 900127632 4689920 903 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 1145 903 180 372 0 770 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4580
[startup+0.300728 s]
/proc/loadavg: 2.00 2.01 2.00 2/438 14232
/proc/meminfo: memFree=29976872/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=6428 CPUtime=0.29 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 1403 0 0 0 28 1 0 0 21 0 1 0 900127632 6582272 1345 33554432000 4194304 5714214 140734384929232 18446744073709551615 4309552 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 1607 1345 180 372 0 1232 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6428
[startup+0.70066 s]
/proc/loadavg: 2.00 2.01 2.00 2/438 14232
/proc/meminfo: memFree=29976872/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=9464 CPUtime=0.69 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 2177 0 0 0 68 1 0 0 22 0 1 0 900127632 9691136 2119 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 2366 2119 180 372 0 1991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9464
[startup+1.50051 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14241
/proc/meminfo: memFree=29949684/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=14612 CPUtime=1.49 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 3440 0 0 0 146 3 0 0 25 0 1 0 900127632 14962688 3382 33554432000 4194304 5714214 140734384929232 18446744073709551615 4309777 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 3653 3382 180 372 0 3278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14612
[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14241
/proc/meminfo: memFree=29935676/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=23492 CPUtime=3.09 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 5666 0 0 0 305 4 0 0 25 0 1 0 900127632 24055808 5608 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 5873 5608 180 372 0 5498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23492
[startup+6.30061 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14241
/proc/meminfo: memFree=29911372/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=29316 CPUtime=6.29 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 7127 0 0 0 623 6 0 0 25 0 1 0 900127632 30019584 7069 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 7329 7069 180 372 0 6954 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29316
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14242
/proc/meminfo: memFree=29884732/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=36476 CPUtime=12.7 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 8899 0 0 0 1261 9 0 0 25 0 1 0 900127632 37351424 8841 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 9119 8841 180 372 0 8744 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 36476
[startup+25.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14242
/proc/meminfo: memFree=29833892/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=56952 CPUtime=25.49 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 13977 0 0 0 2537 12 0 0 25 0 1 0 900127632 58318848 13919 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 14238 13919 180 372 0 13863 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56952
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14243
/proc/meminfo: memFree=29721160/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=92488 CPUtime=51.1 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 22788 0 0 0 5091 19 0 0 25 0 1 0 900127632 94707712 22730 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 23122 22730 180 372 0 22747 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 92488
[startup+102.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14244
/proc/meminfo: memFree=29628884/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=116696 CPUtime=102.32 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 28860 0 0 0 10205 27 0 0 25 0 1 0 900127632 119496704 28802 33554432000 4194304 5714214 140734384929232 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 29174 28802 180 372 0 28799 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 116696
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14246
/proc/meminfo: memFree=29627976/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=116804 CPUtime=162.29 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 28866 0 0 0 16193 36 0 0 25 0 1 0 900127632 119607296 28808 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 29201 28808 180 372 0 28826 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 116804
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14247
/proc/meminfo: memFree=29609596/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=135432 CPUtime=222.3 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 33480 0 0 0 22183 47 0 0 25 0 1 0 900127632 138682368 33422 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 33858 33422 180 372 0 33483 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 135432
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14249
/proc/meminfo: memFree=29605944/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=139268 CPUtime=282.3 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 34954 0 0 0 28173 57 0 0 25 0 1 0 900127632 142610432 34390 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 34817 34390 180 372 0 34442 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 139268
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14250
/proc/meminfo: memFree=29594132/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=139876 CPUtime=342.31 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 35104 0 0 0 34164 67 0 0 25 0 1 0 900127632 143233024 34540 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 34969 34540 180 372 0 34594 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 139876
[startup+402.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/444 14252
/proc/meminfo: memFree=29540400/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=193756 CPUtime=402.31 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 48517 0 0 0 40151 80 0 0 25 0 1 0 900127632 198406144 47953 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 48439 47953 180 372 0 48064 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 193756
[startup+462.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/444 14254
/proc/meminfo: memFree=29524256/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=210032 CPUtime=462.31 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 52725 0 0 0 46143 88 0 0 25 0 1 0 900127632 215072768 52049 33554432000 4194304 5714214 140734384929232 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 52508 52049 180 372 0 52133 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 210032
[startup+522.301 s]
/proc/loadavg: 2.04 2.04 2.01 3/444 14255
/proc/meminfo: memFree=29513520/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=220436 CPUtime=522.31 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 55324 0 0 0 52136 95 0 0 25 0 1 0 900127632 225726464 54648 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 55109 54648 180 372 0 54734 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 220436
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14257
/proc/meminfo: memFree=29513348/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=220436 CPUtime=582.31 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 55330 0 0 0 58130 101 0 0 25 0 1 0 900127632 225726464 54654 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 55109 54654 180 372 0 54734 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 220436
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14263
/proc/meminfo: memFree=29477224/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=235344 CPUtime=822.32 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 59208 0 0 0 82101 131 0 0 25 0 1 0 900127632 240992256 58407 33554432000 4194304 5714214 140734384929232 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 58836 58407 180 372 0 58461 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 235344
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14265
/proc/meminfo: memFree=29476804/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=235344 CPUtime=882.32 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 59208 0 0 0 88090 142 0 0 25 0 1 0 900127632 240992256 58407 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 58836 58407 180 372 0 58461 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 235344
[startup+942.301 s]
/proc/loadavg: 2.17 2.04 2.01 3/444 14266
/proc/meminfo: memFree=29423684/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=286788 CPUtime=942.32 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 72007 0 0 0 94079 153 0 0 25 0 1 0 900127632 293670912 71206 33554432000 4194304 5714214 140734384929232 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 71697 71206 180 372 0 71322 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 286788
[startup+1002.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/444 14268
/proc/meminfo: memFree=29423636/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=286656 CPUtime=1002.32 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 72015 0 0 0 100073 159 0 0 25 0 1 0 900127632 293535744 71185 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 71664 71185 180 372 0 71289 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 286656
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/444 14270
/proc/meminfo: memFree=29422496/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=289780 CPUtime=1062.33 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 72792 0 0 0 106065 168 0 0 25 0 1 0 900127632 296734720 71962 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 72445 71962 180 372 0 72070 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 289780
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14271
/proc/meminfo: memFree=29400136/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=312000 CPUtime=1122.33 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 78316 0 0 0 112055 178 0 0 25 0 1 0 900127632 319488000 77486 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 78000 77486 180 372 0 77625 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 312000
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14273
/proc/meminfo: memFree=29297804/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=313364 CPUtime=1182.34 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 78766 0 0 0 118050 184 0 0 25 0 1 0 900127632 320884736 77839 33554432000 4194304 5714214 140734384929232 18446744073709551615 4310925 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 78341 77839 180 372 0 77966 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 313364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14274
/proc/meminfo: memFree=29126636/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=313364 CPUtime=1242.33 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 78776 0 0 0 124040 193 0 0 25 0 1 0 900127632 320884736 77849 33554432000 4194304 5714214 140734384929232 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 78341 77849 180 372 0 77966 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 313364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14276
/proc/meminfo: memFree=29117660/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=313528 CPUtime=1302.35 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 78816 0 0 0 130035 200 0 0 25 0 1 0 900127632 321052672 77889 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 78382 77889 180 372 0 78007 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 313528
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14278
/proc/meminfo: memFree=29057128/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=347872 CPUtime=1362.34 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 87360 0 0 0 136029 205 0 0 25 0 1 0 900127632 356220928 86433 33554432000 4194304 5714214 140734384929232 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 86968 86433 180 372 0 86593 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 347872
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 14279
/proc/meminfo: memFree=29035024/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=340064 CPUtime=1422.36 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 87366 0 0 0 142025 211 0 0 25 0 1 0 900127632 348225536 84497 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 85016 84497 180 372 0 84641 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 340064
[startup+1482.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/444 14281
/proc/meminfo: memFree=29000144/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=349932 CPUtime=1482.35 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 89809 0 0 0 148019 216 0 0 25 0 1 0 900127632 358330368 86940 33554432000 4194304 5714214 140734384929232 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 87483 86940 180 372 0 87108 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 349932
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/444 14282
/proc/meminfo: memFree=28996616/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=348504 CPUtime=1542.35 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 89815 0 0 0 154011 224 0 0 25 0 1 0 900127632 356868096 86565 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 87126 86565 180 372 0 86751 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 348504
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/444 14284
/proc/meminfo: memFree=28996952/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=348504 CPUtime=1602.35 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 89815 0 0 0 160003 232 0 0 25 0 1 0 900127632 356868096 86565 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 87126 86565 180 372 0 86751 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 348504
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/444 14286
/proc/meminfo: memFree=28980308/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=363004 CPUtime=1662.36 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 93399 0 0 0 165996 240 0 0 25 0 1 0 900127632 371716096 90149 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 90751 90149 180 372 0 90376 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 363004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14287
/proc/meminfo: memFree=28972576/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=370052 CPUtime=1722.36 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 95168 0 0 0 171989 247 0 0 25 0 1 0 900127632 378933248 91918 33554432000 4194304 5714214 140734384929232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 92513 91918 180 372 0 92138 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 370052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14289
/proc/meminfo: memFree=28956180/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=383640 CPUtime=1782.35 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 98819 0 0 0 177982 253 0 0 25 0 1 0 900127632 392847360 95286 33554432000 4194304 5714214 140734384929232 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 95910 95286 180 372 0 95535 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 383640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14289
/proc/meminfo: memFree=28957148/32950928 swapFree=52246700/67111528
[pid=14232] ppid=14230 vsize=383640 CPUtime=1800.07 cores=1,3,5,7
/proc/14232/stat : 14232 (wbo1.6) R 14230 14232 13866 0 -1 4202496 98819 0 0 0 179752 255 0 0 25 0 1 0 900127632 392847360 95286 33554432000 4194304 5714214 140734384929232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/14232/statm: 95910 95286 180 372 0 95535 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 383640
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.1
CPU user time (s): 1797.53
CPU system time (s): 2.57161
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 384796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.53
system time used= 2.57161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98819
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4203
runsolver used 7.93579 second user time and 18.2732 second system time
The end