runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3500079-1307990383/watcher-3500079-1307990383 -o /tmp/evaluation-result-3500079-1307990383/solver-3500079-1307990383 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500079-1307990383.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: 1.01 1.00 1.03 2/172 14518
/proc/meminfo: memFree=32034352/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=69884 CPUtime=0 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 577 0 0 0 0 0 0 0 18 0 3 0 910641036 71561216 518 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 17471 519 173 372 0 17096 0
[pid=14518/tid=14523] ppid=14516 vsize=69884 CPUtime=0 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 88 0 0 0 0 0 0 0 19 0 3 0 910641036 71561216 529 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=69884 CPUtime=0 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 3 0 910641036 71561216 530 33554432000 4194304 5714118 140736421559728 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.0546541 s]
/proc/loadavg: 1.01 1.00 1.03 2/172 14518
/proc/meminfo: memFree=32034352/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=153776 CPUtime=0.09 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 7548 0 0 0 8 1 0 0 18 0 3 0 910641036 157466624 7445 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38444 7450 177 372 0 38069 0
[pid=14518/tid=14523] ppid=14516 vsize=153776 CPUtime=0.04 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 620 0 0 0 4 0 0 0 18 0 3 0 910641036 157466624 7452 33554432000 4194304 5714118 140736421559728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=153776 CPUtime=0.04 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 6437 0 0 0 3 1 0 0 20 0 3 0 910641036 157466624 7454 33554432000 4194304 5714118 140736421559728 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 153776
[startup+0.10063 s]
/proc/loadavg: 1.01 1.00 1.03 2/172 14518
/proc/meminfo: memFree=32034352/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155128 CPUtime=0.19 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 9558 0 0 0 17 2 0 0 18 0 3 0 910641036 158851072 9446 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38782 9446 178 372 0 38407 0
[pid=14518/tid=14523] ppid=14516 vsize=155128 CPUtime=0.09 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 877 0 0 0 9 0 0 0 18 0 3 0 910641036 158851072 9446 33554432000 4194304 5714118 140736421559728 18446744073709551615 4967655 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155128 CPUtime=0.08 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 8181 0 0 0 7 1 0 0 20 0 3 0 910641036 158851072 9446 33554432000 4194304 5714118 140736421559728 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 155128
[startup+0.300634 s]
/proc/loadavg: 1.01 1.00 1.03 2/172 14518
/proc/meminfo: memFree=32034352/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155128 CPUtime=0.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 9994 0 0 0 55 3 0 0 18 0 3 0 910641036 158851072 9882 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38782 9882 179 372 0 38407 0
[pid=14518/tid=14523] ppid=14516 vsize=155128 CPUtime=0.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 1287 0 0 0 27 1 0 0 18 0 3 0 910641036 158851072 9882 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155128 CPUtime=0.28 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 8207 0 0 0 27 1 0 0 20 0 3 0 910641036 158851072 9882 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 155128
[startup+0.700551 s]
/proc/loadavg: 1.01 1.00 1.03 2/172 14518
/proc/meminfo: memFree=32034352/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155128 CPUtime=1.38 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 10619 0 0 0 133 5 0 0 18 0 3 0 910641036 158851072 10507 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38782 10507 179 372 0 38407 0
[pid=14518/tid=14523] ppid=14516 vsize=155128 CPUtime=0.68 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 1697 0 0 0 65 3 0 0 18 0 3 0 910641036 158851072 10507 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155128 CPUtime=0.69 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 8422 0 0 0 67 2 0 0 21 0 3 0 910641036 158851072 10507 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 155128
[startup+1.50041 s]
/proc/loadavg: 1.25 1.05 1.05 5/182 14532
/proc/meminfo: memFree=31945928/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155408 CPUtime=2.99 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 12058 0 0 0 290 9 0 0 18 0 3 0 910641036 159137792 11946 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38852 11946 179 372 0 38477 0
[pid=14518/tid=14523] ppid=14516 vsize=155408 CPUtime=1.48 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 2685 0 0 0 142 6 0 0 18 0 3 0 910641036 159137792 11946 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155408 CPUtime=1.48 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 8873 0 0 0 146 2 0 0 23 0 3 0 910641036 159137792 11946 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 155408
[startup+3.10106 s]
/proc/loadavg: 1.25 1.05 1.05 5/182 14532
/proc/meminfo: memFree=31938240/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155408 CPUtime=6.18 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 13672 0 0 0 603 15 0 0 18 0 3 0 910641036 159137792 13560 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38852 13560 179 372 0 38477 0
[pid=14518/tid=14523] ppid=14516 vsize=155408 CPUtime=3.08 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 3914 0 0 0 297 11 0 0 21 0 3 0 910641036 159137792 13560 33554432000 4194304 5714118 140736421559728 18446744073709551615 4310869 0 0 4096 16387 0 0 0 -1 6 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155408 CPUtime=3.09 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 9258 0 0 0 306 3 0 0 25 0 3 0 910641036 159137792 13560 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 155408
[startup+6.30056 s]
/proc/loadavg: 1.25 1.05 1.05 5/182 14532
/proc/meminfo: memFree=31908416/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155264 CPUtime=12.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 16463 0 0 0 1234 24 0 0 18 0 3 0 910641036 158990336 16318 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38816 16318 180 372 0 38441 0
[pid=14518/tid=14523] ppid=14516 vsize=155264 CPUtime=6.27 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 5967 0 0 0 608 19 0 0 24 0 3 0 910641036 158990336 16318 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155264 CPUtime=6.28 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 9996 0 0 0 624 4 0 0 25 0 3 0 910641036 158990336 16318 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 155264
[startup+12.7004 s]
/proc/loadavg: 1.67 1.15 1.08 5/182 14532
/proc/meminfo: memFree=31874852/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=155480 CPUtime=25.37 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 18626 0 0 0 2502 35 0 0 18 0 3 0 910641036 159211520 18481 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 38870 18481 180 372 0 38495 0
[pid=14518/tid=14523] ppid=14516 vsize=155480 CPUtime=12.68 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 7051 0 0 0 1240 28 0 0 18 0 3 0 910641036 159211520 18481 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=155480 CPUtime=12.68 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 11075 0 0 0 1262 6 0 0 25 0 3 0 910641036 159211520 18481 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 155480
[startup+25.5012 s]
/proc/loadavg: 2.03 1.24 1.11 5/182 14532
/proc/meminfo: memFree=31769220/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=221740 CPUtime=50.98 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 33567 0 0 0 5038 60 0 0 18 0 3 0 910641036 227061760 33422 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 55435 33422 180 372 0 55060 0
[pid=14518/tid=14523] ppid=14516 vsize=221740 CPUtime=25.47 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 10011 0 0 0 2504 43 0 0 21 0 3 0 910641036 227061760 33422 33554432000 4194304 5714118 140736421559728 18446744073709551615 4300031 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=221740 CPUtime=25.49 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 23056 0 0 0 2533 16 0 0 25 0 3 0 910641036 227061760 33422 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 221740
[startup+51.1006 s]
/proc/loadavg: 2.70 1.46 1.19 5/182 14533
/proc/meminfo: memFree=31624668/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=353604 CPUtime=102.17 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 55520 0 0 0 10106 111 0 0 18 0 3 0 910641036 362090496 55375 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 88401 55375 180 372 0 88026 0
[pid=14518/tid=14523] ppid=14516 vsize=353604 CPUtime=51.08 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 16956 0 0 0 5029 79 0 0 21 0 3 0 910641036 362090496 55375 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=353604 CPUtime=51.08 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 38064 0 0 0 5076 32 0 0 25 0 3 0 910641036 362090496 55375 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 353604
[startup+102.307 s]
/proc/loadavg: 3.48 1.89 1.34 5/182 14534
/proc/meminfo: memFree=31420904/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=354468 CPUtime=204.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 70200 0 0 0 20288 170 0 0 18 0 3 0 910641036 362975232 70055 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 88617 70055 180 372 0 88242 0
[pid=14518/tid=14523] ppid=14516 vsize=354468 CPUtime=102.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 26849 0 0 0 10098 130 0 0 24 0 3 0 910641036 362975232 70055 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=354468 CPUtime=102.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 42851 0 0 0 10189 40 0 0 25 0 3 0 910641036 362975232 70055 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 354468
[startup+162.301 s]
/proc/loadavg: 3.81 2.27 1.51 5/182 14536
/proc/meminfo: memFree=31202116/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=421028 CPUtime=324.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 86445 0 0 0 32218 240 0 0 18 0 3 0 910641036 431132672 86300 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 105257 86300 180 372 0 104882 0
[pid=14518/tid=14523] ppid=14516 vsize=421028 CPUtime=162.27 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 38716 0 0 0 16038 189 0 0 20 0 3 0 910641036 431132672 86300 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=421028 CPUtime=162.28 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 47229 0 0 0 16179 49 0 0 25 0 3 0 910641036 431132672 86300 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 421028
[startup+222.301 s]
/proc/loadavg: 3.93 2.58 1.66 5/182 14538
/proc/meminfo: memFree=31033412/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=422324 CPUtime=444.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 97175 0 0 0 44171 287 0 0 18 0 3 0 910641036 432459776 97030 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 105581 97030 180 372 0 105206 0
[pid=14518/tid=14523] ppid=14516 vsize=422324 CPUtime=222.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 45140 0 0 0 21999 229 0 0 25 0 3 0 910641036 432459776 97030 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=422324 CPUtime=222.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 51535 0 0 0 22171 58 0 0 25 0 3 0 910641036 432459776 97030 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 422324
[startup+282.301 s]
/proc/loadavg: 3.97 2.84 1.80 5/182 14539
/proc/meminfo: memFree=30936768/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=488776 CPUtime=564.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 106497 0 0 0 56111 347 0 0 18 0 3 0 910641036 500506624 106352 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 122194 106352 180 372 0 121819 0
[pid=14518/tid=14523] ppid=14516 vsize=488776 CPUtime=282.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 52550 0 0 0 27953 275 0 0 25 0 3 0 910641036 500506624 106352 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=488776 CPUtime=282.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 53447 0 0 0 28157 72 0 0 25 0 3 0 910641036 500506624 106352 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 488776
[startup+342.301 s]
/proc/loadavg: 3.99 3.05 1.94 5/182 14541
/proc/meminfo: memFree=30862072/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=487804 CPUtime=684.58 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 112912 0 0 0 68046 412 0 0 18 0 3 0 910641036 499511296 112530 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 121951 112530 180 372 0 121576 0
[pid=14518/tid=14523] ppid=14516 vsize=487804 CPUtime=342.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 58962 0 0 0 33903 325 0 0 25 0 3 0 910641036 499511296 112530 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=487804 CPUtime=342.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 53450 0 0 0 34142 87 0 0 25 0 3 0 910641036 499511296 112530 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 487804
[startup+402.3 s]
/proc/loadavg: 4.05 3.23 2.07 5/182 14542
/proc/meminfo: memFree=30833760/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=487804 CPUtime=804.59 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 113091 0 0 0 80011 448 0 0 18 0 3 0 910641036 499511296 112709 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 121951 112709 180 372 0 121576 0
[pid=14518/tid=14523] ppid=14516 vsize=487804 CPUtime=402.29 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 59138 0 0 0 39876 353 0 0 25 0 3 0 910641036 499511296 112709 33554432000 4194304 5714118 140736421559728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=487804 CPUtime=402.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 53453 0 0 0 40135 94 0 0 25 0 3 0 910641036 499511296 112709 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 487804
[startup+462.301 s]
/proc/loadavg: 4.02 3.37 2.19 5/182 14544
/proc/meminfo: memFree=30794644/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=487804 CPUtime=924.59 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 113322 0 0 0 91969 490 0 0 18 0 3 0 910641036 499511296 112940 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 121951 112940 180 372 0 121576 0
[pid=14518/tid=14523] ppid=14516 vsize=487804 CPUtime=462.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 59346 0 0 0 45842 386 0 0 25 0 3 0 910641036 499511296 112940 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=487804 CPUtime=462.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 53476 0 0 0 46126 103 0 0 25 0 3 0 910641036 499511296 112940 33554432000 4194304 5714118 140736421559728 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 487804
[startup+522.301 s]
/proc/loadavg: 4.00 3.48 2.30 5/182 14546
/proc/meminfo: memFree=30733468/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=553340 CPUtime=1044.6 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 115733 0 0 0 103934 526 0 0 18 0 3 0 910641036 566620160 115351 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 138335 115351 180 372 0 137960 0
[pid=14518/tid=14523] ppid=14516 vsize=553340 CPUtime=522.28 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 59348 0 0 0 51814 414 0 0 25 0 3 0 910641036 566620160 115351 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=553340 CPUtime=522.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 55885 0 0 0 52118 111 0 0 25 0 3 0 910641036 566620160 115351 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 553340
[startup+582.3 s]
/proc/loadavg: 4.00 3.57 2.40 5/182 14547
/proc/meminfo: memFree=30631992/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=620576 CPUtime=1164.6 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 131980 0 0 0 115881 579 0 0 18 0 3 0 910641036 635469824 131598 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 155144 131598 180 372 0 154769 0
[pid=14518/tid=14523] ppid=14516 vsize=620576 CPUtime=582.29 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 59388 0 0 0 57787 442 0 0 25 0 3 0 910641036 635469824 131598 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=620576 CPUtime=582.29 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 72092 0 0 0 58093 136 0 0 25 0 3 0 910641036 635469824 131598 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 620576
[startup+642.301 s]
/proc/loadavg: 4.00 3.65 2.50 5/182 14549
/proc/meminfo: memFree=30509420/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=686596 CPUtime=1284.61 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 149646 0 0 0 127837 624 0 0 18 0 3 0 910641036 703074304 149264 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 171649 149264 180 372 0 171274 0
[pid=14518/tid=14523] ppid=14516 vsize=686596 CPUtime=642.29 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 59567 0 0 0 63764 465 0 0 25 0 3 0 910641036 703074304 149264 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=686596 CPUtime=642.3 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 89579 0 0 0 64072 158 0 0 25 0 3 0 910641036 703074304 149264 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 686596
[startup+702.301 s]
/proc/loadavg: 4.00 3.71 2.59 5/182 14550
/proc/meminfo: memFree=30447508/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=688772 CPUtime=1404.61 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 153429 0 0 0 139803 658 0 0 18 0 3 0 910641036 705302528 153047 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 172193 153047 180 372 0 171818 0
[pid=14518/tid=14523] ppid=14516 vsize=688772 CPUtime=702.29 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 59713 0 0 0 69741 488 0 0 25 0 3 0 910641036 705302528 153047 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=688772 CPUtime=702.3 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 93216 0 0 0 70061 169 0 0 25 0 3 0 910641036 705302528 153047 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 688772
[startup+762.306 s]
/proc/loadavg: 4.00 3.76 2.68 5/182 14552
/proc/meminfo: memFree=30412852/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=688772 CPUtime=1524.62 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 155761 0 0 0 151773 689 0 0 18 0 3 0 910641036 705302528 155379 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 172193 155379 180 372 0 171818 0
[pid=14518/tid=14523] ppid=14516 vsize=688772 CPUtime=762.3 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 62038 0 0 0 75718 512 0 0 25 0 3 0 910641036 705302528 155379 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=688772 CPUtime=762.31 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 93223 0 0 0 76055 176 0 0 25 0 3 0 910641036 705302528 155379 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 688772
[startup+822.301 s]
/proc/loadavg: 4.00 3.80 2.76 5/182 14554
/proc/meminfo: memFree=30356752/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=754308 CPUtime=1644.61 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 160661 0 0 0 163730 731 0 0 18 0 3 0 910641036 772411392 160279 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 188577 160279 180 372 0 188202 0
[pid=14518/tid=14523] ppid=14516 vsize=754308 CPUtime=822.29 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 66936 0 0 0 81680 549 0 0 25 0 3 0 910641036 772411392 160279 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=754308 CPUtime=822.3 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 93225 0 0 0 82049 181 0 0 25 0 3 0 910641036 772411392 160279 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 754308
[startup+882.301 s]
/proc/loadavg: 4.00 3.83 2.83 5/182 14555
/proc/meminfo: memFree=30282544/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=754308 CPUtime=1764.61 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 167557 0 0 0 175686 775 0 0 18 0 3 0 910641036 772411392 167173 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 188577 167173 180 372 0 188202 0
[pid=14518/tid=14523] ppid=14516 vsize=754308 CPUtime=882.29 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 73831 0 0 0 87640 589 0 0 25 0 3 0 910641036 772411392 167173 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=754308 CPUtime=882.31 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 93226 0 0 0 88045 186 0 0 25 0 3 0 910641036 772411392 167173 33554432000 4194304 5714118 140736421559728 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 754308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.84 2.85 5/182 14556
/proc/meminfo: memFree=30264676/32951124 swapFree=67050044/67111528
[pid=14518] ppid=14516 vsize=754792 CPUtime=1800.02 cores=0,2,4,6
/proc/14518/stat : 14518 (pwbo1.1) S 14516 14518 14247 0 -1 4202496 169235 0 0 0 179213 789 0 0 18 0 3 0 910641036 772907008 168851 33554432000 4194304 5714118 140736421559728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/14518/statm: 188698 168851 180 372 0 188323 0
[pid=14518/tid=14523] ppid=14516 vsize=754792 CPUtime=900 cores=0,2,4,6
/proc/14518/task/14523/stat : 14523 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 75509 0 0 0 89399 601 0 0 25 0 3 0 910641036 772907008 168851 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=14518/tid=14524] ppid=14516 vsize=754792 CPUtime=900.01 cores=0,2,4,6
/proc/14518/task/14524/stat : 14524 (pwbo1.1) R 14516 14518 14247 0 -1 4202560 93226 0 0 0 89814 187 0 0 25 0 3 0 910641036 772907008 168851 33554432000 4194304 5714118 140736421559728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 754792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.041
CPU time (s): 1800.07
CPU user time (s): 1792.15
CPU system time (s): 7.92379
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 754792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.15
system time used= 7.9238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169240
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= 300
involuntary context switches= 4590
runsolver used 1.70274 second user time and 3.13152 second system time
The end