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-3712444-1338192159/watcher-3712444-1338192159 -o /tmp/evaluation-result-3712444-1338192159/solver-3712444-1338192159 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712444-1338192159.wbo 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.03 3.87 3.03 3/178 20480
/proc/meminfo: memFree=29881016/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=5600 CPUtime=0 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) R 20478 20480 20320 0 -1 4202496 718 0 0 0 0 0 0 0 20 0 1 0 285339953 5734400 663 33554432000 4194304 5964478 140735654570112 140734851853048 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 1400 674 170 433 0 964 0

[startup+0.031776 s]
/proc/loadavg: 4.03 3.87 3.03 3/178 20480
/proc/meminfo: memFree=29881016/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=168512 CPUtime=0.04 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 3351 0 0 0 3 1 0 0 20 0 3 0 285339953 172556288 3281 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 42128 3281 205 433 0 41692 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 168512

[startup+0.100211 s]
/proc/loadavg: 4.03 3.87 3.03 3/178 20480
/proc/meminfo: memFree=29881016/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=184972 CPUtime=0.18 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 10360 0 0 0 10 8 0 0 20 0 3 0 285339953 189411328 10219 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 46243 10219 205 433 0 45807 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 184972

[startup+0.300171 s]
/proc/loadavg: 4.03 3.87 3.03 3/178 20480
/proc/meminfo: memFree=29881016/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=185948 CPUtime=0.58 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 11274 0 0 0 49 9 0 0 20 0 3 0 285339953 190410752 11133 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 46487 11133 206 433 0 46051 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 185948

[startup+0.700164 s]
/proc/loadavg: 4.03 3.87 3.03 3/178 20480
/proc/meminfo: memFree=29881016/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=185948 CPUtime=1.37 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 12492 0 0 0 127 10 0 0 20 0 3 0 285339953 190410752 12351 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 46487 12351 206 433 0 46051 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 185948

[startup+1.50027 s]
/proc/loadavg: 4.03 3.87 3.03 5/181 20483
/proc/meminfo: memFree=29812404/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=185948 CPUtime=2.97 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 14912 0 0 0 285 12 0 0 20 0 3 0 285339953 190410752 14771 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 46487 14771 206 433 0 46051 0
[pid=20480/tid=20482] ppid=20478 vsize=185948 CPUtime=1.48 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 2781 0 0 0 148 0 0 0 20 0 3 0 285339954 190410752 14771 33554432000 4194304 5964478 140735654570112 140435028228088 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=185948 CPUtime=1.47 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 11119 0 0 0 135 12 0 0 20 0 3 0 285339954 190410752 14771 33554432000 4194304 5964478 140735654570112 140435017738360 4382007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 185948

[startup+3.10027 s]
/proc/loadavg: 4.02 3.87 3.03 5/181 20483
/proc/meminfo: memFree=29786116/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=186164 CPUtime=6.17 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 18780 0 0 0 603 14 0 0 20 0 3 0 285339953 190631936 18639 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 46541 18639 206 433 0 46105 0
[pid=20480/tid=20482] ppid=20478 vsize=186164 CPUtime=3.08 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 3736 0 0 0 307 1 0 0 20 0 3 0 285339954 190631936 18639 33554432000 4194304 5964478 140735654570112 140435028228088 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=186164 CPUtime=3.07 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 14032 0 0 0 294 13 0 0 20 0 3 0 285339954 190631936 18639 33554432000 4194304 5964478 140735654570112 140435017738360 4388799 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 186164

[startup+6.30032 s]
/proc/loadavg: 4.02 3.87 3.03 5/181 20483
/proc/meminfo: memFree=29728732/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=186432 CPUtime=12.57 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 25124 0 0 0 1237 20 0 0 20 0 3 0 285339953 190906368 24983 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 46608 24983 206 433 0 46172 0
[pid=20480/tid=20482] ppid=20478 vsize=186432 CPUtime=6.28 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 5434 0 0 0 622 6 0 0 20 0 3 0 285339954 190906368 24983 33554432000 4194304 5964478 140735654570112 140435028227896 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=186432 CPUtime=6.27 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 18678 0 0 0 612 15 0 0 20 0 3 0 285339954 190906368 24983 33554432000 4194304 5964478 140735654570112 140435017738552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 186432

