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-3704326-1338094131/watcher-3704326-1338094131 -o /tmp/evaluation-result-3704326-1338094131/solver-3704326-1338094131 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704326-1338094131.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: 2.08 2.02 1.98 2/177 19634
/proc/meminfo: memFree=28885664/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) R 19632 19634 17458 0 -1 4202496 441 0 0 0 0 0 0 0 20 0 1 0 275537628 8908800 394 33554432000 4194304 5965102 140734520628352 140737389458520 4396379 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 2175 395 167 433 0 483 0
[startup+0.0662989 s]
/proc/loadavg: 2.08 2.02 1.98 2/177 19634
/proc/meminfo: memFree=28885664/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=17404 CPUtime=0.05 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) R 19632 19634 17458 0 -1 4202496 2630 0 0 0 5 0 0 0 20 0 1 0 275537628 17821696 2550 33554432000 4194304 5965102 140734520628352 140737389458520 4350598 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 4351 2551 343 433 0 2659 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17404
[startup+0.100275 s]
/proc/loadavg: 2.08 2.02 1.98 2/177 19634
/proc/meminfo: memFree=28885664/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=18752 CPUtime=0.08 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) R 19632 19634 17458 0 -1 4202496 3054 0 0 0 8 0 0 0 20 0 1 0 275537628 19202048 2974 33554432000 4194304 5965102 140734520628352 140737389458520 5156858 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 4688 2974 452 433 0 2996 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18752
[startup+0.300225 s]
/proc/loadavg: 2.08 2.02 1.98 2/177 19634
/proc/meminfo: memFree=28885664/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=29096 CPUtime=0.29 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) R 19632 19634 17458 0 -1 4202496 6346 0 0 0 28 1 0 0 20 0 1 0 275537628 29794304 5958 33554432000 4194304 5965102 140734520628352 140734520625768 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 7274 5959 1076 433 0 5582 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29096
[startup+0.700281 s]
/proc/loadavg: 2.08 2.02 1.98 2/177 19634
/proc/meminfo: memFree=28885664/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=112880 CPUtime=0.69 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 18674 0 0 0 65 4 0 0 20 0 2 0 275537628 115589120 15390 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 28220 15390 191 433 0 27784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112880
[startup+1.5003 s]
/proc/loadavg: 2.08 2.02 1.98 3/179 19636
/proc/meminfo: memFree=28825424/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=112880 CPUtime=1.49 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 18674 0 0 0 145 4 0 0 20 0 2 0 275537628 115589120 15390 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 28220 15390 191 433 0 27784 0
[pid=19634/tid=19636] ppid=19632 vsize=112880 CPUtime=1.06 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 9758 0 0 0 104 2 0 0 20 0 2 0 275537671 115589120 15390 33554432000 4194304 5965102 140734520628352 140702733163288 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112880
[startup+3.10028 s]
/proc/loadavg: 2.08 2.02 1.98 3/179 19636
/proc/meminfo: memFree=28824548/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=112880 CPUtime=3.09 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 18917 0 0 0 305 4 0 0 20 0 2 0 275537628 115589120 15633 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 28220 15633 191 433 0 27784 0
[pid=19634/tid=19636] ppid=19632 vsize=112880 CPUtime=2.66 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 10001 0 0 0 264 2 0 0 20 0 2 0 275537671 115589120 15633 33554432000 4194304 5965102 140734520628352 140702733162488 4401149 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112880
[startup+6.30028 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 19636
/proc/meminfo: memFree=28820152/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=112880 CPUtime=6.29 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 19747 0 0 0 625 4 0 0 20 0 2 0 275537628 115589120 16463 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 28220 16463 191 433 0 27784 0
[pid=19634/tid=19636] ppid=19632 vsize=112880 CPUtime=5.84 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 10831 0 0 0 582 2 0 0 20 0 2 0 275537671 115589120 16463 33554432000 4194304 5965102 140734520628352 140702733162424 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112880
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 19636
/proc/meminfo: memFree=28812548/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=112880 CPUtime=12.69 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 21183 0 0 0 1264 5 0 0 20 0 2 0 275537628 115589120 17899 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 28220 17899 191 433 0 27784 0
[pid=19634/tid=19636] ppid=19632 vsize=112880 CPUtime=12.22 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 12267 0 0 0 1220 2 0 0 20 0 2 0 275537671 115589120 17899 33554432000 4194304 5965102 140734520628352 140702733162424 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112880
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 1.98 3/179 19636
/proc/meminfo: memFree=28801796/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=112880 CPUtime=25.49 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 23892 0 0 0 2542 7 0 0 20 0 2 0 275537628 115589120 20608 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 28220 20608 191 433 0 27784 0
[pid=19634/tid=19636] ppid=19632 vsize=112880 CPUtime=24.99 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 14976 0 0 0 2495 4 0 0 20 0 2 0 275537671 115589120 20608 33554432000 4194304 5965102 140734520628352 140702733162296 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112880
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 1.98 3/179 19636
/proc/meminfo: memFree=28774628/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=178416 CPUtime=51.08 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 28010 0 0 0 5098 10 0 0 20 0 2 0 275537628 182697984 24726 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 44604 24726 191 433 0 44168 0
[pid=19634/tid=19636] ppid=19632 vsize=178416 CPUtime=50.53 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 19094 0 0 0 5045 8 0 0 20 0 2 0 275537671 182697984 24726 33554432000 4194304 5965102 140734520628352 140702733162536 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 178416
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 1.99 3/180 19639
/proc/meminfo: memFree=28750716/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=178416 CPUtime=102.25 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 31811 0 0 0 10212 13 0 0 20 0 2 0 275537628 182697984 29051 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 44604 29051 191 433 0 44168 0
[pid=19634/tid=19636] ppid=19632 vsize=178416 CPUtime=101.58 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 22895 0 0 0 10146 12 0 0 20 0 2 0 275537671 182697984 29051 33554432000 4194304 5965102 140734520628352 140702733162296 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 178416
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/179 19640
/proc/meminfo: memFree=28702184/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=178416 CPUtime=162.23 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 40995 0 0 0 16204 19 0 0 20 0 2 0 275537628 182697984 38404 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 44604 38404 191 433 0 44168 0
[pid=19634/tid=19636] ppid=19632 vsize=178416 CPUtime=161.41 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 32079 0 0 0 16122 19 0 0 20 0 2 0 275537671 182697984 38404 33554432000 4194304 5965102 140734520628352 140702733162488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 178416
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/179 19640
/proc/meminfo: memFree=28665464/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=246384 CPUtime=222.21 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 45254 0 0 0 22197 24 0 0 20 0 2 0 275537628 252297216 43179 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 61596 43179 191 433 0 61160 0
[pid=19634/tid=19636] ppid=19632 vsize=246384 CPUtime=221.25 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 36338 0 0 0 22100 25 0 0 20 0 2 0 275537671 252297216 43179 33554432000 4194304 5965102 140734520628352 140702733162296 4401462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 246384
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 19640
/proc/meminfo: memFree=28651528/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=246384 CPUtime=282.19 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 45632 0 0 0 28195 24 0 0 20 0 2 0 275537628 252297216 43573 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 61596 43573 191 433 0 61160 0
[pid=19634/tid=19636] ppid=19632 vsize=246384 CPUtime=281.08 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 36716 0 0 0 28082 26 0 0 20 0 2 0 275537671 252297216 43573 33554432000 4194304 5965102 140734520628352 140702733162296 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 246384
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 19640
/proc/meminfo: memFree=28639468/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=246384 CPUtime=342.18 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 47235 0 0 0 34193 25 0 0 20 0 2 0 275537628 252297216 45176 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 61596 45176 191 433 0 61160 0
[pid=19634/tid=19636] ppid=19632 vsize=246384 CPUtime=340.93 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 38319 0 0 0 34065 28 0 0 20 0 2 0 275537671 252297216 45176 33554432000 4194304 5965102 140734520628352 140702733162296 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 246384
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19640
/proc/meminfo: memFree=28600088/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=246384 CPUtime=402.17 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 53691 0 0 0 40186 31 0 0 20 0 2 0 275537628 252297216 51667 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 61596 51667 191 433 0 61160 0
[pid=19634/tid=19636] ppid=19632 vsize=246384 CPUtime=400.77 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 44775 0 0 0 40043 34 0 0 20 0 2 0 275537671 252297216 51667 33554432000 4194304 5965102 140734520628352 140702733162488 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 246384
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19640
/proc/meminfo: memFree=28566192/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=246384 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20141
/proc/meminfo: memFree=28439320/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=446032 CPUtime=1421.95 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 102524 0 0 0 142118 77 0 0 20 0 2 0 275537628 456736768 101197 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 111508 101197 191 433 0 111072 0
[pid=19634/tid=19636] ppid=19632 vsize=446032 CPUtime=1418.11 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 93608 0 0 0 141716 95 0 0 20 0 2 0 275537671 456736768 101197 33554432000 4194304 5965102 140734520628352 140702733162536 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 446032
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20141
/proc/meminfo: memFree=28407292/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=446032 CPUtime=1481.91 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 105489 0 0 0 148111 80 0 0 20 0 2 0 275537628 456736768 104262 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 111508 104262 191 433 0 111072 0
[pid=19634/tid=19636] ppid=19632 vsize=446032 CPUtime=1477.93 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 96573 0 0 0 147694 99 0 0 20 0 2 0 275537671 456736768 104262 33554432000 4194304 5965102 140734520628352 140702733162296 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 446032
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20141
/proc/meminfo: memFree=28377740/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=446032 CPUtime=1541.89 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 108444 0 0 0 154107 82 0 0 20 0 2 0 275537628 456736768 107212 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 111508 107212 191 433 0 111072 0
[pid=19634/tid=19636] ppid=19632 vsize=446032 CPUtime=1537.77 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 99528 0 0 0 153674 103 0 0 20 0 2 0 275537671 456736768 107212 33554432000 4194304 5965102 140734520628352 140702733162488 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 446032
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20141
/proc/meminfo: memFree=28343952/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1601.88 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 111152 0 0 0 160104 84 0 0 20 0 2 0 275537628 523845632 109920 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 109920 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1597.61 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 102236 0 0 0 159655 106 0 0 20 0 2 0 275537671 523845632 109920 33554432000 4194304 5965102 140734520628352 140702733162488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 511568
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20141
/proc/meminfo: memFree=28323244/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1661.87 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 113734 0 0 0 166100 87 0 0 20 0 2 0 275537628 523845632 112502 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 112502 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1657.46 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 104818 0 0 0 165636 110 0 0 20 0 2 0 275537671 523845632 112502 33554432000 4194304 5965102 140734520628352 140702733162296 4401058 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 511568
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28291436/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1721.86 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 116194 0 0 0 172097 89 0 0 20 0 2 0 275537628 523845632 114962 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 114962 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1717.31 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 107278 0 0 0 171618 113 0 0 20 0 2 0 275537671 523845632 114962 33554432000 4194304 5965102 140734520628352 140702733162488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 511568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28254128/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1781.86 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 118669 0 0 0 178094 92 0 0 20 0 2 0 275537628 523845632 117437 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 117437 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1777.15 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 109753 0 0 0 177600 115 0 0 20 0 2 0 275537671 523845632 117437 33554432000 4194304 5965102 140734520628352 140702733162536 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 511568
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 20142
/proc/meminfo: memFree=28251648/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1791.46 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119073 0 0 0 179054 92 0 0 20 0 2 0 275537628 523845632 117841 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 117841 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1786.74 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110157 0 0 0 178557 117 0 0 20 0 2 0 275537671 523845632 117841 33554432000 4194304 5965102 140734520628352 140702733162536 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 511568
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28251152/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1794.66 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119209 0 0 0 179374 92 0 0 20 0 2 0 275537628 523845632 117977 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 117977 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1789.93 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110293 0 0 0 178876 117 0 0 20 0 2 0 275537671 523845632 117977 33554432000 4194304 5965102 140734520628352 140702733162536 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 511568
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28250656/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1797.85 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119350 0 0 0 179693 92 0 0 20 0 2 0 275537628 523845632 118118 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 118118 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1793.11 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110434 0 0 0 179194 117 0 0 20 0 2 0 275537671 523845632 118118 33554432000 4194304 5965102 140734520628352 140702733162536 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 511568
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28250532/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1798.65 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119380 0 0 0 179773 92 0 0 20 0 2 0 275537628 523845632 118148 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 118148 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1793.91 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110464 0 0 0 179274 117 0 0 20 0 2 0 275537671 523845632 118148 33554432000 4194304 5965102 140734520628352 140702733162536 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 511568
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28250036/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1799.05 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119398 0 0 0 179813 92 0 0 20 0 2 0 275537628 523845632 118166 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 118166 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1794.32 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110482 0 0 0 179315 117 0 0 20 0 2 0 275537671 523845632 118166 33554432000 4194304 5965102 140734520628352 140702733162488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 511568
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28250036/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1799.45 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119417 0 0 0 179853 92 0 0 20 0 2 0 275537628 523845632 118185 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 118185 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1794.71 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110501 0 0 0 179354 117 0 0 20 0 2 0 275537671 523845632 118185 33554432000 4194304 5965102 140734520628352 140702733162488 4401462 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 511568
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20142
/proc/meminfo: memFree=28250036/32873648 swapFree=6604/6604
[pid=19634] ppid=19632 vsize=511568 CPUtime=1799.55 cores=0,2,4,6
/proc/19634/stat : 19634 (pwbo2.0) S 19632 19634 17458 0 -1 4202496 119422 0 0 0 179863 92 0 0 20 0 2 0 275537628 523845632 118190 33554432000 4194304 5965102 140734520628352 140734520627872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19634/statm: 127892 118190 191 433 0 127456 0
[pid=19634/tid=19636] ppid=19632 vsize=511568 CPUtime=1794.81 cores=0,2,4,6
/proc/19634/task/19636/stat : 19636 (pwbo2.0) R 19632 19634 17458 0 -1 4202560 110506 0 0 0 179364 117 0 0 20 0 2 0 275537671 523845632 118190 33554432000 4194304 5965102 140734520628352 140702733162488 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 511568
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19634 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=51262
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=210815
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.55
CPU user time (s): 1798.63
CPU system time (s): 0.92
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 511568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.05
system time used= 1.21081
maximum resident set size= 472772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119425
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= 186
involuntary context switches= 1927
runsolver used 3.57646 second user time and 9.40957 second system time
The end