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-3712794-1338200438/watcher-3712794-1338200438 -o /tmp/evaluation-result-3712794-1338200438/solver-3712794-1338200438 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712794-1338200438.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.84 3.97 3.97 4/179 21500
/proc/meminfo: memFree=29967344/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163160 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 3 0 286168396 167075840 955 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40790 960 178 433 0 40354 0
[pid=21500/tid=21501] ppid=21498 vsize=163160 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 3 0 286168397 167075840 972 33554432000 4194304 5964478 140733890455600 140146960448040 5244295 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163160 CPUtime=0 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 3 0 286168397 167075840 980 33554432000 4194304 5964478 140733890455600 140146949958184 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

[startup+0.0481399 s]
/proc/loadavg: 3.84 3.97 3.97 4/179 21500
/proc/meminfo: memFree=29967344/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163160 CPUtime=0.08 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 1587 0 0 0 8 0 0 0 20 0 3 0 286168396 167075840 1532 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40790 1532 198 433 0 40354 0
[pid=21500/tid=21501] ppid=21498 vsize=163160 CPUtime=0.03 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 343 0 0 0 3 0 0 0 20 0 3 0 286168397 167075840 1533 33554432000 4194304 5964478 140733890455600 140146960447480 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163160 CPUtime=0.03 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 268 0 0 0 3 0 0 0 20 0 3 0 286168397 167075840 1533 33554432000 4194304 5964478 140733890455600 140146949957944 4381992 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 163160

[startup+0.100336 s]
/proc/loadavg: 3.84 3.97 3.97 4/179 21500
/proc/meminfo: memFree=29967344/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163160 CPUtime=0.18 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 1876 0 0 0 18 0 0 0 20 0 3 0 286168396 167075840 1821 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40790 1823 198 433 0 40354 0
[pid=21500/tid=21501] ppid=21498 vsize=163160 CPUtime=0.08 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 493 0 0 0 8 0 0 0 20 0 3 0 286168397 167075840 1823 33554432000 4194304 5964478 140733890455600 140146960447288 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163160 CPUtime=0.08 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 408 0 0 0 8 0 0 0 20 0 3 0 286168397 167075840 1823 33554432000 4194304 5964478 140733890455600 140146949957944 4400002 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163160

[startup+0.300287 s]
/proc/loadavg: 3.84 3.97 3.97 4/179 21500
/proc/meminfo: memFree=29967344/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163160 CPUtime=0.58 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 2892 0 0 0 58 0 0 0 20 0 3 0 286168396 167075840 2837 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40790 2837 198 433 0 40354 0
[pid=21500/tid=21501] ppid=21498 vsize=163160 CPUtime=0.28 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 1030 0 0 0 28 0 0 0 20 0 3 0 286168397 167075840 2838 33554432000 4194304 5964478 140733890455600 140146960447480 4388293 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163160 CPUtime=0.28 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 886 0 0 0 28 0 0 0 20 0 3 0 286168397 167075840 2838 33554432000 4194304 5964478 140733890455600 140146949957944 5136404 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163160

[startup+0.700301 s]
/proc/loadavg: 3.84 3.97 3.97 4/179 21500
/proc/meminfo: memFree=29967344/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163160 CPUtime=1.38 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 4606 0 0 0 137 1 0 0 20 0 3 0 286168396 167075840 4551 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40790 4551 198 433 0 40354 0
[pid=21500/tid=21501] ppid=21498 vsize=163160 CPUtime=0.68 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 1943 0 0 0 68 0 0 0 20 0 3 0 286168397 167075840 4551 33554432000 4194304 5964478 140733890455600 140146960447528 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163160 CPUtime=0.68 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 1686 0 0 0 68 0 0 0 20 0 3 0 286168397 167075840 4551 33554432000 4194304 5964478 140733890455600 140146949957752 4381958 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) 163160

