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 /var/tmp/evaluation-result-3500310-1307993277/watcher-3500310-1307993277 -o /var/tmp/evaluation-result-3500310-1307993277/solver-3500310-1307993277 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500310-1307993277.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: 3.68 3.92 3.66 1/175 18328
/proc/meminfo: memFree=24523016/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135560 CPUtime=0 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 704 0 0 0 0 0 0 0 25 0 3 0 989558396 138813440 647 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33890 647 178 372 0 33515 0
[pid=18328/tid=18329] ppid=18326 vsize=135560 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 110 0 0 0 0 0 0 0 25 0 3 0 989558396 138813440 647 33554432000 4194304 5714118 140733828961920 18446744073709551615 4267056 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135560 CPUtime=0 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 63 0 0 0 0 0 0 0 25 0 3 0 989558396 138813440 648 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.0996831 s]
/proc/loadavg: 3.68 3.92 3.66 1/175 18328
/proc/meminfo: memFree=24523016/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135560 CPUtime=0.19 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 1966 0 0 0 15 4 0 0 25 0 3 0 989558396 138813440 1873 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33890 1873 181 372 0 33515 0
[pid=18328/tid=18329] ppid=18326 vsize=135560 CPUtime=0.09 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 682 0 0 0 9 0 0 0 18 0 3 0 989558396 138813440 1874 33554432000 4194304 5714118 140733828961920 18446744073709551615 4968942 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135560 CPUtime=0.09 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 754 0 0 0 5 4 0 0 18 0 3 0 989558396 138813440 1874 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135560
[startup+0.10069 s]
/proc/loadavg: 3.68 3.92 3.66 1/175 18328
/proc/meminfo: memFree=24523016/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135560 CPUtime=0.19 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 1973 0 0 0 15 4 0 0 25 0 3 0 989558396 138813440 1880 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33890 1880 181 372 0 33515 0
[pid=18328/tid=18329] ppid=18326 vsize=135560 CPUtime=0.09 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 682 0 0 0 9 0 0 0 18 0 3 0 989558396 138813440 1880 33554432000 4194304 5714118 140733828961920 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135560 CPUtime=0.09 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 760 0 0 0 5 4 0 0 18 0 3 0 989558396 138813440 1880 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135560
[startup+0.300641 s]
/proc/loadavg: 3.68 3.92 3.66 1/175 18328
/proc/meminfo: memFree=24523016/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135560 CPUtime=0.59 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 3581 0 0 0 44 15 0 0 25 0 3 0 989558396 138813440 3464 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33890 3464 181 372 0 33515 0
[pid=18328/tid=18329] ppid=18326 vsize=135560 CPUtime=0.28 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 981 0 0 0 28 0 0 0 18 0 3 0 989558396 138813440 3464 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135560 CPUtime=0.29 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 2069 0 0 0 15 14 0 0 18 0 3 0 989558396 138813440 3464 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 135560
[startup+0.700566 s]
/proc/loadavg: 3.68 3.92 3.66 1/175 18328
/proc/meminfo: memFree=24523016/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135560 CPUtime=1.39 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 6128 0 0 0 114 25 0 0 25 0 3 0 989558396 138813440 6011 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33890 6011 181 372 0 33515 0
[pid=18328/tid=18329] ppid=18326 vsize=135560 CPUtime=0.69 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 1280 0 0 0 68 1 0 0 18 0 3 0 989558396 138813440 6011 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135560 CPUtime=0.69 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 4317 0 0 0 45 24 0 0 18 0 3 0 989558396 138813440 6011 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135560
[startup+1.50042 s]
/proc/loadavg: 3.68 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24488968/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135560 CPUtime=2.98 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 7644 0 0 0 267 31 0 0 25 0 3 0 989558396 138813440 7527 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33890 7527 181 372 0 33515 0
[pid=18328/tid=18329] ppid=18326 vsize=135560 CPUtime=1.48 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 1840 0 0 0 147 1 0 0 20 0 3 0 989558396 138813440 7527 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135560 CPUtime=1.48 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 5273 0 0 0 119 29 0 0 18 0 3 0 989558396 138813440 7527 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135560
[startup+3.10112 s]
/proc/loadavg: 3.68 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24480040/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=135744 CPUtime=6.18 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 8479 0 0 0 582 36 0 0 25 0 3 0 989558396 139001856 8362 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 33936 8362 182 372 0 33561 0
[pid=18328/tid=18329] ppid=18326 vsize=135744 CPUtime=3.09 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 2115 0 0 0 306 3 0 0 25 0 3 0 989558396 139001856 8362 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=135744 CPUtime=3.08 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 5833 0 0 0 275 33 0 0 22 0 3 0 989558396 139001856 8362 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135744
[startup+6.30052 s]
/proc/loadavg: 3.70 3.92 3.66 5/182 18371
/proc/meminfo: memFree=24467228/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=136536 CPUtime=12.59 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 10512 0 0 0 1213 46 0 0 25 0 3 0 989558396 139812864 10395 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 34134 10395 182 372 0 33759 0
[pid=18328/tid=18329] ppid=18326 vsize=136536 CPUtime=6.29 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 2798 0 0 0 625 4 0 0 25 0 3 0 989558396 139812864 10395 33554432000 4194304 5714118 140733828961920 18446744073709551615 4197696 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=136536 CPUtime=6.29 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 7183 0 0 0 588 41 0 0 25 0 3 0 989558396 139812864 10395 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 136536
[startup+12.7003 s]
/proc/loadavg: 3.73 3.92 3.66 5/182 18411
/proc/meminfo: memFree=24336744/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=137240 CPUtime=25.39 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 13037 0 0 0 2476 63 0 0 25 0 3 0 989558396 140533760 12920 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 34310 12920 182 372 0 33935 0
[pid=18328/tid=18329] ppid=18326 vsize=137240 CPUtime=12.69 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 3610 0 0 0 1262 7 0 0 25 0 3 0 989558396 140533760 12920 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=137240 CPUtime=12.69 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 8896 0 0 0 1213 56 0 0 19 0 3 0 989558396 140533760 12920 33554432000 4194304 5714118 140733828961920 18446744073709551615 4300337 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137240
[startup+25.5009 s]
/proc/loadavg: 3.79 3.92 3.66 5/182 18412
/proc/meminfo: memFree=24118412/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=137852 CPUtime=50.99 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 15502 0 0 0 5009 90 0 0 25 0 3 0 989558396 141160448 15182 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 34463 15182 182 372 0 34088 0
[pid=18328/tid=18329] ppid=18326 vsize=137852 CPUtime=25.49 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 4073 0 0 0 2535 14 0 0 25 0 3 0 989558396 141160448 15182 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=137852 CPUtime=25.49 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 10898 0 0 0 2474 75 0 0 18 0 3 0 989558396 141160448 15182 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 137852
[startup+51.1011 s]
/proc/loadavg: 3.86 3.93 3.67 5/182 18412
/proc/meminfo: memFree=24022936/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=138576 CPUtime=102.19 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 22086 0 0 0 10098 121 0 0 25 0 3 0 989558396 141901824 21183 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 34644 21183 182 372 0 34269 0
[pid=18328/tid=18329] ppid=18326 vsize=138576 CPUtime=51.09 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 9085 0 0 0 5083 26 0 0 25 0 3 0 989558396 141901824 21183 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=138576 CPUtime=51.09 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 12470 0 0 0 5015 94 0 0 25 0 3 0 989558396 141901824 21183 33554432000 4194304 5714118 140733828961920 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 138576
[startup+102.306 s]
/proc/loadavg: 3.94 3.94 3.69 5/182 18414
/proc/meminfo: memFree=23909528/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=140240 CPUtime=204.61 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 24984 0 0 0 20284 177 0 0 25 0 3 0 989558396 143605760 23995 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 35060 23995 182 372 0 34685 0
[pid=18328/tid=18329] ppid=18326 vsize=140240 CPUtime=102.3 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 11608 0 0 0 10177 53 0 0 25 0 3 0 989558396 143605760 23995 33554432000 4194304 5714118 140733828961920 18446744073709551615 4319734 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=140240 CPUtime=102.29 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 12845 0 0 0 10106 123 0 0 25 0 3 0 989558396 143605760 23995 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 140240
[startup+162.301 s]
/proc/loadavg: 3.98 3.94 3.70 5/182 18415
/proc/meminfo: memFree=23859756/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=141616 CPUtime=324.6 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 27373 0 0 0 32209 251 0 0 25 0 3 0 989558396 145014784 26277 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 35404 26277 182 372 0 35029 0
[pid=18328/tid=18329] ppid=18326 vsize=141616 CPUtime=162.29 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 11661 0 0 0 16153 76 0 0 25 0 3 0 989558396 145014784 26277 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=141616 CPUtime=162.29 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 15181 0 0 0 16054 175 0 0 25 0 3 0 989558396 145014784 26277 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 141616
[startup+222.301 s]
/proc/loadavg: 3.99 3.95 3.72 5/182 18417
/proc/meminfo: memFree=23828708/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=208068 CPUtime=444.6 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 37215 0 0 0 44143 317 0 0 25 0 3 0 989558396 213061632 34980 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 52017 34980 182 372 0 51642 0
[pid=18328/tid=18329] ppid=18326 vsize=208068 CPUtime=222.29 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 19047 0 0 0 22129 100 0 0 25 0 3 0 989558396 213061632 34980 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=208068 CPUtime=222.3 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 17637 0 0 0 22013 217 0 0 25 0 3 0 989558396 213061632 34980 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 208068
[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.74 5/182 18419
/proc/meminfo: memFree=23723496/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=209484 CPUtime=564.61 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 49255 0 0 0 56075 386 0 0 25 0 3 0 989558396 214511616 43225 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 52371 43225 182 372 0 51996 0
[pid=18328/tid=18329] ppid=18326 vsize=209484 CPUtime=282.3 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 25620 0 0 0 28107 123 0 0 25 0 3 0 989558396 214511616 43225 33554432000 4194304 5714118 140733828961920 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=209484 CPUtime=282.29 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 23104 0 0 0 27967 262 0 0 25 0 3 0 989558396 214511616 43225 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 209484
[startup+342.3 s]
/proc/loadavg: 4.07 3.98 3.75 5/182 18420
/proc/meminfo: memFree=23597824/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=275660 CPUtime=684.61 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 60728 0 0 0 68007 454 0 0 25 0 3 0 989558396 282275840 51429 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 68915 51429 182 372 0 68540 0
[pid=18328/tid=18329] ppid=18326 vsize=275660 CPUtime=342.3 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 32015 0 0 0 34090 140 0 0 25 0 3 0 989558396 282275840 51429 33554432000 4194304 5714118 140733828961920 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=275660 CPUtime=342.3 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 28182 0 0 0 33916 314 0 0 25 0 3 0 989558396 282275840 51429 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 275660
[startup+402.301 s]
/proc/loadavg: 4.02 3.98 3.76 5/182 18422
/proc/meminfo: memFree=23522752/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=341408 CPUtime=804.62 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 69195 0 0 0 79945 517 0 0 25 0 3 0 989558396 349601792 58183 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 85352 58183 182 372 0 84977 0
[pid=18328/tid=18329] ppid=18326 vsize=341408 CPUtime=402.3 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 38518 0 0 0 40072 158 0 0 25 0 3 0 989558396 349601792 58183 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=341408 CPUtime=402.3 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 30146 0 0 0 39872 358 0 0 25 0 3 0 989558396 349601792 58183 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.62
Current children cumulated vsize (KiB) 341408
[startup+462.301 s]
/proc/loadavg: 4.01 3.98 3.78 5/182 18423
/proc/meminfo: memFree=23490324/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=341976 CPUtime=924.62 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 78657 0 0 0 91882 580 0 0 25 0 3 0 989558396 350183424 66154 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 85494 66154 182 372 0 85119 0
[pid=18328/tid=18329] ppid=18326 vsize=341976 CPUtime=462.3 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 44685 0 0 0 46055 175 0 0 25 0 3 0 989558396 350183424 66154 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=341976 CPUtime=462.3 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 33441 0 0 0 45825 405 0 0 25 0 3 0 989558396 350183424 66154 33554432000 4194304 5714118 140733828961920 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 341976
[startup+522.301 s]
/proc/loadavg: 4.00 3.98 3.79 5/182 18425
/proc/meminfo: memFree=23386360/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=408792 CPUtime=1044.63 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 97618 0 0 0 103820 643 0 0 25 0 3 0 989558396 418603008 81839 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102198 81839 182 372 0 101823 0
[pid=18328/tid=18329] ppid=18326 vsize=408792 CPUtime=522.3 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60241 0 0 0 52032 198 0 0 25 0 3 0 989558396 418603008 81839 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=408792 CPUtime=522.31 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 36846 0 0 0 51787 444 0 0 25 0 3 0 989558396 418603008 81839 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.63
Current children cumulated vsize (KiB) 408792
[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.80 5/182 18427
/proc/meminfo: memFree=23402788/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=408792 CPUtime=1164.63 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 97965 0 0 0 115764 699 0 0 25 0 3 0 989558396 418603008 81849 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102198 81849 182 372 0 101823 0
[pid=18328/tid=18329] ppid=18326 vsize=408792 CPUtime=582.31 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60263 0 0 0 58013 218 0 0 25 0 3 0 989558396 418603008 81849 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=408792 CPUtime=582.3 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 37171 0 0 0 57750 480 0 0 25 0 3 0 989558396 418603008 81849 33554432000 4194304 5714118 140733828961920 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.63
Current children cumulated vsize (KiB) 408792
[startup+642.301 s]
/proc/loadavg: 4.00 3.98 3.81 5/182 18428
/proc/meminfo: memFree=23381892/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=409328 CPUtime=1284.64 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 98806 0 0 0 127708 756 0 0 25 0 3 0 989558396 419151872 82321 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102332 82321 182 372 0 101957 0
[pid=18328/tid=18329] ppid=18326 vsize=409328 CPUtime=642.31 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60371 0 0 0 63993 238 0 0 25 0 3 0 989558396 419151872 82321 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=409328 CPUtime=642.31 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 37904 0 0 0 63714 517 0 0 25 0 3 0 989558396 419151872 82321 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 409328
[startup+702.301 s]
/proc/loadavg: 4.00 3.98 3.82 5/182 18433
/proc/meminfo: memFree=23294304/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=409328 CPUtime=1404.63 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 101208 0 0 0 139656 807 0 0 25 0 3 0 989558396 419151872 84658 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102332 84658 182 372 0 101957 0
[pid=18328/tid=18329] ppid=18326 vsize=409328 CPUtime=702.31 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60572 0 0 0 69978 253 0 0 25 0 3 0 989558396 419151872 84658 33554432000 4194304 5714118 140733828961920 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=409328 CPUtime=702.32 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 40105 0 0 0 69678 554 0 0 25 0 3 0 989558396 419151872 84658 33554432000 4194304 5714118 140733828961920 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 409328
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.83 5/182 18434
/proc/meminfo: memFree=23281860/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=409328 CPUtime=1524.65 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 101930 0 0 0 151607 858 0 0 25 0 3 0 989558396 419151872 84776 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102332 84776 182 372 0 101957 0
[pid=18328/tid=18329] ppid=18326 vsize=409328 CPUtime=762.32 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60589 0 0 0 75951 281 0 0 25 0 3 0 989558396 419151872 84776 33554432000 4194304 5714118 140733828961920 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=409328 CPUtime=762.32 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 40810 0 0 0 75655 577 0 0 25 0 3 0 989558396 419151872 84776 33554432000 4194304 5714118 140733828961920 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 409328
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.83 5/182 18436
/proc/meminfo: memFree=23247696/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=409328 CPUtime=1644.65 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 102469 0 0 0 163566 899 0 0 25 0 3 0 989558396 419151872 84832 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102332 84832 182 372 0 101957 0
[pid=18328/tid=18329] ppid=18326 vsize=409328 CPUtime=822.31 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60590 0 0 0 81927 304 0 0 25 0 3 0 989558396 419151872 84832 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=409328 CPUtime=822.31 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 41348 0 0 0 81637 594 0 0 25 0 3 0 989558396 419151872 84832 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.65
Current children cumulated vsize (KiB) 409328
[startup+882.301 s]
/proc/loadavg: 4.04 4.00 3.84 5/182 18438
/proc/meminfo: memFree=23244036/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=409328 CPUtime=1764.65 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 103114 0 0 0 175521 944 0 0 25 0 3 0 989558396 419151872 85050 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102332 85050 182 372 0 101957 0
[pid=18328/tid=18329] ppid=18326 vsize=409328 CPUtime=882.32 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60590 0 0 0 87902 330 0 0 25 0 3 0 989558396 419151872 85050 33554432000 4194304 5714118 140733828961920 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=409328 CPUtime=882.32 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 41993 0 0 0 87618 614 0 0 25 0 3 0 989558396 419151872 85050 33554432000 4194304 5714118 140733828961920 18446744073709551615 4956873 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.65
Current children cumulated vsize (KiB) 409328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.03 4.00 3.85 5/182 18438
/proc/meminfo: memFree=23253328/32950928 swapFree=67054844/67111528
[pid=18328] ppid=18326 vsize=409328 CPUtime=1800.06 cores=0,2,4,6
/proc/18328/stat : 18328 (pwbo1.1) S 18326 18328 17705 0 -1 4202496 103159 0 0 0 179046 960 0 0 25 0 3 0 989558396 419151872 84409 33554432000 4194304 5714118 140733828961920 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/18328/statm: 102332 84409 182 372 0 101957 0
[pid=18328/tid=18329] ppid=18326 vsize=409328 CPUtime=900.02 cores=0,2,4,6
/proc/18328/task/18329/stat : 18329 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 60590 0 0 0 89664 338 0 0 25 0 3 0 989558396 419151872 84409 33554432000 4194304 5714118 140733828961920 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=18328/tid=18330] ppid=18326 vsize=409328 CPUtime=900.02 cores=0,2,4,6
/proc/18328/task/18330/stat : 18330 (pwbo1.1) R 18326 18328 17705 0 -1 4202560 42038 0 0 0 89381 621 0 0 25 0 3 0 989558396 419151872 84409 33554432000 4194304 5714118 140733828961920 18446744073709551615 4311776 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 409328
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.027
CPU time (s): 1800.1
CPU user time (s): 1790.48
CPU system time (s): 9.61554
CPU usage (%): 200.005
Max. virtual memory (cumulated for all children) (KiB): 409328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.48
system time used= 9.61554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103165
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= 78
involuntary context switches= 11962
runsolver used 1.36079 second user time and 2.93955 second system time
The end