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-3712513-1338196494/watcher-3712513-1338196494 -o /tmp/evaluation-result-3712513-1338196494/solver-3712513-1338196494 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712513-1338196494.wbo
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.98 3.96 3.91 4/178 20878
/proc/meminfo: memFree=30965400/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=162468 CPUtime=0 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 885 0 0 0 0 0 0 0 20 0 3 0 285773916 166367232 834 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 40617 834 195 433 0 40181 0
[pid=20878/tid=20879] ppid=20876 vsize=162468 CPUtime=0 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 3 0 285773917 166367232 835 33554432000 4194304 5964478 140734726932400 140067610418224 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=162468 CPUtime=0 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 285773917 166367232 835 33554432000 4194304 5964478 140734726932400 140067599928408 5136474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0519771 s]
/proc/loadavg: 3.98 3.96 3.91 4/178 20878
/proc/meminfo: memFree=30965400/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=174632 CPUtime=0.09 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 5389 0 0 0 8 1 0 0 20 0 3 0 285773916 178823168 5280 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 43658 5285 206 433 0 43222 0
[pid=20878/tid=20879] ppid=20876 vsize=174632 CPUtime=0.03 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 219 0 0 0 3 0 0 0 20 0 3 0 285773917 178823168 5287 33554432000 4194304 5964478 140734726932400 140067610417192 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=174632 CPUtime=0.03 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 4398 0 0 0 2 1 0 0 20 0 3 0 285773917 178823168 5290 33554432000 4194304 5964478 140734726932400 140067599926792 5244295 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 174632
[startup+0.100454 s]
/proc/loadavg: 3.98 3.96 3.91 4/178 20878
/proc/meminfo: memFree=30965400/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=184096 CPUtime=0.19 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 10433 0 0 0 16 3 0 0 20 0 3 0 285773916 188514304 10240 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 46024 10245 206 433 0 45588 0
[pid=20878/tid=20879] ppid=20876 vsize=184096 CPUtime=0.08 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 346 0 0 0 8 0 0 0 20 0 3 0 285773917 188514304 10248 33554432000 4194304 5964478 140734726932400 140067610417192 4388475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=184096 CPUtime=0.08 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 9316 0 0 0 6 2 0 0 20 0 3 0 285773917 188514304 10250 33554432000 4194304 5964478 140734726932400 140067599926888 4418342 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 184096
[startup+0.300383 s]
/proc/loadavg: 3.98 3.96 3.91 4/178 20878
/proc/meminfo: memFree=30965400/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=190600 CPUtime=0.59 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 14229 0 0 0 55 4 0 0 20 0 3 0 285773916 195174400 14035 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 47650 14035 206 433 0 47214 0
[pid=20878/tid=20879] ppid=20876 vsize=190600 CPUtime=0.28 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 707 0 0 0 28 0 0 0 20 0 3 0 285773917 195174400 14035 33554432000 4194304 5964478 140734726932400 140067610417144 4389113 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=190600 CPUtime=0.28 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 12740 0 0 0 25 3 0 0 20 0 3 0 285773917 195174400 14035 33554432000 4194304 5964478 140734726932400 140067599927528 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 190600
[startup+0.700384 s]
/proc/loadavg: 3.98 3.96 3.91 4/178 20878
/proc/meminfo: memFree=30965400/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=190600 CPUtime=1.38 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 14846 0 0 0 134 4 0 0 20 0 3 0 285773916 195174400 14652 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 47650 14652 206 433 0 47214 0
[pid=20878/tid=20879] ppid=20876 vsize=190600 CPUtime=0.68 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 1173 0 0 0 67 1 0 0 20 0 3 0 285773917 195174400 14652 33554432000 4194304 5964478 140734726932400 140067610416952 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=190600 CPUtime=0.68 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 12891 0 0 0 65 3 0 0 20 0 3 0 285773917 195174400 14652 33554432000 4194304 5964478 140734726932400 140067599927416 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 190600
[startup+1.50038 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20881
/proc/meminfo: memFree=30904848/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=190744 CPUtime=2.99 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 15472 0 0 0 294 5 0 0 20 0 3 0 285773916 195321856 15278 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 47686 15278 206 433 0 47250 0
[pid=20878/tid=20879] ppid=20876 vsize=190744 CPUtime=1.47 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 1540 0 0 0 146 1 0 0 20 0 3 0 285773917 195321856 15278 33554432000 4194304 5964478 140734726932400 140067610417144 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=190744 CPUtime=1.48 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 13150 0 0 0 144 4 0 0 20 0 3 0 285773917 195321856 15278 33554432000 4194304 5964478 140734726932400 140067599927600 4400503 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 190744
[startup+3.10039 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20881
/proc/meminfo: memFree=30901624/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=190960 CPUtime=6.18 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 16704 0 0 0 612 6 0 0 20 0 3 0 285773916 195543040 16510 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 47740 16510 206 433 0 47304 0
[pid=20878/tid=20879] ppid=20876 vsize=190960 CPUtime=3.07 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 2495 0 0 0 305 2 0 0 20 0 3 0 285773917 195543040 16510 33554432000 4194304 5964478 140734726932400 140067610417136 4403711 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=190960 CPUtime=3.08 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 13427 0 0 0 304 4 0 0 20 0 3 0 285773917 195543040 16510 33554432000 4194304 5964478 140734726932400 140067599927528 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 190960
[startup+6.30039 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20881
/proc/meminfo: memFree=30890588/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=190924 CPUtime=12.58 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 17908 0 0 0 1251 7 0 0 20 0 3 0 285773916 195506176 17678 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 47731 17678 208 433 0 47295 0
[pid=20878/tid=20879] ppid=20876 vsize=190924 CPUtime=6.26 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 2916 0 0 0 624 2 0 0 20 0 3 0 285773917 195506176 17678 33554432000 4194304 5964478 140734726932400 140067610417056 4400385 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=190924 CPUtime=6.26 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 14210 0 0 0 622 4 0 0 20 0 3 0 285773917 195506176 17678 33554432000 4194304 5964478 140734726932400 140067599927600 4399838 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 190924
[startup+12.7004 s]
/proc/loadavg: 3.98 3.96 3.91 5/181 20881
/proc/meminfo: memFree=30871988/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=191084 CPUtime=25.37 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 20277 0 0 0 2527 10 0 0 20 0 3 0 285773916 195670016 20047 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 47771 20047 208 433 0 47335 0
[pid=20878/tid=20879] ppid=20876 vsize=191084 CPUtime=12.63 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 4077 0 0 0 1258 5 0 0 20 0 3 0 285773917 195670016 20047 33554432000 4194304 5964478 140734726932400 140067610417248 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=191084 CPUtime=12.65 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 15418 0 0 0 1261 4 0 0 20 0 3 0 285773917 195670016 20047 33554432000 4194304 5964478 140734726932400 140067599927600 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 191084
[startup+25.5004 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 20881
/proc/meminfo: memFree=30842228/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=192120 CPUtime=50.96 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 24098 0 0 0 5083 13 0 0 20 0 3 0 285773916 196730880 23867 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 48030 23867 208 433 0 47594 0
[pid=20878/tid=20879] ppid=20876 vsize=192120 CPUtime=25.39 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 4480 0 0 0 2533 6 0 0 20 0 3 0 285773917 196730880 23867 33554432000 4194304 5964478 140734726932400 140067610417248 4400099 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=192120 CPUtime=25.41 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 18836 0 0 0 2535 6 0 0 20 0 3 0 285773917 196730880 23867 33554432000 4194304 5964478 140734726932400 140067599927656 4400053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 192120
[startup+51.1004 s]
/proc/loadavg: 3.92 3.94 3.90 5/181 20881
/proc/meminfo: memFree=30797684/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=258932 CPUtime=102.13 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 30782 0 0 0 10193 20 0 0 20 0 3 0 285773916 265146368 30764 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 64733 30764 208 433 0 64297 0
[pid=20878/tid=20879] ppid=20876 vsize=258932 CPUtime=50.89 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 6360 0 0 0 5080 9 0 0 20 0 3 0 285773917 265146368 30764 33554432000 4194304 5964478 140734726932400 140067610417136 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=258932 CPUtime=50.95 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 23640 0 0 0 5085 10 0 0 20 0 3 0 285773917 265146368 30764 33554432000 4194304 5964478 140734726932400 140067599927608 4400051 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 258932
[startup+102.307 s]
/proc/loadavg: 3.90 3.93 3.90 5/181 20921
/proc/meminfo: memFree=30921332/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=259408 CPUtime=204.47 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 37565 0 0 0 20420 27 0 0 20 0 3 0 285773916 265633792 37577 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 64852 37577 208 433 0 64416 0
[pid=20878/tid=20879] ppid=20876 vsize=259408 CPUtime=101.95 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 9095 0 0 0 10183 12 0 0 20 0 3 0 285773917 265633792 37577 33554432000 4194304 5964478 140734726932400 140067610416952 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=259408 CPUtime=101.99 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 27688 0 0 0 10183 16 0 0 20 0 3 0 285773917 265633792 37577 33554432000 4194304 5964478 140734726932400 140067599927416 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 259408
[startup+162.3 s]
/proc/loadavg: 4.03 3.96 3.91 5/181 20961
/proc/meminfo: memFree=30823432/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=261616 CPUtime=324.43 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 52165 0 0 0 32394 49 0 0 20 0 3 0 285773916 267894784 53288 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 65404 53288 208 433 0 64968 0
[pid=20878/tid=20879] ppid=20876 vsize=261616 CPUtime=161.78 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 13061 0 0 0 16157 21 0 0 20 0 3 0 285773917 267894784 53288 33554432000 4194304 5964478 140734726932400 140067610416952 4400406 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=261616 CPUtime=161.83 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 38322 0 0 0 16151 32 0 0 20 0 3 0 285773917 267894784 53288 33554432000 4194304 5964478 140734726932400 140067599927608 4399899 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 261616
[startup+222.3 s]
/proc/loadavg: 4.01 3.97 3.91 5/181 21001
/proc/meminfo: memFree=30687996/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392176 CPUtime=444.39 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 63558 0 0 0 44366 73 0 0 20 0 3 0 285773916 401588224 64645 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98044 64645 208 433 0 97608 0
[pid=20878/tid=20879] ppid=20876 vsize=392176 CPUtime=221.61 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21279 0 0 0 22121 40 0 0 20 0 3 0 285773917 401588224 64645 33554432000 4194304 5964478 140734726932400 140067610417056 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392176 CPUtime=221.67 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 41497 0 0 0 22129 38 0 0 20 0 3 0 285773917 401588224 64645 33554432000 4194304 5964478 140734726932400 140067599927712 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.39
Current children cumulated vsize (KiB) 392176
[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 21001
/proc/meminfo: memFree=30469800/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392176 CPUtime=564.33 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 64058 0 0 0 56360 73 0 0 20 0 3 0 285773916 401588224 65514 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98044 65514 208 433 0 97608 0
[pid=20878/tid=20879] ppid=20876 vsize=392176 CPUtime=281.44 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 28103 41 0 0 20 0 3 0 285773917 401588224 65514 33554432000 4194304 5964478 140734726932400 140067610417056 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392176 CPUtime=281.49 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 41938 0 0 0 28110 39 0 0 20 0 3 0 285773917 401588224 65514 33554432000 4194304 5964478 140734726932400 140067599927656 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.33
Current children cumulated vsize (KiB) 392176
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 4.00 3.97 3.91 5/181 21002
/proc/meminfo: memFree=30419448/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392484 CPUtime=613.93 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 69827 0 0 0 61312 81 0 0 20 0 3 0 285773916 401903616 71350 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98121 71350 208 433 0 97685 0
[pid=20878/tid=20879] ppid=20876 vsize=392484 CPUtime=306.18 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 30577 41 0 0 20 0 3 0 285773917 401903616 71350 33554432000 4194304 5964478 140734726932400 140067610417056 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392484 CPUtime=306.22 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 47707 0 0 0 30576 46 0 0 20 0 3 0 285773917 401903616 71350 33554432000 4194304 5964478 140734726932400 140067599927416 4399970 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 613.93
Current children cumulated vsize (KiB) 392484
[startup+313.507 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30406404/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=626.74 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 71685 0 0 0 62590 84 0 0 20 0 3 0 285773916 402157568 73208 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 73208 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=312.57 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 31216 41 0 0 20 0 3 0 285773917 402157568 73208 33554432000 4194304 5964478 140734726932400 140067610417056 4399904 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=312.61 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 49565 0 0 0 31211 50 0 0 20 0 3 0 285773917 402157568 73208 33554432000 4194304 5964478 140734726932400 140067599927608 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 626.74
Current children cumulated vsize (KiB) 392732
[startup+319.9 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30396988/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=639.52 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 73486 0 0 0 63866 86 0 0 20 0 3 0 285773916 402157568 75009 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 75009 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=318.94 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 31853 41 0 0 20 0 3 0 285773917 402157568 75009 33554432000 4194304 5964478 140734726932400 140067610417056 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=318.99 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 51366 0 0 0 31847 52 0 0 20 0 3 0 285773917 402157568 75009 33554432000 4194304 5964478 140734726932400 140067599927608 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 639.52
Current children cumulated vsize (KiB) 392732
[startup+321.5 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30385084/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=642.72 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 74023 0 0 0 64185 87 0 0 20 0 3 0 285773916 402157568 75546 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 75546 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=320.54 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 32013 41 0 0 20 0 3 0 285773917 402157568 75546 33554432000 4194304 5964478 140734726932400 140067610417056 4399970 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=320.58 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 51903 0 0 0 32005 53 0 0 20 0 3 0 285773917 402157568 75546 33554432000 4194304 5964478 140734726932400 140067599927608 4400563 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 642.72
Current children cumulated vsize (KiB) 392732
[startup+322.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30380992/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=644.33 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 74306 0 0 0 64346 87 0 0 20 0 3 0 285773916 402157568 75829 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 75829 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=321.34 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 32093 41 0 0 20 0 3 0 285773917 402157568 75829 33554432000 4194304 5964478 140734726932400 140067610417056 4400071 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=321.39 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 52186 0 0 0 32086 53 0 0 20 0 3 0 285773917 402157568 75829 33554432000 4194304 5964478 140734726932400 140067599927608 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 644.33
Current children cumulated vsize (KiB) 392732
[startup+323.1 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30380992/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=645.91 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 74539 0 0 0 64504 87 0 0 20 0 3 0 285773916 402157568 76062 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 76062 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=322.14 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 32173 41 0 0 20 0 3 0 285773917 402157568 76062 33554432000 4194304 5964478 140734726932400 140067610417056 4400503 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=322.18 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 52419 0 0 0 32165 53 0 0 20 0 3 0 285773917 402157568 76062 33554432000 4194304 5964478 140734726932400 140067599927416 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 645.91
Current children cumulated vsize (KiB) 392732
[startup+323.5 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30375040/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=646.72 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 74660 0 0 0 64584 88 0 0 20 0 3 0 285773916 402157568 76183 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 76183 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=322.53 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 32212 41 0 0 20 0 3 0 285773917 402157568 76183 33554432000 4194304 5964478 140734726932400 140067610417056 4400051 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=322.58 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 52540 0 0 0 32205 53 0 0 20 0 3 0 285773917 402157568 76183 33554432000 4194304 5964478 140734726932400 140067599927416 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 646.72
Current children cumulated vsize (KiB) 392732
[startup+323.6 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 21005
/proc/meminfo: memFree=30375040/32873844 swapFree=6080/6080
[pid=20878] ppid=20876 vsize=392732 CPUtime=646.92 cores=1,3,5,7
/proc/20878/stat : 20878 (pwbo2.01) S 20876 20878 20249 0 -1 4202496 74677 0 0 0 64604 88 0 0 20 0 3 0 285773916 402157568 76200 33554432000 4194304 5964478 140734726932400 140734726931920 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20878/statm: 98183 76200 208 433 0 97747 0
[pid=20878/tid=20879] ppid=20876 vsize=392732 CPUtime=322.63 cores=1,3,5,7
/proc/20878/task/20879/stat : 20879 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 21338 0 0 0 32222 41 0 0 20 0 3 0 285773917 402157568 76200 33554432000 4194304 5964478 140734726932400 140067610417056 4400051 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=20878/tid=20880] ppid=20876 vsize=392732 CPUtime=322.68 cores=1,3,5,7
/proc/20878/task/20880/stat : 20880 (pwbo2.01) R 20876 20878 20249 0 -1 4202560 52557 0 0 0 32215 53 0 0 20 0 3 0 285773917 402157568 76200 33554432000 4194304 5964478 140734726932400 140067599927416 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 646.92
Current children cumulated vsize (KiB) 392732
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20878 and gives
# childrusage.ru_utime.tv_sec=644
# childrusage.ru_utime.tv_usec=453028
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=972852
# CPU time returned by wait4() is 645.426
# while last known CPU time is 646.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 323.643
CPU time (s): 646.92
CPU user time (s): 646.04
CPU system time (s): 0.88
CPU usage (%): 199.887
Max. virtual memory (cumulated for all children) (KiB): 393260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 644.453
system time used= 0.972852
maximum resident set size= 304856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74691
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= 624
involuntary context switches= 839
runsolver used 0.576912 second user time and 1.57976 second system time
The end