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

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

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


[startup+0 s]
/proc/loadavg: 4.04 4.01 4.00 4/179 22906
/proc/meminfo: memFree=29279220/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=5876 CPUtime=0 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) R 22904 22906 20249 0 -1 4202496 632 0 0 0 0 0 0 0 20 0 1 0 286765649 6017024 584 33554432000 4194304 5964478 140733641506528 140737305241816 4395323 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 1469 585 167 433 0 868 0

[startup+0.0782989 s]
/proc/loadavg: 4.04 4.01 4.00 4/179 22906
/proc/meminfo: memFree=29279220/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=178548 CPUtime=0.08 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 6252 0 0 0 7 1 0 0 20 0 3 0 286765649 182833152 6038 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 44637 6038 178 433 0 44201 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 178548

[startup+0.100223 s]
/proc/loadavg: 4.04 4.01 4.00 4/179 22906
/proc/meminfo: memFree=29279220/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=181320 CPUtime=0.11 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 8300 0 0 0 10 1 0 0 20 0 3 0 286765649 185671680 8081 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 45330 8081 187 433 0 44894 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 181320

[startup+0.300162 s]
/proc/loadavg: 4.04 4.01 4.00 4/179 22906
/proc/meminfo: memFree=29279220/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=223260 CPUtime=0.5 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 28824 0 0 0 43 7 0 0 20 0 3 0 286765649 228618240 28899 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 55815 28902 206 433 0 55379 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 223260

[startup+0.700168 s]
/proc/loadavg: 4.04 4.01 4.00 4/179 22906
/proc/meminfo: memFree=29279220/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=376224 CPUtime=1.3 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 59600 0 0 0 113 17 0 0 20 0 3 0 286765649 385253376 69824 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 94056 69827 206 433 0 93620 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 376224

[startup+1.50029 s]
/proc/loadavg: 4.04 4.01 4.00 5/182 22909
/proc/meminfo: memFree=28876532/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=802132 CPUtime=2.89 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 113509 0 0 0 252 37 0 0 20 0 3 0 286765649 821383168 152195 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 200533 152197 206 433 0 200097 0
[pid=22906/tid=22908] ppid=22904 vsize=802132 CPUtime=1.4 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 7855 0 0 0 137 3 0 0 20 0 3 0 286765655 821383168 152198 33554432000 4194304 5964478 140733641506528 140649167342104 18446744073699065891 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=802132 CPUtime=1.41 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 102227 0 0 0 108 33 0 0 20 0 3 0 286765655 821383168 152200 33554432000 4194304 5964478 140733641506528 140649156851112 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 802132

[startup+3.10031 s]
/proc/loadavg: 4.04 4.01 4.00 5/182 22909
/proc/meminfo: memFree=28638100/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=811360 CPUtime=6.06 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 122389 0 0 0 567 39 0 0 20 0 3 0 286765649 830832640 160444 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 202840 160444 206 433 0 202404 0
[pid=22906/tid=22908] ppid=22904 vsize=811360 CPUtime=2.97 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 11553 0 0 0 293 4 0 0 20 0 3 0 286765655 830832640 160444 33554432000 4194304 5964478 140733641506528 140649167342408 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=811360 CPUtime=3.01 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 107404 0 0 0 266 35 0 0 20 0 3 0 286765655 830832640 160444 33554432000 4194304 5964478 140733641506528 140649156852072 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 811360

[startup+6.30032 s]
/proc/loadavg: 4.04 4.01 4.00 5/182 22909
/proc/meminfo: memFree=28623344/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=811360 CPUtime=12.46 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 130538 0 0 0 1205 41 0 0 20 0 3 0 286765649 830832640 162838 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 202840 162838 206 433 0 202404 0
[pid=22906/tid=22908] ppid=22904 vsize=811360 CPUtime=6.16 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 19650 0 0 0 610 6 0 0 20 0 3 0 286765655 830832640 162838 33554432000 4194304 5964478 140733641506528 140649167342408 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=811360 CPUtime=6.2 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 107456 0 0 0 585 35 0 0 20 0 3 0 286765655 830832640 162838 33554432000 4194304 5964478 140733641506528 140649156851944 4403327 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 811360

[startup+12.7003 s]
/proc/loadavg: 4.03 4.01 4.00 5/182 22909
/proc/meminfo: memFree=28618376/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=811360 CPUtime=25.26 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 132981 0 0 0 2484 42 0 0 20 0 3 0 286765649 830832640 164886 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 202840 164886 206 433 0 202404 0
[pid=22906/tid=22908] ppid=22904 vsize=811360 CPUtime=12.55 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 21371 0 0 0 1249 6 0 0 20 0 3 0 286765655 830832640 164886 33554432000 4194304 5964478 140733641506528 140649167342408 4398664 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=811360 CPUtime=12.58 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 108178 0 0 0 1223 35 0 0 20 0 3 0 286765655 830832640 164886 33554432000 4194304 5964478 140733641506528 140649156851944 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 811360

