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-3704365-1338098772/watcher-3704365-1338098772 -o /tmp/evaluation-result-3704365-1338098772/solver-3704365-1338098772 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704365-1338098772.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: 2.00 2.02 2.00 3/177 7463
/proc/meminfo: memFree=28173936/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=15028 CPUtime=0 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) R 7461 7463 5668 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 276004040 15388672 265 33554432000 4194304 5965102 140734154757104 140733576055320 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 3757 265 173 433 0 349 0
[startup+0.0390061 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7463
/proc/meminfo: memFree=28173936/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=16656 CPUtime=0.03 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) R 7461 7463 5668 0 -1 4202496 824 0 0 0 3 0 0 0 20 0 1 0 276004040 17055744 776 33554432000 4194304 5965102 140734154757104 140733576055320 4351027 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 4164 776 290 433 0 756 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16656
[startup+0.100268 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7463
/proc/meminfo: memFree=28173936/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=19612 CPUtime=0.09 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) R 7461 7463 5668 0 -1 4202496 1787 0 0 0 9 0 0 0 20 0 1 0 276004040 20082688 1706 33554432000 4194304 5965102 140734154757104 140733576055320 4351027 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 4903 1706 525 433 0 1495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19612
[startup+0.300234 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7463
/proc/meminfo: memFree=28173936/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=28544 CPUtime=0.28 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) R 7461 7463 5668 0 -1 4202496 4793 0 0 0 28 0 0 0 20 0 1 0 276004040 29229056 4647 33554432000 4194304 5965102 140734154757104 140734154755000 4350875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 7136 4647 1275 433 0 3728 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28544
[startup+0.700259 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 7463
/proc/meminfo: memFree=28173936/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=46008 CPUtime=0.69 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) R 7461 7463 5668 0 -1 4202496 10738 0 0 0 68 1 0 0 20 0 1 0 276004040 47112192 10463 33554432000 4194304 5965102 140734154757104 140734154755000 4350598 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 11502 10463 2781 433 0 8094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46008
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7465
/proc/meminfo: memFree=28096884/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=119452 CPUtime=1.48 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 24021 0 0 0 145 3 0 0 20 0 2 0 276004040 122318848 19960 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 29863 19960 190 433 0 29427 0
[pid=7463/tid=7465] ppid=7461 vsize=119452 CPUtime=0.69 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 11220 0 0 0 67 2 0 0 20 0 2 0 276004119 122318848 19960 33554432000 4194304 5965102 140734154757104 140096135325496 4404704 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 119452
[startup+3.10034 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7465
/proc/meminfo: memFree=28093784/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=119452 CPUtime=3.08 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 24336 0 0 0 305 3 0 0 20 0 2 0 276004040 122318848 20275 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 29863 20275 190 433 0 29427 0
[pid=7463/tid=7465] ppid=7461 vsize=119452 CPUtime=2.29 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 11535 0 0 0 227 2 0 0 20 0 2 0 276004119 122318848 20275 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 119452
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7465
/proc/meminfo: memFree=28088840/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=119452 CPUtime=6.28 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 25173 0 0 0 624 4 0 0 20 0 2 0 276004040 122318848 21112 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 29863 21112 190 433 0 29427 0
[pid=7463/tid=7465] ppid=7461 vsize=119452 CPUtime=5.49 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 12372 0 0 0 546 3 0 0 20 0 2 0 276004119 122318848 21112 33554432000 4194304 5965102 140734154757104 140096135325496 4404407 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 119452
[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7465
/proc/meminfo: memFree=28078240/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=119452 CPUtime=12.68 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 27250 0 0 0 1263 5 0 0 20 0 2 0 276004040 122318848 23189 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 29863 23189 190 433 0 29427 0
[pid=7463/tid=7465] ppid=7461 vsize=119452 CPUtime=11.89 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 14449 0 0 0 1185 4 0 0 20 0 2 0 276004119 122318848 23189 33554432000 4194304 5965102 140734154757104 140096135325736 4401659 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 119452
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 7465
/proc/meminfo: memFree=28060996/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=184988 CPUtime=25.48 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 30784 0 0 0 2541 7 0 0 20 0 2 0 276004040 189427712 26723 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 46247 26723 190 433 0 45811 0
[pid=7463/tid=7465] ppid=7461 vsize=184988 CPUtime=24.69 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 17983 0 0 0 2463 6 0 0 20 0 2 0 276004119 189427712 26723 33554432000 4194304 5965102 140734154757104 140096135325736 4222240 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 184988
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 7465
/proc/meminfo: memFree=28032180/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=184988 CPUtime=51.07 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 36634 0 0 0 5097 10 0 0 20 0 2 0 276004040 189427712 32570 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 46247 32570 190 433 0 45811 0
[pid=7463/tid=7465] ppid=7461 vsize=184988 CPUtime=50.29 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 23833 0 0 0 5019 10 0 0 20 0 2 0 276004119 189427712 32570 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 184988
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 7466
/proc/meminfo: memFree=27991004/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=184988 CPUtime=102.27 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 44487 0 0 0 10212 15 0 0 20 0 2 0 276004040 189427712 40420 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 46247 40420 190 433 0 45811 0
[pid=7463/tid=7465] ppid=7461 vsize=184988 CPUtime=101.49 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 31686 0 0 0 10134 15 0 0 20 0 2 0 276004119 189427712 40420 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 184988
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7505
/proc/meminfo: memFree=28427096/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=250524 CPUtime=162.24 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 51205 0 0 0 16205 19 0 0 20 0 2 0 276004040 256536576 47882 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 62631 47882 190 433 0 62195 0
[pid=7463/tid=7465] ppid=7461 vsize=250524 CPUtime=161.47 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 38404 0 0 0 16126 21 0 0 20 0 2 0 276004119 256536576 47882 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 250524
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7505
/proc/meminfo: memFree=28369792/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=254172 CPUtime=222.21 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 56412 0 0 0 22198 23 0 0 20 0 2 0 276004040 260272128 54288 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 63543 54288 190 433 0 63107 0
[pid=7463/tid=7465] ppid=7461 vsize=254172 CPUtime=221.43 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 43611 0 0 0 22118 25 0 0 20 0 2 0 276004119 260272128 54288 33554432000 4194304 5965102 140734154757104 140096135325688 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 254172
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7508
/proc/meminfo: memFree=28322292/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=319708 CPUtime=282.18 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 63265 0 0 0 28190 28 0 0 20 0 2 0 276004040 327380992 61136 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 79927 61136 190 433 0 79491 0
[pid=7463/tid=7465] ppid=7461 vsize=319708 CPUtime=281.41 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 50464 0 0 0 28109 32 0 0 20 0 2 0 276004119 327380992 61136 33554432000 4194304 5965102 140734154757104 140096135325496 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 319708
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7508
/proc/meminfo: memFree=28282040/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=321532 CPUtime=342.18 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 68193 0 0 0 34186 32 0 0 20 0 2 0 276004040 329248768 66064 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 80383 66064 190 433 0 79947 0
[pid=7463/tid=7465] ppid=7461 vsize=321532 CPUtime=341.41 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 55392 0 0 0 34105 36 0 0 20 0 2 0 276004119 329248768 66064 33554432000 4194304 5965102 140734154757104 140096135325688 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 321532
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7509
/proc/meminfo: memFree=28247104/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=321532 CPUtime=402.15 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 73404 0 0 0 40178 37 0 0 20 0 2 0 276004040 329248768 71836 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 80383 71836 190 433 0 79947 0
[pid=7463/tid=7465] ppid=7461 vsize=321532 CPUtime=401.4 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 60603 0 0 0 40098 42 0 0 20 0 2 0 276004119 329248768 71836 33554432000 4194304 5965102 140734154757104 140096135325496 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 321532
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7509
/proc/meminfo: memFree=28213356/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=387068 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 96599 0 0 0 130041 94 0 0 20 0 2 0 276004119 533372928 109237 33554432000 4194304 5965102 140734154757104 140096135325688 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 520872
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7515
/proc/meminfo: memFree=27910852/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1361.96 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 110686 0 0 0 136119 77 0 0 20 0 2 0 276004040 533372928 110783 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 110783 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1361.34 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 97885 0 0 0 136038 96 0 0 20 0 2 0 276004119 533372928 110783 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 520872
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7515
/proc/meminfo: memFree=27904056/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1421.95 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 110792 0 0 0 142118 77 0 0 20 0 2 0 276004040 533372928 111232 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 111232 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1421.33 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 97991 0 0 0 142036 97 0 0 20 0 2 0 276004119 533372928 111232 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 520872
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 7518
/proc/meminfo: memFree=27888304/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1481.93 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 110958 0 0 0 148116 77 0 0 20 0 2 0 276004040 533372928 111468 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 111468 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1481.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 98157 0 0 0 148034 98 0 0 20 0 2 0 276004119 533372928 111468 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 520872
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 7518
/proc/meminfo: memFree=27880128/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1541.93 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 111181 0 0 0 154116 77 0 0 20 0 2 0 276004040 533372928 111691 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 111691 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1541.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 98380 0 0 0 154033 99 0 0 20 0 2 0 276004119 533372928 111691 33554432000 4194304 5965102 140734154757104 140096135325496 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 520872
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 7518
/proc/meminfo: memFree=27869824/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1601.92 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 111271 0 0 0 160115 77 0 0 20 0 2 0 276004040 533372928 111940 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 111940 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1601.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 98470 0 0 0 160032 100 0 0 20 0 2 0 276004119 533372928 111940 33554432000 4194304 5965102 140734154757104 140096135325496 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 520872
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 7520
/proc/meminfo: memFree=27859220/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1661.91 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 111369 0 0 0 166114 77 0 0 20 0 2 0 276004040 533372928 112038 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 112038 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1661.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 98568 0 0 0 166031 101 0 0 20 0 2 0 276004119 533372928 112038 33554432000 4194304 5965102 140734154757104 140096135325496 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 520872
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27843236/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1721.9 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 113122 0 0 0 172110 80 0 0 20 0 2 0 276004040 533372928 113791 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 113791 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1721.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 100321 0 0 0 172027 105 0 0 20 0 2 0 276004119 533372928 113791 33554432000 4194304 5965102 140734154757104 140096135325688 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 520872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27833688/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1781.89 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 115402 0 0 0 178106 83 0 0 20 0 2 0 276004040 533372928 116071 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 116071 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1781.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 102601 0 0 0 178023 109 0 0 20 0 2 0 276004119 533372928 116071 33554432000 4194304 5965102 140734154757104 140096135325736 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 520872
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27830092/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1791.5 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116307 0 0 0 179065 85 0 0 20 0 2 0 276004040 533372928 116976 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 116976 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1790.92 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103506 0 0 0 178981 111 0 0 20 0 2 0 276004119 533372928 116976 33554432000 4194304 5965102 140734154757104 140096135325736 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 520872
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27829224/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1794.69 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116489 0 0 0 179384 85 0 0 20 0 2 0 276004040 533372928 117158 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 117158 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1794.12 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103688 0 0 0 179301 111 0 0 20 0 2 0 276004119 533372928 117158 33554432000 4194304 5965102 140734154757104 140096135325736 4389036 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 520872
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27828728/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1797.89 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116609 0 0 0 179704 85 0 0 20 0 2 0 276004040 533372928 117278 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 117278 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1797.32 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103808 0 0 0 179621 111 0 0 20 0 2 0 276004119 533372928 117278 33554432000 4194304 5965102 140734154757104 140096135325688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 520872
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27828480/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1798.68 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116651 0 0 0 179783 85 0 0 20 0 2 0 276004040 533372928 117320 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 117320 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1798.12 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103850 0 0 0 179700 112 0 0 20 0 2 0 276004119 533372928 117320 33554432000 4194304 5965102 140734154757104 140096135325688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 520872
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27828232/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1799.09 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116690 0 0 0 179824 85 0 0 20 0 2 0 276004040 533372928 117359 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 117359 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1798.52 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103889 0 0 0 179740 112 0 0 20 0 2 0 276004119 533372928 117359 33554432000 4194304 5965102 140734154757104 140096135325688 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 520872
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27828232/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1799.48 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116734 0 0 0 179863 85 0 0 20 0 2 0 276004040 533372928 117403 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 117403 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1798.92 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103933 0 0 0 179780 112 0 0 20 0 2 0 276004119 533372928 117403 33554432000 4194304 5965102 140734154757104 140096135325688 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 520872
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7520
/proc/meminfo: memFree=27828232/32873648 swapFree=6844/6844
[pid=7463] ppid=7461 vsize=520872 CPUtime=1799.58 cores=1,3,5,7
/proc/7463/stat : 7463 (pwbo2.0) S 7461 7463 5668 0 -1 4202496 116738 0 0 0 179873 85 0 0 20 0 2 0 276004040 533372928 117407 33554432000 4194304 5965102 140734154757104 140734154756624 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7463/statm: 130218 117407 190 433 0 129782 0
[pid=7463/tid=7465] ppid=7461 vsize=520872 CPUtime=1799.02 cores=1,3,5,7
/proc/7463/task/7465/stat : 7465 (pwbo2.0) R 7461 7463 5668 0 -1 4202560 103937 0 0 0 179790 112 0 0 20 0 2 0 276004119 533372928 117407 33554432000 4194304 5965102 140734154757104 140096135325688 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 520872
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.83
CPU user time (s): 1798.68
CPU system time (s): 1.14982
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 520872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.14982
maximum resident set size= 469648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116743
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= 192
involuntary context switches= 1984
runsolver used 6.62999 second user time and 16.9874 second system time
The end