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-3703645-1338092332/watcher-3703645-1338092332 -o /tmp/evaluation-result-3703645-1338092332/solver-3703645-1338092332 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703645-1338092332.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: 3.84 3.97 3.99 4/178 32074
/proc/meminfo: memFree=30624648/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=7536 CPUtime=0 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) R 32072 32074 31075 0 -1 4202496 454 0 0 0 0 0 0 0 20 0 1 0 275358080 7716864 406 33554432000 4194304 5965102 140734549183760 140733993077176 5134387 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 1884 406 165 433 0 682 0

[startup+0.026069 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 32074
/proc/meminfo: memFree=30624648/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=9232 CPUtime=0.02 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) R 32072 32074 31075 0 -1 4202496 909 0 0 0 2 0 0 0 20 0 1 0 275358080 9453568 861 33554432000 4194304 5965102 140734549183760 140733993077176 5172209 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 2308 862 221 433 0 1106 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9232

[startup+0.100266 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 32074
/proc/meminfo: memFree=30624648/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=15736 CPUtime=0.09 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) R 32072 32074 31075 0 -1 4202496 2770 0 0 0 9 0 0 0 20 0 1 0 275358080 16113664 2656 33554432000 4194304 5965102 140734549183760 140733993077176 4420575 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 3934 2658 456 433 0 2732 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15736

