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-3500431-1307995092/watcher-3500431-1307995092 -o /var/tmp/evaluation-result-3500431-1307995092/solver-3500431-1307995092 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500431-1307995092.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.70 3.94 3.90 3/179 18663
/proc/meminfo: memFree=24495044/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=134776 CPUtime=0 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 393 0 0 0 0 0 0 0 25 0 3 0 989739878 138010624 344 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33694 344 179 372 0 33319 0
[pid=18663/tid=18664] ppid=18661 vsize=134776 CPUtime=0 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 48 0 0 0 0 0 0 0 25 0 3 0 989739879 138010624 344 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=134776 CPUtime=0 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 19 0 0 0 0 0 0 0 25 0 3 0 989739879 138010624 344 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[startup+0.0230101 s]
/proc/loadavg: 3.70 3.94 3.90 3/179 18663
/proc/meminfo: memFree=24495044/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=134776 CPUtime=0.03 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 501 0 0 0 3 0 0 0 25 0 3 0 989739878 138010624 452 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33694 454 179 372 0 33319 0
[pid=18663/tid=18664] ppid=18661 vsize=134776 CPUtime=0.01 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114 0 0 0 1 0 0 0 25 0 3 0 989739879 138010624 454 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=134776 CPUtime=0.01 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 63 0 0 0 1 0 0 0 25 0 3 0 989739879 138010624 454 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 134776
[startup+0.101 s]
/proc/loadavg: 3.70 3.94 3.90 3/179 18663
/proc/meminfo: memFree=24495044/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=134776 CPUtime=0.18 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 890 0 0 0 18 0 0 0 25 0 3 0 989739878 138010624 841 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33694 841 179 372 0 33319 0
[pid=18663/tid=18664] ppid=18661 vsize=134776 CPUtime=0.09 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 351 0 0 0 9 0 0 0 25 0 3 0 989739879 138010624 841 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=134776 CPUtime=0.09 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 213 0 0 0 9 0 0 0 25 0 3 0 989739879 138010624 841 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134776
[startup+0.300963 s]
/proc/loadavg: 3.70 3.94 3.90 3/179 18663
/proc/meminfo: memFree=24495044/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=134776 CPUtime=0.58 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 1585 0 0 0 57 1 0 0 25 0 3 0 989739878 138010624 1536 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33694 1536 179 372 0 33319 0
[pid=18663/tid=18664] ppid=18661 vsize=134776 CPUtime=0.28 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 768 0 0 0 28 0 0 0 25 0 3 0 989739879 138010624 1536 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=134776 CPUtime=0.28 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 491 0 0 0 28 0 0 0 25 0 3 0 989739879 138010624 1536 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134776
[startup+0.700886 s]
/proc/loadavg: 3.70 3.94 3.90 3/179 18663
/proc/meminfo: memFree=24495044/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=134920 CPUtime=1.38 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 2317 0 0 0 135 3 0 0 25 0 3 0 989739878 138158080 2268 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33730 2268 179 372 0 33355 0
[pid=18663/tid=18664] ppid=18661 vsize=134920 CPUtime=0.69 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 1275 0 0 0 68 1 0 0 25 0 3 0 989739879 138158080 2268 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=134920 CPUtime=0.68 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 716 0 0 0 67 1 0 0 25 0 3 0 989739879 138158080 2268 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 134920
[startup+1.50074 s]
/proc/loadavg: 3.70 3.94 3.90 5/182 18666
/proc/meminfo: memFree=24485248/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=135064 CPUtime=2.99 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 2788 0 0 0 291 8 0 0 25 0 3 0 989739878 138305536 2739 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33766 2739 179 372 0 33391 0
[pid=18663/tid=18664] ppid=18661 vsize=135064 CPUtime=1.49 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 1636 0 0 0 146 3 0 0 25 0 3 0 989739879 138305536 2739 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=135064 CPUtime=1.48 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 826 0 0 0 144 4 0 0 25 0 3 0 989739879 138305536 2739 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135064
[startup+3.10044 s]
/proc/loadavg: 3.70 3.94 3.90 5/182 18667
/proc/meminfo: memFree=24480904/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=135064 CPUtime=6.18 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 3818 0 0 0 605 13 0 0 25 0 3 0 989739878 138305536 3769 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33766 3769 180 372 0 33391 0
[pid=18663/tid=18664] ppid=18661 vsize=135064 CPUtime=3.09 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 2498 0 0 0 304 5 0 0 25 0 3 0 989739879 138305536 3769 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=135064 CPUtime=3.09 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 994 0 0 0 301 8 0 0 25 0 3 0 989739879 138305536 3769 33554432000 4194304 5714118 140734804441056 18446744073709551615 4319200 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) 135064
[startup+6.30083 s]
/proc/loadavg: 3.73 3.94 3.90 5/182 18667
/proc/meminfo: memFree=24471724/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=135136 CPUtime=12.58 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 5210 0 0 0 1233 25 0 0 25 0 3 0 989739878 138379264 5161 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33784 5161 180 372 0 33409 0
[pid=18663/tid=18664] ppid=18661 vsize=135136 CPUtime=6.29 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 3595 0 0 0 619 10 0 0 25 0 3 0 989739879 138379264 5161 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=135136 CPUtime=6.29 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 1289 0 0 0 614 15 0 0 25 0 3 0 989739879 138379264 5161 33554432000 4194304 5714118 140734804441056 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) 135136
[startup+12.7006 s]
/proc/loadavg: 3.75 3.94 3.90 5/182 18667
/proc/meminfo: memFree=24454988/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=135208 CPUtime=25.39 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 7515 0 0 0 2494 45 0 0 25 0 3 0 989739878 138452992 7466 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33802 7466 180 372 0 33427 0
[pid=18663/tid=18664] ppid=18661 vsize=135208 CPUtime=12.69 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 5589 0 0 0 1250 19 0 0 25 0 3 0 989739879 138452992 7466 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=135208 CPUtime=12.69 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 1600 0 0 0 1243 26 0 0 25 0 3 0 989739879 138452992 7466 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135208
[startup+25.5002 s]
/proc/loadavg: 3.80 3.94 3.90 5/182 18667
/proc/meminfo: memFree=24430076/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=135352 CPUtime=50.99 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 11183 0 0 0 5020 79 0 0 25 0 3 0 989739878 138600448 11116 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 33838 11116 180 372 0 33463 0
[pid=18663/tid=18664] ppid=18661 vsize=135352 CPUtime=25.48 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 8852 0 0 0 2515 33 0 0 25 0 3 0 989739879 138600448 11116 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=135352 CPUtime=25.49 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 2005 0 0 0 2504 45 0 0 25 0 3 0 989739879 138600448 11116 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 135352
[startup+51.1004 s]
/proc/loadavg: 3.95 3.96 3.91 5/182 18668
/proc/meminfo: memFree=24382712/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=136288 CPUtime=102.18 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 17533 0 0 0 10081 137 0 0 25 0 3 0 989739878 139558912 17466 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 34072 17466 180 372 0 33697 0
[pid=18663/tid=18664] ppid=18661 vsize=136288 CPUtime=51.09 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 14737 0 0 0 5046 63 0 0 25 0 3 0 989739879 139558912 17466 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=136288 CPUtime=51.09 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 2470 0 0 0 5035 74 0 0 25 0 3 0 989739879 139558912 17466 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 136288
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 18669
/proc/meminfo: memFree=24299712/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=203696 CPUtime=204.61 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 28712 0 0 0 20210 251 0 0 25 0 3 0 989739878 208584704 28439 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 50924 28439 180 372 0 50549 0
[pid=18663/tid=18664] ppid=18661 vsize=203696 CPUtime=102.29 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 25084 0 0 0 10110 119 0 0 25 0 3 0 989739879 208584704 28439 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=203696 CPUtime=102.3 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 3302 0 0 0 10099 131 0 0 25 0 3 0 989739879 208584704 28439 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 203696
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18671
/proc/meminfo: memFree=24213716/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=270168 CPUtime=324.59 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 40093 0 0 0 32078 381 0 0 25 0 3 0 989739878 276652032 39697 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 67542 39697 180 372 0 67167 0
[pid=18663/tid=18664] ppid=18661 vsize=270168 CPUtime=162.29 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 36093 0 0 0 16046 183 0 0 25 0 3 0 989739879 276652032 39697 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=270168 CPUtime=162.29 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 3674 0 0 0 16031 198 0 0 25 0 3 0 989739879 276652032 39697 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 270168
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18681
/proc/meminfo: memFree=24132580/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=270888 CPUtime=444.6 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 50636 0 0 0 43958 502 0 0 25 0 3 0 989739878 277389312 50240 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 67722 50240 180 372 0 67347 0
[pid=18663/tid=18664] ppid=18661 vsize=270888 CPUtime=222.29 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 46606 0 0 0 21991 238 0 0 25 0 3 0 989739879 277389312 50240 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=270888 CPUtime=222.29 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 3704 0 0 0 21966 263 0 0 25 0 3 0 989739879 277389312 50240 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 270888
################
# More data... #
################
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18686
/proc/meminfo: memFree=23914892/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=403560 CPUtime=804.61 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 79949 0 0 0 79617 844 0 0 25 0 3 0 989739878 413245440 79228 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 100890 79228 180 372 0 100515 0
[pid=18663/tid=18664] ppid=18661 vsize=403560 CPUtime=402.3 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 74875 0 0 0 39826 404 0 0 25 0 3 0 989739879 413245440 79228 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=403560 CPUtime=402.3 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 4748 0 0 0 39790 440 0 0 25 0 3 0 989739879 413245440 79228 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 403560
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18688
/proc/meminfo: memFree=23842524/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=470336 CPUtime=924.61 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 89581 0 0 0 91505 956 0 0 25 0 3 0 989739878 481624064 88599 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 117584 88599 180 372 0 117209 0
[pid=18663/tid=18664] ppid=18661 vsize=470336 CPUtime=462.31 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 83832 0 0 0 45770 461 0 0 25 0 3 0 989739879 481624064 88599 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=470336 CPUtime=462.3 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 5423 0 0 0 45735 495 0 0 25 0 3 0 989739879 481624064 88599 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 470336
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18689
/proc/meminfo: memFree=23771048/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=470480 CPUtime=1044.62 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 98992 0 0 0 103399 1063 0 0 25 0 3 0 989739878 481771520 98005 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 117620 98005 180 372 0 117245 0
[pid=18663/tid=18664] ppid=18661 vsize=470480 CPUtime=522.31 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 93178 0 0 0 51713 518 0 0 25 0 3 0 989739879 481771520 98005 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=470480 CPUtime=522.31 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 5488 0 0 0 51686 545 0 0 25 0 3 0 989739879 481771520 98005 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 470480
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 18691
/proc/meminfo: memFree=23707256/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=536592 CPUtime=1164.63 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 107931 0 0 0 115298 1165 0 0 25 0 3 0 989739878 549470208 106568 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 134148 106568 180 372 0 133773 0
[pid=18663/tid=18664] ppid=18661 vsize=536592 CPUtime=582.31 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 101493 0 0 0 57665 566 0 0 25 0 3 0 989739879 549470208 106568 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=536592 CPUtime=582.31 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 6112 0 0 0 57632 599 0 0 25 0 3 0 989739879 549470208 106568 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.63
Current children cumulated vsize (KiB) 536592
[startup+642.3 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 18693
/proc/meminfo: memFree=23640112/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=536988 CPUtime=1284.64 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 117537 0 0 0 127197 1267 0 0 25 0 3 0 989739878 549875712 114943 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 134247 114943 180 372 0 133872 0
[pid=18663/tid=18664] ppid=18661 vsize=536988 CPUtime=642.31 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 109794 0 0 0 63611 620 0 0 25 0 3 0 989739879 549875712 114943 33554432000 4194304 5714118 140734804441056 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=536988 CPUtime=642.32 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7417 0 0 0 63586 646 0 0 25 0 3 0 989739879 549875712 114943 33554432000 4194304 5714118 140734804441056 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 536988
[startup+702.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18694
/proc/meminfo: memFree=23597760/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1404.63 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122676 0 0 0 139091 1372 0 0 25 0 3 0 989739878 543739904 117736 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117736 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=702.31 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 69552 679 0 0 25 0 3 0 989739879 543739904 117736 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=702.31 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7861 0 0 0 69539 692 0 0 25 0 3 0 989739879 543739904 117736 33554432000 4194304 5714118 140734804441056 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 530996
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18694
/proc/meminfo: memFree=23597636/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1407.84 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122676 0 0 0 139409 1375 0 0 25 0 3 0 989739878 543739904 117736 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117736 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=703.92 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 69711 681 0 0 25 0 3 0 989739879 543739904 117736 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=703.92 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7861 0 0 0 69698 694 0 0 25 0 3 0 989739879 543739904 117736 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1407.84
Current children cumulated vsize (KiB) 530996
[startup+716.7 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18695
/proc/meminfo: memFree=23590424/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1433.43 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122698 0 0 0 141943 1400 0 0 25 0 3 0 989739878 543739904 117758 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117758 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=716.71 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 70976 695 0 0 25 0 3 0 989739879 543739904 117758 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=716.71 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7883 0 0 0 70967 704 0 0 25 0 3 0 989739879 543739904 117758 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1433.43
Current children cumulated vsize (KiB) 530996
[startup+719.901 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18695
/proc/meminfo: memFree=23589680/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1439.83 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122772 0 0 0 142578 1405 0 0 25 0 3 0 989739878 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117832 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=719.91 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 71292 699 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=719.91 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7957 0 0 0 71285 706 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1439.83
Current children cumulated vsize (KiB) 530996
[startup+721.501 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18695
/proc/meminfo: memFree=23589556/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1443.04 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122772 0 0 0 142897 1407 0 0 25 0 3 0 989739878 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117832 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=721.51 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 71451 700 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=721.51 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7957 0 0 0 71445 706 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1443.04
Current children cumulated vsize (KiB) 530996
[startup+723.1 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18695
/proc/meminfo: memFree=23588192/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1446.23 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122772 0 0 0 143213 1410 0 0 25 0 3 0 989739878 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117832 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=723.11 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 71609 702 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=723.11 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7957 0 0 0 71604 707 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1446.23
Current children cumulated vsize (KiB) 530996
[startup+723.501 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18695
/proc/meminfo: memFree=23588192/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1447.03 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122772 0 0 0 143292 1411 0 0 25 0 3 0 989739878 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117832 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=723.51 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 71648 703 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=723.52 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7957 0 0 0 71644 708 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1447.03
Current children cumulated vsize (KiB) 530996
[startup+723.701 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 18695
/proc/meminfo: memFree=23586332/32950928 swapFree=67054844/67111528
[pid=18663] ppid=18661 vsize=530996 CPUtime=1447.44 cores=1,3,5,7
/proc/18663/stat : 18663 (pwbo1.1) S 18661 18663 17705 0 -1 4202496 122772 0 0 0 143333 1411 0 0 25 0 3 0 989739878 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/18663/statm: 132749 117832 180 372 0 132374 0
[pid=18663/tid=18664] ppid=18661 vsize=530996 CPUtime=723.72 cores=1,3,5,7
/proc/18663/task/18664/stat : 18664 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 114489 0 0 0 71669 703 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=18663/tid=18665] ppid=18661 vsize=530996 CPUtime=723.72 cores=1,3,5,7
/proc/18663/task/18665/stat : 18665 (pwbo1.1) R 18661 18663 17705 0 -1 4202560 7957 0 0 0 71664 708 0 0 25 0 3 0 989739879 543739904 117832 33554432000 4194304 5714118 140734804441056 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1447.44
Current children cumulated vsize (KiB) 530996
Child status: 0
Real time (s): 723.798
CPU time (s): 1447.61
CPU user time (s): 1433.47
CPU system time (s): 14.1418
CPU usage (%): 200.003
Max. virtual memory (cumulated for all children) (KiB): 537132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1433.47
system time used= 14.1418
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122777
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= 59
involuntary context switches= 3392
runsolver used 1.26581 second user time and 2.6526 second system time
The end