[startup+12.7003 s]
/proc/loadavg: 4.02 3.87 3.04 5/181 20483
/proc/meminfo: memFree=29642212/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=252352 CPUtime=25.36 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 33649 0 0 0 2509 27 0 0 20 0 3 0 285339953 258408448 33508 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 63088 33508 206 433 0 62652 0
[pid=20480/tid=20482] ppid=20478 vsize=252352 CPUtime=12.68 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 7090 0 0 0 1258 10 0 0 20 0 3 0 285339954 258408448 33508 33554432000 4194304 5964478 140735654570112 140435028228088 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=252352 CPUtime=12.67 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 25547 0 0 0 1249 18 0 0 20 0 3 0 285339954 258408448 33508 33554432000 4194304 5964478 140735654570112 140435017738600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 252352

[startup+25.5003 s]
/proc/loadavg: 4.02 3.88 3.05 5/181 20483
/proc/meminfo: memFree=29520028/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=252916 CPUtime=50.96 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 46489 0 0 0 5061 35 0 0 20 0 3 0 285339953 258985984 46348 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 63229 46348 206 433 0 62793 0
[pid=20480/tid=20482] ppid=20478 vsize=252916 CPUtime=25.48 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 8222 0 0 0 2537 11 0 0 20 0 3 0 285339954 258985984 46348 33554432000 4194304 5964478 140735654570112 140435028228264 4381971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=252916 CPUtime=25.47 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 37255 0 0 0 2522 25 0 0 20 0 3 0 285339954 258985984 46348 33554432000 4194304 5964478 140735654570112 140435017738552 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 252916

[startup+51.1003 s]
/proc/loadavg: 4.01 3.89 3.08 5/181 20483
/proc/meminfo: memFree=29304840/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=385100 CPUtime=102.15 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 72340 0 0 0 10147 68 0 0 20 0 3 0 285339953 394342400 72199 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 96275 72199 206 433 0 95839 0
[pid=20480/tid=20482] ppid=20478 vsize=385100 CPUtime=51.08 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 16200 0 0 0 5082 26 0 0 20 0 3 0 285339954 394342400 72199 33554432000 4194304 5964478 140735654570112 140435028228088 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=385100 CPUtime=51.07 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 55128 0 0 0 5064 43 0 0 20 0 3 0 285339954 394342400 72199 33554432000 4194304 5964478 140735654570112 140435017738600 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 385100

[startup+102.306 s]
/proc/loadavg: 4.00 3.90 3.13 5/181 20484
/proc/meminfo: memFree=28968224/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=517656 CPUtime=204.54 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 107264 0 0 0 20343 111 0 0 20 0 3 0 285339953 530079744 107123 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 129414 107123 206 433 0 128978 0
[pid=20480/tid=20482] ppid=20478 vsize=517656 CPUtime=102.29 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 22022 0 0 0 10193 36 0 0 20 0 3 0 285339954 530079744 107123 33554432000 4194304 5964478 140735654570112 140435028228088 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=517656 CPUtime=102.28 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 84230 0 0 0 10150 78 0 0 20 0 3 0 285339954 530079744 107123 33554432000 4194304 5964478 140735654570112 140435017738600 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 517656

[startup+162.3 s]
/proc/loadavg: 4.00 3.92 3.18 5/181 20484
/proc/meminfo: memFree=28707252/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=649676 CPUtime=324.5 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 130355 0 0 0 32309 141 0 0 20 0 3 0 285339953 665268224 130466 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 162419 130466 206 433 0 161983 0
[pid=20480/tid=20482] ppid=20478 vsize=649676 CPUtime=162.28 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 24939 0 0 0 16187 41 0 0 20 0 3 0 285339954 665268224 130466 33554432000 4194304 5964478 140735654570112 140435028228088 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=649676 CPUtime=162.28 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 104404 0 0 0 16123 105 0 0 20 0 3 0 285339954 665268224 130466 33554432000 4194304 5964478 140735654570112 140435017738552 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 649676

