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-3720439-1338511407/watcher-3720439-1338511407 -o /tmp/evaluation-result-3720439-1338511407/solver-3720439-1338511407 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720439-1338511407.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: 1.94 1.98 1.99 3/176 29749
/proc/meminfo: memFree=27825140/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 317264794 3313664 301 33554432000 134512640 134579096 4290662816 4290530116 4215620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 809 303 221 17 0 115 0

[startup+0.0374119 s]
/proc/loadavg: 1.94 1.98 1.99 3/176 29749
/proc/meminfo: memFree=27825140/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=4036 CPUtime=0.03 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 572 0 0 0 3 0 0 0 20 0 1 0 317264794 4132864 510 33554432000 134512640 134579096 4290662816 4290530212 4215542 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 1009 510 221 17 0 315 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4036

[startup+0.100255 s]
/proc/loadavg: 1.94 1.98 1.99 3/176 29749
/proc/meminfo: memFree=27825140/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=5492 CPUtime=0.09 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 906 0 0 0 9 0 0 0 20 0 1 0 317264794 5623808 844 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 1373 844 229 17 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5492

[startup+0.300226 s]
/proc/loadavg: 1.94 1.98 1.99 3/176 29749
/proc/meminfo: memFree=27825140/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=5748 CPUtime=0.29 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 1000 0 0 0 29 0 0 0 20 0 1 0 317264794 5885952 938 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 1437 938 229 17 0 743 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5748

[startup+0.700223 s]
/proc/loadavg: 1.94 1.98 1.99 3/176 29749
/proc/meminfo: memFree=27825140/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=6916 CPUtime=0.69 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 1288 0 0 0 69 0 0 0 20 0 1 0 317264794 7081984 1226 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 1729 1226 229 17 0 1035 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6916

