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-3728528-1338670563/watcher-3728528-1338670563 -o /tmp/evaluation-result-3728528-1338670563/solver-3728528-1338670563 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728528-1338670563.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: 3.72 3.84 3.21 4/176 24336
/proc/meminfo: memFree=28408952/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=163352 CPUtime=0 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 1137 0 0 0 0 0 0 0 20 0 3 0 333181719 167272448 1081 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 40838 1086 178 433 0 40402 0
[pid=24336/tid=24337] ppid=24334 vsize=163352 CPUtime=0 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 3 0 333181720 167272448 1099 33554432000 4194304 5964478 140733542414192 140379773753896 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=163352 CPUtime=0 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 80 0 0 0 0 0 0 0 20 0 3 0 333181720 167272448 1107 33554432000 4194304 5964478 140733542414192 140379763264040 5139118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0871981 s]
/proc/loadavg: 3.72 3.84 3.21 4/176 24336
/proc/meminfo: memFree=28408952/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=181336 CPUtime=0.14 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 9269 0 0 0 9 5 0 0 20 0 3 0 333181719 185688064 9133 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 45334 9140 205 433 0 44898 0
[pid=24336/tid=24337] ppid=24334 vsize=181336 CPUtime=0.06 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 473 0 0 0 6 0 0 0 20 0 3 0 333181720 185688064 9142 33554432000 4194304 5964478 140733542414192 140379773753336 4382019 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=181336 CPUtime=0.07 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 7796 0 0 0 0 7 0 0 20 0 3 0 333181720 185688064 9144 33554432000 4194304 5964478 140733542414192 140379763263240 4395266 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 181336
[startup+0.100379 s]
/proc/loadavg: 3.72 3.84 3.21 4/176 24336
/proc/meminfo: memFree=28408952/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=184972 CPUtime=0.16 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 10402 0 0 0 10 6 0 0 20 0 3 0 333181719 189411328 10265 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 46243 10265 205 433 0 45807 0
[pid=24336/tid=24337] ppid=24334 vsize=184972 CPUtime=0.08 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 503 0 0 0 8 0 0 0 20 0 3 0 333181720 189411328 10265 33554432000 4194304 5964478 140733542414192 140379773753336 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=184972 CPUtime=0.08 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 8888 0 0 0 1 7 0 0 20 0 3 0 333181720 189411328 10267 33554432000 4194304 5964478 140733542414192 140379763263272 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 184972
[startup+0.300331 s]
/proc/loadavg: 3.72 3.84 3.21 4/176 24336
/proc/meminfo: memFree=28408952/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=185948 CPUtime=0.56 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 11270 0 0 0 48 8 0 0 20 0 3 0 333181719 190410752 11133 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 46487 11133 206 433 0 46051 0
[pid=24336/tid=24337] ppid=24334 vsize=185948 CPUtime=0.28 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 939 0 0 0 26 2 0 0 20 0 3 0 333181720 190410752 11133 33554432000 4194304 5964478 140733542414192 140379773753336 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=185948 CPUtime=0.28 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 9319 0 0 0 21 7 0 0 20 0 3 0 333181720 190410752 11133 33554432000 4194304 5964478 140733542414192 140379763263848 4381720 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 185948
[startup+0.700336 s]
/proc/loadavg: 3.72 3.84 3.21 4/176 24336
/proc/meminfo: memFree=28408952/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=185948 CPUtime=1.36 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 12487 0 0 0 124 12 0 0 20 0 3 0 333181719 190410752 12350 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 46487 12350 206 433 0 46051 0
[pid=24336/tid=24337] ppid=24334 vsize=185948 CPUtime=0.68 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 1667 0 0 0 64 4 0 0 20 0 3 0 333181720 190410752 12350 33554432000 4194304 5964478 140733542414192 140379773753336 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=185948 CPUtime=0.68 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 9808 0 0 0 59 9 0 0 20 0 3 0 333181720 190410752 12350 33554432000 4194304 5964478 140733542414192 140379763263720 5244295 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 185948
[startup+1.50032 s]
/proc/loadavg: 3.72 3.84 3.21 5/179 24339
/proc/meminfo: memFree=28341860/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=185948 CPUtime=2.96 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 14953 0 0 0 281 15 0 0 20 0 3 0 333181719 190410752 14816 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 46487 14816 206 433 0 46051 0
[pid=24336/tid=24337] ppid=24334 vsize=185948 CPUtime=1.48 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 2768 0 0 0 142 6 0 0 20 0 3 0 333181720 190410752 14816 33554432000 4194304 5964478 140733542414192 140379773753336 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=185948 CPUtime=1.47 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 11173 0 0 0 137 10 0 0 20 0 3 0 333181720 190410752 14816 33554432000 4194304 5964478 140733542414192 140379763263608 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 185948
[startup+3.10032 s]
/proc/loadavg: 3.72 3.84 3.21 5/179 24339
/proc/meminfo: memFree=28315672/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=186164 CPUtime=6.16 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 18938 0 0 0 600 16 0 0 20 0 3 0 333181719 190631936 18801 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 46541 18801 206 433 0 46105 0
[pid=24336/tid=24337] ppid=24334 vsize=186164 CPUtime=3.08 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 3713 0 0 0 302 6 0 0 20 0 3 0 333181720 190631936 18801 33554432000 4194304 5964478 140733542414192 140379773753336 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=186164 CPUtime=3.07 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 14213 0 0 0 295 12 0 0 20 0 3 0 333181720 190631936 18801 33554432000 4194304 5964478 140733542414192 140379763263800 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 186164
[startup+6.30034 s]
/proc/loadavg: 3.74 3.85 3.21 5/179 24339
/proc/meminfo: memFree=28257252/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=186432 CPUtime=12.56 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 25182 0 0 0 1237 19 0 0 20 0 3 0 333181719 190906368 25045 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 46608 25045 206 433 0 46172 0
[pid=24336/tid=24337] ppid=24334 vsize=186432 CPUtime=6.26 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 5414 0 0 0 620 6 0 0 20 0 3 0 333181720 190906368 25045 33554432000 4194304 5964478 140733542414192 140379773753336 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=186432 CPUtime=6.27 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 18756 0 0 0 614 13 0 0 20 0 3 0 333181720 190906368 25045 33554432000 4194304 5964478 140733542414192 140379763263800 4387996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 186432
[startup+12.7003 s]
/proc/loadavg: 3.76 3.85 3.21 5/179 24339
/proc/meminfo: memFree=28170796/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=252352 CPUtime=25.35 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 33718 0 0 0 2513 22 0 0 20 0 3 0 333181719 258408448 33581 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 63088 33582 206 433 0 62652 0
[pid=24336/tid=24337] ppid=24334 vsize=252352 CPUtime=12.64 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 7067 0 0 0 1258 6 0 0 20 0 3 0 333181720 258408448 33582 33554432000 4194304 5964478 140733542414192 140379773753144 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=252352 CPUtime=12.64 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 25640 0 0 0 1249 15 0 0 20 0 3 0 333181720 258408448 33582 33554432000 4194304 5964478 140733542414192 140379763263800 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 252352
[startup+25.5003 s]
/proc/loadavg: 3.82 3.86 3.23 5/179 24339
/proc/meminfo: memFree=28048748/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=252916 CPUtime=50.95 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 46532 0 0 0 5068 27 0 0 20 0 3 0 333181719 258985984 46395 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 63229 46395 206 433 0 62793 0
[pid=24336/tid=24337] ppid=24334 vsize=252916 CPUtime=25.41 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 8217 0 0 0 2534 7 0 0 20 0 3 0 333181720 258985984 46395 33554432000 4194304 5964478 140733542414192 140379773753512 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=252916 CPUtime=25.41 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 37303 0 0 0 2521 20 0 0 20 0 3 0 333181720 258985984 46395 33554432000 4194304 5964478 140733542414192 140379763263608 4400538 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 252916
[startup+51.1003 s]
/proc/loadavg: 3.88 3.87 3.25 5/179 24339
/proc/meminfo: memFree=27835872/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=385100 CPUtime=102.14 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 72234 0 0 0 10174 40 0 0 20 0 3 0 333181719 394342400 72097 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 96275 72097 206 433 0 95839 0
[pid=24336/tid=24337] ppid=24334 vsize=385100 CPUtime=50.95 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 16109 0 0 0 5083 12 0 0 20 0 3 0 333181720 394342400 72097 33554432000 4194304 5964478 140733542414192 140379773753336 4391694 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=385100 CPUtime=50.95 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 55113 0 0 0 5068 27 0 0 20 0 3 0 333181720 394342400 72097 33554432000 4194304 5964478 140733542414192 140379763263800 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 385100
[startup+102.306 s]
/proc/loadavg: 3.95 3.88 3.28 5/179 24339
/proc/meminfo: memFree=27509688/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=517656 CPUtime=204.54 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 107169 0 0 0 20391 63 0 0 20 0 3 0 333181719 530079744 107032 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 129414 107032 206 433 0 128978 0
[pid=24336/tid=24337] ppid=24334 vsize=517656 CPUtime=102.02 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 22017 0 0 0 10186 16 0 0 20 0 3 0 333181720 530079744 107032 33554432000 4194304 5964478 140733542414192 140379773753336 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=517656 CPUtime=102.02 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 84140 0 0 0 10153 49 0 0 20 0 3 0 333181720 530079744 107032 33554432000 4194304 5964478 140733542414192 140379763263800 4400056 0 0 4096 16387 0 0 0 -1 4 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: 3.98 3.90 3.32 5/179 24339
/proc/meminfo: memFree=27261720/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=649676 CPUtime=324.48 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 130308 0 0 0 32340 108 0 0 20 0 3 0 333181719 665268224 130650 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 162419 130650 206 433 0 161983 0
[pid=24336/tid=24337] ppid=24334 vsize=649676 CPUtime=161.85 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 24861 0 0 0 16164 21 0 0 20 0 3 0 333181720 665268224 130650 33554432000 4194304 5964478 140733542414192 140379773753336 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=649676 CPUtime=161.84 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 104435 0 0 0 16094 90 0 0 20 0 3 0 333181720 665268224 130650 33554432000 4194304 5964478 140733542414192 140379763263848 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 649676
[startup+222.3 s]
/proc/loadavg: 3.99 3.92 3.37 5/179 24340
/proc/meminfo: memFree=27022552/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=718564 CPUtime=444.43 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 154494 0 0 0 44293 150 0 0 20 0 3 0 333181719 735809536 154918 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 179641 154918 206 433 0 179205 0
[pid=24336/tid=24337] ppid=24334 vsize=718564 CPUtime=221.69 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 34996 0 0 0 22134 35 0 0 20 0 3 0 333181720 735809536 154918 33554432000 4194304 5964478 140733542414192 140379773753336 4400083 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=718564 CPUtime=221.67 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 118486 0 0 0 22047 120 0 0 20 0 3 0 333181720 735809536 154918 33554432000 4194304 5964478 140733542414192 140379763263800 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 718564
################
# More data... #
################
[pid=24336/tid=24338] ppid=24334 vsize=854092 CPUtime=341.31 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 142403 0 0 0 33971 160 0 0 20 0 3 0 333181720 874590208 179148 33554432000 4194304 5964478 140733542414192 140379763263800 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.31
Current children cumulated vsize (KiB) 854092
[startup+402.3 s]
/proc/loadavg: 4.02 3.97 3.48 5/179 24365
/proc/meminfo: memFree=26489904/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=857428 CPUtime=804.28 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 189581 0 0 0 80222 206 0 0 20 0 3 0 333181719 878006272 191463 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 214357 191463 206 433 0 213921 0
[pid=24336/tid=24337] ppid=24334 vsize=857428 CPUtime=401.2 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 37691 0 0 0 40077 43 0 0 20 0 3 0 333181720 878006272 191463 33554432000 4194304 5964478 140733542414192 140379773753336 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=857428 CPUtime=401.14 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 150878 0 0 0 39939 175 0 0 20 0 3 0 333181720 878006272 191463 33554432000 4194304 5964478 140733542414192 140379763263800 4400067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.28
Current children cumulated vsize (KiB) 857428
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.51 5/179 24365
/proc/meminfo: memFree=26347828/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=924188 CPUtime=924.26 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 198443 0 0 0 92209 217 0 0 20 0 3 0 333181719 946368512 200325 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 231047 200325 206 433 0 230611 0
[pid=24336/tid=24337] ppid=24334 vsize=924188 CPUtime=461.04 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 39220 0 0 0 46059 45 0 0 20 0 3 0 333181720 946368512 200325 33554432000 4194304 5964478 140733542414192 140379773753336 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=924188 CPUtime=460.99 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 158211 0 0 0 45915 184 0 0 20 0 3 0 333181720 946368512 200325 33554432000 4194304 5964478 140733542414192 140379763263800 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 924188
[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.54 5/179 24366
/proc/meminfo: memFree=26263104/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=924764 CPUtime=1044.24 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 206096 0 0 0 104193 231 0 0 20 0 3 0 333181719 946958336 207978 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 231191 207978 206 433 0 230755 0
[pid=24336/tid=24337] ppid=24334 vsize=924764 CPUtime=520.89 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 40895 0 0 0 52041 48 0 0 20 0 3 0 333181720 946958336 207978 33554432000 4194304 5964478 140733542414192 140379773753336 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=924764 CPUtime=520.84 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 164189 0 0 0 51887 197 0 0 20 0 3 0 333181720 946958336 207978 33554432000 4194304 5964478 140733542414192 140379763263800 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.24
Current children cumulated vsize (KiB) 924764
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.56 5/179 24366
/proc/meminfo: memFree=26161700/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=926048 CPUtime=1164.22 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 211077 0 0 0 116181 241 0 0 20 0 3 0 333181719 948273152 212943 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 231512 212943 206 433 0 231076 0
[pid=24336/tid=24337] ppid=24334 vsize=926048 CPUtime=580.74 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 40906 0 0 0 58025 49 0 0 20 0 3 0 333181720 948273152 212943 33554432000 4194304 5964478 140733542414192 140379773753512 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=926048 CPUtime=580.68 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 169159 0 0 0 57860 208 0 0 20 0 3 0 333181720 948273152 212943 33554432000 4194304 5964478 140733542414192 140379763263608 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 926048
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.58 5/179 24366
/proc/meminfo: memFree=26070712/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=992448 CPUtime=1284.22 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 215228 0 0 0 128168 254 0 0 20 0 3 0 333181719 1016266752 217094 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 248112 217094 206 433 0 247676 0
[pid=24336/tid=24337] ppid=24334 vsize=992448 CPUtime=640.59 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 40941 0 0 0 64009 50 0 0 20 0 3 0 333181720 1016266752 217094 33554432000 4194304 5964478 140733542414192 140379773753512 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=992448 CPUtime=640.53 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 173275 0 0 0 63831 222 0 0 20 0 3 0 333181720 1016266752 217094 33554432000 4194304 5964478 140733542414192 140379763263800 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 992448
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.61 5/179 24366
/proc/meminfo: memFree=26021636/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=993024 CPUtime=1404.19 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 227472 0 0 0 140148 271 0 0 20 0 3 0 333181719 1016856576 229338 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 248256 229338 206 433 0 247820 0
[pid=24336/tid=24337] ppid=24334 vsize=993024 CPUtime=700.43 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 49035 0 0 0 69988 55 0 0 20 0 3 0 333181720 1016856576 229338 33554432000 4194304 5964478 140733542414192 140379773753336 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=993024 CPUtime=700.37 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 177425 0 0 0 69801 236 0 0 20 0 3 0 333181720 1016856576 229338 33554432000 4194304 5964478 140733542414192 140379763263800 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.19
Current children cumulated vsize (KiB) 993024
[startup+762.306 s]
/proc/loadavg: 4.04 3.99 3.64 5/179 24366
/proc/meminfo: memFree=25936852/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=1060772 CPUtime=1524.19 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 247831 0 0 0 152116 303 0 0 20 0 3 0 333181719 1086230528 249677 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 265193 249677 206 433 0 264757 0
[pid=24336/tid=24337] ppid=24334 vsize=1060772 CPUtime=760.28 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 66257 0 0 0 75945 83 0 0 20 0 3 0 333181720 1086230528 249677 33554432000 4194304 5964478 140733542414192 140379773753144 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=1060772 CPUtime=760.23 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 180562 0 0 0 75782 241 0 0 20 0 3 0 333181720 1086230528 249677 33554432000 4194304 5964478 140733542414192 140379763263800 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.19
Current children cumulated vsize (KiB) 1060772
[startup+822.3 s]
/proc/loadavg: 4.06 4.00 3.66 5/179 24367
/proc/meminfo: memFree=25873580/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=1128108 CPUtime=1644.15 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 263428 0 0 0 164091 324 0 0 20 0 3 0 333181719 1155182592 265274 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 282027 265274 206 433 0 281591 0
[pid=24336/tid=24337] ppid=24334 vsize=1128108 CPUtime=820.12 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 79982 0 0 0 81910 102 0 0 20 0 3 0 333181720 1155182592 265274 33554432000 4194304 5964478 140733542414192 140379773753336 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=1128108 CPUtime=820.07 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 182434 0 0 0 81762 245 0 0 20 0 3 0 333181720 1155182592 265274 33554432000 4194304 5964478 140733542414192 140379763263800 4400076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.15
Current children cumulated vsize (KiB) 1128108
[startup+882.3 s]
/proc/loadavg: 4.02 4.00 3.68 5/180 24370
/proc/meminfo: memFree=25865236/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=1128252 CPUtime=1764.14 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 265145 0 0 0 176085 329 0 0 20 0 3 0 333181719 1155330048 266982 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 282063 266982 206 433 0 281627 0
[pid=24336/tid=24337] ppid=24334 vsize=1128252 CPUtime=879.97 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 80009 0 0 0 87894 103 0 0 20 0 3 0 333181720 1155330048 266982 33554432000 4194304 5964478 140733542414192 140379773753368 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=1128252 CPUtime=879.91 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 184124 0 0 0 87740 251 0 0 20 0 3 0 333181720 1155330048 266982 33554432000 4194304 5964478 140733542414192 140379763263800 4400069 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.14
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.68 4/179 24371
/proc/meminfo: memFree=25906512/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=1128252 CPUtime=1800.14 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 265694 0 0 0 179684 330 0 0 20 0 3 0 333181719 1155330048 267531 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 282063 267531 206 433 0 281627 0
[pid=24336/tid=24337] ppid=24334 vsize=1128252 CPUtime=897.93 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 80009 0 0 0 89690 103 0 0 20 0 3 0 333181720 1155330048 267531 33554432000 4194304 5964478 140733542414192 140379773753368 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=1128252 CPUtime=897.87 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 184673 0 0 0 89535 252 0 0 20 0 3 0 333181720 1155330048 267531 33554432000 4194304 5964478 140733542414192 140379763263800 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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.68 4/179 24371
/proc/meminfo: memFree=25906512/32873852 swapFree=7624/7624
[pid=24336] ppid=24334 vsize=1128252 CPUtime=1800.14 cores=0,2,4,6
/proc/24336/stat : 24336 (pwbo2.02) S 24334 24336 23631 0 -1 4202496 265694 0 0 0 179684 330 0 0 20 0 3 0 333181719 1155330048 267531 33554432000 4194304 5964478 140733542414192 140733542413712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24336/statm: 282063 267531 206 433 0 281627 0
[pid=24336/tid=24337] ppid=24334 vsize=1128252 CPUtime=897.93 cores=0,2,4,6
/proc/24336/task/24337/stat : 24337 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 80009 0 0 0 89690 103 0 0 20 0 3 0 333181720 1155330048 267531 33554432000 4194304 5964478 140733542414192 140379773753368 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=24336/tid=24338] ppid=24334 vsize=1128252 CPUtime=897.87 cores=0,2,4,6
/proc/24336/task/24338/stat : 24338 (pwbo2.02) R 24334 24336 23631 0 -1 4202560 184673 0 0 0 89535 252 0 0 20 0 3 0 333181720 1155330048 267531 33554432000 4194304 5964478 140733542414192 140379763263800 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 1128252
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24336 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=282531
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=610451
# CPU time returned by wait4() is 1795.89
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.359
CPU time (s): 1800.14
CPU user time (s): 1796.84
CPU system time (s): 3.3
CPU usage (%): 199.936
Max. virtual memory (cumulated for all children) (KiB): 1128252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.28
system time used= 3.61045
maximum resident set size= 1070128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265696
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= 848
involuntary context switches= 1879
runsolver used 2.15967 second user time and 4.40533 second system time
The end