[startup+25.5003 s]
/proc/loadavg: 4.03 4.01 4.00 5/182 22909
/proc/meminfo: memFree=28604596/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=815688 CPUtime=50.85 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 137169 0 0 0 5043 42 0 0 20 0 3 0 286765649 835264512 168385 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 203922 168385 206 433 0 203486 0
[pid=22906/tid=22908] ppid=22904 vsize=815688 CPUtime=25.31 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 25220 0 0 0 2525 6 0 0 20 0 3 0 286765655 835264512 168385 33554432000 4194304 5964478 140733641506528 140649167341664 4389131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=815688 CPUtime=25.35 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 108517 0 0 0 2500 35 0 0 20 0 3 0 286765655 835264512 168385 33554432000 4194304 5964478 140733641506528 140649156851944 4399922 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 815688

[startup+51.1003 s]
/proc/loadavg: 4.02 4.01 4.00 5/182 22932
/proc/meminfo: memFree=28497960/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=815688 CPUtime=102.04 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 138776 0 0 0 10160 44 0 0 20 0 3 0 286765649 835264512 169992 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 203922 169992 206 433 0 203486 0
[pid=22906/tid=22908] ppid=22904 vsize=815688 CPUtime=50.84 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 26481 0 0 0 5077 7 0 0 20 0 3 0 286765655 835264512 169992 33554432000 4194304 5964478 140733641506528 140649167341560 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=815688 CPUtime=50.88 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 108863 0 0 0 5052 36 0 0 20 0 3 0 286765655 835264512 169992 33554432000 4194304 5964478 140733641506528 140649156852072 4373437 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 815688

[startup+102.307 s]
/proc/loadavg: 4.00 4.00 4.00 5/182 22932
/proc/meminfo: memFree=28448848/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=881224 CPUtime=204.43 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 151049 0 0 0 20389 54 0 0 20 0 3 0 286765649 902373376 182265 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 220306 182265 206 433 0 219870 0
[pid=22906/tid=22908] ppid=22904 vsize=881224 CPUtime=101.91 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 37950 0 0 0 10174 17 0 0 20 0 3 0 286765655 902373376 182265 33554432000 4194304 5964478 140733641506528 140649167341560 5136404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=881224 CPUtime=101.96 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 109667 0 0 0 10158 38 0 0 20 0 3 0 286765655 902373376 182265 33554432000 4194304 5964478 140733641506528 140649156851832 4399838 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 881224

