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-3720795-1338513780/watcher-3720795-1338513780 -o /tmp/evaluation-result-3720795-1338513780/solver-3720795-1338513780 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720795-1338513780.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.00 1.98 3/178 28249
/proc/meminfo: memFree=29254204/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 317502785 3178496 274 33554432000 134512640 134579096 4292109968 4291977268 5952309 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 776 274 221 17 0 82 0
[startup+0.0693669 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28249
/proc/meminfo: memFree=29254204/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=4700 CPUtime=0.06 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 721 0 0 0 6 0 0 0 20 0 1 0 317502785 4812800 658 33554432000 134512640 134579096 4292109968 4291977384 134534767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 1175 658 221 17 0 481 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4700
[startup+0.100252 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28249
/proc/meminfo: memFree=29254204/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=5800 CPUtime=0.09 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 963 0 0 0 9 0 0 0 20 0 1 0 317502785 5939200 900 33554432000 134512640 134579096 4292109968 4292108944 134532045 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 1450 900 227 17 0 756 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5800
[startup+0.30021 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28249
/proc/meminfo: memFree=29254204/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=6860 CPUtime=0.29 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 1254 0 0 0 29 0 0 0 20 0 1 0 317502785 7024640 1191 33554432000 134512640 134579096 4292109968 4292108788 134556417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 1715 1191 229 17 0 1021 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6860
[startup+0.700216 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 28249
/proc/meminfo: memFree=29254204/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=6860 CPUtime=0.69 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 1254 0 0 0 69 0 0 0 20 0 1 0 317502785 7024640 1191 33554432000 134512640 134579096 4292109968 4292108784 134558823 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 1715 1191 229 17 0 1021 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6860
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29249840/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=7512 CPUtime=1.49 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 1420 0 0 0 149 0 0 0 20 0 1 0 317502785 7692288 1357 33554432000 134512640 134579096 4292109968 4292108784 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 1878 1357 229 17 0 1184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7512
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29248352/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=9240 CPUtime=3.09 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 1836 0 0 0 309 0 0 0 20 0 1 0 317502785 9461760 1773 33554432000 134512640 134579096 4292109968 4292108624 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 2310 1773 229 17 0 1616 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9240
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29243640/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=12616 CPUtime=6.29 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 2689 0 0 0 629 0 0 0 20 0 1 0 317502785 12918784 2626 33554432000 134512640 134579096 4292109968 4292108788 134556279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 3154 2626 229 17 0 2460 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12616
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29241324/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=14584 CPUtime=12.69 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 3212 0 0 0 1269 0 0 0 20 0 1 0 317502785 14934016 3127 33554432000 134512640 134579096 4292109968 4292108816 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 3646 3127 229 17 0 2952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14584
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29229792/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=27280 CPUtime=25.49 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 6513 0 0 0 2548 1 0 0 20 0 1 0 317502785 27934720 6276 33554432000 134512640 134579096 4292109968 4292108624 134522427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 6820 6276 229 17 0 6126 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27280
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29223840/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=32592 CPUtime=51.08 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 7880 0 0 0 5107 1 0 0 20 0 1 0 317502785 33374208 7629 33554432000 134512640 134579096 4292109968 4292108768 134528569 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 8148 7629 229 17 0 7454 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32592
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29217144/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=39076 CPUtime=102.27 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 9655 0 0 0 10226 1 0 0 20 0 1 0 317502785 40013824 9250 33554432000 134512640 134579096 4292109968 4292108800 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 9769 9250 229 17 0 9075 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39076
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29192732/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=51048 CPUtime=162.25 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 13116 0 0 0 16223 2 0 0 20 0 1 0 317502785 52273152 12243 33554432000 134512640 134579096 4292109968 4292108800 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 12762 12243 229 17 0 12068 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51048
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29146976/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=80400 CPUtime=222.24 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 20875 0 0 0 22220 4 0 0 20 0 1 0 317502785 82329600 19580 33554432000 134512640 134579096 4292109968 4292108784 134556558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 20100 19580 229 17 0 19406 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 80400
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 28250
/proc/meminfo: memFree=29141396/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=86040 CPUtime=282.24 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 22334 0 0 0 28219 5 0 0 20 0 1 0 317502785 88104960 20999 33554432000 134512640 134579096 4292109968 4292108624 134523429 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 21510 20999 229 17 0 20816 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 86040
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/179 28251
/proc/meminfo: memFree=29141488/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=86040 CPUtime=342.23 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 22335 0 0 0 34218 5 0 0 20 0 1 0 317502785 88104960 20999 33554432000 134512640 134579096 4292109968 4292108800 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 21510 20999 229 17 0 20816 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 86040
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/179 28251
/proc/meminfo: memFree=29141392/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=86040 CPUtime=402.22 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 22346 0 0 0 40217 5 0 0 20 0 1 0 317502785 88104960 20999 33554432000 134512640 134579096 4292109968 4292108624 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 21510 20999 229 17 0 20816 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 86040
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/180 28254
/proc/meminfo: memFree=29141508/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=86040 CPUtime=462.21 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 22346 0 0 0 46216 5 0 0 20 0 1 0 317502785 88104960 20999 33554432000 134512640 134579096 4292109968 4292108624 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 21510 20999 229 17 0 20816 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 86040
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/179 28254
/proc/meminfo: memFree=29128184/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=97692 CPUtime=522.19 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 25478 0 0 0 52214 5 0 0 20 0 1 0 317502785 100036608 23912 33554432000 134512640 134579096 4292109968 4292108784 134519077 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 24423 23912 229 17 0 23729 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 97692
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/179 28254
/proc/meminfo: memFree=29122536/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=99460 CPUtime=582.18 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 25916 0 0 0 58213 5 0 0 20 0 1 0 317502785 101847040 24332 33554432000 134512640 134579096 4292109968 4292108800 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 24865 24332 229 17 0 24171 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 99460
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29283688/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=102444 CPUtime=1122.1 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 26889 0 0 0 112205 5 0 0 20 0 1 0 317502785 104902656 25101 33554432000 134512640 134579096 4292109968 4292108788 134556392 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 25611 25101 229 17 0 24917 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 102444
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 28308
/proc/meminfo: memFree=29271288/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=102444 CPUtime=1182.09 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 26889 0 0 0 118204 5 0 0 20 0 1 0 317502785 104902656 25101 33554432000 134512640 134579096 4292109968 4292108800 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 25611 25101 229 17 0 24917 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 102444
[startup+1242.3 s]
/proc/loadavg: 2.07 2.00 1.99 3/179 28309
/proc/meminfo: memFree=29271152/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=102444 CPUtime=1242.08 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 26889 0 0 0 124203 5 0 0 20 0 1 0 317502785 104902656 25101 33554432000 134512640 134579096 4292109968 4292108784 134519095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 25611 25101 229 17 0 24917 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 102444
[startup+1302.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 28309
/proc/meminfo: memFree=29271152/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=102380 CPUtime=1302.08 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 26889 0 0 0 130203 5 0 0 20 0 1 0 317502785 104837120 25085 33554432000 134512640 134579096 4292109968 4292108800 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 25595 25085 229 17 0 24901 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 102380
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 28309
/proc/meminfo: memFree=29255776/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=103624 CPUtime=1362.06 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 27192 0 0 0 136201 5 0 0 20 0 1 0 317502785 106110976 25388 33554432000 134512640 134579096 4292109968 4292108784 134519111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 25906 25388 229 17 0 25212 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 103624
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28309
/proc/meminfo: memFree=29239260/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=110116 CPUtime=1422.07 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 28813 0 0 0 142201 6 0 0 20 0 1 0 317502785 112758784 27009 33554432000 134512640 134579096 4292109968 4292108800 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 27529 27009 229 17 0 26835 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 110116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28309
/proc/meminfo: memFree=29239812/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=109076 CPUtime=1482.05 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 28815 0 0 0 148199 6 0 0 20 0 1 0 317502785 111693824 26759 33554432000 134512640 134579096 4292109968 4292108784 134519088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 27269 26759 229 17 0 26575 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 109076
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28310
/proc/meminfo: memFree=29240060/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=109076 CPUtime=1542.04 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 28815 0 0 0 154198 6 0 0 20 0 1 0 317502785 111693824 26759 33554432000 134512640 134579096 4292109968 4292108800 134517913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 27269 26759 229 17 0 26575 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 109076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28310
/proc/meminfo: memFree=29226420/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=123508 CPUtime=1602.03 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32434 0 0 0 160197 6 0 0 20 0 1 0 317502785 126472192 30341 33554432000 134512640 134579096 4292109968 4292108832 134520078 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 30877 30341 229 17 0 30183 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 123508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 28313
/proc/meminfo: memFree=29226460/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=123384 CPUtime=1662.01 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32440 0 0 0 166195 6 0 0 20 0 1 0 317502785 126345216 30336 33554432000 134512640 134579096 4292109968 4292108624 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 30846 30336 229 17 0 30152 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 123384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224608/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125308 CPUtime=1722.01 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32916 0 0 0 172194 7 0 0 20 0 1 0 317502785 128315392 30812 33554432000 134512640 134579096 4292109968 4292108800 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31327 30812 229 17 0 30633 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 125308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29223740/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1782 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32989 0 0 0 178193 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108800 134517896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 125632
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224112/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1791.6 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32989 0 0 0 179153 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108624 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 125632
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224236/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1794.8 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32989 0 0 0 179473 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108832 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 125632
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224236/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1796.4 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32989 0 0 0 179633 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108800 134517933 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 125632
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224236/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1798 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32990 0 0 0 179793 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108816 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 125632
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224048/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1798.8 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32990 0 0 0 179873 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108800 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 125632
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224172/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1799.2 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32990 0 0 0 179913 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108800 134517933 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 125632
[startup+1799.61 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 28313
/proc/meminfo: memFree=29224172/32873844 swapFree=7620/7620
[pid=28249] ppid=28247 vsize=125632 CPUtime=1799.3 cores=1,3,5,7
/proc/28249/stat : 28249 (Pueblo) R 28247 28249 26528 0 -1 4202496 32990 0 0 0 179923 7 0 0 20 0 1 0 317502785 128647168 30885 33554432000 134512640 134579096 4292109968 4292108800 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28249/statm: 31408 30885 229 17 0 30714 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (KiB) 125632
Child status: 10
Real time (s): 1799.65
CPU time (s): 1799.35
CPU user time (s): 1799.28
CPU system time (s): 0.073988
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 125632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.073988
maximum resident set size= 123560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32995
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= 50
involuntary context switches= 1849
runsolver used 2.6226 second user time and 7.2239 second system time
The end