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-3461228-1307069052/watcher-3461228-1307069052 -o /tmp/evaluation-result-3461228-1307069052/solver-3461228-1307069052 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461228-1307069052.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.10 1.56 1.21 2/517 2520
/proc/meminfo: memFree=21223344/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=2372 CPUtime=0 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 379 0 0 0 0 0 0 0 25 0 1 0 818501934 2428928 329 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 593 329 180 372 0 218 0
[startup+0.033353 s]
/proc/loadavg: 2.10 1.56 1.21 2/517 2520
/proc/meminfo: memFree=21223344/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=2636 CPUtime=0.03 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 475 0 0 0 3 0 0 0 25 0 1 0 818501934 2699264 425 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 659 425 180 372 0 284 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2636
[startup+0.100339 s]
/proc/loadavg: 2.10 1.56 1.21 2/517 2520
/proc/meminfo: memFree=21223344/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=3428 CPUtime=0.09 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 648 0 0 0 9 0 0 0 25 0 1 0 818501934 3510272 598 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 857 598 180 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428
[startup+0.300298 s]
/proc/loadavg: 2.10 1.56 1.21 2/517 2520
/proc/meminfo: memFree=21223344/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=4880 CPUtime=0.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 1030 0 0 0 29 0 0 0 25 0 1 0 818501934 4997120 980 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 1220 981 180 372 0 845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4880
[startup+0.700216 s]
/proc/loadavg: 2.10 1.56 1.21 2/517 2520
/proc/meminfo: memFree=21223344/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=7056 CPUtime=0.69 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 1566 0 0 0 68 1 0 0 25 0 1 0 818501934 7225344 1516 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 1764 1516 180 372 0 1389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7056
[startup+1.50106 s]
/proc/loadavg: 2.10 1.56 1.21 3/518 2521
/proc/meminfo: memFree=21213568/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=10620 CPUtime=1.49 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 2453 0 0 0 146 3 0 0 25 0 1 0 818501934 10874880 2403 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 2655 2403 180 372 0 2280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10620
[startup+3.10074 s]
/proc/loadavg: 2.09 1.56 1.21 3/518 2521
/proc/meminfo: memFree=21209852/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=13056 CPUtime=3.09 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 3026 0 0 0 304 5 0 0 25 0 1 0 818501934 13369344 2976 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 3264 2976 180 372 0 2889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13056
[startup+6.3011 s]
/proc/loadavg: 2.09 1.56 1.21 3/518 2521
/proc/meminfo: memFree=21202260/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=16520 CPUtime=6.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 3881 0 0 0 620 9 0 0 25 0 1 0 818501934 16916480 3831 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 4130 3831 180 372 0 3755 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16520
[startup+12.7008 s]
/proc/loadavg: 2.08 1.58 1.22 3/518 2522
/proc/meminfo: memFree=21190504/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=19924 CPUtime=12.7 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 4744 0 0 0 1255 15 0 0 25 0 1 0 818501934 20402176 4694 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 4981 4694 180 372 0 4606 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 19924
[startup+25.5003 s]
/proc/loadavg: 2.06 1.59 1.23 3/518 2522
/proc/meminfo: memFree=21172484/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=24884 CPUtime=25.49 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 5914 0 0 0 2527 22 0 0 25 0 1 0 818501934 25481216 5864 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 6221 5864 180 372 0 5846 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24884
[startup+51.1012 s]
/proc/loadavg: 2.04 1.62 1.25 3/518 2523
/proc/meminfo: memFree=21142332/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=33572 CPUtime=51.1 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 8010 0 0 0 5077 33 0 0 25 0 1 0 818501934 34377728 7960 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 8393 7960 180 372 0 8018 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 33572
[startup+102.32 s]
/proc/loadavg: 2.12 1.73 1.30 3/518 2552
/proc/meminfo: memFree=21246372/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=49132 CPUtime=102.32 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 11785 0 0 0 10179 53 0 0 25 0 1 0 818501934 50311168 11735 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 12283 11735 180 372 0 11908 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 49132
[startup+162.301 s]
/proc/loadavg: 2.17 1.80 1.35 3/518 2554
/proc/meminfo: memFree=21163032/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=69528 CPUtime=162.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 16755 0 0 0 16142 87 0 0 25 0 1 0 818501934 71196672 16705 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2520/statm: 17382 16705 180 372 0 17007 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 69528
[startup+222.301 s]
/proc/loadavg: 2.12 1.85 1.40 3/518 2555
/proc/meminfo: memFree=21140428/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=93380 CPUtime=222.26 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 22627 0 0 0 22094 132 0 0 25 0 1 0 818501934 95621120 22577 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 23345 22577 180 372 0 22970 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 93380
[startup+282.301 s]
/proc/loadavg: 2.04 1.88 1.43 3/518 2557
/proc/meminfo: memFree=21101604/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=123636 CPUtime=282.27 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 29927 0 0 0 28052 175 0 0 25 0 1 0 818501934 126603264 29877 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 30909 29877 180 372 0 30534 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 123636
[startup+342.301 s]
/proc/loadavg: 2.01 1.90 1.47 3/518 2558
/proc/meminfo: memFree=21032124/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=144944 CPUtime=342.27 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 35141 0 0 0 34015 212 0 0 25 0 1 0 818501934 148422656 35091 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 36236 35091 180 372 0 35861 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 144944
[startup+402.301 s]
/proc/loadavg: 2.00 1.91 1.49 3/518 2560
/proc/meminfo: memFree=21007428/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=159656 CPUtime=402.27 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 38757 0 0 0 39986 241 0 0 25 0 1 0 818501934 163487744 38707 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 39914 38707 180 372 0 39539 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 159656
[startup+462.301 s]
/proc/loadavg: 2.00 1.92 1.52 3/518 2562
/proc/meminfo: memFree=20983348/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=170492 CPUtime=462.27 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 41358 0 0 0 45969 258 0 0 25 0 1 0 818501934 174583808 41308 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 42623 41308 180 372 0 42248 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 170492
[startup+522.3 s]
/proc/loadavg: 2.00 1.94 1.55 3/518 2563
/proc/meminfo: memFree=20968808/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=185236 CPUtime=522.28 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 44927 0 0 0 51945 283 0 0 25 0 1 0 818501934 189681664 44877 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 46309 44877 180 372 0 45934 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 185236
[startup+582.3 s]
/proc/loadavg: 2.04 1.96 1.58 3/518 2565
/proc/meminfo: memFree=20928588/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=226296 CPUtime=582.28 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 54963 0 0 0 57915 313 0 0 25 0 1 0 818501934 231727104 54913 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 56574 54913 180 372 0 56199 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 226296
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.00 1.67 3/518 2571
/proc/meminfo: memFree=20884384/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=271832 CPUtime=822.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 65967 0 0 0 81827 402 0 0 25 0 1 0 818501934 278355968 65913 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 67958 65913 180 372 0 67583 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 271832
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/518 2573
/proc/meminfo: memFree=20870716/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=285752 CPUtime=882.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 69348 0 0 0 87796 433 0 0 25 0 1 0 818501934 292610048 69294 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 71438 69294 180 372 0 71063 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 285752
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/518 2574
/proc/meminfo: memFree=20846004/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=311296 CPUtime=942.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 75524 0 0 0 93757 472 0 0 25 0 1 0 818501934 318767104 75470 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 77824 75470 180 372 0 77449 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 311296
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/518 2576
/proc/meminfo: memFree=20826008/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=332456 CPUtime=1002.29 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 80743 0 0 0 99716 513 0 0 25 0 1 0 818501934 340434944 80689 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 83114 80689 180 372 0 82739 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 332456
[startup+1062.3 s]
/proc/loadavg: 2.13 2.03 1.75 3/518 2587
/proc/meminfo: memFree=20748424/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=354920 CPUtime=1062.3 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 86082 0 0 0 105681 549 0 0 25 0 1 0 818501934 363438080 86028 33554432000 4194304 5714214 140733963555552 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 88730 86028 180 372 0 88355 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 354920
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 1.76 3/518 2588
/proc/meminfo: memFree=20674740/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=371300 CPUtime=1122.31 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 90083 0 0 0 111647 584 0 0 25 0 1 0 818501934 380211200 90029 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 92825 90029 180 372 0 92450 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 371300
[startup+1182.3 s]
/proc/loadavg: 2.12 2.05 1.78 3/518 2590
/proc/meminfo: memFree=20639484/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=391896 CPUtime=1182.3 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 95193 0 0 0 117612 618 0 0 25 0 1 0 818501934 401301504 95139 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 97974 95139 180 372 0 97599 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 391896
[startup+1242.3 s]
/proc/loadavg: 2.09 2.05 1.80 3/518 2594
/proc/meminfo: memFree=20615752/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=409496 CPUtime=1242.31 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 99543 0 0 0 123570 661 0 0 25 0 1 0 818501934 419323904 99489 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 102374 99489 180 372 0 101999 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 409496
[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 1.81 3/518 2596
/proc/meminfo: memFree=20593556/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=430700 CPUtime=1302.32 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 104727 0 0 0 129538 694 0 0 25 0 1 0 818501934 441036800 104673 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 107675 104673 180 372 0 107300 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 430700
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.82 3/518 2598
/proc/meminfo: memFree=20546652/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=458436 CPUtime=1362.31 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 111578 0 0 0 135500 731 0 0 25 0 1 0 818501934 469438464 111524 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 114609 111524 180 372 0 114234 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 458436
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.83 3/518 2599
/proc/meminfo: memFree=20537324/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=470060 CPUtime=1422.34 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 114457 0 0 0 141474 760 0 0 25 0 1 0 818501934 481341440 114403 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 117515 114403 180 372 0 117140 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 470060
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.83 3/518 2601
/proc/meminfo: memFree=20525992/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=482324 CPUtime=1482.32 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 117446 0 0 0 147444 788 0 0 25 0 1 0 818501934 493899776 117392 33554432000 4194304 5714214 140733963555552 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 120581 117392 180 372 0 120206 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 482324
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 1.85 3/518 2602
/proc/meminfo: memFree=20508464/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=499900 CPUtime=1542.33 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 121813 0 0 0 153409 824 0 0 25 0 1 0 818501934 511897600 121759 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 124975 121759 180 372 0 124600 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 499900
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.86 3/518 2604
/proc/meminfo: memFree=20464416/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=517324 CPUtime=1602.33 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 126045 0 0 0 159373 860 0 0 25 0 1 0 818501934 529739776 125991 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 129331 125991 180 372 0 128956 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 517324
[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 1.88 3/518 2606
/proc/meminfo: memFree=20445532/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=537552 CPUtime=1662.33 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 131101 0 0 0 165345 888 0 0 25 0 1 0 818501934 550453248 131047 33554432000 4194304 5714214 140733963555552 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 134388 131047 180 372 0 134013 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 537552
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 1.89 3/518 2607
/proc/meminfo: memFree=20433084/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=550452 CPUtime=1722.33 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 134244 0 0 0 171321 912 0 0 25 0 1 0 818501934 563662848 134190 33554432000 4194304 5714214 140733963555552 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 137613 134190 180 372 0 137238 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 550452
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 1.89 3/518 2609
/proc/meminfo: memFree=20415812/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=566036 CPUtime=1782.34 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 138021 0 0 0 177292 942 0 0 25 0 1 0 818501934 579620864 137967 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 141509 137967 180 372 0 141134 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 566036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.05 1.90 3/518 2609
/proc/meminfo: memFree=20413200/32950928 swapFree=34259960/67111528
[pid=2520] ppid=2518 vsize=569396 CPUtime=1800.04 cores=1,3,5,7
/proc/2520/stat : 2520 (wbo1.6) R 2518 2520 1159 0 -1 4202496 138840 0 0 0 179054 950 0 0 25 0 1 0 818501934 583061504 138786 33554432000 4194304 5714214 140733963555552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/2520/statm: 142349 138786 180 372 0 141974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 569396
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.09
CPU user time (s): 1790.56
CPU system time (s): 9.52655
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 569396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.56
system time used= 9.52655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138840
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= 6
involuntary context switches= 3527
runsolver used 8.75267 second user time and 22.3626 second system time
The end