[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30284640/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=888968 CPUtime=324.38 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 157348 0 0 0 32375 63 0 0 20 0 3 0 286765649 910303232 188710 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 222242 188710 206 433 0 221806 0
[pid=22906/tid=22908] ppid=22904 vsize=888968 CPUtime=161.73 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 43063 0 0 0 16147 26 0 0 20 0 3 0 286765655 910303232 188710 33554432000 4194304 5964478 140733641506528 140649167341368 4389144 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=888968 CPUtime=161.78 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 110853 0 0 0 16138 40 0 0 20 0 3 0 286765655 910303232 188710 33554432000 4194304 5964478 140733641506528 140649156852376 4399871 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.38
Current children cumulated vsize (KiB) 888968

[startup+222.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30193916/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=954504 CPUtime=444.33 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 173620 0 0 0 44345 88 0 0 20 0 3 0 286765649 977412096 204967 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 238626 204967 206 433 0 238190 0
[pid=22906/tid=22908] ppid=22904 vsize=954504 CPUtime=221.57 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 58894 0 0 0 22105 52 0 0 20 0 3 0 286765655 977412096 204967 33554432000 4194304 5964478 140733641506528 140649167341560 4389113 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=954504 CPUtime=221.61 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 111294 0 0 0 22120 41 0 0 20 0 3 0 286765655 977412096 204967 33554432000 4194304 5964478 140733641506528 140649156852072 4399899 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.33
Current children cumulated vsize (KiB) 954504

[startup+282.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30113180/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1020040 CPUtime=564.29 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 184730 0 0 0 56327 102 0 0 20 0 3 0 286765649 1044520960 216062 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 255010 216062 206 433 0 254574 0
[pid=22906/tid=22908] ppid=22904 vsize=1020040 CPUtime=281.42 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 69679 0 0 0 28075 67 0 0 20 0 3 0 286765655 1044520960 216062 33554432000 4194304 5964478 140733641506528 140649167341192 4388330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1020040 CPUtime=281.43 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 111619 0 0 0 28101 42 0 0 20 0 3 0 286765655 1044520960 216062 33554432000 4194304 5964478 140733641506528 140649156851832 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.29
Current children cumulated vsize (KiB) 1020040

[startup+342.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=30092300/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1020040 CPUtime=684.26 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 186240 0 0 0 68322 104 0 0 20 0 3 0 286765649 1044520960 217556 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 255010 217556 206 433 0 254574 0
[pid=22906/tid=22908] ppid=22904 vsize=1020040 CPUtime=341.27 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 70793 0 0 0 34058 69 0 0 20 0 3 0 286765655 1044520960 217556 33554432000 4194304 5964478 140733641506528 140649167341560 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1020040 CPUtime=341.26 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 112015 0 0 0 34082 44 0 0 20 0 3 0 286765655 1044520960 217556 33554432000 4194304 5964478 140733641506528 140649156852024 4399994 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.26
Current children cumulated vsize (KiB) 1020040

[startup+402.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23014
/proc/meminfo: memFree=29995680/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1085708 CPUtime=804.22 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 203008 0 0 0 80296 126 0 0 20 0 3 0 286765649 1111764992 234719 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 271427 234719 206 433 0 270991 0
[pid=22906/tid=22908] ppid=22904 vsize=1085708 CPUtime=401.11 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 87064 0 0 0 40020 91 0 0 20 0 3 0 286765655 1111764992 234719 33554432000 4194304 5964478 140733641506528 140649167341560 4373347 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1085708 CPUtime=401.08 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 112512 0 0 0 40063 45 0 0 20 0 3 0 286765655 1111764992 234719 33554432000 4194304 5964478 140733641506528 140649156851832 4403327 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.22
Current children cumulated vsize (KiB) 1085708

[startup+462.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23015
/proc/meminfo: memFree=29945060/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1086104 CPUtime=924.18 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 205382 0 0 0 92289 129 0 0 20 0 3 0 286765649 1112170496 237189 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 271526 237189 206 433 0 271090 0
[pid=22906/tid=22908] ppid=22904 vsize=1086104 CPUtime=460.95 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 88839 0 0 0 46001 94 0 0 20 0 3 0 286765655 1112170496 237189 33554432000 4194304 5964478 140733641506528 140649167341368 4389144 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1086104 CPUtime=460.91 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 113111 0 0 0 46045 46 0 0 20 0 3 0 286765655 1112170496 237189 33554432000 4194304 5964478 140733641506528 140649156851784 4400503 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.18
Current children cumulated vsize (KiB) 1086104

[startup+522.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23015
/proc/meminfo: memFree=29902940/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1086236 CPUtime=1044.15 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 206205 0 0 0 104284 131 0 0 20 0 3 0 286765649 1112305664 238416 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 271559 238416 206 433 0 271123 0
[pid=22906/tid=22908] ppid=22904 vsize=1086236 CPUtime=520.8 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 89383 0 0 0 51985 95 0 0 20 0 3 0 286765655 1112305664 238416 33554432000 4194304 5964478 140733641506528 140649167341560 4389144 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1086236 CPUtime=520.73 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 113390 0 0 0 52025 48 0 0 20 0 3 0 286765655 1112305664 238416 33554432000 4194304 5964478 140733641506528 140649156852072 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.15
Current children cumulated vsize (KiB) 1086236

[startup+582.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23015
/proc/meminfo: memFree=29810476/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1152168 CPUtime=1164.1 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 223803 0 0 0 116247 163 0 0 20 0 3 0 286765649 1179820032 256795 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 288042 256795 206 433 0 287606 0
[pid=22906/tid=22908] ppid=22904 vsize=1152168 CPUtime=580.62 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 106601 0 0 0 57934 128 0 0 20 0 3 0 286765655 1179820032 256795 33554432000 4194304 5964478 140733641506528 140649167341560 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1152168 CPUtime=580.57 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 113770 0 0 0 58007 50 0 0 20 0 3 0 286765655 1179820032 256795 33554432000 4194304 5964478 140733641506528 140649156852072 4392866 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.1
Current children cumulated vsize (KiB) 1152168

[startup+642.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/182 23018
/proc/meminfo: memFree=29715088/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1219596 CPUtime=1284.08 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 242325 0 0 0 128200 208 0 0 20 0 3 0 286765649 1248866304 276242 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 304899 276242 206 433 0 304463 0
[pid=22906/tid=22908] ppid=22904 vsize=1219596 CPUtime=640.47 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 123669 0 0 0 63875 172 0 0 20 0 3 0 286765655 1248866304 276242 33554432000 4194304 5964478 140733641506528 140649167341160 4390955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1219596 CPUtime=640.42 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 115224 0 0 0 63989 53 0 0 20 0 3 0 286765655 1248866304 276242 33554432000 4194304 5964478 140733641506528 140649156851784 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.08
Current children cumulated vsize (KiB) 1219596

[startup+702.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23018
/proc/meminfo: memFree=29684496/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1221620 CPUtime=1404.05 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 243012 0 0 0 140197 208 0 0 20 0 3 0 286765649 1250938880 276914 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 305405 276914 206 433 0 304969 0
[pid=22906/tid=22908] ppid=22904 vsize=1221620 CPUtime=700.31 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 123670 0 0 0 69858 173 0 0 20 0 3 0 286765655 1250938880 276914 33554432000 4194304 5964478 140733641506528 140649167341160 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1221620 CPUtime=700.26 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 115910 0 0 0 69972 54 0 0 20 0 3 0 286765655 1250938880 276914 33554432000 4194304 5964478 140733641506528 140649156851960 4399899 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.05
Current children cumulated vsize (KiB) 1221620

[startup+762.307 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23019
/proc/meminfo: memFree=29645588/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1222020 CPUtime=1524.05 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 243524 0 0 0 152195 210 0 0 20 0 3 0 286765649 1251348480 277426 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 305505 277426 206 433 0 305069 0
[pid=22906/tid=22908] ppid=22904 vsize=1222020 CPUtime=760.16 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 123673 0 0 0 75842 174 0 0 20 0 3 0 286765655 1251348480 277426 33554432000 4194304 5964478 140733641506528 140649167341160 4399922 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1222020 CPUtime=760.11 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 116419 0 0 0 75955 56 0 0 20 0 3 0 286765655 1251348480 277426 33554432000 4194304 5964478 140733641506528 140649156852072 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.05
Current children cumulated vsize (KiB) 1222020

[startup+822.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23019
/proc/meminfo: memFree=29532860/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1287688 CPUtime=1644 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 261959 0 0 0 164169 231 0 0 20 0 3 0 286765649 1318592512 296062 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 321922 296062 206 433 0 321486 0
[pid=22906/tid=22908] ppid=22904 vsize=1287688 CPUtime=819.98 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 141754 0 0 0 81802 196 0 0 20 0 3 0 286765655 1318592512 296062 33554432000 4194304 5964478 140733641506528 140649167341560 4389113 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1287688 CPUtime=819.94 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 116773 0 0 0 81936 58 0 0 20 0 3 0 286765655 1318592512 296062 33554432000 4194304 5964478 140733641506528 140649156851832 4400090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644
Current children cumulated vsize (KiB) 1287688

[startup+882.3 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23019
/proc/meminfo: memFree=29422032/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1419160 CPUtime=1763.92 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 283035 0 0 0 176135 257 0 0 20 0 3 0 286765649 1453219840 317135 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 354790 317135 206 433 0 354354 0
[pid=22906/tid=22908] ppid=22904 vsize=1419160 CPUtime=879.77 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 162437 0 0 0 87754 223 0 0 20 0 3 0 286765655 1453219840 317135 33554432000 4194304 5964478 140733641506528 140649167341560 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1419160 CPUtime=879.79 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 117166 0 0 0 87920 59 0 0 20 0 3 0 286765655 1453219840 317135 33554432000 4194304 5964478 140733641506528 140649156851832 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.92
Current children cumulated vsize (KiB) 1419160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 3.99 3.99 3.99 5/181 23019
/proc/meminfo: memFree=29402036/32873844 swapFree=6080/6080
[pid=22906] ppid=22904 vsize=1419160 CPUtime=1800.11 cores=0,2,4,6
/proc/22906/stat : 22906 (pwbo2.01) S 22904 22906 20249 0 -1 4202496 287774 0 0 0 179751 260 0 0 20 0 3 0 286765649 1453219840 321883 33554432000 4194304 5964478 140733641506528 140733641506048 4546669 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22906/statm: 354790 321883 206 433 0 354354 0
[pid=22906/tid=22908] ppid=22904 vsize=1419160 CPUtime=897.81 cores=0,2,4,6
/proc/22906/task/22908/stat : 22908 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 166975 0 0 0 89556 225 0 0 20 0 3 0 286765655 1453219840 321883 33554432000 4194304 5964478 140733641506528 140649167341560 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=22906/tid=22909] ppid=22904 vsize=1419160 CPUtime=897.84 cores=0,2,4,6
/proc/22906/task/22909/stat : 22909 (pwbo2.01) R 22904 22906 20249 0 -1 4202560 117367 0 0 0 89725 59 0 0 20 0 3 0 286765655 1453219840 321883 33554432000 4194304 5964478 140733641506528 140649156852072 4403327 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 1419160

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 22906 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=882440
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=907557
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.447
CPU time (s): 1800.11
CPU user time (s): 1797.51
CPU system time (s): 2.6
CPU usage (%): 199.913
Max. virtual memory (cumulated for all children) (KiB): 1419160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.88
system time used= 2.90756
maximum resident set size= 1287540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287776
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= 1740
involuntary context switches= 1940

runsolver used 0.922859 second user time and 6.00209 second system time

The end