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-3725940-1338654547/watcher-3725940-1338654547 -o /tmp/evaluation-result-3725940-1338654547/solver-3725940-1338654547 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725940-1338654547.opb 

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.01 4.00 3.83 2/173 28052
/proc/meminfo: memFree=26823032/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=7100 CPUtime=0 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) R 28050 28052 25747 0 -1 4202496 443 0 0 0 0 0 0 0 20 0 1 0 331579092 7270400 396 33554432000 4194304 5964478 140736028860832 140736818463080 5302434 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 1775 396 164 433 0 682 0

[startup+0.0923991 s]
/proc/loadavg: 4.01 4.00 3.83 2/173 28052
/proc/meminfo: memFree=26823032/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=14560 CPUtime=0.08 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) R 28050 28052 25747 0 -1 4202496 2550 0 0 0 8 0 0 0 20 0 1 0 331579092 14909440 2437 33554432000 4194304 5964478 140736028860832 140736818463080 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 3640 2437 427 433 0 2547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14560

[startup+0.100331 s]
/proc/loadavg: 4.01 4.00 3.83 2/173 28052
/proc/meminfo: memFree=26823032/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=15088 CPUtime=0.09 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) R 28050 28052 25747 0 -1 4202496 2713 0 0 0 9 0 0 0 20 0 1 0 331579092 15450112 2600 33554432000 4194304 5964478 140736028860832 140736818463080 5302846 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 3772 2600 448 433 0 2679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15088

[startup+0.300203 s]
/proc/loadavg: 4.01 4.00 3.83 2/173 28052
/proc/meminfo: memFree=26823032/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=186216 CPUtime=0.34 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 15837 0 0 0 30 4 0 0 20 0 3 0 331579092 190685184 14936 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 46554 14938 193 433 0 46118 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 186216

[startup+0.700207 s]
/proc/loadavg: 4.01 4.00 3.83 2/173 28052
/proc/meminfo: memFree=26823032/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=193260 CPUtime=1.14 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 22001 0 0 0 108 6 0 0 20 0 3 0 331579092 197898240 20667 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 48315 20667 201 433 0 47879 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 193260

[startup+1.50031 s]
/proc/loadavg: 4.01 4.00 3.83 5/181 28088
/proc/meminfo: memFree=26695572/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=193260 CPUtime=2.73 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 22083 0 0 0 267 6 0 0 20 0 3 0 331579092 197898240 20749 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 48315 20749 202 433 0 47879 0
[pid=28052/tid=28080] ppid=28050 vsize=193260 CPUtime=1.25 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 7020 0 0 0 122 3 0 0 20 0 3 0 331579115 197898240 20749 33554432000 4194304 5964478 140736028860832 139809121515976 5139166 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=193260 CPUtime=1.25 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 9012 0 0 0 121 4 0 0 20 0 3 0 331579115 197898240 20749 33554432000 4194304 5964478 140736028860832 139809111025976 4403343 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 193260

[startup+3.10034 s]
/proc/loadavg: 4.01 4.00 3.83 5/181 28088
/proc/meminfo: memFree=26693332/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=193260 CPUtime=5.93 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 22966 0 0 0 587 6 0 0 20 0 3 0 331579092 197898240 20888 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 48315 20888 202 433 0 47879 0
[pid=28052/tid=28080] ppid=28050 vsize=193260 CPUtime=2.84 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 7846 0 0 0 281 3 0 0 20 0 3 0 331579115 197898240 20888 33554432000 4194304 5964478 140736028860832 139809121516056 5139118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=193260 CPUtime=2.85 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 9069 0 0 0 281 4 0 0 20 0 3 0 331579115 197898240 20888 33554432000 4194304 5964478 140736028860832 139809111025976 4392918 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 193260