[startup+0.300172 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 32074
/proc/meminfo: memFree=30624648/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=183080 CPUtime=0.32 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 14984 0 0 0 28 4 0 0 20 0 3 0 275358080 187473920 13972 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 45770 13972 173 433 0 45334 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 183080

[startup+0.700175 s]
/proc/loadavg: 3.84 3.97 3.99 4/178 32074
/proc/meminfo: memFree=30624648/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=195092 CPUtime=1.09 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 24767 0 0 0 99 10 0 0 20 0 3 0 275358080 199774208 23253 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 48773 23253 204 433 0 48337 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 195092

[startup+1.50031 s]
/proc/loadavg: 3.84 3.97 3.99 5/181 32077
/proc/meminfo: memFree=30532500/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=195092 CPUtime=2.68 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 24848 0 0 0 258 10 0 0 20 0 3 0 275358080 199774208 23334 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 48773 23334 205 433 0 48337 0
[pid=32074/tid=32076] ppid=32072 vsize=195092 CPUtime=1.23 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 8015 0 0 0 116 7 0 0 20 0 3 0 275358104 199774208 23334 33554432000 4194304 5965102 140734549183760 140135572572696 4420207 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=195092 CPUtime=1.22 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 9972 0 0 0 120 2 0 0 20 0 3 0 275358104 199774208 23334 33554432000 4194304 5965102 140734549183760 140135562082760 4401608 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 195092

[startup+3.10032 s]
/proc/loadavg: 3.84 3.97 3.99 5/181 32077
/proc/meminfo: memFree=30531244/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=195092 CPUtime=5.88 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 24933 0 0 0 578 10 0 0 20 0 3 0 275358080 199774208 23419 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 48773 23419 205 433 0 48337 0
[pid=32074/tid=32076] ppid=32072 vsize=195092 CPUtime=2.83 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 8081 0 0 0 276 7 0 0 20 0 3 0 275358104 199774208 23419 33554432000 4194304 5965102 140734549183760 140135572572696 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=195092 CPUtime=2.82 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 9991 0 0 0 280 2 0 0 20 0 3 0 275358104 199774208 23419 33554432000 4194304 5965102 140734549183760 140135562082664 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 195092

[startup+6.30032 s]
/proc/loadavg: 3.85 3.97 3.99 5/181 32077
/proc/meminfo: memFree=30529440/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=195092 CPUtime=12.28 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 25226 0 0 0 1217 11 0 0 20 0 3 0 275358080 199774208 23712 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 48773 23712 205 433 0 48337 0
[pid=32074/tid=32076] ppid=32072 vsize=195092 CPUtime=6.02 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 8312 0 0 0 594 8 0 0 20 0 3 0 275358104 199774208 23712 33554432000 4194304 5965102 140734549183760 140135572572696 5131650 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=195092 CPUtime=6.01 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 10053 0 0 0 599 2 0 0 20 0 3 0 275358104 199774208 23712 33554432000 4194304 5965102 140734549183760 140135562082664 4393958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 195092

[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.99 5/181 32077
/proc/meminfo: memFree=30525800/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=195092 CPUtime=25.07 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 26036 0 0 0 2495 12 0 0 20 0 3 0 275358080 199774208 24522 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 48773 24522 205 433 0 48337 0
[pid=32074/tid=32076] ppid=32072 vsize=195092 CPUtime=12.4 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 8862 0 0 0 1231 9 0 0 20 0 3 0 275358104 199774208 24522 33554432000 4194304 5965102 140734549183760 140135572572696 5123014 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=195092 CPUtime=12.39 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 10313 0 0 0 1237 2 0 0 20 0 3 0 275358104 199774208 24522 33554432000 4194304 5965102 140734549183760 140135562082664 4404383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 195092

[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.99 5/181 32077
/proc/meminfo: memFree=30490552/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=195092 CPUtime=50.67 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 36910 0 0 0 5034 33 0 0 20 0 3 0 275358080 199774208 32492 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 48773 32492 205 433 0 48337 0
[pid=32074/tid=32076] ppid=32072 vsize=195092 CPUtime=25.17 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 13454 0 0 0 2506 11 0 0 20 0 3 0 275358104 199774208 32492 33554432000 4194304 5965102 140734549183760 140135572572696 5135593 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=195092 CPUtime=25.16 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 16595 0 0 0 2496 20 0 0 20 0 3 0 275358104 199774208 32492 33554432000 4194304 5965102 140734549183760 140135562082616 4404383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 195092

[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.99 5/181 32077
/proc/meminfo: memFree=30403348/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=260628 CPUtime=101.86 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 76936 0 0 0 10104 82 0 0 20 0 3 0 275358080 266883072 52552 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 65157 52552 206 433 0 64721 0
[pid=32074/tid=32076] ppid=32072 vsize=260628 CPUtime=50.7 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 36604 0 0 0 5051 19 0 0 20 0 3 0 275358104 266883072 52552 33554432000 4194304 5965102 140734549183760 140135572572696 5131557 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=260628 CPUtime=50.69 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 33471 0 0 0 5008 61 0 0 20 0 3 0 275358104 266883072 52552 33554432000 4194304 5965102 140734549183760 140135562082616 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 260628

[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.99 5/182 32080
/proc/meminfo: memFree=30261156/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=458860 CPUtime=204.25 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 129173 0 0 0 20257 168 0 0 20 0 3 0 275358080 469872640 86229 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 114715 86229 206 433 0 114279 0
[pid=32074/tid=32076] ppid=32072 vsize=458860 CPUtime=101.77 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 65867 0 0 0 10141 36 0 0 20 0 3 0 275358104 469872640 86229 33554432000 4194304 5965102 140734549183760 140135572572696 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=458860 CPUtime=101.77 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 56445 0 0 0 10045 132 0 0 20 0 3 0 275358104 469872640 86229 33554432000 4194304 5965102 140734549183760 140135562082616 4389036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.25
Current children cumulated vsize (KiB) 458860

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.99 5/181 32081
/proc/meminfo: memFree=30114004/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=589932 CPUtime=324.21 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 165883 0 0 0 32194 227 0 0 20 0 3 0 275358080 604090368 122939 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 147483 122939 206 433 0 147047 0
[pid=32074/tid=32076] ppid=32072 vsize=589932 CPUtime=161.61 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 75204 0 0 0 16114 47 0 0 20 0 3 0 275358104 604090368 122939 33554432000 4194304 5965102 140734549183760 140135572571960 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=589932 CPUtime=161.61 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 83818 0 0 0 15979 182 0 0 20 0 3 0 275358104 604090368 122939 33554432000 4194304 5965102 140734549183760 140135562082616 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.21
Current children cumulated vsize (KiB) 589932

[startup+222.3 s]
/proc/loadavg: 3.86 3.94 3.98 5/181 32162
/proc/meminfo: memFree=30790036/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=658188 CPUtime=444.18 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 186023 0 0 0 44174 244 0 0 20 0 3 0 275358080 673984512 143069 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 164547 143069 206 433 0 164111 0
[pid=32074/tid=32076] ppid=32072 vsize=658188 CPUtime=221.45 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 84016 0 0 0 22087 58 0 0 20 0 3 0 275358104 673984512 143069 33554432000 4194304 5965102 140734549183760 140135572572152 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=658188 CPUtime=221.45 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 95146 0 0 0 21954 191 0 0 20 0 3 0 275358104 673984512 143069 33554432000 4194304 5965102 140734549183760 140135562082616 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.18
Current children cumulated vsize (KiB) 658188

[startup+282.3 s]
/proc/loadavg: 4.01 3.96 3.98 5/181 32162
/proc/meminfo: memFree=30746680/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=658588 CPUtime=564.11 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 191383 0 0 0 56161 250 0 0 20 0 3 0 275358080 674394112 149039 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 164647 149039 206 433 0 164211 0
[pid=32074/tid=32076] ppid=32072 vsize=658588 CPUtime=281.28 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 89253 0 0 0 28064 64 0 0 20 0 3 0 275358104 674394112 149039 33554432000 4194304 5965102 140734549183760 140135572571960 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=658588 CPUtime=281.24 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 95269 0 0 0 27932 192 0 0 20 0 3 0 275358104 674394112 149039 33554432000 4194304 5965102 140734549183760 140135562082376 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.11
Current children cumulated vsize (KiB) 658588

[startup+342.3 s]
/proc/loadavg: 4.06 3.98 3.99 5/181 32162
/proc/meminfo: memFree=30591088/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=790076 CPUtime=684.03 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 226247 0 0 0 68125 278 0 0 20 0 3 0 275358080 809037824 184298 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 197519 184298 206 433 0 197083 0
[pid=32074/tid=32076] ppid=32072 vsize=790076 CPUtime=341.08 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 89916 0 0 0 34042 66 0 0 20 0 3 0 275358104 809037824 184298 33554432000 4194304 5965102 140734549183760 140135572572024 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=790076 CPUtime=341.07 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 129470 0 0 0 33887 220 0 0 20 0 3 0 275358104 809037824 184298 33554432000 4194304 5965102 140734549183760 140135562082616 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.03
Current children cumulated vsize (KiB) 790076

[startup+402.3 s]
/proc/loadavg: 4.02 3.98 3.99 5/181 32162
/proc/meminfo: memFree=30447276/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=986972 CPUtime=803.95 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 262167 0 0 0 80092 303 0 0 20 0 3 0 275358080 1010659328 220227 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 246743 220227 206 433 0 246307 0
[pid=32074/tid=32076] ppid=32072 vsize=986972 CPUtime=400.9 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 93707 0 0 0 40020 70 0 0 20 0 3 0 275358104 1010659328 220227 33554432000 4194304 5965102 140734549183760 140135572572152 4401578 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=986972 CPUtime=400.87 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 161599 0 0 0 39844 243 0 0 20 0 3 0 275358104 1010659328 220227 33554432000 4194304 5965102 140734549183760 140135562082616 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 803.95
Current children cumulated vsize (KiB) 986972

[startup+462.3 s]
/proc/loadavg: 4.11 4.01 4.00 5/181 32163
/proc/meminfo: memFree=30299496/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1118320 CPUtime=923.87 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 298525 0 0 0 92058 329 0 0 20 0 3 0 275358080 1145159680 256541 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 279580 256541 206 433 0 279144 0
[pid=32074/tid=32076] ppid=32072 vsize=1118320 CPUtime=460.74 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 99654 0 0 0 45999 75 0 0 20 0 3 0 275358104 1145159680 256541 33554432000 4194304 5965102 140734549183760 140135572571960 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1118320 CPUtime=460.67 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 192010 0 0 0 45802 265 0 0 20 0 3 0 275358104 1145159680 256541 33554432000 4194304 5965102 140734549183760 140135562082616 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 923.87
Current children cumulated vsize (KiB) 1118320

[startup+522.3 s]
/proc/loadavg: 4.04 4.01 4.00 5/181 32163
/proc/meminfo: memFree=30154320/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1249800 CPUtime=1043.81 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 334743 0 0 0 104029 352 0 0 20 0 3 0 275358080 1279795200 292725 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 312450 292725 206 433 0 312014 0
[pid=32074/tid=32076] ppid=32072 vsize=1249800 CPUtime=520.58 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 104847 0 0 0 51979 79 0 0 20 0 3 0 275358104 1279795200 292725 33554432000 4194304 5965102 140734549183760 140135572571960 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1249800 CPUtime=520.46 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 223035 0 0 0 51761 285 0 0 20 0 3 0 275358104 1279795200 292725 33554432000 4194304 5965102 140734549183760 140135562082616 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1043.81
Current children cumulated vsize (KiB) 1249800

[startup+582.3 s]
/proc/loadavg: 4.01 4.00 4.00 5/181 32163
/proc/meminfo: memFree=30035644/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1381944 CPUtime=1163.74 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 363745 0 0 0 116001 373 0 0 20 0 3 0 275358080 1415110656 321894 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 345486 321894 206 433 0 345050 0
[pid=32074/tid=32076] ppid=32072 vsize=1381944 CPUtime=580.4 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 109356 0 0 0 57957 83 0 0 20 0 3 0 275358104 1415110656 321894 33554432000 4194304 5965102 140734549183760 140135572572152 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1381944 CPUtime=580.29 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 247528 0 0 0 57725 304 0 0 20 0 3 0 275358104 1415110656 321894 33554432000 4194304 5965102 140734549183760 140135562082616 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1163.74
Current children cumulated vsize (KiB) 1381944

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 32163
/proc/meminfo: memFree=29916328/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1514632 CPUtime=1283.74 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 392801 0 0 0 127979 395 0 0 20 0 3 0 275358080 1550983168 350950 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 378658 350950 206 433 0 378222 0
[pid=32074/tid=32076] ppid=32072 vsize=1514632 CPUtime=640.24 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 113255 0 0 0 63936 88 0 0 20 0 3 0 275358104 1550983168 350950 33554432000 4194304 5965102 140734549183760 140135572572152 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1514632 CPUtime=640.15 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 272685 0 0 0 63692 323 0 0 20 0 3 0 275358104 1550983168 350950 33554432000 4194304 5965102 140734549183760 140135562082616 4401137 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1283.74
Current children cumulated vsize (KiB) 1514632

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 32166
/proc/meminfo: memFree=29806732/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1578004 CPUtime=1403.71 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 420013 0 0 0 139955 416 0 0 20 0 3 0 275358080 1615876096 377695 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 394501 377695 206 433 0 394065 0
[pid=32074/tid=32076] ppid=32072 vsize=1578004 CPUtime=700.08 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 115439 0 0 0 69918 90 0 0 20 0 3 0 275358104 1615876096 377695 33554432000 4194304 5965102 140734549183760 140135572573112 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1578004 CPUtime=699.99 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 297713 0 0 0 69655 344 0 0 20 0 3 0 275358104 1615876096 377695 33554432000 4194304 5965102 140734549183760 140135562082616 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.71
Current children cumulated vsize (KiB) 1578004

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/180 32166
/proc/meminfo: memFree=29685604/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1709344 CPUtime=1523.7 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 445151 0 0 0 151936 434 0 0 20 0 3 0 275358080 1750368256 402839 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 427336 402839 206 433 0 426900 0
[pid=32074/tid=32076] ppid=32072 vsize=1709344 CPUtime=759.93 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 115495 0 0 0 75902 91 0 0 20 0 3 0 275358104 1750368256 402839 33554432000 4194304 5965102 140734549183760 140135572573112 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1709344 CPUtime=759.84 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 322795 0 0 0 75621 363 0 0 20 0 3 0 275358104 1750368256 402839 33554432000 4194304 5965102 140734549183760 140135562082616 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.7
Current children cumulated vsize (KiB) 1709344

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 32168
/proc/meminfo: memFree=29600676/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1775156 CPUtime=1643.62 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 466495 0 0 0 163912 450 0 0 20 0 3 0 275358080 1817759744 424177 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 443789 424177 206 433 0 443353 0
[pid=32074/tid=32076] ppid=32072 vsize=1775156 CPUtime=819.77 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 115599 0 0 0 81885 92 0 0 20 0 3 0 275358104 1817759744 424177 33554432000 4194304 5965102 140734549183760 140135572573112 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1775156 CPUtime=819.62 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 344035 0 0 0 81582 380 0 0 20 0 3 0 275358104 1817759744 424177 33554432000 4194304 5965102 140734549183760 140135562082616 4389366 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.62
Current children cumulated vsize (KiB) 1775156

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 32168
/proc/meminfo: memFree=29519368/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1841272 CPUtime=1763.55 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 486292 0 0 0 175892 463 0 0 20 0 3 0 275358080 1885462528 443452 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 460318 443452 206 433 0 459882 0
[pid=32074/tid=32076] ppid=32072 vsize=1841272 CPUtime=879.61 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 115680 0 0 0 87868 93 0 0 20 0 3 0 275358104 1885462528 443452 33554432000 4194304 5965102 140734549183760 140135572573000 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1841272 CPUtime=879.42 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 363751 0 0 0 87548 394 0 0 20 0 3 0 275358104 1885462528 443452 33554432000 4194304 5965102 140734549183760 140135562082616 4401582 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.55
Current children cumulated vsize (KiB) 1841272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.6 s]
/proc/loadavg: 4.00 4.00 4.00 5/181 32168
/proc/meminfo: memFree=29494536/32873844 swapFree=7112/7112
[pid=32074] ppid=32072 vsize=1906808 CPUtime=1800.14 cores=0,2,4,6
/proc/32074/stat : 32074 (pwbo2.0) S 32072 32074 31075 0 -1 4202496 492175 0 0 0 179547 467 0 0 20 0 3 0 275358080 1952571392 449334 33554432000 4194304 5965102 140734549183760 140734549183280 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/32074/statm: 476702 449334 206 433 0 476266 0
[pid=32074/tid=32076] ppid=32072 vsize=1906808 CPUtime=897.87 cores=0,2,4,6
/proc/32074/task/32076/stat : 32076 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 115687 0 0 0 89694 93 0 0 20 0 3 0 275358104 1952571392 449334 33554432000 4194304 5965102 140734549183760 140135572573000 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=32074/tid=32077] ppid=32072 vsize=1906808 CPUtime=897.66 cores=0,2,4,6
/proc/32074/task/32077/stat : 32077 (pwbo2.0) R 32072 32074 31075 0 -1 4202560 369627 0 0 0 89368 398 0 0 20 0 3 0 275358104 1952571392 449334 33554432000 4194304 5965102 140734549183760 140135562082616 4400960 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) 1906808

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 32074 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=867746
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=11238
# CPU time returned by wait4() is 1795.88
# 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.683
CPU time (s): 1800.14
CPU user time (s): 1795.47
CPU system time (s): 4.67
CPU usage (%): 199.864
Max. virtual memory (cumulated for all children) (KiB): 1906808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.87
system time used= 5.01124
maximum resident set size= 1797348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492178
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= 2412
involuntary context switches= 1988

runsolver used 2.06069 second user time and 4.81527 second system time

The end