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-3704473-1338096086/watcher-3704473-1338096086 -o /tmp/evaluation-result-3704473-1338096086/solver-3704473-1338096086 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704473-1338096086.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.00 3.99 3.94 4/180 12339
/proc/meminfo: memFree=27662044/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=4988 CPUtime=0 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) R 12337 12339 10899 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 275734006 5107712 499 33554432000 4194304 5965102 140733337696016 140735585740840 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 1247 499 169 433 0 781 0

[startup+0.032414 s]
/proc/loadavg: 4.00 3.99 3.94 4/180 12339
/proc/meminfo: memFree=27662044/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=164492 CPUtime=0.03 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 2063 0 0 0 3 0 0 0 20 0 3 0 275734006 168439808 1984 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41123 1984 206 433 0 40687 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 164492

[startup+0.100216 s]
/proc/loadavg: 4.00 3.99 3.94 4/180 12339
/proc/meminfo: memFree=27662044/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=164492 CPUtime=0.18 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 2244 0 0 0 17 1 0 0 20 0 3 0 275734006 168439808 2165 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41123 2165 207 433 0 40687 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164492

[startup+0.30009 s]
/proc/loadavg: 4.00 3.99 3.94 4/180 12339
/proc/meminfo: memFree=27662044/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=164492 CPUtime=0.57 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 2658 0 0 0 56 1 0 0 20 0 3 0 275734006 168439808 2579 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41123 2579 207 433 0 40687 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164492

[startup+0.700091 s]
/proc/loadavg: 4.00 3.99 3.94 4/180 12339
/proc/meminfo: memFree=27662044/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=164492 CPUtime=1.37 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 3314 0 0 0 135 2 0 0 20 0 3 0 275734006 168439808 3235 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41123 3235 207 433 0 40687 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164492

