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-3728526-1338670978/watcher-3728526-1338670978 -o /tmp/evaluation-result-3728526-1338670978/solver-3728526-1338670978 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728526-1338670978.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: 1.85 1.97 1.99 2/174 30989
/proc/meminfo: memFree=26801064/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=163044 CPUtime=0 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 3 0 333222204 166957056 1520 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 40761 1522 178 433 0 40325 0
[pid=30989/tid=30994] ppid=30987 vsize=163044 CPUtime=0 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 3 0 333222205 166957056 1523 33554432000 4194304 5964478 140734144840240 139917099272744 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=163044 CPUtime=0 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 3 0 333222205 166957056 1523 33554432000 4194304 5964478 140734144840240 139917088782888 4303035 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[startup+0.0098161 s]
/proc/loadavg: 1.85 1.97 1.99 2/174 30989
/proc/meminfo: memFree=26801064/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=163044 CPUtime=0 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 1193 0 0 0 0 0 0 0 20 0 3 0 333222204 166957056 1650 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 40761 1650 194 433 0 40325 0
[pid=30989/tid=30994] ppid=30987 vsize=163044 CPUtime=0 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 163 0 0 0 0 0 0 0 20 0 3 0 333222205 166957056 1650 33554432000 4194304 5964478 140734144840240 139917099272904 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=163044 CPUtime=0 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 3 0 333222205 166957056 1650 33554432000 4194304 5964478 140734144840240 139917088782584 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 163044
[startup+0.100362 s]
/proc/loadavg: 1.85 1.97 1.99 2/174 30989
/proc/meminfo: memFree=26801064/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=181492 CPUtime=0.18 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 8208 0 0 0 15 3 0 0 20 0 3 0 333222204 185847808 8556 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45373 8557 206 433 0 44937 0
[pid=30989/tid=30994] ppid=30987 vsize=181492 CPUtime=0.08 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 407 0 0 0 8 0 0 0 20 0 3 0 333222205 185847808 8557 33554432000 4194304 5964478 140734144840240 139917099271992 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=181492 CPUtime=0.08 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 6884 0 0 0 5 3 0 0 20 0 3 0 333222205 185847808 8557 33554432000 4194304 5964478 140734144840240 139917088781992 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 181492
[startup+0.300367 s]
/proc/loadavg: 1.85 1.97 1.99 2/174 30989
/proc/meminfo: memFree=26801064/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=181832 CPUtime=0.58 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 8852 0 0 0 54 4 0 0 20 0 3 0 333222204 186195968 9200 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45458 9200 206 433 0 45022 0
[pid=30989/tid=30994] ppid=30987 vsize=181832 CPUtime=0.28 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 827 0 0 0 26 2 0 0 20 0 3 0 333222205 186195968 9200 33554432000 4194304 5964478 140734144840240 139917099272184 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=181832 CPUtime=0.28 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 7107 0 0 0 25 3 0 0 20 0 3 0 333222205 186195968 9200 33554432000 4194304 5964478 140734144840240 139917088782568 4403343 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 181832
[startup+0.700351 s]
/proc/loadavg: 1.85 1.97 1.99 2/174 30989
/proc/meminfo: memFree=26801064/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=181832 CPUtime=1.38 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 9621 0 0 0 132 6 0 0 20 0 3 0 333222204 186195968 9969 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45458 9969 206 433 0 45022 0
[pid=30989/tid=30994] ppid=30987 vsize=181832 CPUtime=0.68 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 1322 0 0 0 64 4 0 0 20 0 3 0 333222205 186195968 9969 33554432000 4194304 5964478 140734144840240 139917099272184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=181832 CPUtime=0.68 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 7381 0 0 0 65 3 0 0 20 0 3 0 333222205 186195968 9969 33554432000 4194304 5964478 140734144840240 139917088782648 4399854 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 181832
[startup+1.50036 s]
/proc/loadavg: 1.85 1.97 1.99 5/181 30999
/proc/meminfo: memFree=26738128/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=181832 CPUtime=2.98 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 11586 0 0 0 289 9 0 0 20 0 3 0 333222204 186195968 11934 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45458 11934 206 433 0 45022 0
[pid=30989/tid=30994] ppid=30987 vsize=181832 CPUtime=1.48 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 2176 0 0 0 143 5 0 0 20 0 3 0 333222205 186195968 11934 33554432000 4194304 5964478 140734144840240 139917099272184 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=181832 CPUtime=1.47 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 8493 0 0 0 143 4 0 0 20 0 3 0 333222205 186195968 11935 33554432000 4194304 5964478 140734144840240 139917088782648 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 181832
[startup+3.10037 s]
/proc/loadavg: 1.85 1.97 1.99 5/181 30999
/proc/meminfo: memFree=26713452/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=182192 CPUtime=6.17 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 14870 0 0 0 604 13 0 0 20 0 3 0 333222204 186564608 15218 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45548 15218 206 433 0 45112 0
[pid=30989/tid=30994] ppid=30987 vsize=182192 CPUtime=3.07 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 3318 0 0 0 302 5 0 0 20 0 3 0 333222205 186564608 15218 33554432000 4194304 5964478 140734144840240 139917099272184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=182192 CPUtime=3.07 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 10634 0 0 0 300 7 0 0 20 0 3 0 333222205 186564608 15218 33554432000 4194304 5964478 140734144840240 139917088782648 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 182192
[startup+6.30043 s]
/proc/loadavg: 2.03 2.01 2.00 5/181 30999
/proc/meminfo: memFree=26675428/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=182300 CPUtime=12.57 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 18383 0 0 0 1240 17 0 0 20 0 3 0 333222204 186675200 19489 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45575 19489 206 433 0 45139 0
[pid=30989/tid=30994] ppid=30987 vsize=182300 CPUtime=6.27 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 3565 0 0 0 621 6 0 0 20 0 3 0 333222205 186675200 19489 33554432000 4194304 5964478 140734144840240 139917099271992 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=182300 CPUtime=6.26 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 13900 0 0 0 615 11 0 0 20 0 3 0 333222205 186675200 19489 33554432000 4194304 5964478 140734144840240 139917088782648 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 182300
[startup+12.7004 s]
/proc/loadavg: 2.18 2.04 2.01 5/181 30999
/proc/meminfo: memFree=26618228/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=182884 CPUtime=25.37 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 24470 0 0 0 2506 31 0 0 20 0 3 0 333222204 187273216 25576 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 45721 25576 206 433 0 45285 0
[pid=30989/tid=30994] ppid=30987 vsize=182884 CPUtime=12.65 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 4496 0 0 0 1259 6 0 0 20 0 3 0 333222205 187273216 25576 33554432000 4194304 5964478 140734144840240 139917099271992 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=182884 CPUtime=12.64 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 19056 0 0 0 1239 25 0 0 20 0 3 0 333222205 187273216 25576 33554432000 4194304 5964478 140734144840240 139917088782456 4382029 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 182884
[startup+25.5004 s]
/proc/loadavg: 2.58 2.14 2.04 5/181 30999
/proc/meminfo: memFree=26544680/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=249088 CPUtime=50.95 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 31632 0 0 0 5058 37 0 0 20 0 3 0 333222204 255066112 32726 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 62272 32726 206 433 0 61836 0
[pid=30989/tid=30994] ppid=30987 vsize=249088 CPUtime=25.41 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 5203 0 0 0 2535 6 0 0 20 0 3 0 333222205 255066112 32726 33554432000 4194304 5964478 140734144840240 139917099272184 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=249088 CPUtime=25.39 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 25511 0 0 0 2508 31 0 0 20 0 3 0 333222205 255066112 32726 33554432000 4194304 5964478 140734144840240 139917088782648 4400103 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 249088
[startup+51.1004 s]
/proc/loadavg: 3.07 2.28 2.09 5/181 30999
/proc/meminfo: memFree=26453260/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=250900 CPUtime=102.13 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 39237 0 0 0 10170 43 0 0 20 0 3 0 333222204 256921600 40339 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 62725 40339 206 433 0 62289 0
[pid=30989/tid=30994] ppid=30987 vsize=250900 CPUtime=50.94 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 6158 0 0 0 5088 6 0 0 20 0 3 0 333222205 256921600 40339 33554432000 4194304 5964478 140734144840240 139917099272184 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=250900 CPUtime=50.92 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 32161 0 0 0 5056 36 0 0 20 0 3 0 333222205 256921600 40339 33554432000 4194304 5964478 140734144840240 139917088782648 4400069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 250900
[startup+102.3 s]
/proc/loadavg: 3.59 2.55 2.19 5/181 30999
/proc/meminfo: memFree=26283768/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=319932 CPUtime=204.52 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 57616 0 0 0 20389 63 0 0 20 0 3 0 333222204 327610368 59813 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 79983 59813 206 433 0 79547 0
[pid=30989/tid=30994] ppid=30987 vsize=319932 CPUtime=102.01 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 14895 0 0 0 10187 14 0 0 20 0 3 0 333222205 327610368 59813 33554432000 4194304 5964478 140734144840240 139917099271992 4400401 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=319932 CPUtime=101.99 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 41803 0 0 0 10149 50 0 0 20 0 3 0 333222205 327610368 59813 33554432000 4194304 5964478 140734144840240 139917088782648 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 319932
[startup+162.3 s]
/proc/loadavg: 3.85 2.81 2.30 5/181 30999
/proc/meminfo: memFree=26165996/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=323544 CPUtime=324.49 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 66051 0 0 0 32375 74 0 0 20 0 3 0 333222204 331309056 68219 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 80886 68219 206 433 0 80450 0
[pid=30989/tid=30994] ppid=30987 vsize=323544 CPUtime=161.85 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 16169 0 0 0 16169 16 0 0 20 0 3 0 333222205 331309056 68219 33554432000 4194304 5964478 140734144840240 139917099271992 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=323544 CPUtime=161.83 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 48964 0 0 0 16122 61 0 0 20 0 3 0 333222205 331309056 68219 33554432000 4194304 5964478 140734144840240 139917088782648 4400089 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 323544
[startup+222.307 s]
/proc/loadavg: 3.98 3.04 2.41 5/181 30999
/proc/meminfo: memFree=25975684/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=395812 CPUtime=444.48 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 74131 0 0 0 44366 82 0 0 20 0 3 0 333222204 405311488 76288 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 98953 76288 206 433 0 98517 0
[pid=30989/tid=30994] ppid=30987 vsize=395812 CPUtime=221.7 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 21953 0 0 0 22147 23 0 0 20 0 3 0 333222205 405311488 76288 33554432000 4194304 5964478 140734144840240 139917099272184 4400432 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=395812 CPUtime=221.68 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 51260 0 0 0 22104 64 0 0 20 0 3 0 333222205 405311488 76288 33554432000 4194304 5964478 140734144840240 139917088782648 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.48
Current children cumulated vsize (KiB) 395812
################
# More data... #
################
[pid=30989/tid=30995] ppid=30987 vsize=467940 CPUtime=341.34 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 59679 0 0 0 34054 80 0 0 20 0 3 0 333222205 479170560 88686 33554432000 4194304 5964478 140734144840240 139917088782648 4400109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 467940
[startup+402.3 s]
/proc/loadavg: 4.01 3.48 2.69 5/181 31000
/proc/meminfo: memFree=25805784/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=469020 CPUtime=804.39 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 88349 0 0 0 80336 103 0 0 20 0 3 0 333222204 480276480 90811 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 117255 90811 206 433 0 116819 0
[pid=30989/tid=30994] ppid=30987 vsize=469020 CPUtime=401.23 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 25841 0 0 0 40093 30 0 0 20 0 3 0 333222205 480276480 90811 33554432000 4194304 5964478 140734144840240 139917099271992 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=469020 CPUtime=401.18 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 61590 0 0 0 40034 84 0 0 20 0 3 0 333222205 480276480 90811 33554432000 4194304 5964478 140734144840240 139917088782648 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 469020
[startup+462.3 s]
/proc/loadavg: 4.00 3.57 2.77 5/182 31003
/proc/meminfo: memFree=25775324/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=472728 CPUtime=924.35 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 92107 0 0 0 92325 110 0 0 20 0 3 0 333222204 484073472 94678 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 118182 94678 206 433 0 117746 0
[pid=30989/tid=30994] ppid=30987 vsize=472728 CPUtime=461.06 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 27926 0 0 0 46072 34 0 0 20 0 3 0 333222205 484073472 94678 33554432000 4194304 5964478 140734144840240 139917099272184 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=472728 CPUtime=461.02 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 63263 0 0 0 46014 88 0 0 20 0 3 0 333222205 484073472 94678 33554432000 4194304 5964478 140734144840240 139917088782648 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 472728
[startup+522.3 s]
/proc/loadavg: 4.00 3.65 2.84 5/181 31003
/proc/meminfo: memFree=25671492/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=475012 CPUtime=1044.33 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 98745 0 0 0 104311 122 0 0 20 0 3 0 333222204 486412288 101853 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 118753 101853 206 433 0 118317 0
[pid=30989/tid=30994] ppid=30987 vsize=475012 CPUtime=520.9 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 32627 0 0 0 52047 43 0 0 20 0 3 0 333222205 486412288 101853 33554432000 4194304 5964478 140734144840240 139917099272184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=475012 CPUtime=520.86 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 65200 0 0 0 51994 92 0 0 20 0 3 0 333222205 486412288 101853 33554432000 4194304 5964478 140734144840240 139917088782696 4400097 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 475012
[startup+582.3 s]
/proc/loadavg: 4.00 3.71 2.91 5/181 31004
/proc/meminfo: memFree=25572568/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=475748 CPUtime=1164.31 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 102208 0 0 0 116304 127 0 0 20 0 3 0 333222204 487165952 105316 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 118937 105316 206 433 0 118501 0
[pid=30989/tid=30994] ppid=30987 vsize=475748 CPUtime=580.75 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 33129 0 0 0 58030 45 0 0 20 0 3 0 333222205 487165952 105316 33554432000 4194304 5964478 140734144840240 139917099271992 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=475748 CPUtime=580.71 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 68161 0 0 0 57973 98 0 0 20 0 3 0 333222205 487165952 105316 33554432000 4194304 5964478 140734144840240 139917088782648 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 475748
[startup+642.3 s]
/proc/loadavg: 4.00 3.76 2.97 5/181 31004
/proc/meminfo: memFree=25526716/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=477960 CPUtime=1284.29 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 103816 0 0 0 128299 130 0 0 20 0 3 0 333222204 489431040 106924 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 119490 106924 206 433 0 119054 0
[pid=30989/tid=30994] ppid=30987 vsize=477960 CPUtime=640.6 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 33135 0 0 0 64014 46 0 0 20 0 3 0 333222205 489431040 106924 33554432000 4194304 5964478 140734144840240 139917099271992 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=477960 CPUtime=640.55 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 69763 0 0 0 63953 102 0 0 20 0 3 0 333222205 489431040 106924 33554432000 4194304 5964478 140734144840240 139917088782648 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 477960
[startup+702.3 s]
/proc/loadavg: 4.04 3.81 3.04 5/181 31004
/proc/meminfo: memFree=25450808/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=488960 CPUtime=1404.28 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 108159 0 0 0 140292 136 0 0 20 0 3 0 333222204 500695040 111249 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 122240 111249 206 433 0 121804 0
[pid=30989/tid=30994] ppid=30987 vsize=488960 CPUtime=700.44 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 34338 0 0 0 69994 50 0 0 20 0 3 0 333222205 500695040 111249 33554432000 4194304 5964478 140734144840240 139917099272184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=488960 CPUtime=700.4 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 72903 0 0 0 69935 105 0 0 20 0 3 0 333222205 500695040 111249 33554432000 4194304 5964478 140734144840240 139917088782648 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.28
Current children cumulated vsize (KiB) 488960
[startup+762.3 s]
/proc/loadavg: 4.01 3.85 3.10 5/181 31004
/proc/meminfo: memFree=25440640/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=494584 CPUtime=1524.27 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 110836 0 0 0 152288 139 0 0 20 0 3 0 333222204 506454016 113898 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 123646 113898 206 433 0 123210 0
[pid=30989/tid=30994] ppid=30987 vsize=494584 CPUtime=760.29 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 34892 0 0 0 75978 51 0 0 20 0 3 0 333222205 506454016 113898 33554432000 4194304 5964478 140734144840240 139917099272232 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=494584 CPUtime=760.25 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 75026 0 0 0 75916 109 0 0 20 0 3 0 333222205 506454016 113898 33554432000 4194304 5964478 140734144840240 139917088782648 4400069 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 494584
[startup+822.3 s]
/proc/loadavg: 4.00 3.87 3.15 5/181 31004
/proc/meminfo: memFree=25397860/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=561796 CPUtime=1644.25 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 114217 0 0 0 164278 147 0 0 20 0 3 0 333222204 575279104 117279 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 140449 117279 206 433 0 140013 0
[pid=30989/tid=30994] ppid=30987 vsize=561796 CPUtime=820.14 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 37615 0 0 0 81955 59 0 0 20 0 3 0 333222205 575279104 117279 33554432000 4194304 5964478 140734144840240 139917099271992 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=561796 CPUtime=820.09 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 75684 0 0 0 81898 111 0 0 20 0 3 0 333222205 575279104 117279 33554432000 4194304 5964478 140734144840240 139917088782648 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.25
Current children cumulated vsize (KiB) 561796
[startup+882.307 s]
/proc/loadavg: 4.00 3.89 3.20 5/181 31005
/proc/meminfo: memFree=25389264/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=565484 CPUtime=1764.23 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 115713 0 0 0 176274 149 0 0 20 0 3 0 333222204 579055616 118775 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 141371 118775 206 433 0 140935 0
[pid=30989/tid=30994] ppid=30987 vsize=565484 CPUtime=879.99 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 38087 0 0 0 87939 60 0 0 20 0 3 0 333222205 579055616 118775 33554432000 4194304 5964478 140734144840240 139917099272232 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=565484 CPUtime=879.94 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 76708 0 0 0 87880 114 0 0 20 0 3 0 333222205 579055616 118775 33554432000 4194304 5964478 140734144840240 139917088782648 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.23
Current children cumulated vsize (KiB) 565484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.00 3.90 3.22 5/181 31005
/proc/meminfo: memFree=25387900/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=631020 CPUtime=1800.03 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 116002 0 0 0 179853 150 0 0 20 0 3 0 333222204 646164480 119064 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 157755 119064 206 433 0 157319 0
[pid=30989/tid=30994] ppid=30987 vsize=631020 CPUtime=897.84 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 38089 0 0 0 89724 60 0 0 20 0 3 0 333222205 646164480 119064 33554432000 4194304 5964478 140734144840240 139917099272232 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=631020 CPUtime=897.79 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 76995 0 0 0 89664 115 0 0 20 0 3 0 333222205 646164480 119064 33554432000 4194304 5964478 140734144840240 139917088782648 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 631020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.2 s]
/proc/loadavg: 4.00 3.90 3.22 5/181 31005
/proc/meminfo: memFree=25387900/32873844 swapFree=7628/7628
[pid=30989] ppid=30987 vsize=631020 CPUtime=1800.03 cores=1,3,5,7
/proc/30989/stat : 30989 (pwbo2.02) S 30987 30989 30325 0 -1 4202496 116002 0 0 0 179853 150 0 0 20 0 3 0 333222204 646164480 119064 33554432000 4194304 5964478 140734144840240 140734144839760 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 157755 119064 206 433 0 157319 0
[pid=30989/tid=30994] ppid=30987 vsize=631020 CPUtime=897.84 cores=1,3,5,7
/proc/30989/task/30994/stat : 30994 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 38089 0 0 0 89724 60 0 0 20 0 3 0 333222205 646164480 119064 33554432000 4194304 5964478 140734144840240 139917099272232 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=30989/tid=30995] ppid=30987 vsize=631020 CPUtime=897.79 cores=1,3,5,7
/proc/30989/task/30995/stat : 30995 (pwbo2.02) R 30987 30989 30325 0 -1 4202560 76995 0 0 0 89664 115 0 0 20 0 3 0 333222205 646164480 119064 33554432000 4194304 5964478 140734144840240 139917088782648 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 631020
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30989 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=909284
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=782728
# CPU time returned by wait4() is 1795.69
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.225
CPU time (s): 1800.03
CPU user time (s): 1798.53
CPU system time (s): 1.5
CPU usage (%): 199.953
Max. virtual memory (cumulated for all children) (KiB): 631020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 1.78273
maximum resident set size= 476260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116003
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= 472
involuntary context switches= 3533
runsolver used 1.86272 second user time and 5.57315 second system time
The end