[startup+6.3004 s]
/proc/loadavg: 4.09 4.02 3.84 5/181 28088
/proc/meminfo: memFree=26689488/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=193260 CPUtime=12.33 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 23328 0 0 0 1226 7 0 0 20 0 3 0 331579092 197898240 21250 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 48315 21250 202 433 0 47879 0
[pid=28052/tid=28080] ppid=28050 vsize=193260 CPUtime=6.03 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 8118 0 0 0 600 3 0 0 20 0 3 0 331579115 197898240 21250 33554432000 4194304 5964478 140736028860832 139809121516056 4429867 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=193260 CPUtime=6.04 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 9159 0 0 0 600 4 0 0 20 0 3 0 331579115 197898240 21250 33554432000 4194304 5964478 140736028860832 139809111025976 4422556 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 193260

[startup+12.7004 s]
/proc/loadavg: 4.08 4.02 3.84 5/181 28088
/proc/meminfo: memFree=26664404/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=193260 CPUtime=25.12 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 24517 0 0 0 2505 7 0 0 20 0 3 0 331579092 197898240 22439 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 48315 22439 202 433 0 47879 0
[pid=28052/tid=28080] ppid=28050 vsize=193260 CPUtime=12.42 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 8828 0 0 0 1239 3 0 0 20 0 3 0 331579115 197898240 22439 33554432000 4194304 5964478 140736028860832 139809121515976 4445263 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=193260 CPUtime=12.42 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 9638 0 0 0 1238 4 0 0 20 0 3 0 331579115 197898240 22439 33554432000 4194304 5964478 140736028860832 139809111025496 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 193260

[startup+25.5005 s]
/proc/loadavg: 4.06 4.01 3.84 5/181 28088
/proc/meminfo: memFree=26585192/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=193260 CPUtime=50.71 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 44240 0 0 0 5057 14 0 0 20 0 3 0 331579092 197898240 30194 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 48315 30194 202 433 0 47879 0
[pid=28052/tid=28080] ppid=28050 vsize=193260 CPUtime=25.19 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 22790 0 0 0 2512 7 0 0 20 0 3 0 331579115 197898240 30194 33554432000 4194304 5964478 140736028860832 139809121516056 5135657 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=193260 CPUtime=25.17 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 15399 0 0 0 2511 6 0 0 20 0 3 0 331579115 197898240 30194 33554432000 4194304 5964478 140736028860832 139809111025976 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 193260

[startup+51.1004 s]
/proc/loadavg: 4.04 4.01 3.84 5/181 28088
/proc/meminfo: memFree=26460524/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=258796 CPUtime=101.88 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 71098 0 0 0 10152 36 0 0 20 0 3 0 331579092 265007104 47652 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 64699 47652 203 433 0 64263 0
[pid=28052/tid=28080] ppid=28050 vsize=258796 CPUtime=50.7 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 35825 0 0 0 5059 11 0 0 20 0 3 0 331579115 265007104 47652 33554432000 4194304 5964478 140736028860832 139809121515928 4445443 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=258796 CPUtime=50.69 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 29222 0 0 0 5046 23 0 0 20 0 3 0 331579115 265007104 47652 33554432000 4194304 5964478 140736028860832 139809111025976 4400678 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 258796

[startup+102.3 s]
/proc/loadavg: 4.02 4.01 3.85 5/182 28091
/proc/meminfo: memFree=26219876/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=457028 CPUtime=204.23 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 112633 0 0 0 20343 80 0 0 20 0 3 0 331579092 467996672 84781 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 114257 84781 203 433 0 113821 0
[pid=28052/tid=28080] ppid=28050 vsize=457028 CPUtime=101.76 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 52575 0 0 0 10149 27 0 0 20 0 3 0 331579115 467996672 84781 33554432000 4194304 5964478 140736028860832 139809121515512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=457028 CPUtime=101.73 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 54007 0 0 0 10119 54 0 0 20 0 3 0 331579115 467996672 84781 33554432000 4194304 5964478 140736028860832 139809111026024 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.23
Current children cumulated vsize (KiB) 457028