[startup+1.50033 s]
/proc/loadavg: 3.84 3.97 3.97 5/182 21503
/proc/meminfo: memFree=29945208/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163160 CPUtime=2.98 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 7729 0 0 0 295 3 0 0 20 0 3 0 286168396 167075840 7674 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40790 7674 198 433 0 40354 0
[pid=21500/tid=21501] ppid=21498 vsize=163160 CPUtime=1.47 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 3407 0 0 0 146 1 0 0 20 0 3 0 286168397 167075840 7674 33554432000 4194304 5964478 140733890455600 140146960447480 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163160 CPUtime=1.47 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 3345 0 0 0 146 1 0 0 20 0 3 0 286168397 167075840 7674 33554432000 4194304 5964478 140733890455600 140146949957944 4400075 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163160

[startup+3.10034 s]
/proc/loadavg: 3.84 3.97 3.97 5/182 21503
/proc/meminfo: memFree=29931444/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163448 CPUtime=6.18 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 10177 0 0 0 614 4 0 0 20 0 3 0 286168396 167370752 10122 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40862 10122 198 433 0 40426 0
[pid=21500/tid=21501] ppid=21498 vsize=163448 CPUtime=3.07 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 4873 0 0 0 305 2 0 0 20 0 3 0 286168397 167370752 10122 33554432000 4194304 5964478 140733890455600 140146960447480 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163448 CPUtime=3.07 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 4327 0 0 0 305 2 0 0 20 0 3 0 286168397 167370752 10123 33554432000 4194304 5964478 140733890455600 140146949957992 4400062 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) 163448

[startup+6.30038 s]
/proc/loadavg: 3.93 3.98 3.97 5/182 21503
/proc/meminfo: memFree=29916688/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163592 CPUtime=12.58 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 14168 0 0 0 1249 9 0 0 20 0 3 0 286168396 167518208 14113 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40898 14113 198 433 0 40462 0
[pid=21500/tid=21501] ppid=21498 vsize=163592 CPUtime=6.26 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 7627 0 0 0 620 6 0 0 20 0 3 0 286168397 167518208 14113 33554432000 4194304 5964478 140733890455600 140146960447288 4382005 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163592 CPUtime=6.26 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 5564 0 0 0 624 2 0 0 20 0 3 0 286168397 167518208 14113 33554432000 4194304 5964478 140733890455600 140146949957752 4400051 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) 163592

[startup+12.7004 s]
/proc/loadavg: 3.94 3.98 3.97 5/182 21503
/proc/meminfo: memFree=29877140/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=163724 CPUtime=25.38 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 22681 0 0 0 2524 14 0 0 20 0 3 0 286168396 167653376 22626 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 40931 22626 198 433 0 40495 0
[pid=21500/tid=21501] ppid=21498 vsize=163724 CPUtime=12.64 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 10628 0 0 0 1256 8 0 0 20 0 3 0 286168397 167653376 22626 33554432000 4194304 5964478 140733890455600 140146960447480 5136404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=163724 CPUtime=12.65 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 11076 0 0 0 1260 5 0 0 20 0 3 0 286168397 167653376 22626 33554432000 4194304 5964478 140733890455600 140146949957944 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163724

[startup+25.5004 s]
/proc/loadavg: 3.95 3.98 3.97 5/181 21504
/proc/meminfo: memFree=29817124/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=295148 CPUtime=50.98 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 35579 0 0 0 5078 20 0 0 20 0 3 0 286168396 302231552 35524 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 73787 35524 198 433 0 73351 0
[pid=21500/tid=21501] ppid=21498 vsize=295148 CPUtime=25.41 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 17567 0 0 0 2530 11 0 0 20 0 3 0 286168397 302231552 35524 33554432000 4194304 5964478 140733890455600 140146960447288 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=295148 CPUtime=25.41 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 17035 0 0 0 2534 7 0 0 20 0 3 0 286168397 302231552 35524 33554432000 4194304 5964478 140733890455600 140146949957944 4400081 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 295148

[startup+51.1004 s]
/proc/loadavg: 3.97 3.98 3.97 5/181 21504
/proc/meminfo: memFree=29713164/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=295604 CPUtime=102.17 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 49785 0 0 0 10189 28 0 0 20 0 3 0 286168396 302698496 49730 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 73901 49730 198 433 0 73465 0
[pid=21500/tid=21501] ppid=21498 vsize=295604 CPUtime=50.95 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 24809 0 0 0 5079 16 0 0 20 0 3 0 286168397 302698496 49730 33554432000 4194304 5964478 140733890455600 140146960447480 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=295604 CPUtime=50.95 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 23999 0 0 0 5084 11 0 0 20 0 3 0 286168397 302698496 49730 33554432000 4194304 5964478 140733890455600 140146949957704 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 295604

