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-3500416-1307994934/watcher-3500416-1307994934 -o /tmp/evaluation-result-3500416-1307994934/solver-3500416-1307994934 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500416-1307994934.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: 3.84 3.97 3.91 3/179 15312
/proc/meminfo: memFree=31925160/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=2724 CPUtime=0 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) R 15310 15312 14247 0 -1 4202496 425 0 0 0 0 0 0 0 24 0 1 0 911096217 2789376 377 33554432000 4194304 5714118 140734346211536 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15312/statm: 681 377 165 372 0 287 0
[startup+0.081505 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 15312
/proc/meminfo: memFree=31925160/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=191412 CPUtime=0.15 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 13793 0 0 0 11 4 0 0 24 0 3 0 911096217 196005888 13546 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 47853 13546 177 372 0 47478 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 191412
[startup+0.118131 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 15312
/proc/meminfo: memFree=31925160/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=193120 CPUtime=0.22 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 17405 0 0 0 18 4 0 0 24 0 3 0 911096217 197754880 17143 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 48280 17143 177 372 0 47905 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 193120
[startup+0.301015 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 15312
/proc/meminfo: memFree=31925160/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=200108 CPUtime=0.59 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 30008 0 0 0 53 6 0 0 24 0 3 0 911096217 204910592 29554 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 50027 29554 177 372 0 49652 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 200108
[startup+0.700963 s]
/proc/loadavg: 3.84 3.97 3.91 3/179 15312
/proc/meminfo: memFree=31925160/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=200716 CPUtime=1.38 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 30672 0 0 0 130 8 0 0 24 0 3 0 911096217 205533184 30194 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 50179 30194 179 372 0 49804 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 200716
[startup+1.50084 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 15315
/proc/meminfo: memFree=31800292/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=200716 CPUtime=2.98 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 31753 0 0 0 286 12 0 0 24 0 3 0 911096217 205533184 31275 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 50179 31275 179 372 0 49804 0
[pid=15312/tid=15314] ppid=15310 vsize=200716 CPUtime=1.48 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 2476 0 0 0 142 6 0 0 19 0 3 0 911096218 205533184 31275 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=200716 CPUtime=1.48 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 28755 0 0 0 143 5 0 0 25 0 3 0 911096218 205533184 31275 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 200716
[startup+3.10055 s]
/proc/loadavg: 3.84 3.97 3.91 5/182 15315
/proc/meminfo: memFree=31795120/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=201404 CPUtime=6.18 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 32949 0 0 0 600 18 0 0 24 0 3 0 911096217 206237696 32471 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 50351 32471 179 372 0 49976 0
[pid=15312/tid=15314] ppid=15310 vsize=201404 CPUtime=3.09 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 3565 0 0 0 297 12 0 0 25 0 3 0 911096218 206237696 32471 33554432000 4194304 5714118 140734346211536 18446744073709551615 4324536 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=201404 CPUtime=3.08 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 28862 0 0 0 302 6 0 0 25 0 3 0 911096218 206237696 32471 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 201404
[startup+6.30099 s]
/proc/loadavg: 3.85 3.97 3.91 5/182 15315
/proc/meminfo: memFree=31786452/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=201260 CPUtime=12.58 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 34031 0 0 0 1227 31 0 0 24 0 3 0 911096217 206090240 33524 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 50315 33524 179 372 0 49940 0
[pid=15312/tid=15314] ppid=15310 vsize=201260 CPUtime=6.28 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 4612 0 0 0 605 23 0 0 25 0 3 0 911096218 206090240 33524 33554432000 4194304 5714118 140734346211536 18446744073709551615 4976846 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=201260 CPUtime=6.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 28897 0 0 0 621 7 0 0 25 0 3 0 911096218 206090240 33524 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 201260
[startup+12.7008 s]
/proc/loadavg: 3.86 3.97 3.91 5/182 15315
/proc/meminfo: memFree=31758664/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=266796 CPUtime=25.38 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 36527 0 0 0 2490 48 0 0 24 0 3 0 911096217 273199104 36020 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 66699 36020 180 372 0 66324 0
[pid=15312/tid=15314] ppid=15310 vsize=266796 CPUtime=12.68 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 6756 0 0 0 1232 36 0 0 25 0 3 0 911096218 273199104 36020 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=266796 CPUtime=12.68 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 29249 0 0 0 1257 11 0 0 25 0 3 0 911096218 273199104 36020 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 266796
[startup+25.5006 s]
/proc/loadavg: 3.89 3.97 3.91 5/182 15316
/proc/meminfo: memFree=31726932/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=267012 CPUtime=50.98 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 41402 0 0 0 5014 84 0 0 24 0 3 0 911096217 273420288 40852 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 66753 40852 180 372 0 66378 0
[pid=15312/tid=15314] ppid=15310 vsize=267012 CPUtime=25.49 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 10367 0 0 0 2482 67 0 0 25 0 3 0 911096218 273420288 40852 33554432000 4194304 5714118 140734346211536 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=267012 CPUtime=25.48 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 30513 0 0 0 2531 17 0 0 25 0 3 0 911096218 273420288 40852 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 267012
[startup+51.101 s]
/proc/loadavg: 3.93 3.97 3.91 5/182 15316
/proc/meminfo: memFree=31689324/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=267560 CPUtime=102.17 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 44254 0 0 0 10056 161 0 0 24 0 3 0 911096217 273981440 43704 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 66890 43704 180 372 0 66515 0
[pid=15312/tid=15314] ppid=15310 vsize=267560 CPUtime=51.09 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 10514 0 0 0 4976 133 0 0 25 0 3 0 911096218 273981440 43704 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319264 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=267560 CPUtime=51.08 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 33218 0 0 0 5080 28 0 0 25 0 3 0 911096218 273981440 43704 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 267560
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 15318
/proc/meminfo: memFree=31550016/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=335124 CPUtime=204.59 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 62915 0 0 0 20191 268 0 0 24 0 3 0 911096217 343166976 62365 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 83781 62365 180 372 0 83406 0
[pid=15312/tid=15314] ppid=15310 vsize=335124 CPUtime=102.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 23794 0 0 0 10012 217 0 0 25 0 3 0 911096218 343166976 62365 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=335124 CPUtime=102.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 38599 0 0 0 10178 50 0 0 25 0 3 0 911096218 343166976 62365 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 335124
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 15319
/proc/meminfo: memFree=31463772/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=336488 CPUtime=324.58 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 76685 0 0 0 32095 363 0 0 24 0 3 0 911096217 344563712 76135 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 84122 76135 180 372 0 83747 0
[pid=15312/tid=15314] ppid=15310 vsize=336488 CPUtime=162.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 32458 0 0 0 15943 286 0 0 25 0 3 0 911096218 344563712 76135 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=336488 CPUtime=162.27 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 43705 0 0 0 16151 76 0 0 25 0 3 0 911096218 344563712 76135 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 336488
[startup+222.301 s]
/proc/loadavg: 4.04 3.99 3.92 5/182 15321
/proc/meminfo: memFree=31362920/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=468172 CPUtime=444.58 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 90503 0 0 0 43995 463 0 0 24 0 3 0 911096217 479408128 89953 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 117043 89953 180 372 0 116668 0
[pid=15312/tid=15314] ppid=15310 vsize=468172 CPUtime=222.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 41323 0 0 0 21867 362 0 0 25 0 3 0 911096218 479408128 89953 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=468172 CPUtime=222.27 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 48658 0 0 0 22127 100 0 0 25 0 3 0 911096218 479408128 89953 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 468172
[startup+282.301 s]
/proc/loadavg: 4.01 3.99 3.92 5/182 15323
/proc/meminfo: memFree=31280912/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=470180 CPUtime=564.58 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 101845 0 0 0 55925 533 0 0 24 0 3 0 911096217 481464320 101295 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 117545 101295 180 372 0 117170 0
[pid=15312/tid=15314] ppid=15310 vsize=470180 CPUtime=282.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 48832 0 0 0 27815 414 0 0 25 0 3 0 911096218 481464320 101295 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=470180 CPUtime=282.27 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 52491 0 0 0 28109 118 0 0 25 0 3 0 911096218 481464320 101295 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 470180
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 15333
/proc/meminfo: memFree=31211604/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=535716 CPUtime=684.58 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 109389 0 0 0 67855 603 0 0 24 0 3 0 911096217 548573184 108839 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 133929 108839 180 372 0 133554 0
[pid=15312/tid=15314] ppid=15310 vsize=535716 CPUtime=342.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 55322 0 0 0 33763 466 0 0 25 0 3 0 911096218 548573184 108839 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=535716 CPUtime=342.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 53545 0 0 0 34091 137 0 0 25 0 3 0 911096218 548573184 108839 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 535716
[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 15335
/proc/meminfo: memFree=31134444/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=535880 CPUtime=804.58 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 117478 0 0 0 79777 681 0 0 24 0 3 0 911096217 548741120 116928 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 133970 116928 180 372 0 133595 0
[pid=15312/tid=15314] ppid=15310 vsize=535880 CPUtime=402.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 63373 0 0 0 39703 526 0 0 25 0 3 0 911096218 548741120 116928 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=535880 CPUtime=402.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 53583 0 0 0 40074 154 0 0 25 0 3 0 911096218 548741120 116928 33554432000 4194304 5714118 140734346211536 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 535880
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.92 5/182 15336
/proc/meminfo: memFree=31069896/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=602140 CPUtime=924.59 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 123800 0 0 0 91692 767 0 0 24 0 3 0 911096217 616591360 123250 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 150535 123250 180 372 0 150160 0
[pid=15312/tid=15314] ppid=15310 vsize=602140 CPUtime=462.3 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 69519 0 0 0 45636 594 0 0 25 0 3 0 911096218 616591360 123250 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=602140 CPUtime=462.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 53759 0 0 0 46055 173 0 0 25 0 3 0 911096218 616591360 123250 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 602140
[startup+522.3 s]
/proc/loadavg: 4.04 4.00 3.92 5/182 15341
/proc/meminfo: memFree=30992652/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=667912 CPUtime=1044.59 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 137563 0 0 0 103533 926 0 0 24 0 3 0 911096217 683941888 136938 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 166978 136938 180 372 0 166603 0
[pid=15312/tid=15314] ppid=15310 vsize=667912 CPUtime=522.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 69745 0 0 0 51529 700 0 0 25 0 3 0 911096218 683941888 136938 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=667912 CPUtime=522.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 67296 0 0 0 52003 225 0 0 25 0 3 0 911096218 683941888 136938 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 667912
[startup+582.301 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 15343
/proc/meminfo: memFree=30929368/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=669120 CPUtime=1164.59 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 147243 0 0 0 115414 1045 0 0 24 0 3 0 911096217 685178880 146617 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 167280 146617 180 372 0 166905 0
[pid=15312/tid=15314] ppid=15310 vsize=669120 CPUtime=582.29 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 69890 0 0 0 57447 782 0 0 25 0 3 0 911096218 685178880 146617 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=669120 CPUtime=582.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 76831 0 0 0 57966 262 0 0 25 0 3 0 911096218 685178880 146617 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (KiB) 669120
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 15344
/proc/meminfo: memFree=30874740/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=736040 CPUtime=1284.61 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 151779 0 0 0 127334 1127 0 0 24 0 3 0 911096217 753704960 151153 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 184010 151153 180 372 0 183635 0
[pid=15312/tid=15314] ppid=15310 vsize=736040 CPUtime=642.31 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 70009 0 0 0 63390 841 0 0 25 0 3 0 911096218 753704960 151153 33554432000 4194304 5714118 140734346211536 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=736040 CPUtime=642.29 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 81248 0 0 0 63943 286 0 0 25 0 3 0 911096218 753704960 151153 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 736040
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 15346
/proc/meminfo: memFree=30810688/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=736760 CPUtime=1404.6 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 156191 0 0 0 139262 1198 0 0 24 0 3 0 911096217 754442240 155565 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 184190 155565 180 372 0 183815 0
[pid=15312/tid=15314] ppid=15310 vsize=736760 CPUtime=702.3 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 70174 0 0 0 69339 891 0 0 25 0 3 0 911096218 754442240 155565 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=736760 CPUtime=702.28 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 85495 0 0 0 69922 306 0 0 25 0 3 0 911096218 754442240 155565 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 736760
[startup+762.307 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 15347
/proc/meminfo: memFree=30761900/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=737364 CPUtime=1524.62 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 161175 0 0 0 151174 1288 0 0 24 0 3 0 911096217 755060736 160549 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 184341 160549 180 372 0 183966 0
[pid=15312/tid=15314] ppid=15310 vsize=737364 CPUtime=762.31 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 70193 0 0 0 75275 956 0 0 25 0 3 0 911096218 755060736 160549 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=737364 CPUtime=762.3 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 90460 0 0 0 75898 332 0 0 25 0 3 0 911096218 755060736 160549 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 737364
[startup+822.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 15349
/proc/meminfo: memFree=30687712/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=737576 CPUtime=1644.61 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 167179 0 0 0 163069 1392 0 0 24 0 3 0 911096217 755277824 166553 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 184394 166553 180 372 0 184019 0
[pid=15312/tid=15314] ppid=15310 vsize=737576 CPUtime=822.3 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 70301 0 0 0 81199 1031 0 0 25 0 3 0 911096218 755277824 166553 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=737576 CPUtime=822.29 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 96356 0 0 0 81869 360 0 0 25 0 3 0 911096218 755277824 166553 33554432000 4194304 5714118 140734346211536 18446744073709551615 4322721 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 737576
[startup+882.3 s]
/proc/loadavg: 3.44 3.87 3.88 5/182 15392
/proc/meminfo: memFree=31350044/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=737716 CPUtime=1764.61 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 168323 0 0 0 174982 1479 0 0 24 0 3 0 911096217 755421184 167697 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 184429 167697 180 372 0 184054 0
[pid=15312/tid=15314] ppid=15310 vsize=737716 CPUtime=882.31 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 71411 0 0 0 87135 1096 0 0 25 0 3 0 911096218 755421184 167697 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=737716 CPUtime=882.29 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 96390 0 0 0 87846 383 0 0 25 0 3 0 911096218 755421184 167697 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 737716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.60 3.88 3.89 5/182 15392
/proc/meminfo: memFree=31313392/32951124 swapFree=67050044/67111528
[pid=15312] ppid=15310 vsize=737856 CPUtime=1800.02 cores=1,3,5,7
/proc/15312/stat : 15312 (pwbo1.1) S 15310 15312 14247 0 -1 4202496 170531 0 0 0 178505 1497 0 0 24 0 3 0 911096217 755564544 169905 33554432000 4194304 5714118 140734346211536 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15312/statm: 184464 169905 180 372 0 184089 0
[pid=15312/tid=15314] ppid=15310 vsize=737856 CPUtime=900.01 cores=1,3,5,7
/proc/15312/task/15314/stat : 15314 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 73587 0 0 0 88892 1109 0 0 25 0 3 0 911096218 755564544 169905 33554432000 4194304 5714118 140734346211536 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15312/tid=15315] ppid=15310 vsize=737856 CPUtime=900 cores=1,3,5,7
/proc/15312/task/15315/stat : 15315 (pwbo1.1) R 15310 15312 14247 0 -1 4202560 96422 0 0 0 89612 388 0 0 25 0 3 0 911096218 755564544 169905 33554432000 4194304 5714118 140734346211536 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 737856
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.038
CPU time (s): 1800.07
CPU user time (s): 1785.07
CPU system time (s): 15.0007
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 737856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.07
system time used= 15.0007
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170536
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= 279
involuntary context switches= 1915
runsolver used 1.42478 second user time and 3.32449 second system time
The end