[startup+162.3 s]
/proc/loadavg: 4.06 4.02 3.86 5/181 28091
/proc/meminfo: memFree=25968720/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=588100 CPUtime=324.18 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 147702 0 0 0 32298 120 0 0 20 0 3 0 331579092 602214400 120396 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 147025 120396 203 433 0 146589 0
[pid=28052/tid=28080] ppid=28050 vsize=588100 CPUtime=161.6 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 60994 0 0 0 16122 38 0 0 20 0 3 0 331579115 602214400 120397 33554432000 4194304 5964478 140736028860832 139809121515560 5136490 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=588100 CPUtime=161.56 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 80658 0 0 0 16071 85 0 0 20 0 3 0 331579115 602214400 120397 33554432000 4194304 5964478 140736028860832 139809111025976 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.18
Current children cumulated vsize (KiB) 588100

[startup+222.307 s]
/proc/loadavg: 4.02 4.01 3.87 5/181 28092
/proc/meminfo: memFree=25806556/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=719980 CPUtime=444.18 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 178366 0 0 0 44270 148 0 0 20 0 3 0 331579092 737259520 150779 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 179995 150779 203 433 0 179559 0
[pid=28052/tid=28080] ppid=28050 vsize=719980 CPUtime=221.46 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 67001 0 0 0 22104 42 0 0 20 0 3 0 331579115 737259520 150779 33554432000 4194304 5964478 140736028860832 139809121516472 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=719980 CPUtime=221.41 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 105314 0 0 0 22030 111 0 0 20 0 3 0 331579115 737259520 150779 33554432000 4194304 5964478 140736028860832 139809111025976 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.18
Current children cumulated vsize (KiB) 719980

[startup+282.3 s]
/proc/loadavg: 4.00 4.01 3.87 5/181 28092
/proc/meminfo: memFree=25676632/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=785912 CPUtime=564.15 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 205077 0 0 0 56238 177 0 0 20 0 3 0 331579092 804773888 177490 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 196478 177490 203 433 0 196042 0
[pid=28052/tid=28080] ppid=28050 vsize=785912 CPUtime=281.3 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 73076 0 0 0 28081 49 0 0 20 0 3 0 331579115 804773888 177490 33554432000 4194304 5964478 140736028860832 139809121515320 18446744073699066237 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=785912 CPUtime=281.25 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 125950 0 0 0 27991 134 0 0 20 0 3 0 331579115 804773888 177490 33554432000 4194304 5964478 140736028860832 139809111025976 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.15
Current children cumulated vsize (KiB) 785912

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 28092
/proc/meminfo: memFree=25503432/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=851716 CPUtime=684.13 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 220985 0 0 0 68222 191 0 0 20 0 3 0 331579092 872157184 193398 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 212929 193398 203 433 0 212493 0
[pid=28052/tid=28080] ppid=28050 vsize=851716 CPUtime=341.14 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 74622 0 0 0 34063 51 0 0 20 0 3 0 331579115 872157184 193398 33554432000 4194304 5964478 140736028860832 139809121515320 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=851716 CPUtime=341.09 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140312 0 0 0 33961 148 0 0 20 0 3 0 331579115 872157184 193398 33554432000 4194304 5964478 140736028860832 139809111025736 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.13
Current children cumulated vsize (KiB) 851716

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 28092
/proc/meminfo: memFree=25381124/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=917384 CPUtime=804.1 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 224345 0 0 0 80212 198 0 0 20 0 3 0 331579092 939401216 196778 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 229346 196778 203 433 0 228910 0
[pid=28052/tid=28080] ppid=28050 vsize=917384 CPUtime=400.99 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 77943 0 0 0 40040 59 0 0 20 0 3 0 331579115 939401216 196778 33554432000 4194304 5964478 140736028860832 139809121515320 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=917384 CPUtime=400.93 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140351 0 0 0 39944 149 0 0 20 0 3 0 331579115 939401216 196778 33554432000 4194304 5964478 140736028860832 139809111025736 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.1
Current children cumulated vsize (KiB) 917384

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 28092
/proc/meminfo: memFree=25260872/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=917520 CPUtime=924.03 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 229710 0 0 0 92194 209 0 0 20 0 3 0 331579092 939540480 202100 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 229380 202100 203 433 0 228944 0
[pid=28052/tid=28080] ppid=28050 vsize=917520 CPUtime=460.82 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 83212 0 0 0 46012 70 0 0 20 0 3 0 331579115 939540480 202100 33554432000 4194304 5964478 140736028860832 139809121515512 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=917520 CPUtime=460.72 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140447 0 0 0 45923 149 0 0 20 0 3 0 331579115 939540480 202100 33554432000 4194304 5964478 140736028860832 139809111025736 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.03
Current children cumulated vsize (KiB) 917520

