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-3720465-1338511438/watcher-3720465-1338511438 -o /tmp/evaluation-result-3720465-1338511438/solver-3720465-1338511438 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720465-1338511438.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.03 2.01 1.94 3/176 24862
/proc/meminfo: memFree=29242656/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 317268245 3309568 290 33554432000 134512640 134579096 4292288592 4292155940 13714181 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 808 290 219 17 0 114 0

[startup+0.026105 s]
/proc/loadavg: 2.03 2.01 1.94 3/176 24862
/proc/meminfo: memFree=29242656/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=3900 CPUtime=0.02 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 532 0 0 0 2 0 0 0 20 0 1 0 317268245 3993600 470 33554432000 134512640 134579096 4292288592 4292287552 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 975 471 226 17 0 281 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3900

[startup+0.100258 s]
/proc/loadavg: 2.03 2.01 1.94 3/176 24862
/proc/meminfo: memFree=29242656/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=4432 CPUtime=0.09 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 649 0 0 0 9 0 0 0 20 0 1 0 317268245 4538368 587 33554432000 134512640 134579096 4292288592 4292287440 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 1108 587 227 17 0 414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4432

[startup+0.300202 s]
/proc/loadavg: 2.03 2.01 1.94 3/176 24862
/proc/meminfo: memFree=29242656/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=5224 CPUtime=0.29 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 854 0 0 0 29 0 0 0 20 0 1 0 317268245 5349376 792 33554432000 134512640 134579096 4292288592 4292287248 134522733 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 1306 792 227 17 0 612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5224

[startup+0.700202 s]
/proc/loadavg: 2.03 2.01 1.94 3/176 24862
/proc/meminfo: memFree=29242656/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=6676 CPUtime=0.69 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 1214 0 0 0 69 0 0 0 20 0 1 0 317268245 6836224 1152 33554432000 134512640 134579096 4292288592 4292287440 134527742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 1669 1152 227 17 0 975 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6676

