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-3703563-1338089146/watcher-3703563-1338089146 -o /tmp/evaluation-result-3703563-1338089146/solver-3703563-1338089146 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703563-1338089146.opb
running on 4 cores: 1,3,5,7
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.58 3/172 4067
/proc/meminfo: memFree=30307632/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=5692 CPUtime=0 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) R 4064 4067 3829 0 -1 4202496 531 0 0 0 0 0 0 0 20 0 1 0 275038723 5828608 483 33554432000 4194304 5965102 140737116482752 140735746035768 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 1423 484 170 433 0 763 0
[startup+0.0253049 s]
/proc/loadavg: 3.84 3.97 3.58 3/172 4067
/proc/meminfo: memFree=30307632/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=7388 CPUtime=0.02 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) R 4064 4067 3829 0 -1 4202496 1009 0 0 0 2 0 0 0 20 0 1 0 275038723 7565312 961 33554432000 4194304 5965102 140737116482752 140735746035768 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 1847 962 232 433 0 1187 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7388
[startup+0.100152 s]
/proc/loadavg: 3.84 3.97 3.58 3/172 4067
/proc/meminfo: memFree=30307632/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=174092 CPUtime=0.1 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 4789 0 0 0 10 0 0 0 20 0 3 0 275038723 178270208 4484 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 43523 4484 198 433 0 43087 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 174092
[startup+0.300185 s]
/proc/loadavg: 3.84 3.97 3.58 3/172 4067
/proc/meminfo: memFree=30307632/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=173948 CPUtime=0.5 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 9323 0 0 0 48 2 0 0 20 0 3 0 275038723 178122752 7195 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 43487 7195 200 433 0 43051 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 173948
[startup+0.700169 s]
/proc/loadavg: 3.84 3.97 3.58 3/172 4067
/proc/meminfo: memFree=30307632/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=173948 CPUtime=1.31 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 13658 0 0 0 127 4 0 0 20 0 3 0 275038723 178122752 11262 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 43487 11262 200 433 0 43051 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 173948
[startup+1.50028 s]
/proc/loadavg: 3.84 3.97 3.58 5/181 4120
/proc/meminfo: memFree=30229012/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=173948 CPUtime=2.9 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 22194 0 0 0 284 6 0 0 20 0 3 0 275038723 178122752 18301 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 43487 18301 200 433 0 43051 0
[pid=4067/tid=4079] ppid=4064 vsize=173948 CPUtime=1.4 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 13855 0 0 0 135 5 0 0 20 0 3 0 275038731 178122752 18301 33554432000 4194304 5965102 140737116482752 140503003453784 4420216 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=173948 CPUtime=1.4 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 4799 0 0 0 140 0 0 0 20 0 3 0 275038731 178122752 18301 33554432000 4194304 5965102 140737116482752 140502992964248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 173948
[startup+3.10029 s]
/proc/loadavg: 3.84 3.97 3.58 5/181 4120
/proc/meminfo: memFree=30188696/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=239484 CPUtime=6.1 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 32387 0 0 0 601 9 0 0 20 0 3 0 275038723 245231616 28240 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 59871 28240 200 433 0 59435 0
[pid=4067/tid=4079] ppid=4064 vsize=239484 CPUtime=3 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 23160 0 0 0 292 8 0 0 20 0 3 0 275038731 245231616 28240 33554432000 4194304 5965102 140737116482752 140503003453992 4381840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=239484 CPUtime=3 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 5687 0 0 0 300 0 0 0 20 0 3 0 275038731 245231616 28240 33554432000 4194304 5965102 140737116482752 140502992963896 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 239484
[startup+6.3003 s]
/proc/loadavg: 3.85 3.97 3.59 5/181 4120
/proc/meminfo: memFree=30116284/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=305020 CPUtime=12.5 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 46560 0 0 0 1239 11 0 0 20 0 3 0 275038723 312340480 41818 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 76255 41818 200 433 0 75819 0
[pid=4067/tid=4079] ppid=4064 vsize=305020 CPUtime=6.2 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 36418 0 0 0 611 9 0 0 20 0 3 0 275038731 312340480 41818 33554432000 4194304 5965102 140737116482752 140503003453752 5143165 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=305020 CPUtime=6.21 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 6602 0 0 0 619 2 0 0 20 0 3 0 275038731 312340480 41818 33554432000 4194304 5965102 140737116482752 140502992964000 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 305020
[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.59 5/181 4120
/proc/meminfo: memFree=30001780/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=370424 CPUtime=25.3 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 72139 0 0 0 2514 16 0 0 20 0 3 0 275038723 379314176 64169 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 92606 64169 200 433 0 92170 0
[pid=4067/tid=4079] ppid=4064 vsize=370424 CPUtime=12.6 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 60271 0 0 0 1246 14 0 0 20 0 3 0 275038731 379314176 64169 33554432000 4194304 5965102 140737116482752 140503003453784 5139817 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=370424 CPUtime=12.6 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 8328 0 0 0 1258 2 0 0 20 0 3 0 275038731 379314176 64169 33554432000 4194304 5965102 140737116482752 140502992963928 4410387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 370424
[startup+25.5003 s]
/proc/loadavg: 3.89 3.97 3.59 5/181 4120
/proc/meminfo: memFree=29893380/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=436356 CPUtime=50.88 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 98140 0 0 0 5067 21 0 0 20 0 3 0 275038723 446828544 83189 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 109089 83189 200 433 0 108653 0
[pid=4067/tid=4079] ppid=4064 vsize=436356 CPUtime=25.4 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 85169 0 0 0 2521 19 0 0 20 0 3 0 275038731 446828544 83189 33554432000 4194304 5965102 140737116482752 140503003453976 5135696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=436356 CPUtime=25.4 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 9431 0 0 0 2537 3 0 0 20 0 3 0 275038731 446828544 83189 33554432000 4194304 5965102 140737116482752 140502992964000 4404416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 436356
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.60 5/181 4120
/proc/meminfo: memFree=29846368/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=437148 CPUtime=102.06 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 106886 0 0 0 10180 26 0 0 20 0 3 0 275038723 447639552 91521 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 109287 91521 200 433 0 108851 0
[pid=4067/tid=4079] ppid=4064 vsize=437148 CPUtime=50.99 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 90638 0 0 0 5079 20 0 0 20 0 3 0 275038731 447639552 91521 33554432000 4194304 5965102 140737116482752 140503003453976 4393747 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=437148 CPUtime=51 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 12708 0 0 0 5093 7 0 0 20 0 3 0 275038731 447639552 91521 33554432000 4194304 5965102 140737116482752 140502992963656 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 437148
[startup+102.307 s]
/proc/loadavg: 4.04 3.99 3.63 5/181 4120
/proc/meminfo: memFree=29753040/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=504420 CPUtime=204.45 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 121502 0 0 0 20407 38 0 0 20 0 3 0 275038723 516526080 106133 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 126105 106133 200 433 0 125669 0
[pid=4067/tid=4079] ppid=4064 vsize=504420 CPUtime=102.19 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 95783 0 0 0 10195 24 0 0 20 0 3 0 275038731 516526080 106133 33554432000 4194304 5965102 140737116482752 140503003453240 4401149 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=504420 CPUtime=102.2 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 22179 0 0 0 10203 17 0 0 20 0 3 0 275038731 516526080 106133 33554432000 4194304 5965102 140737116482752 140502992963656 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 204.45
Current children cumulated vsize (KiB) 504420
[startup+162.3 s]
/proc/loadavg: 4.01 3.99 3.65 5/181 4121
/proc/meminfo: memFree=29685000/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=571356 CPUtime=324.41 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 128331 0 0 0 32396 45 0 0 20 0 3 0 275038723 585068544 112410 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 142839 112410 200 433 0 142403 0
[pid=4067/tid=4079] ppid=4064 vsize=571356 CPUtime=162.19 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 98654 0 0 0 16193 26 0 0 20 0 3 0 275038731 585068544 112410 33554432000 4194304 5965102 140737116482752 140503003453784 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=571356 CPUtime=162.17 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 26137 0 0 0 16194 23 0 0 20 0 3 0 275038731 585068544 112410 33554432000 4194304 5965102 140737116482752 140502992963656 4404748 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 324.41
Current children cumulated vsize (KiB) 571356
[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.67 5/181 4121
/proc/meminfo: memFree=29654348/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=573420 CPUtime=444.38 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 131118 0 0 0 44390 48 0 0 20 0 3 0 275038723 587182080 115229 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 143355 115229 200 433 0 142919 0
[pid=4067/tid=4079] ppid=4064 vsize=573420 CPUtime=222.19 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 98892 0 0 0 22192 27 0 0 20 0 3 0 275038731 587182080 115229 33554432000 4194304 5965102 140737116482752 140503003453344 4401556 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=573420 CPUtime=222.16 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 28686 0 0 0 22188 28 0 0 20 0 3 0 275038731 587182080 115229 33554432000 4194304 5965102 140737116482752 140502992963656 4404552 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 573420
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.68 5/182 4124
/proc/meminfo: memFree=29603332/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=574424 CPUtime=564.36 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 135081 0 0 0 56385 51 0 0 20 0 3 0 275038723 588210176 119461 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 143606 119461 200 433 0 143170 0
[pid=4067/tid=4079] ppid=4064 vsize=574424 CPUtime=282.19 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 99708 0 0 0 28190 29 0 0 20 0 3 0 275038731 588210176 119461 33554432000 4194304 5965102 140737116482752 140503003454280 4379871 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=574424 CPUtime=282.16 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 31833 0 0 0 28184 32 0 0 20 0 3 0 275038731 588210176 119461 33554432000 4194304 5965102 140737116482752 140502992963656 4400992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 564.36
Current children cumulated vsize (KiB) 574424
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.70 5/181 4124
/proc/meminfo: memFree=29502928/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=641024 CPUtime=684.35 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 154147 0 0 0 68361 74 0 0 20 0 3 0 275038723 656408576 138473 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 160256 138473 200 433 0 159820 0
[pid=4067/tid=4079] ppid=4064 vsize=641024 CPUtime=342.2 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 100837 0 0 0 34190 30 0 0 20 0 3 0 275038731 656408576 138473 33554432000 4194304 5965102 140737116482752 140503003454280 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=641024 CPUtime=342.16 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 49770 0 0 0 34161 55 0 0 20 0 3 0 275038731 656408576 138473 33554432000 4194304 5965102 140737116482752 140502992963896 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 684.35
Current children cumulated vsize (KiB) 641024
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.72 5/181 4124
/proc/meminfo: memFree=29437096/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=641624 CPUtime=804.32 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 160527 0 0 0 80355 77 0 0 20 0 3 0 275038723 657022976 144985 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 160406 144985 200 433 0 159970 0
[pid=4067/tid=4079] ppid=4064 vsize=641624 CPUtime=402.2 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 107043 0 0 0 40186 34 0 0 20 0 3 0 275038731 657022976 144985 33554432000 4194304 5965102 140737116482752 140503003453976 4401582 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=641624 CPUtime=402.15 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 49944 0 0 0 40159 56 0 0 20 0 3 0 275038731 657022976 144985 33554432000 4194304 5965102 140737116482752 140502992963656 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 641624
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.73 5/181 4125
/proc/meminfo: memFree=29401412/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=642492 CPUtime=924.26 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 161030 0 0 0 92348 78 0 0 20 0 3 0 275038723 657911808 145269 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 160623 145269 200 433 0 160187 0
[pid=4067/tid=4079] ppid=4064 vsize=642492 CPUtime=462.2 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 107307 0 0 0 46185 35 0 0 20 0 3 0 275038731 657911808 145269 33554432000 4194304 5965102 140737116482752 140503003454392 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=642492 CPUtime=462.11 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 50183 0 0 0 46153 58 0 0 20 0 3 0 275038731 657911808 145269 33554432000 4194304 5965102 140737116482752 140502992963656 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 924.26
Current children cumulated vsize (KiB) 642492
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.75 5/181 4125
/proc/meminfo: memFree=29378872/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=644856 CPUtime=1044.19 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 164203 0 0 0 104338 81 0 0 20 0 3 0 275038723 660332544 147565 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 161214 147565 200 433 0 160778 0
[pid=4067/tid=4079] ppid=4064 vsize=644856 CPUtime=522.16 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 108246 0 0 0 52181 35 0 0 20 0 3 0 275038731 660332544 147565 33554432000 4194304 5965102 140737116482752 140503003454280 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=644856 CPUtime=522.11 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 52417 0 0 0 52150 61 0 0 20 0 3 0 275038731 660332544 147565 33554432000 4194304 5965102 140737116482752 140502992963944 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1044.19
Current children cumulated vsize (KiB) 644856
[startup+582.3 s]
/proc/loadavg: 4.08 4.00 3.76 5/181 4125
/proc/meminfo: memFree=29320160/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=711096 CPUtime=1164.17 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 166301 0 0 0 116334 83 0 0 20 0 3 0 275038723 728162304 149879 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 177774 149879 200 433 0 177338 0
[pid=4067/tid=4079] ppid=4064 vsize=711096 CPUtime=582.16 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 110184 0 0 0 58179 37 0 0 20 0 3 0 275038731 728162304 149879 33554432000 4194304 5965102 140737116482752 140503003453192 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=711096 CPUtime=582.11 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 52577 0 0 0 58149 62 0 0 20 0 3 0 275038731 728162304 149879 33554432000 4194304 5965102 140737116482752 140502992963656 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1164.17
Current children cumulated vsize (KiB) 711096
[startup+642.3 s]
/proc/loadavg: 4.03 4.00 3.77 5/181 4125
/proc/meminfo: memFree=29283708/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=711804 CPUtime=1284.16 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 167915 0 0 0 128333 83 0 0 20 0 3 0 275038723 728887296 151491 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 177951 151491 200 433 0 177515 0
[pid=4067/tid=4079] ppid=4064 vsize=711804 CPUtime=642.17 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 111641 0 0 0 64178 39 0 0 20 0 3 0 275038731 728887296 151491 33554432000 4194304 5965102 140737116482752 140503003453976 4401050 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=711804 CPUtime=642.12 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 52734 0 0 0 64149 63 0 0 20 0 3 0 275038731 728887296 151491 33554432000 4194304 5965102 140737116482752 140502992963656 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1284.16
Current children cumulated vsize (KiB) 711804
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.79 5/181 4125
/proc/meminfo: memFree=29240680/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=712960 CPUtime=1404.13 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 173239 0 0 0 140326 87 0 0 20 0 3 0 275038723 730071040 156814 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 178240 156814 200 433 0 177804 0
[pid=4067/tid=4079] ppid=4064 vsize=712960 CPUtime=702.17 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 116706 0 0 0 70174 43 0 0 20 0 3 0 275038731 730071040 156814 33554432000 4194304 5965102 140737116482752 140503003453240 4401137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=712960 CPUtime=702.11 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 52993 0 0 0 70147 64 0 0 20 0 3 0 275038731 730071040 156814 33554432000 4194304 5965102 140737116482752 140502992963656 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1404.13
Current children cumulated vsize (KiB) 712960
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.80 5/181 4126
/proc/meminfo: memFree=29194596/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=780564 CPUtime=1524.13 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 184403 0 0 0 152313 100 0 0 20 0 3 0 275038723 799297536 167975 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 195141 167975 200 433 0 194705 0
[pid=4067/tid=4079] ppid=4064 vsize=780564 CPUtime=762.18 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 127744 0 0 0 76161 57 0 0 20 0 3 0 275038731 799297536 167975 33554432000 4194304 5965102 140737116482752 140503003453432 4401096 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=780564 CPUtime=762.12 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 53119 0 0 0 76146 66 0 0 20 0 3 0 275038731 799297536 167975 33554432000 4194304 5965102 140737116482752 140502992963656 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1524.13
Current children cumulated vsize (KiB) 780564
[startup+822.3 s]
/proc/loadavg: 4.06 4.02 3.81 5/181 4126
/proc/meminfo: memFree=29159288/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=781292 CPUtime=1644.1 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 190859 0 0 0 164301 109 0 0 20 0 3 0 275038723 800043008 174416 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 195323 174416 200 433 0 194887 0
[pid=4067/tid=4079] ppid=4064 vsize=781292 CPUtime=822.17 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 130034 0 0 0 82158 59 0 0 20 0 3 0 275038731 800043008 174416 33554432000 4194304 5965102 140737116482752 140503003453304 4400952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=781292 CPUtime=822.11 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 57285 0 0 0 82136 75 0 0 20 0 3 0 275038731 800043008 174416 33554432000 4194304 5965102 140737116482752 140502992963656 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.1
Current children cumulated vsize (KiB) 781292
[startup+882.3 s]
/proc/loadavg: 4.02 4.01 3.82 5/182 4129
/proc/meminfo: memFree=29089884/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=782036 CPUtime=1764.08 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 198019 0 0 0 176291 117 0 0 20 0 3 0 275038723 800804864 181559 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 195509 181559 200 433 0 195073 0
[pid=4067/tid=4079] ppid=4064 vsize=782036 CPUtime=882.18 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 136993 0 0 0 88150 68 0 0 20 0 3 0 275038731 800804864 181559 33554432000 4194304 5965102 140737116482752 140503003453432 4390200 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=782036 CPUtime=882.11 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 57486 0 0 0 88135 76 0 0 20 0 3 0 275038731 800804864 181559 33554432000 4194304 5965102 140737116482752 140502992963656 4390624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1764.08
Current children cumulated vsize (KiB) 782036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.08 4.02 3.83 5/182 4129
/proc/meminfo: memFree=29062356/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=847720 CPUtime=1800.08 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 204791 0 0 0 179886 122 0 0 20 0 3 0 275038723 868065280 188330 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 211930 188330 200 433 0 211494 0
[pid=4067/tid=4079] ppid=4064 vsize=847720 CPUtime=900.18 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 143755 0 0 0 89945 73 0 0 20 0 3 0 275038731 868065280 188330 33554432000 4194304 5965102 140737116482752 140503003453240 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=847720 CPUtime=900.12 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 57496 0 0 0 89936 76 0 0 20 0 3 0 275038731 868065280 188330 33554432000 4194304 5965102 140737116482752 140502992963656 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 847720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.08 4.02 3.83 5/182 4129
/proc/meminfo: memFree=29062356/32873648 swapFree=7368/7368
[pid=4067] ppid=4064 vsize=847720 CPUtime=1800.08 cores=1,3,5,7
/proc/4067/stat : 4067 (pwbo2.0) S 4064 4067 3829 0 -1 4202496 204791 0 0 0 179886 122 0 0 20 0 3 0 275038723 868065280 188330 33554432000 4194304 5965102 140737116482752 140737116482272 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4067/statm: 211930 188330 200 433 0 211494 0
[pid=4067/tid=4079] ppid=4064 vsize=847720 CPUtime=900.18 cores=1,3,5,7
/proc/4067/task/4079/stat : 4079 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 143755 0 0 0 89945 73 0 0 20 0 3 0 275038731 868065280 188330 33554432000 4194304 5965102 140737116482752 140503003453240 5137076 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4067/tid=4080] ppid=4064 vsize=847720 CPUtime=900.12 cores=1,3,5,7
/proc/4067/task/4080/stat : 4080 (pwbo2.0) R 4064 4067 3829 0 -1 4202560 57496 0 0 0 89936 76 0 0 20 0 3 0 275038731 868065280 188330 33554432000 4194304 5965102 140737116482752 140502992963656 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 847720
Child status: 0
Real time (s): 900.326
CPU time (s): 1800.43
CPU user time (s): 1798.89
CPU system time (s): 1.53677
CPU usage (%): 199.975
Max. virtual memory (cumulated for all children) (KiB): 847720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.53677
maximum resident set size= 753328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204793
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= 309
involuntary context switches= 1849
runsolver used 1.83172 second user time and 5.11622 second system time
The end