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-3461517-1307102618/watcher-3461517-1307102618 -o /tmp/evaluation-result-3461517-1307102618/solver-3461517-1307102618 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461517-1307102618.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: 2.16 2.04 2.01 3/443 14489
/proc/meminfo: memFree=29898472/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=2104 CPUtime=0 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 315 0 0 0 0 0 0 0 25 0 1 0 900492466 2154496 265 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 526 265 179 372 0 151 0
[startup+0.10956 s]
/proc/loadavg: 2.16 2.04 2.01 3/443 14489
/proc/meminfo: memFree=29898472/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=3028 CPUtime=0.1 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 561 0 0 0 10 0 0 0 25 0 1 0 900492466 3100672 511 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 757 511 180 372 0 382 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3028
[startup+0.200543 s]
/proc/loadavg: 2.16 2.04 2.01 3/443 14489
/proc/meminfo: memFree=29898472/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=3708 CPUtime=0.18 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 733 0 0 0 18 0 0 0 25 0 1 0 900492466 3796992 683 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 927 683 180 372 0 552 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 3708
[startup+0.300519 s]
/proc/loadavg: 2.16 2.04 2.01 3/443 14489
/proc/meminfo: memFree=29898472/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=4112 CPUtime=0.28 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 821 0 0 0 28 0 0 0 25 0 1 0 900492466 4210688 771 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 1028 771 180 372 0 653 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4112
[startup+0.70045 s]
/proc/loadavg: 2.16 2.04 2.01 3/443 14489
/proc/meminfo: memFree=29898472/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=5444 CPUtime=0.68 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 1173 0 0 0 68 0 0 0 25 0 1 0 900492466 5574656 1123 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 1361 1123 180 372 0 986 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5444
[startup+1.5003 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 14490
/proc/meminfo: memFree=29890404/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=8988 CPUtime=1.48 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 2035 0 0 0 147 1 0 0 25 0 1 0 900492466 9203712 1985 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 2247 1985 180 372 0 1872 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8988
[startup+3.101 s]
/proc/loadavg: 2.15 2.03 2.01 3/444 14490
/proc/meminfo: memFree=29886560/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=12416 CPUtime=3.08 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 2859 0 0 0 306 2 0 0 25 0 1 0 900492466 12713984 2809 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 3104 2809 180 372 0 2729 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12416
[startup+6.30039 s]
/proc/loadavg: 2.15 2.03 2.01 3/444 14490
/proc/meminfo: memFree=29874844/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=18360 CPUtime=6.28 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 4321 0 0 0 624 4 0 0 25 0 1 0 900492466 18800640 4271 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 4590 4271 180 372 0 4215 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18360
[startup+12.7012 s]
/proc/loadavg: 2.12 2.03 2.01 3/444 14490
/proc/meminfo: memFree=29859476/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=29108 CPUtime=12.69 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 6955 0 0 0 1260 9 0 0 25 0 1 0 900492466 29806592 6905 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 7277 6905 180 372 0 6902 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29108
[startup+25.5008 s]
/proc/loadavg: 2.10 2.03 2.01 3/444 14490
/proc/meminfo: memFree=29827232/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=49512 CPUtime=25.49 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 12093 0 0 0 2534 15 0 0 19 0 1 0 900492466 50700288 11941 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 12378 11941 180 372 0 12003 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49512
[startup+51.101 s]
/proc/loadavg: 2.07 2.03 2.01 3/444 14491
/proc/meminfo: memFree=29804644/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=49512 CPUtime=51.08 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 12291 0 0 0 5082 26 0 0 25 0 1 0 900492466 50700288 12139 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 12378 12139 180 372 0 12003 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49512
[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/444 14492
/proc/meminfo: memFree=29743600/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=81832 CPUtime=102.3 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 20006 0 0 0 10188 42 0 0 25 0 1 0 900492466 83795968 19854 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 20458 19854 180 372 0 20083 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 81832
[startup+162.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/444 14494
/proc/meminfo: memFree=29700040/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=123652 CPUtime=162.29 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 30219 0 0 0 16169 60 0 0 25 0 1 0 900492466 126619648 30067 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 30913 30067 180 372 0 30538 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 123652
[startup+222.317 s]
/proc/loadavg: 2.02 2.04 2.00 3/444 14496
/proc/meminfo: memFree=29664776/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=152516 CPUtime=222.31 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 37236 0 0 0 22158 73 0 0 25 0 1 0 900492466 156176384 37084 33554432000 4194304 5714214 140734123564448 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 38129 37084 180 372 0 37754 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 152516
[startup+282.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/444 14497
/proc/meminfo: memFree=29608568/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=182440 CPUtime=282.29 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 44661 0 0 0 28141 88 0 0 25 0 1 0 900492466 186818560 44509 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 45610 44509 180 372 0 45235 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 182440
[startup+342.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/444 14499
/proc/meminfo: memFree=29552952/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=209708 CPUtime=342.3 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 51381 0 0 0 34127 103 0 0 25 0 1 0 900492466 214740992 51229 33554432000 4194304 5714214 140734123564448 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 52427 51229 180 372 0 52052 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 209708
[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/444 14500
/proc/meminfo: memFree=29498092/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=240920 CPUtime=402.31 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 59141 0 0 0 40111 120 0 0 25 0 1 0 900492466 246702080 58989 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 60230 58989 180 372 0 59855 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 240920
[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/444 14502
/proc/meminfo: memFree=29425356/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=278260 CPUtime=462.3 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 68313 0 0 0 46092 138 0 0 25 0 1 0 900492466 284938240 68161 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 69565 68161 180 372 0 69190 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 278260
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 14504
/proc/meminfo: memFree=29362700/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=313260 CPUtime=522.31 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 77005 0 0 0 52075 156 0 0 25 0 1 0 900492466 320778240 76853 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 78315 76853 180 372 0 77940 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 313260
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14505
/proc/meminfo: memFree=29303252/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=346412 CPUtime=582.31 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 85194 0 0 0 58059 172 0 0 25 0 1 0 900492466 354725888 85042 33554432000 4194304 5714214 140734123564448 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 86603 85042 180 372 0 86228 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 346412
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.06 2.03 2.01 3/444 14513
/proc/meminfo: memFree=29028464/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=510944 CPUtime=882.34 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 125982 0 0 0 87971 263 0 0 25 0 1 0 900492466 523206656 125830 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 127736 125830 180 372 0 127361 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 510944
[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14515
/proc/meminfo: memFree=28977700/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=534524 CPUtime=942.32 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 131878 0 0 0 93954 278 0 0 25 0 1 0 900492466 547352576 131726 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 133631 131726 180 372 0 133256 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 534524
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14516
/proc/meminfo: memFree=28927552/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=558808 CPUtime=1002.32 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 137888 0 0 0 99938 294 0 0 25 0 1 0 900492466 572219392 137736 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 139702 137736 180 372 0 139327 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 558808
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14518
/proc/meminfo: memFree=28883956/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=582472 CPUtime=1062.33 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 143668 0 0 0 105926 307 0 0 25 0 1 0 900492466 596451328 143516 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 145618 143516 180 372 0 145243 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 582472
[startup+1122.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 14520
/proc/meminfo: memFree=28829840/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=604340 CPUtime=1122.33 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 148983 0 0 0 111910 323 0 0 25 0 1 0 900492466 618844160 148831 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 151085 148831 180 372 0 150710 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 604340
[startup+1182.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/444 14521
/proc/meminfo: memFree=28778440/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=638968 CPUtime=1182.32 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 157547 0 0 0 117891 341 0 0 25 0 1 0 900492466 654303232 157395 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 159742 157395 180 372 0 159367 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 638968
[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 14523
/proc/meminfo: memFree=28732404/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=663824 CPUtime=1242.33 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 163744 0 0 0 123879 354 0 0 25 0 1 0 900492466 679755776 163592 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 165956 163592 180 372 0 165581 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 663824
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14524
/proc/meminfo: memFree=28681364/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=688916 CPUtime=1302.33 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 170013 0 0 0 129864 369 0 0 25 0 1 0 900492466 705449984 169861 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 172229 169861 180 372 0 171854 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 688916
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/444 14526
/proc/meminfo: memFree=28638028/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=715060 CPUtime=1362.33 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 176447 0 0 0 135850 383 0 0 25 0 1 0 900492466 732221440 176295 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 178765 176295 180 372 0 178390 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 715060
[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/444 14528
/proc/meminfo: memFree=28593224/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=736908 CPUtime=1422.35 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 181803 0 0 0 141838 397 0 0 25 0 1 0 900492466 754593792 181651 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319944 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 184227 181651 180 372 0 183852 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 736908
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/444 14529
/proc/meminfo: memFree=28534984/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=763936 CPUtime=1482.34 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 188487 0 0 0 147821 413 0 0 25 0 1 0 900492466 782270464 188335 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 190984 188335 180 372 0 190609 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 763936
[startup+1542.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14531
/proc/meminfo: memFree=28495016/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=787176 CPUtime=1542.35 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 194299 0 0 0 153808 427 0 0 25 0 1 0 900492466 806068224 194147 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 196794 194147 180 372 0 196419 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 787176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 14532
/proc/meminfo: memFree=28443876/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=816804 CPUtime=1602.34 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 201729 0 0 0 159794 440 0 0 25 0 1 0 900492466 836407296 201577 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 204201 201577 180 372 0 203826 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 816804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 14534
/proc/meminfo: memFree=28405612/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=842248 CPUtime=1662.35 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 208011 0 0 0 165777 458 0 0 25 0 1 0 900492466 862461952 207859 33554432000 4194304 5714214 140734123564448 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 210562 207859 180 372 0 210187 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 842248
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/444 14536
/proc/meminfo: memFree=28350260/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=872952 CPUtime=1722.35 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 215619 0 0 0 171760 475 0 0 25 0 1 0 900492466 893902848 215467 33554432000 4194304 5714214 140734123564448 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 218238 215467 180 372 0 217863 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 872952
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/444 14565
/proc/meminfo: memFree=29030240/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=899424 CPUtime=1782.35 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 222248 0 0 0 177742 493 0 0 25 0 1 0 900492466 921010176 222096 33554432000 4194304 5714214 140734123564448 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 224856 222096 180 372 0 224481 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 899424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 14566
/proc/meminfo: memFree=29013892/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=915840 CPUtime=1800.06 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 226332 0 0 0 179508 498 0 0 25 0 1 0 900492466 937820160 226180 33554432000 4194304 5714214 140734123564448 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 228960 226180 180 372 0 228585 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 14566
/proc/meminfo: memFree=29013892/32950928 swapFree=52246700/67111528
[pid=14489] ppid=14487 vsize=915840 CPUtime=1800.06 cores=0,2,4,6
/proc/14489/stat : 14489 (wbo1.6) R 14487 14489 13866 0 -1 4202496 226332 0 0 0 179508 498 0 0 25 0 1 0 900492466 937820160 226180 33554432000 4194304 5714214 140734123564448 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/14489/statm: 228960 226180 180 372 0 228585 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915840
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1795.09
CPU system time (s): 5.02524
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 915840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.09
system time used= 5.02524
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226334
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= 4
involuntary context switches= 2647
runsolver used 8.38972 second user time and 16.9984 second system time
The end