[startup+222.3 s]
/proc/loadavg: 4.00 3.93 3.23 5/181 20484
/proc/meminfo: memFree=28465480/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=718564 CPUtime=444.47 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 154452 0 0 0 44266 181 0 0 20 0 3 0 285339953 735809536 154745 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 179641 154745 206 433 0 179205 0
[pid=20480/tid=20482] ppid=20478 vsize=718564 CPUtime=222.29 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 34995 0 0 0 22169 60 0 0 20 0 3 0 285339954 735809536 154745 33554432000 4194304 5964478 140735654570112 140435028228088 4220678 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=718564 CPUtime=222.27 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 118445 0 0 0 22099 128 0 0 20 0 3 0 285339954 735809536 154745 33554432000 4194304 5964478 140735654570112 140435017738360 4400071 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.47
Current children cumulated vsize (KiB) 718564

[startup+282.3 s]
/proc/loadavg: 4.06 3.96 3.28 5/181 20484
/proc/meminfo: memFree=28235244/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=786612 CPUtime=564.43 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 168730 0 0 0 56243 200 0 0 20 0 3 0 285339953 805490688 169193 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 196653 169193 206 433 0 196217 0
[pid=20480/tid=20482] ppid=20478 vsize=786612 CPUtime=282.28 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 35014 0 0 0 28166 62 0 0 20 0 3 0 285339954 805490688 169193 33554432000 4194304 5964478 140735654570112 140435028228088 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=786612 CPUtime=282.26 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 132704 0 0 0 28078 148 0 0 20 0 3 0 285339954 805490688 169193 33554432000 4194304 5964478 140735654570112 140435017738552 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.43
Current children cumulated vsize (KiB) 786612

[startup+342.3 s]
/proc/loadavg: 4.08 3.98 3.33 5/181 20484
/proc/meminfo: memFree=28043692/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=854092 CPUtime=684.39 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 178194 0 0 0 68225 214 0 0 20 0 3 0 285339953 874590208 178707 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 213523 178707 206 433 0 213087 0
[pid=20480/tid=20482] ppid=20478 vsize=854092 CPUtime=342.28 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 35019 0 0 0 34165 63 0 0 20 0 3 0 285339954 874590208 178707 33554432000 4194304 5964478 140735654570112 140435028228088 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=854092 CPUtime=342.25 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 142163 0 0 0 34062 163 0 0 20 0 3 0 285339954 874590208 178707 33554432000 4194304 5964478 140735654570112 140435017738552 4399990 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 854092

[startup+402.3 s]
/proc/loadavg: 4.03 3.98 3.37 5/181 20485
/proc/meminfo: memFree=27898644/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=857428 CPUtime=804.36 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 189232 0 0 0 80208 228 0 0 20 0 3 0 285339953 878006272 189800 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 214357 189800 206 433 0 213921 0
[pid=20480/tid=20482] ppid=20478 vsize=857428 CPUtime=402.27 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 37639 0 0 0 40160 67 0 0 20 0 3 0 285339954 878006272 189800 33554432000 4194304 5964478 140735654570112 140435028228088 4400051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=857428 CPUtime=402.25 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 150581 0 0 0 40051 174 0 0 20 0 3 0 285339954 878006272 189800 33554432000 4194304 5964478 140735654570112 140435017738552 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 857428

[startup+462.3 s]
/proc/loadavg: 4.01 3.98 3.40 5/182 20488
/proc/meminfo: memFree=27753948/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=924188 CPUtime=924.32 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 198120 0 0 0 92192 240 0 0 20 0 3 0 285339953 946368512 198767 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 231047 198767 206 433 0 230611 0
[pid=20480/tid=20482] ppid=20478 vsize=924188 CPUtime=462.27 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 39128 0 0 0 46157 70 0 0 20 0 3 0 285339954 946368512 198767 33554432000 4194304 5964478 140735654570112 140435028228088 4400060 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=924188 CPUtime=462.24 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 157980 0 0 0 46040 184 0 0 20 0 3 0 285339954 946368512 198767 33554432000 4194304 5964478 140735654570112 140435017738552 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 924188