[startup+1.50028 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12342
/proc/meminfo: memFree=27646792/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=164636 CPUtime=2.97 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 4222 0 0 0 294 3 0 0 20 0 3 0 275734006 168587264 4143 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41159 4143 207 433 0 40723 0
[pid=12339/tid=12341] ppid=12337 vsize=164636 CPUtime=1.46 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 1537 0 0 0 146 0 0 0 20 0 3 0 275734008 168587264 4143 33554432000 4194304 5965102 140733337696016 140408312916296 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=164636 CPUtime=1.47 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 1427 0 0 0 144 3 0 0 20 0 3 0 275734008 168587264 4143 33554432000 4194304 5965102 140733337696016 140408302426424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 164636

[startup+3.10029 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12342
/proc/meminfo: memFree=27642824/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=164780 CPUtime=6.17 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 4915 0 0 0 613 4 0 0 20 0 3 0 275734006 168734720 4836 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41195 4836 207 433 0 40759 0
[pid=12339/tid=12341] ppid=12337 vsize=164780 CPUtime=3.06 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 1902 0 0 0 306 0 0 0 20 0 3 0 275734008 168734720 4836 33554432000 4194304 5965102 140733337696016 140408312915768 4401009 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=164780 CPUtime=3.06 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 1755 0 0 0 303 3 0 0 20 0 3 0 275734008 168734720 4836 33554432000 4194304 5965102 140733337696016 140408302426424 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164780

[startup+6.30032 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12342
/proc/meminfo: memFree=27630804/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=165084 CPUtime=12.56 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 6930 0 0 0 1250 6 0 0 20 0 3 0 275734006 169046016 6823 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41271 6823 207 433 0 40835 0
[pid=12339/tid=12341] ppid=12337 vsize=165084 CPUtime=6.25 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 2701 0 0 0 624 1 0 0 20 0 3 0 275734008 169046016 6823 33554432000 4194304 5965102 140733337696016 140408312916064 4404410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=165084 CPUtime=6.25 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 2971 0 0 0 620 5 0 0 20 0 3 0 275734008 169046016 6823 33554432000 4194304 5965102 140733337696016 140408302426472 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 165084

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12342
/proc/meminfo: memFree=27615936/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=165556 CPUtime=25.36 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 9074 0 0 0 2527 9 0 0 20 0 3 0 275734006 169529344 8967 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41389 8967 207 433 0 40953 0
[pid=12339/tid=12341] ppid=12337 vsize=165556 CPUtime=12.63 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 3635 0 0 0 1261 2 0 0 20 0 3 0 275734008 169529344 8967 33554432000 4194304 5965102 140733337696016 140408312916064 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=165556 CPUtime=12.64 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 4181 0 0 0 1257 7 0 0 20 0 3 0 275734008 169529344 8967 33554432000 4194304 5965102 140733337696016 140408302426184 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 165556

[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.94 5/183 12342
/proc/meminfo: memFree=27601444/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=166044 CPUtime=50.96 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 12760 0 0 0 5081 15 0 0 20 0 3 0 275734006 170029056 12577 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41511 12577 207 433 0 41075 0
[pid=12339/tid=12341] ppid=12337 vsize=166044 CPUtime=25.4 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 5967 0 0 0 2536 4 0 0 20 0 3 0 275734008 170029056 12577 33554432000 4194304 5965102 140733337696016 140408312916920 4222304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=166044 CPUtime=25.4 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 5535 0 0 0 2530 10 0 0 20 0 3 0 275734008 170029056 12577 33554432000 4194304 5965102 140733337696016 140408302426184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166044

[startup+51.1004 s]
/proc/loadavg: 4.06 4.00 3.95 5/183 12342
/proc/meminfo: memFree=27587588/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=167548 CPUtime=102.15 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 15972 0 0 0 10193 22 0 0 20 0 3 0 275734006 171569152 15784 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 41887 15784 207 433 0 41451 0
[pid=12339/tid=12341] ppid=12337 vsize=167548 CPUtime=50.94 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 7369 0 0 0 5086 8 0 0 20 0 3 0 275734008 171569152 15784 33554432000 4194304 5965102 140733337696016 140408312915768 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=167548 CPUtime=50.94 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 7345 0 0 0 5080 14 0 0 20 0 3 0 275734008 171569152 15784 33554432000 4194304 5965102 140733337696016 140408302426232 4404503 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 167548

[startup+102.307 s]
/proc/loadavg: 4.02 4.00 3.95 5/183 12342
/proc/meminfo: memFree=27520112/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=168596 CPUtime=204.54 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 24243 0 0 0 20416 38 0 0 20 0 3 0 275734006 172642304 24052 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 42149 24052 207 433 0 41713 0
[pid=12339/tid=12341] ppid=12337 vsize=168596 CPUtime=102.01 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 11132 0 0 0 10187 14 0 0 20 0 3 0 275734008 172642304 24052 33554432000 4194304 5965102 140733337696016 140408312915768 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=168596 CPUtime=102.01 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 11853 0 0 0 10176 25 0 0 20 0 3 0 275734008 172642304 24052 33554432000 4194304 5965102 140733337696016 140408302426528 4401026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 168596

[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/183 12342
/proc/meminfo: memFree=27471044/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=170412 CPUtime=324.52 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 31029 0 0 0 32399 53 0 0 20 0 3 0 275734006 174501888 30836 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 42603 30836 207 433 0 42167 0
[pid=12339/tid=12341] ppid=12337 vsize=170412 CPUtime=161.85 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 15580 0 0 0 16161 24 0 0 20 0 3 0 275734008 174501888 30836 33554432000 4194304 5965102 140733337696016 140408312915960 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=170412 CPUtime=161.85 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 14191 0 0 0 16153 32 0 0 20 0 3 0 275734008 174501888 30836 33554432000 4194304 5965102 140733337696016 140408302426232 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 170412

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12343
/proc/meminfo: memFree=27416608/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=236924 CPUtime=444.5 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 34989 0 0 0 44390 60 0 0 20 0 3 0 275734006 242610176 34793 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 59231 34793 207 433 0 58795 0
[pid=12339/tid=12341] ppid=12337 vsize=236924 CPUtime=221.7 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 17970 0 0 0 22141 29 0 0 20 0 3 0 275734008 242610176 34793 33554432000 4194304 5965102 140733337696016 140408312916008 4400986 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=236924 CPUtime=221.7 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 15761 0 0 0 22133 37 0 0 20 0 3 0 275734008 242610176 34793 33554432000 4194304 5965102 140733337696016 140408302426184 4400972 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (KiB) 236924

[startup+282.3 s]
/proc/loadavg: 4.04 4.01 3.95 5/183 12343
/proc/meminfo: memFree=27377092/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=306488 CPUtime=564.45 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 42301 0 0 0 56367 78 0 0 20 0 3 0 275734006 313843712 42617 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 76622 42617 207 433 0 76186 0
[pid=12339/tid=12341] ppid=12337 vsize=306488 CPUtime=281.54 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 22677 0 0 0 28115 39 0 0 20 0 3 0 275734008 313843712 42617 33554432000 4194304 5965102 140733337696016 140408312916008 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=306488 CPUtime=281.51 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 18366 0 0 0 28105 46 0 0 20 0 3 0 275734008 313843712 42617 33554432000 4194304 5965102 140733337696016 140408302426232 4401009 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 306488

[startup+342.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/183 12343
/proc/meminfo: memFree=27339388/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=308552 CPUtime=684.4 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 45119 0 0 0 68356 84 0 0 20 0 3 0 275734006 315957248 47427 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 77138 47427 207 433 0 76702 0
[pid=12339/tid=12341] ppid=12337 vsize=308552 CPUtime=341.36 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 23297 0 0 0 34096 40 0 0 20 0 3 0 275734008 315957248 47427 33554432000 4194304 5965102 140733337696016 140408312915832 4401026 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=308552 CPUtime=341.36 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 20564 0 0 0 34082 54 0 0 20 0 3 0 275734008 315957248 47427 33554432000 4194304 5965102 140733337696016 140408302426184 4400986 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 308552

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12343
/proc/meminfo: memFree=27291080/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=311936 CPUtime=804.38 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 50440 0 0 0 80344 94 0 0 20 0 3 0 275734006 319422464 52648 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 77984 52648 207 433 0 77548 0
[pid=12339/tid=12341] ppid=12337 vsize=311936 CPUtime=401.21 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 25968 0 0 0 40075 46 0 0 20 0 3 0 275734008 319422464 52648 33554432000 4194304 5965102 140733337696016 140408312916008 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=311936 CPUtime=401.2 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 23214 0 0 0 40060 60 0 0 20 0 3 0 275734008 319422464 52648 33554432000 4194304 5965102 140733337696016 140408302426232 4401082 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 311936

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12396
/proc/meminfo: memFree=27600416/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=372028 CPUtime=924.36 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 59387 0 0 0 92337 99 0 0 20 0 3 0 275734006 380956672 60280 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93007 60280 207 433 0 92571 0
[pid=12339/tid=12341] ppid=12337 vsize=372028 CPUtime=461.04 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 34563 0 0 0 46053 51 0 0 20 0 3 0 275734008 380956672 60280 33554432000 4194304 5965102 140733337696016 140408312916920 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=372028 CPUtime=461.05 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 23566 0 0 0 46045 60 0 0 20 0 3 0 275734008 380956672 60280 33554432000 4194304 5965102 140733337696016 140408302426528 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (KiB) 372028

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/184 12400
/proc/meminfo: memFree=27491052/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=372248 CPUtime=1044.33 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 61261 0 0 0 104331 102 0 0 20 0 3 0 275734006 381181952 62269 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93062 62269 207 433 0 92626 0
[pid=12339/tid=12341] ppid=12337 vsize=372248 CPUtime=520.89 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 34576 0 0 0 52038 51 0 0 20 0 3 0 275734008 381181952 62269 33554432000 4194304 5965102 140733337696016 140408312916920 4401510 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=372248 CPUtime=520.89 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 25427 0 0 0 52024 65 0 0 20 0 3 0 275734008 381181952 62269 33554432000 4194304 5965102 140733337696016 140408302426424 4400955 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.33
Current children cumulated vsize (KiB) 372248

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12400
/proc/meminfo: memFree=27373376/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=372868 CPUtime=1164.32 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 62987 0 0 0 116324 108 0 0 20 0 3 0 275734006 381816832 63995 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93217 63995 207 433 0 92781 0
[pid=12339/tid=12341] ppid=12337 vsize=372868 CPUtime=580.74 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 34586 0 0 0 58022 52 0 0 20 0 3 0 275734008 381816832 63995 33554432000 4194304 5965102 140733337696016 140408312916920 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=372868 CPUtime=580.73 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 27143 0 0 0 58002 71 0 0 20 0 3 0 275734008 381816832 63995 33554432000 4194304 5965102 140733337696016 140408302426424 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.32
Current children cumulated vsize (KiB) 372868

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12400
/proc/meminfo: memFree=27267880/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=373248 CPUtime=1284.31 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 65106 0 0 0 128317 114 0 0 20 0 3 0 275734006 382205952 66113 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93312 66113 207 433 0 92876 0
[pid=12339/tid=12341] ppid=12337 vsize=373248 CPUtime=640.59 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 34599 0 0 0 64006 53 0 0 20 0 3 0 275734008 382205952 66113 33554432000 4194304 5965102 140733337696016 140408312915872 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=373248 CPUtime=640.59 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 29249 0 0 0 63981 78 0 0 20 0 3 0 275734008 382205952 66113 33554432000 4194304 5965102 140733337696016 140408302426232 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.31
Current children cumulated vsize (KiB) 373248

[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12400
/proc/meminfo: memFree=27218308/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=373484 CPUtime=1404.28 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 65381 0 0 0 140314 114 0 0 20 0 3 0 275734006 382447616 66388 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93371 66388 207 433 0 92935 0
[pid=12339/tid=12341] ppid=12337 vsize=373484 CPUtime=700.43 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 34616 0 0 0 69989 54 0 0 20 0 3 0 275734008 382447616 66388 33554432000 4194304 5965102 140733337696016 140408312915872 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=373484 CPUtime=700.43 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 29507 0 0 0 69964 79 0 0 20 0 3 0 275734008 382447616 66388 33554432000 4194304 5965102 140733337696016 140408302426232 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.28
Current children cumulated vsize (KiB) 373484

[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12400
/proc/meminfo: memFree=27199364/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=374816 CPUtime=1524.27 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 66312 0 0 0 152312 115 0 0 20 0 3 0 275734006 383811584 67319 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93704 67319 207 433 0 93268 0
[pid=12339/tid=12341] ppid=12337 vsize=374816 CPUtime=760.28 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 34980 0 0 0 75972 56 0 0 20 0 3 0 275734008 383811584 67319 33554432000 4194304 5965102 140733337696016 140408312915768 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=374816 CPUtime=760.28 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 30074 0 0 0 75947 81 0 0 20 0 3 0 275734008 383811584 67319 33554432000 4194304 5965102 140733337696016 140408302426184 4401582 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 374816

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12401
/proc/meminfo: memFree=27182776/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=374816 CPUtime=1644.24 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 67004 0 0 0 164308 116 0 0 20 0 3 0 275734006 383811584 68009 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93704 68009 207 433 0 93268 0
[pid=12339/tid=12341] ppid=12337 vsize=374816 CPUtime=820.12 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 35650 0 0 0 81955 57 0 0 20 0 3 0 275734008 383811584 68009 33554432000 4194304 5965102 140733337696016 140408312915768 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=374816 CPUtime=820.12 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 30096 0 0 0 81930 82 0 0 20 0 3 0 275734008 383811584 68009 33554432000 4194304 5965102 140733337696016 140408302426184 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.24
Current children cumulated vsize (KiB) 374816

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12401
/proc/meminfo: memFree=27113396/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=374816 CPUtime=1764.22 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 68488 0 0 0 176305 117 0 0 20 0 3 0 275734006 383811584 69548 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93704 69548 207 433 0 93268 0
[pid=12339/tid=12341] ppid=12337 vsize=374816 CPUtime=879.97 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 35798 0 0 0 87939 58 0 0 20 0 3 0 275734008 383811584 69548 33554432000 4194304 5965102 140733337696016 140408312915872 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=374816 CPUtime=879.97 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 31432 0 0 0 87913 84 0 0 20 0 3 0 275734008 383811584 69548 33554432000 4194304 5965102 140733337696016 140408302426424 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.22
Current children cumulated vsize (KiB) 374816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.2 s]
/proc/loadavg: 4.00 4.00 3.95 5/183 12401
/proc/meminfo: memFree=27064848/32873844 swapFree=7124/7124
[pid=12339] ppid=12337 vsize=375624 CPUtime=1800.02 cores=0,2,4,6
/proc/12339/stat : 12339 (pwbo2.0) S 12337 12339 10899 0 -1 4202496 70158 0 0 0 179882 120 0 0 20 0 3 0 275734006 384638976 71217 33554432000 4194304 5965102 140733337696016 140733337695536 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12339/statm: 93906 71217 207 433 0 93470 0
[pid=12339/tid=12341] ppid=12337 vsize=375624 CPUtime=897.83 cores=0,2,4,6
/proc/12339/task/12341/stat : 12341 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 35969 0 0 0 89725 58 0 0 20 0 3 0 275734008 384638976 71217 33554432000 4194304 5965102 140733337696016 140408312915768 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12339/tid=12342] ppid=12337 vsize=375624 CPUtime=897.83 cores=0,2,4,6
/proc/12339/task/12342/stat : 12342 (pwbo2.0) R 12337 12339 10899 0 -1 4202560 32931 0 0 0 89696 87 0 0 20 0 3 0 275734008 384638976 71217 33554432000 4194304 5965102 140733337696016 140408302426424 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 375624

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 12339 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=228235
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=482774
# CPU time returned by wait4() is 1795.71
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.218
CPU time (s): 1800.02
CPU user time (s): 1798.82
CPU system time (s): 1.2
CPU usage (%): 199.954
Max. virtual memory (cumulated for all children) (KiB): 379928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.23
system time used= 1.48277
maximum resident set size= 284880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70161
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= 230
involuntary context switches= 2004

runsolver used 2.17367 second user time and 4.87326 second system time

The end