[startup+1.50023 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27820444/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=7872 CPUtime=1.49 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 1526 0 0 0 149 0 0 0 20 0 1 0 317264794 8060928 1464 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 1968 1464 229 17 0 1274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7872

[startup+3.10022 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27818560/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=9556 CPUtime=3.09 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 1927 0 0 0 309 0 0 0 20 0 1 0 317264794 9785344 1875 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 2389 1875 229 17 0 1695 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9556

[startup+6.30022 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27817660/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=10444 CPUtime=6.29 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 2164 0 0 0 628 1 0 0 20 0 1 0 317264794 10694656 2112 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 2611 2112 229 17 0 1917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10444

[startup+12.7002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27815452/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=11916 CPUtime=12.68 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 2534 0 0 0 1266 2 0 0 20 0 1 0 317264794 12201984 2481 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 2979 2481 229 17 0 2285 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11916

[startup+25.5002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27813264/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=14304 CPUtime=25.49 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 3148 0 0 0 2544 5 0 0 20 0 1 0 317264794 14647296 3075 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 3576 3075 229 17 0 2882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14304

[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27809668/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=18364 CPUtime=51.08 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 4145 0 0 0 5100 8 0 0 20 0 1 0 317264794 18804736 4072 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 4591 4072 229 17 0 3897 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18364

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27804080/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=22672 CPUtime=102.28 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 5256 0 0 0 10212 16 0 0 20 0 1 0 317264794 23216128 5180 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 5668 5180 229 17 0 4974 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 22672

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29750
/proc/meminfo: memFree=27803584/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=22668 CPUtime=162.26 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 5256 0 0 0 16203 23 0 0 20 0 1 0 317264794 23212032 5180 33554432000 134512640 134579096 4290662816 4290661664 134527812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 5667 5180 229 17 0 4973 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22668

[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 29751
/proc/meminfo: memFree=27803336/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=23032 CPUtime=222.25 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 5335 0 0 0 22194 31 0 0 20 0 1 0 317264794 23584768 5259 33554432000 134512640 134579096 4290662816 4290661616 134527364 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 5758 5259 229 17 0 5064 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 23032

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29751
/proc/meminfo: memFree=27796204/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=29424 CPUtime=282.24 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 7043 0 0 0 28182 42 0 0 20 0 1 0 317264794 30130176 6869 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 7356 6869 229 17 0 6662 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29424

[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 29751
/proc/meminfo: memFree=27797200/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=27888 CPUtime=342.23 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 7043 0 0 0 34171 52 0 0 20 0 1 0 317264794 28557312 6485 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 6972 6485 229 17 0 6278 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 27888

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 29754
/proc/meminfo: memFree=27796488/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=27888 CPUtime=402.22 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 7043 0 0 0 40163 59 0 0 20 0 1 0 317264794 28557312 6485 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 6972 6485 229 17 0 6278 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 27888

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29754
/proc/meminfo: memFree=27796944/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=27888 CPUtime=462.21 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 7043 0 0 0 46155 66 0 0 20 0 1 0 317264794 28557312 6485 33554432000 134512640 134579096 4290662816 4290661696 134557660 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 6972 6485 229 17 0 6278 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 27888

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29905
/proc/meminfo: memFree=27798952/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=27888 CPUtime=522.21 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 7043 0 0 0 52148 73 0 0 20 0 1 0 317264794 28557312 6485 33554432000 134512640 134579096 4290662816 4290661664 134527830 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 6972 6485 229 17 0 6278 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 27888

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29905
/proc/meminfo: memFree=27798340/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=27888 CPUtime=582.2 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 7043 0 0 0 58140 80 0 0 20 0 1 0 317264794 28557312 6485 33554432000 134512640 134579096 4290662816 4290661632 134519100 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 6972 6485 229 17 0 6278 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 27888

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=27791124/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=882.15 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 88101 114 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 34488

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29906
/proc/meminfo: memFree=27791124/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=942.15 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 94094 121 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 34488

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29909
/proc/meminfo: memFree=27790436/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1002.13 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 100084 129 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 34488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29932
/proc/meminfo: memFree=27789860/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1062.12 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 106077 135 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 34488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29932
/proc/meminfo: memFree=27790940/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1122.11 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 112067 144 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 34488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29933
/proc/meminfo: memFree=27790688/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1182.11 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 118059 152 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527978 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 34488

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29933
/proc/meminfo: memFree=27789944/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1242.09 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 124051 158 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 34488

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29933
/proc/meminfo: memFree=27789944/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1302.1 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 130045 165 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 34488

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29933
/proc/meminfo: memFree=27789696/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1362.08 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 136036 172 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661724 134520015 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 34488

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29933
/proc/meminfo: memFree=27790656/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1422.07 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 142029 178 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527836 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 34488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29935
/proc/meminfo: memFree=27790040/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1482.05 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 148021 184 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661616 134527331 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 34488

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29935
/proc/meminfo: memFree=27790040/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1542.05 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 154016 189 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 34488

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29938
/proc/meminfo: memFree=27789764/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1602.04 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 160009 195 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527989 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 34488

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29938
/proc/meminfo: memFree=27790156/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1662.03 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 166003 200 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 34488

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 29938
/proc/meminfo: memFree=27789660/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1722.02 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 171995 207 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661616 134528544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 34488

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29939
/proc/meminfo: memFree=27789536/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1782.01 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 177987 214 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 34488

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29939
/proc/meminfo: memFree=27789536/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1782.41 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 178027 214 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527836 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 34488

[startup+1783.11 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29939
/proc/meminfo: memFree=27789536/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1782.82 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 178068 214 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661664 134527830 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 34488

[startup+1783.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 29939
/proc/meminfo: memFree=27789536/32873648 swapFree=7368/7368
[pid=29749] ppid=29747 vsize=34488 CPUtime=1782.92 cores=1,3,5,7
/proc/29749/stat : 29749 (Pueblo) R 29747 29749 28979 0 -1 4202496 8756 0 0 0 178077 215 0 0 20 0 1 0 317264794 35315712 8135 33554432000 134512640 134579096 4290662816 4290661788 5030960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29749/statm: 8622 8135 229 17 0 7928 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 34488

Child status: 10
Real time (s): 1783.28
CPU time (s): 1783
CPU user time (s): 1780.85
CPU system time (s): 2.15067
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 34776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.85
system time used= 2.15067
maximum resident set size= 32728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8761
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= 19
involuntary context switches= 1834

runsolver used 2.72358 second user time and 7.00793 second system time

The end