[startup+522.3 s]
/proc/loadavg: 4.06 4.01 3.90 5/180 28092
/proc/meminfo: memFree=25156128/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=917804 CPUtime=1043.95 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 234851 0 0 0 104179 216 0 0 20 0 3 0 331579092 939831296 207202 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 229451 207202 203 433 0 229015 0
[pid=28052/tid=28080] ppid=28050 vsize=917804 CPUtime=520.67 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 88254 0 0 0 51989 78 0 0 20 0 3 0 331579115 939831296 207202 33554432000 4194304 5964478 140736028860832 139809121515512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=917804 CPUtime=520.51 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140546 0 0 0 51900 151 0 0 20 0 3 0 331579115 939831296 207202 33554432000 4194304 5964478 140736028860832 139809111025736 4399932 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1043.95
Current children cumulated vsize (KiB) 917804

[startup+582.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/181 28093
/proc/meminfo: memFree=25048452/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=985772 CPUtime=1163.88 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 243502 0 0 0 116165 223 0 0 20 0 3 0 331579092 1009430528 216297 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 246443 216297 203 433 0 246007 0
[pid=28052/tid=28080] ppid=28050 vsize=985772 CPUtime=580.5 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 96687 0 0 0 57964 86 0 0 20 0 3 0 331579115 1009430528 216297 33554432000 4194304 5964478 140736028860832 139809121515320 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=985772 CPUtime=580.31 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140764 0 0 0 57879 152 0 0 20 0 3 0 331579115 1009430528 216297 33554432000 4194304 5964478 140736028860832 139809111025976 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1163.88
Current children cumulated vsize (KiB) 985772

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28093
/proc/meminfo: memFree=24985180/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=983476 CPUtime=1283.81 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 244725 0 0 0 128158 223 0 0 20 0 3 0 331579092 1007079424 212590 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 245869 212590 203 433 0 245433 0
[pid=28052/tid=28080] ppid=28050 vsize=983476 CPUtime=640.33 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 97853 0 0 0 63945 88 0 0 20 0 3 0 331579115 1007079424 212590 33554432000 4194304 5964478 140736028860832 139809121516360 4400435 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=983476 CPUtime=640.12 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140821 0 0 0 63859 153 0 0 20 0 3 0 331579115 1007079424 212590 33554432000 4194304 5964478 140736028860832 139809111025736 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1283.81
Current children cumulated vsize (KiB) 983476

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 28096
/proc/meminfo: memFree=24962464/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=983752 CPUtime=1403.75 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 244840 0 0 0 140151 224 0 0 20 0 3 0 331579092 1007362048 212932 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 245938 212932 203 433 0 245502 0
[pid=28052/tid=28080] ppid=28050 vsize=983752 CPUtime=700.17 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 97870 0 0 0 69928 89 0 0 20 0 3 0 331579115 1007362048 212932 33554432000 4194304 5964478 140736028860832 139809121516360 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=983752 CPUtime=699.92 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 140919 0 0 0 69838 154 0 0 20 0 3 0 331579115 1007362048 212932 33554432000 4194304 5964478 140736028860832 139809111025736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1403.75
Current children cumulated vsize (KiB) 983752

[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28096
/proc/meminfo: memFree=24910888/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=984048 CPUtime=1523.72 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 252278 0 0 0 152142 230 0 0 20 0 3 0 331579092 1007665152 220340 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 246012 220340 203 433 0 245576 0
[pid=28052/tid=28080] ppid=28050 vsize=984048 CPUtime=760 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 97965 0 0 0 75910 90 0 0 20 0 3 0 331579115 1007665152 220340 33554432000 4194304 5964478 140736028860832 139809121516360 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=984048 CPUtime=759.77 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 148262 0 0 0 75816 161 0 0 20 0 3 0 331579115 1007665152 220340 33554432000 4194304 5964478 140736028860832 139809111025976 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.72
Current children cumulated vsize (KiB) 984048

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28096
/proc/meminfo: memFree=24802688/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=1115120 CPUtime=1643.66 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 279132 0 0 0 164120 246 0 0 20 0 3 0 331579092 1141882880 247161 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 278780 247161 203 433 0 278344 0
[pid=28052/tid=28080] ppid=28050 vsize=1115120 CPUtime=819.83 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 97982 0 0 0 81892 91 0 0 20 0 3 0 331579115 1141882880 247161 33554432000 4194304 5964478 140736028860832 139809121516360 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=1115120 CPUtime=819.58 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 175099 0 0 0 81780 178 0 0 20 0 3 0 331579115 1141882880 247161 33554432000 4194304 5964478 140736028860832 139809111025976 4400103 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.66
Current children cumulated vsize (KiB) 1115120

[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28097
/proc/meminfo: memFree=24710184/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=1180944 CPUtime=1763.65 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 301395 0 0 0 176098 267 0 0 20 0 3 0 331579092 1209286656 269424 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 295236 269424 203 433 0 294800 0
[pid=28052/tid=28080] ppid=28050 vsize=1180944 CPUtime=879.68 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 98038 0 0 0 87876 92 0 0 20 0 3 0 331579115 1209286656 269424 33554432000 4194304 5964478 140736028860832 139809121516360 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=1180944 CPUtime=879.43 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 197306 0 0 0 87743 200 0 0 20 0 3 0 331579115 1209286656 269424 33554432000 4194304 5964478 140736028860832 139809111025976 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.65
Current children cumulated vsize (KiB) 1180944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 28097
/proc/meminfo: memFree=24680408/32873844 swapFree=7628/7628
[pid=28052] ppid=28050 vsize=1246480 CPUtime=1800.05 cores=0,2,4,6
/proc/28052/stat : 28052 (pwbo2.02) S 28050 28052 25747 0 -1 4202496 308411 0 0 0 179732 273 0 0 20 0 3 0 331579092 1276395520 276440 33554432000 4194304 5964478 140736028860832 140736028860352 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28052/statm: 311620 276440 203 433 0 311184 0
[pid=28052/tid=28080] ppid=28050 vsize=1246480 CPUtime=897.84 cores=0,2,4,6
/proc/28052/task/28080/stat : 28080 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 98049 0 0 0 89692 92 0 0 20 0 3 0 331579115 1276395520 276440 33554432000 4194304 5964478 140736028860832 139809121516360 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=28052/tid=28081] ppid=28050 vsize=1246480 CPUtime=897.58 cores=0,2,4,6
/proc/28052/task/28081/stat : 28081 (pwbo2.02) R 28050 28052 25747 0 -1 4202560 204311 0 0 0 89552 206 0 0 20 0 3 0 331579115 1276395520 276440 33554432000 4194304 5964478 140736028860832 139809111025976 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1246480

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28052 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=673472
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=35538
# CPU time returned by wait4() is 1795.71
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.542
CPU time (s): 1800.05
CPU user time (s): 1797.32
CPU system time (s): 2.73
CPU usage (%): 199.885
Max. virtual memory (cumulated for all children) (KiB): 1246480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.67
system time used= 3.03554
maximum resident set size= 1105776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308415
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= 2158
involuntary context switches= 1912

runsolver used 1.9597 second user time and 4.98524 second system time

The end