[startup+102.307 s]
/proc/loadavg: 3.98 3.98 3.97 5/181 21504
/proc/meminfo: memFree=29650836/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=361908 CPUtime=204.56 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 65340 0 0 0 20421 35 0 0 20 0 3 0 286168396 370593792 65243 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 90477 65244 198 433 0 90041 0
[pid=21500/tid=21501] ppid=21498 vsize=361908 CPUtime=102.02 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 34288 0 0 0 10180 22 0 0 20 0 3 0 286168397 370593792 65244 33554432000 4194304 5964478 140733890455600 140146960447480 5136474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=361908 CPUtime=102.02 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 30076 0 0 0 10188 14 0 0 20 0 3 0 286168397 370593792 65244 33554432000 4194304 5964478 140733890455600 140146949957944 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 361908

[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21504
/proc/meminfo: memFree=29492596/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=493964 CPUtime=324.51 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 92205 0 0 0 32394 57 0 0 20 0 3 0 286168396 505819136 92159 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 123491 92159 198 433 0 123055 0
[pid=21500/tid=21501] ppid=21498 vsize=493964 CPUtime=161.86 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 50963 0 0 0 16149 37 0 0 20 0 3 0 286168397 505819136 92159 33554432000 4194304 5964478 140733890455600 140146960447480 4400051 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=493964 CPUtime=161.84 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 40265 0 0 0 16161 23 0 0 20 0 3 0 286168397 505819136 92159 33554432000 4194304 5964478 140733890455600 140146949957944 4399994 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 493964

[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21545
/proc/meminfo: memFree=30667464/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=495480 CPUtime=444.44 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 103882 0 0 0 44376 68 0 0 20 0 3 0 286168396 507371520 103894 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 123870 103894 198 433 0 123434 0
[pid=21500/tid=21501] ppid=21498 vsize=495480 CPUtime=221.67 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 56520 0 0 0 22124 43 0 0 20 0 3 0 286168397 507371520 103894 33554432000 4194304 5964478 140733890455600 140146960447480 4399936 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=495480 CPUtime=221.67 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 46385 0 0 0 22137 30 0 0 20 0 3 0 286168397 507371520 103894 33554432000 4194304 5964478 140733890455600 140146949957944 4382013 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 495480

################
# More data... #
################

[pid=21500/tid=21502] ppid=21498 vsize=495792 CPUtime=281.52 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 48411 0 0 0 28120 32 0 0 20 0 3 0 286168397 507691008 110365 33554432000 4194304 5964478 140733890455600 140146949957704 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 495792

[startup+342.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21546
/proc/meminfo: memFree=30398784/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=561328 CPUtime=684.31 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 115601 0 0 0 68354 77 0 0 20 0 3 0 286168396 574799872 115333 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 140332 115333 198 433 0 139896 0
[pid=21500/tid=21501] ppid=21498 vsize=561328 CPUtime=341.31 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 64142 0 0 0 34080 51 0 0 20 0 3 0 286168397 574799872 115333 33554432000 4194304 5964478 140733890455600 140146960447480 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=561328 CPUtime=341.33 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 50482 0 0 0 34098 35 0 0 20 0 3 0 286168397 574799872 115333 33554432000 4194304 5964478 140733890455600 140146949957944 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 561328

[startup+402.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21546
/proc/meminfo: memFree=30205264/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=630848 CPUtime=804.28 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 144003 0 0 0 80324 104 0 0 20 0 3 0 286168396 645988352 143904 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 157712 143904 198 433 0 157276 0
[pid=21500/tid=21501] ppid=21498 vsize=630848 CPUtime=401.16 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 81284 0 0 0 40045 71 0 0 20 0 3 0 286168397 645988352 143904 33554432000 4194304 5964478 140733890455600 140146960447480 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=630848 CPUtime=401.18 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 61742 0 0 0 40073 45 0 0 20 0 3 0 286168397 645988352 143904 33554432000 4194304 5964478 140733890455600 140146949957992 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.28
Current children cumulated vsize (KiB) 630848

[startup+462.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21546
/proc/meminfo: memFree=30184712/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=631152 CPUtime=924.26 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 144063 0 0 0 92322 104 0 0 20 0 3 0 286168396 646299648 143964 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 157788 143964 198 433 0 157352 0
[pid=21500/tid=21501] ppid=21498 vsize=631152 CPUtime=461 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 81294 0 0 0 46029 71 0 0 20 0 3 0 286168397 646299648 143964 33554432000 4194304 5964478 140733890455600 140146960447480 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=631152 CPUtime=461.03 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 61792 0 0 0 46057 46 0 0 20 0 3 0 286168397 646299648 143964 33554432000 4194304 5964478 140733890455600 140146949957704 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 631152

[startup+522.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21546
/proc/meminfo: memFree=30184368/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=631368 CPUtime=1044.25 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 144129 0 0 0 104320 105 0 0 20 0 3 0 286168396 646520832 144023 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 157842 144023 198 433 0 157406 0
[pid=21500/tid=21501] ppid=21498 vsize=631368 CPUtime=520.85 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 81294 0 0 0 52013 72 0 0 20 0 3 0 286168397 646520832 144023 33554432000 4194304 5964478 140733890455600 140146960447480 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=631368 CPUtime=520.87 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 61858 0 0 0 52041 46 0 0 20 0 3 0 286168397 646520832 144023 33554432000 4194304 5964478 140733890455600 140146949957992 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.25
Current children cumulated vsize (KiB) 631368

[startup+582.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/182 21549
/proc/meminfo: memFree=30083732/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=697840 CPUtime=1164.23 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 161688 0 0 0 116304 119 0 0 20 0 3 0 286168396 714588160 161797 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 174460 161797 198 433 0 174024 0
[pid=21500/tid=21501] ppid=21498 vsize=697840 CPUtime=580.7 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 81300 0 0 0 57997 73 0 0 20 0 3 0 286168397 714588160 161797 33554432000 4194304 5964478 140733890455600 140146960447480 4390263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=697840 CPUtime=580.71 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 79411 0 0 0 58010 61 0 0 20 0 3 0 286168397 714588160 161797 33554432000 4194304 5964478 140733890455600 140146949957944 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.23
Current children cumulated vsize (KiB) 697840

[startup+642.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21550
/proc/meminfo: memFree=30031936/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=834708 CPUtime=1284.17 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 173732 0 0 0 128287 130 0 0 20 0 3 0 286168396 854740992 173869 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 208677 173869 198 433 0 208241 0
[pid=21500/tid=21501] ppid=21498 vsize=834708 CPUtime=640.55 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 89169 0 0 0 63973 82 0 0 20 0 3 0 286168397 854740992 173869 33554432000 4194304 5964478 140733890455600 140146960447480 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=834708 CPUtime=640.52 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 83586 0 0 0 63987 65 0 0 20 0 3 0 286168397 854740992 173869 33554432000 4194304 5964478 140733890455600 140146949957896 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.17
Current children cumulated vsize (KiB) 834708

[startup+702.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21550
/proc/meminfo: memFree=30004312/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=835532 CPUtime=1404.1 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 174000 0 0 0 140280 130 0 0 20 0 3 0 286168396 855584768 174147 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 208883 174147 198 433 0 208447 0
[pid=21500/tid=21501] ppid=21498 vsize=835532 CPUtime=700.36 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 89199 0 0 0 69953 83 0 0 20 0 3 0 286168397 855584768 174147 33554432000 4194304 5964478 140733890455600 140146960447480 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=835532 CPUtime=700.35 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 83824 0 0 0 69969 66 0 0 20 0 3 0 286168397 855584768 174147 33554432000 4194304 5964478 140733890455600 140146949957768 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.1
Current children cumulated vsize (KiB) 835532

[startup+762.307 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21550
/proc/meminfo: memFree=29979664/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=836492 CPUtime=1524.04 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 174249 0 0 0 152274 130 0 0 20 0 3 0 286168396 856567808 174401 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 209123 174401 198 433 0 208687 0
[pid=21500/tid=21501] ppid=21498 vsize=836492 CPUtime=760.19 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 89225 0 0 0 75935 84 0 0 20 0 3 0 286168397 856567808 174401 33554432000 4194304 5964478 140733890455600 140146960447480 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=836492 CPUtime=760.18 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 84047 0 0 0 75950 68 0 0 20 0 3 0 286168397 856567808 174401 33554432000 4194304 5964478 140733890455600 140146949957992 4400075 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.04
Current children cumulated vsize (KiB) 836492

[startup+822.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/181 21550
/proc/meminfo: memFree=29938728/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=836492 CPUtime=1644 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 174266 0 0 0 164270 130 0 0 20 0 3 0 286168396 856567808 174410 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 209123 174410 198 433 0 208687 0
[pid=21500/tid=21501] ppid=21498 vsize=836492 CPUtime=820.02 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 89241 0 0 0 81917 85 0 0 20 0 3 0 286168397 856567808 174410 33554432000 4194304 5964478 140733890455600 140146960447480 4400062 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=836492 CPUtime=820.02 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 84048 0 0 0 81933 69 0 0 20 0 3 0 286168397 856567808 174410 33554432000 4194304 5964478 140733890455600 140146949957992 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644
Current children cumulated vsize (KiB) 836492

[startup+882.3 s]
/proc/loadavg: 3.99 3.98 3.97 5/182 21551
/proc/meminfo: memFree=29774668/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=902316 CPUtime=1763.99 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 193760 0 0 0 176244 155 0 0 20 0 3 0 286168396 923971584 193904 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 225579 193904 198 433 0 225143 0
[pid=21500/tid=21501] ppid=21498 vsize=902316 CPUtime=879.87 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 108735 0 0 0 87877 110 0 0 20 0 3 0 286168397 923971584 193904 33554432000 4194304 5964478 140733890455600 140146960447528 4399994 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=902316 CPUtime=879.86 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 84048 0 0 0 87916 70 0 0 20 0 3 0 286168397 923971584 193904 33554432000 4194304 5964478 140733890455600 140146949957992 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1763.99
Current children cumulated vsize (KiB) 902316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 3.99 3.98 3.97 5/182 21551
/proc/meminfo: memFree=29761896/32873844 swapFree=6080/6080
[pid=21500] ppid=21498 vsize=902316 CPUtime=1800.2 cores=1,3,5,7
/proc/21500/stat : 21500 (pwbo2.01) S 21498 21500 20249 0 -1 4202496 193764 0 0 0 179865 155 0 0 20 0 3 0 286168396 923971584 193908 33554432000 4194304 5964478 140733890455600 140733890455120 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21500/statm: 225579 193908 198 433 0 225143 0
[pid=21500/tid=21501] ppid=21498 vsize=902316 CPUtime=897.93 cores=1,3,5,7
/proc/21500/task/21501/stat : 21501 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 108739 0 0 0 89683 110 0 0 20 0 3 0 286168397 923971584 193908 33554432000 4194304 5964478 140733890455600 140146960447528 4388475 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=21500/tid=21502] ppid=21498 vsize=902316 CPUtime=897.92 cores=1,3,5,7
/proc/21500/task/21502/stat : 21502 (pwbo2.01) R 21498 21500 20249 0 -1 4202560 84048 0 0 0 89722 70 0 0 20 0 3 0 286168397 923971584 193908 33554432000 4194304 5964478 140733890455600 140146949957992 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 902316

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21500 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=72259
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=831721
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.424
CPU time (s): 1800.2
CPU user time (s): 1798.65
CPU system time (s): 1.55
CPU usage (%): 199.928
Max. virtual memory (cumulated for all children) (KiB): 902316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 1.83172
maximum resident set size= 775640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193766
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= 841
involuntary context switches= 1838

runsolver used 2.09168 second user time and 5.37618 second system time

The end