[startup+1.50021 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 24863
/proc/meminfo: memFree=29239208/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=7072 CPUtime=1.49 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 1306 0 0 0 149 0 0 0 20 0 1 0 317268245 7241728 1244 33554432000 134512640 134579096 4292288592 4292287564 15258672 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 1768 1244 227 17 0 1074 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7072

[startup+3.10026 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 24863
/proc/meminfo: memFree=29238216/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=7332 CPUtime=3.09 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 1388 0 0 0 308 1 0 0 20 0 1 0 317268245 7507968 1326 33554432000 134512640 134579096 4292288592 4292287440 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 1833 1326 227 17 0 1139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7332

[startup+6.30023 s]
/proc/loadavg: 2.03 2.01 1.94 3/177 24863
/proc/meminfo: memFree=29237224/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=7972 CPUtime=6.29 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 1539 0 0 0 628 1 0 0 20 0 1 0 317268245 8163328 1477 33554432000 134512640 134579096 4292288592 4292287520 134559512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 1993 1477 227 17 0 1299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7972

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29301360/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=8768 CPUtime=12.68 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 1735 0 0 0 1266 2 0 0 20 0 1 0 317268245 8978432 1673 33554432000 134512640 134579096 4292288592 4292285584 134533478 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 2192 1673 227 17 0 1498 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8768

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29288560/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=9164 CPUtime=25.48 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 1845 0 0 0 2543 5 0 0 20 0 1 0 317268245 9383936 1783 33554432000 134512640 134579096 4292288592 4292287564 15258672 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 2291 1783 227 17 0 1597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9164

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29283896/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=10300 CPUtime=51.08 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 2117 0 0 0 5100 8 0 0 20 0 1 0 317268245 10547200 2058 33554432000 134512640 134579096 4292288592 4292287440 134527652 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 2575 2058 227 17 0 1881 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10300

[startup+102.306 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 24913
/proc/meminfo: memFree=29276944/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=11068 CPUtime=102.27 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 2294 0 0 0 10212 15 0 0 20 0 1 0 317268245 11333632 2235 33554432000 134512640 134579096 4292288592 4292287312 134529017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 2767 2235 227 17 0 2073 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11068

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29272660/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=12108 CPUtime=162.26 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 2535 0 0 0 16204 22 0 0 20 0 1 0 317268245 12398592 2487 33554432000 134512640 134579096 4292288592 4292287520 134559533 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3027 2487 227 17 0 2333 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12108

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29269620/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=13036 CPUtime=222.25 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 2763 0 0 0 22195 30 0 0 20 0 1 0 317268245 13348864 2715 33554432000 134512640 134579096 4292288592 4292287440 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3259 2715 227 17 0 2565 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13036

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24914
/proc/meminfo: memFree=29265460/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=14044 CPUtime=282.24 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3009 0 0 0 28186 38 0 0 20 0 1 0 317268245 14381056 3000 33554432000 134512640 134579096 4292288592 4292287424 134517885 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3511 3000 227 17 0 2817 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14044

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24914
/proc/meminfo: memFree=29265088/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=14264 CPUtime=342.23 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3072 0 0 0 34178 45 0 0 20 0 1 0 317268245 14606336 3063 33554432000 134512640 134579096 4292288592 4292287392 134528560 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3566 3063 227 17 0 2872 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14264

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/178 24917
/proc/meminfo: memFree=29263964/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=15296 CPUtime=402.22 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3303 0 0 0 40171 51 0 0 20 0 1 0 317268245 15663104 3294 33554432000 134512640 134579096 4292288592 4292287456 134520078 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3824 3294 227 17 0 3130 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15296

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 24917
/proc/meminfo: memFree=29263412/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=15296 CPUtime=462.21 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3325 0 0 0 46163 58 0 0 20 0 1 0 317268245 15663104 3325 33554432000 134512640 134579096 4292288592 4292287440 134527759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3824 3325 227 17 0 3130 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15296

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 24917
/proc/meminfo: memFree=29263100/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=15504 CPUtime=522.2 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3361 0 0 0 52156 64 0 0 20 0 1 0 317268245 15876096 3361 33554432000 134512640 134579096 4292288592 4292287440 134527607 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 3876 3361 227 17 0 3182 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 15504

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24918
/proc/meminfo: memFree=29262356/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=16200 CPUtime=582.19 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3547 0 0 0 58148 71 0 0 20 0 1 0 317268245 16588800 3547 33554432000 134512640 134579096 4292288592 4292287440 134527753 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4050 3547 227 17 0 3356 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16200

[startup+642.3 s]

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

/proc/meminfo: memFree=29258076/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17100 CPUtime=822.15 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3760 0 0 0 82117 98 0 0 20 0 1 0 317268245 17510400 3756 33554432000 134512640 134579096 4292288592 4292287412 134556411 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4275 3756 227 17 0 3581 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 17100

[startup+882.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 24919
/proc/meminfo: memFree=29257268/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17448 CPUtime=882.15 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3845 0 0 0 88110 105 0 0 20 0 1 0 317268245 17866752 3843 33554432000 134512640 134579096 4292288592 4292287456 134519893 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4362 3843 227 17 0 3668 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 17448

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 24919
/proc/meminfo: memFree=29257328/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17444 CPUtime=942.13 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3871 0 0 0 94101 112 0 0 20 0 1 0 317268245 17862656 3858 33554432000 134512640 134579096 4292288592 4292287440 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4361 3858 227 17 0 3667 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 17444

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/178 24922
/proc/meminfo: memFree=29256452/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17444 CPUtime=1002.12 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3875 0 0 0 100095 117 0 0 20 0 1 0 317268245 17862656 3862 33554432000 134512640 134579096 4292288592 4292285552 134533509 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4361 3862 227 17 0 3667 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 17444

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24945
/proc/meminfo: memFree=29255700/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17548 CPUtime=1062.11 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3891 0 0 0 106088 123 0 0 20 0 1 0 317268245 17969152 3878 33554432000 134512640 134579096 4292288592 4292287440 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4387 3878 227 17 0 3693 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 17548

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24945
/proc/meminfo: memFree=29255584/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17636 CPUtime=1122.1 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3922 0 0 0 112080 130 0 0 20 0 1 0 317268245 18059264 3909 33554432000 134512640 134579096 4292288592 4292287440 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4409 3909 227 17 0 3715 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 17636

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 24946
/proc/meminfo: memFree=29255336/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17612 CPUtime=1182.09 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3922 0 0 0 118072 137 0 0 20 0 1 0 317268245 18034688 3907 33554432000 134512640 134579096 4292288592 4292287472 134557412 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4403 3907 227 17 0 3709 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 17612

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/178 24946
/proc/meminfo: memFree=29255336/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17612 CPUtime=1242.08 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3922 0 0 0 124063 145 0 0 20 0 1 0 317268245 18034688 3907 33554432000 134512640 134579096 4292288592 4292287440 134527742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4403 3907 227 17 0 3709 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 17612

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/178 24946
/proc/meminfo: memFree=29254220/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17644 CPUtime=1302.08 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3924 0 0 0 130055 153 0 0 20 0 1 0 317268245 18067456 3909 33554432000 134512640 134579096 4292288592 4292287564 15258672 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4411 3909 227 17 0 3717 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 17644

[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/178 25160
/proc/meminfo: memFree=29242316/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17716 CPUtime=1362.06 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3940 0 0 0 136048 158 0 0 20 0 1 0 317268245 18141184 3925 33554432000 134512640 134579096 4292288592 4292287440 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4429 3925 227 17 0 3735 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 17716

[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 1.98 3/177 25160
/proc/meminfo: memFree=29242448/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17668 CPUtime=1422.06 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3940 0 0 0 142040 166 0 0 20 0 1 0 317268245 18092032 3921 33554432000 134512640 134579096 4292288592 4292287440 134527981 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4417 3921 227 17 0 3723 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 17668

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 1.98 3/177 25161
/proc/meminfo: memFree=29242448/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17744 CPUtime=1482.04 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3954 0 0 0 148030 174 0 0 20 0 1 0 317268245 18169856 3935 33554432000 134512640 134579096 4292288592 4292287440 134527939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4436 3935 227 17 0 3742 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 17744

[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 1.99 3/177 25161
/proc/meminfo: memFree=29239468/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=17656 CPUtime=1542.04 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 3954 0 0 0 154024 180 0 0 20 0 1 0 317268245 18079744 3918 33554432000 134512640 134579096 4292288592 4292287440 134527656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4414 3918 227 17 0 3720 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 17656

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/178 25164
/proc/meminfo: memFree=29237848/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=18516 CPUtime=1602.03 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 4162 0 0 0 160018 185 0 0 20 0 1 0 317268245 18960384 4123 33554432000 134512640 134579096 4292288592 4292285728 134532911 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24862/statm: 4629 4123 227 17 0 3935 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 18516

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/177 25164
/proc/meminfo: memFree=29237608/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=18812 CPUtime=1662.01 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 4241 0 0 0 166010 191 0 0 20 0 1 0 317268245 19263488 4193 33554432000 134512640 134579096 4292288592 4292287564 15258672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24862/statm: 4703 4193 227 17 0 4009 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 18812

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 25164
/proc/meminfo: memFree=29237608/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=18956 CPUtime=1722 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 4262 0 0 0 172003 197 0 0 20 0 1 0 317268245 19410944 4214 33554432000 134512640 134579096 4292288592 4292286624 134532913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24862/statm: 4739 4214 227 17 0 4045 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 18956

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25165
/proc/meminfo: memFree=29236988/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=19180 CPUtime=1781.99 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 4308 0 0 0 177997 202 0 0 20 0 1 0 317268245 19640320 4260 33554432000 134512640 134579096 4292288592 4292287440 134527772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24862/statm: 4795 4260 227 17 0 4101 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 19180

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

[startup+1783.11 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25165
/proc/meminfo: memFree=29237112/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=19180 CPUtime=1782.8 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 4308 0 0 0 178078 202 0 0 20 0 1 0 317268245 19640320 4260 33554432000 134512640 134579096 4292288592 4292287564 15258672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24862/statm: 4795 4260 227 17 0 4101 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 19180

[startup+1783.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25165
/proc/meminfo: memFree=29237112/32873844 swapFree=7644/7644
[pid=24862] ppid=24860 vsize=19180 CPUtime=1782.99 cores=0,2,4,6
/proc/24862/stat : 24862 (Pueblo) R 24860 24862 24344 0 -1 4202496 4308 0 0 0 178097 202 0 0 20 0 1 0 317268245 19640320 4260 33554432000 134512640 134579096 4292288592 4292287440 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24862/statm: 4795 4260 227 17 0 4101 0
Current children cumulated CPU time (s) 1782.99
Current children cumulated vsize (KiB) 19180

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1780.98
CPU system time (s): 2.02769
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 19180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.98
system time used= 2.02769
maximum resident set size= 17060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4313
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= 11
involuntary context switches= 3014

runsolver used 6.561 second user time and 17.6663 second system time

The end