[startup+522.3 s]
/proc/loadavg: 4.00 3.98 3.44 5/181 20488
/proc/meminfo: memFree=27613164/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=924764 CPUtime=1044.29 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 205985 0 0 0 104172 257 0 0 20 0 3 0 285339953 946958336 208469 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 231191 208469 206 433 0 230755 0
[pid=20480/tid=20482] ppid=20478 vsize=924764 CPUtime=522.27 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 40902 0 0 0 52153 74 0 0 20 0 3 0 285339954 946958336 208469 33554432000 4194304 5964478 140735654570112 140435028228088 4379300 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=924764 CPUtime=522.23 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 164071 0 0 0 52025 198 0 0 20 0 3 0 285339954 946958336 208469 33554432000 4194304 5964478 140735654570112 140435017738552 4400062 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 924764

[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.47 5/181 20488
/proc/meminfo: memFree=27558016/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=925664 CPUtime=1164.26 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 211038 0 0 0 116163 263 0 0 20 0 3 0 285339953 947879936 213506 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 231416 213506 206 433 0 230980 0
[pid=20480/tid=20482] ppid=20478 vsize=925664 CPUtime=582.28 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 40903 0 0 0 58153 75 0 0 20 0 3 0 285339954 947879936 213506 33554432000 4194304 5964478 140735654570112 140435028228088 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=925664 CPUtime=582.24 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 169123 0 0 0 58018 206 0 0 20 0 3 0 285339954 947879936 213506 33554432000 4194304 5964478 140735654570112 140435017738552 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 925664

[startup+642.3 s]
/proc/loadavg: 4.00 3.98 3.50 5/181 20488
/proc/meminfo: memFree=27539756/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=992448 CPUtime=1284.26 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 215135 0 0 0 128157 269 0 0 20 0 3 0 285339953 1016266752 217603 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 248112 217603 206 433 0 247676 0
[pid=20480/tid=20482] ppid=20478 vsize=992448 CPUtime=642.29 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 40942 0 0 0 64153 76 0 0 20 0 3 0 285339954 1016266752 217603 33554432000 4194304 5964478 140735654570112 140435028228264 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=992448 CPUtime=642.25 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 173181 0 0 0 64013 212 0 0 20 0 3 0 285339954 1016266752 217603 33554432000 4194304 5964478 140735654570112 140435017738552 4400075 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 992448

[startup+702.3 s]
/proc/loadavg: 4.06 3.99 3.53 5/181 20489
/proc/meminfo: memFree=27515048/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=993024 CPUtime=1404.22 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 221085 0 0 0 140144 278 0 0 20 0 3 0 285339953 1016856576 223553 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 248256 223553 206 433 0 247820 0
[pid=20480/tid=20482] ppid=20478 vsize=993024 CPUtime=702.28 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 42694 0 0 0 70150 78 0 0 20 0 3 0 285339954 1016856576 223553 33554432000 4194304 5964478 140735654570112 140435028228136 4399899 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=993024 CPUtime=702.24 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 177379 0 0 0 70003 221 0 0 20 0 3 0 285339954 1016856576 223553 33554432000 4194304 5964478 140735654570112 140435017738552 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 993024

[startup+762.307 s]
/proc/loadavg: 4.08 4.01 3.56 5/181 20489
/proc/meminfo: memFree=27421088/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=1060772 CPUtime=1524.22 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 244264 0 0 0 152103 319 0 0 20 0 3 0 285339953 1086230528 246712 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 265193 246713 206 433 0 264757 0
[pid=20480/tid=20482] ppid=20478 vsize=1060772 CPUtime=762.3 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 62671 0 0 0 76115 115 0 0 20 0 3 0 285339954 1086230528 246713 33554432000 4194304 5964478 140735654570112 140435028228136 4400040 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=1060772 CPUtime=762.25 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 180582 0 0 0 75998 227 0 0 20 0 3 0 285339954 1086230528 246713 33554432000 4194304 5964478 140735654570112 140435017738552 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 1060772

[startup+822.3 s]
/proc/loadavg: 4.03 4.00 3.59 5/181 20489
/proc/meminfo: memFree=27347460/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=1127820 CPUtime=1644.18 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 262596 0 0 0 164072 346 0 0 20 0 3 0 285339953 1154887680 265044 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 281955 265044 206 433 0 281519 0
[pid=20480/tid=20482] ppid=20478 vsize=1127820 CPUtime=822.29 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 79143 0 0 0 82088 141 0 0 20 0 3 0 285339954 1154887680 265044 33554432000 4194304 5964478 140735654570112 140435028227896 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=1127820 CPUtime=822.25 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 182441 0 0 0 81994 231 0 0 20 0 3 0 285339954 1154887680 265044 33554432000 4194304 5964478 140735654570112 140435017738552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 1127820

[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.61 5/181 20489
/proc/meminfo: memFree=27335400/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=1128252 CPUtime=1764.16 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 265174 0 0 0 176066 350 0 0 20 0 3 0 285339953 1155330048 267613 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 282063 267613 206 433 0 281627 0
[pid=20480/tid=20482] ppid=20478 vsize=1128252 CPUtime=882.3 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 79995 0 0 0 88088 142 0 0 20 0 3 0 285339954 1155330048 267613 33554432000 4194304 5964478 140735654570112 140435028228120 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=1128252 CPUtime=882.25 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 184167 0 0 0 87990 235 0 0 20 0 3 0 285339954 1155330048 267613 33554432000 4194304 5964478 140735654570112 140435017738552 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.16
Current children cumulated vsize (KiB) 1128252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.62 3/177 20490
/proc/meminfo: memFree=28846752/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=1128252 CPUtime=1800.17 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 265723 0 0 0 179666 351 0 0 20 0 3 0 285339953 1155330048 268162 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 282063 268162 206 433 0 281627 0
[pid=20480/tid=20482] ppid=20478 vsize=1128252 CPUtime=900.3 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 79995 0 0 0 89888 142 0 0 20 0 3 0 285339954 1155330048 268162 33554432000 4194304 5964478 140735654570112 140435028228120 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=1128252 CPUtime=900.26 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 184716 0 0 0 89790 236 0 0 20 0 3 0 285339954 1155330048 268162 33554432000 4194304 5964478 140735654570112 140435017738552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1128252

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

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

[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.62 3/177 20490
/proc/meminfo: memFree=28846752/32873648 swapFree=7368/7368
[pid=20480] ppid=20478 vsize=1128252 CPUtime=1800.17 cores=0,2,4,6
/proc/20480/stat : 20480 (pwbo2.01) S 20478 20480 20320 0 -1 4202496 265723 0 0 0 179666 351 0 0 20 0 3 0 285339953 1155330048 268162 33554432000 4194304 5964478 140735654570112 140735654569632 4546669 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20480/statm: 282063 268162 206 433 0 281627 0
[pid=20480/tid=20482] ppid=20478 vsize=1128252 CPUtime=900.3 cores=0,2,4,6
/proc/20480/task/20482/stat : 20482 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 79995 0 0 0 89888 142 0 0 20 0 3 0 285339954 1155330048 268162 33554432000 4194304 5964478 140735654570112 140435028228120 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20480/tid=20483] ppid=20478 vsize=1128252 CPUtime=900.26 cores=0,2,4,6
/proc/20480/task/20483/stat : 20483 (pwbo2.01) R 20478 20480 20320 0 -1 4202560 184716 0 0 0 89790 236 0 0 20 0 3 0 285339954 1155330048 268162 33554432000 4194304 5964478 140735654570112 140435017738552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1128252

Child status: 0
Real time (s): 900.348
CPU time (s): 1800.64
CPU user time (s): 1796.81
CPU system time (s): 3.83042
CPU usage (%): 199.994
Max. virtual memory (cumulated for all children) (KiB): 1128252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 3.83042
maximum resident set size= 1072656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265725
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= 754
involuntary context switches= 1980

runsolver used 1.9517 second user time and 4.76328 second system time

The end