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-3720134-1338507834/watcher-3720134-1338507834 -o /tmp/evaluation-result-3720134-1338507834/solver-3720134-1338507834 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720134-1338507834.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: 4.71 3.10 2.10 3/177 12592
/proc/meminfo: memFree=27387668/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 316910756 3174400 267 33554432000 134512640 134579096 4292304000 4292171396 9605898 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 775 267 213 17 0 81 0

[startup+0.0744519 s]
/proc/loadavg: 4.71 3.10 2.10 3/177 12592
/proc/meminfo: memFree=27387668/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=4964 CPUtime=0.07 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 801 0 0 0 7 0 0 0 20 0 1 0 316910756 5083136 739 33554432000 134512640 134579096 4292304000 4292171448 8810844 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 1241 739 219 17 0 547 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4964

[startup+0.100213 s]
/proc/loadavg: 4.71 3.10 2.10 3/177 12592
/proc/meminfo: memFree=27387668/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=5632 CPUtime=0.09 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 970 0 0 0 9 0 0 0 20 0 1 0 316910756 5767168 908 33554432000 134512640 134579096 4292304000 4292171448 8810759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 1408 908 219 17 0 714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5632

[startup+0.30018 s]
/proc/loadavg: 4.71 3.10 2.10 3/177 12592
/proc/meminfo: memFree=27387668/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=10960 CPUtime=0.29 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 2292 0 0 0 29 0 0 0 20 0 1 0 316910756 11223040 2230 33554432000 134512640 134579096 4292304000 4292171424 134546737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 2740 2231 219 17 0 2046 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10960

[startup+0.700179 s]
/proc/loadavg: 4.71 3.10 2.10 3/177 12592
/proc/meminfo: memFree=27387668/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=16684 CPUtime=0.68 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 3734 0 0 0 68 0 0 0 20 0 1 0 316910756 17084416 3672 33554432000 134512640 134579096 4292304000 4292302960 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 4171 3672 225 17 0 3477 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16684

[startup+1.50017 s]
/proc/loadavg: 4.71 3.10 2.10 3/178 12593
/proc/meminfo: memFree=27373276/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=19784 CPUtime=1.48 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 4462 0 0 0 148 0 0 0 20 0 1 0 316910756 20258816 4400 33554432000 134512640 134579096 4292304000 4292302032 134532913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 4946 4400 228 17 0 4252 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19784

[startup+3.10017 s]
/proc/loadavg: 4.50 3.08 2.10 3/178 12593
/proc/meminfo: memFree=27371896/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=19896 CPUtime=3.09 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 4524 0 0 0 308 1 0 0 20 0 1 0 316910756 20373504 4460 33554432000 134512640 134579096 4292304000 4292302656 134524561 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 4974 4460 228 17 0 4280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19896

[startup+6.30018 s]
/proc/loadavg: 4.50 3.08 2.10 3/178 12593
/proc/meminfo: memFree=27374252/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=20448 CPUtime=6.29 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 4668 0 0 0 628 1 0 0 20 0 1 0 316910756 20938752 4574 33554432000 134512640 134579096 4292304000 4292302656 134523674 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 5112 4574 228 17 0 4418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20448

[startup+12.7002 s]
/proc/loadavg: 4.11 3.04 2.09 3/178 12593
/proc/meminfo: memFree=27367240/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=29548 CPUtime=12.69 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 6954 0 0 0 1268 1 0 0 20 0 1 0 316910756 30257152 6860 33554432000 134512640 134579096 4292304000 4292302656 134523642 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 7387 6860 228 17 0 6693 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29548

[startup+25.5002 s]
/proc/loadavg: 3.79 3.01 2.09 3/178 12593
/proc/meminfo: memFree=27351780/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=46284 CPUtime=25.49 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 11118 0 0 0 2547 2 0 0 20 0 1 0 316910756 47394816 11030 33554432000 134512640 134579096 4292304000 4292302816 134519100 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 11571 11030 228 17 0 10877 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46284

[startup+51.1002 s]
/proc/loadavg: 3.24 2.94 2.09 3/178 12593
/proc/meminfo: memFree=27321764/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=77476 CPUtime=51.07 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 18933 0 0 0 5103 4 0 0 20 0 1 0 316910756 79335424 18834 33554432000 134512640 134579096 4292304000 4292302656 134523654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 19369 18834 228 17 0 18675 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77476

[startup+102.306 s]
/proc/loadavg: 2.53 2.80 2.09 3/177 12593
/proc/meminfo: memFree=27247188/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=150840 CPUtime=102.26 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 37224 0 0 0 10218 8 0 0 20 0 1 0 316910756 154460160 37151 33554432000 134512640 134579096 4292304000 4292302816 134519100 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12592/statm: 37710 37151 228 17 0 37016 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150840

[startup+162.3 s]
/proc/loadavg: 2.27 2.66 2.09 3/177 12594
/proc/meminfo: memFree=27167584/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=232000 CPUtime=162.23 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 57462 0 0 0 16211 12 0 0 20 0 1 0 316910756 237568000 57389 33554432000 134512640 134579096 4292304000 4292302816 134519082 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 58000 57389 228 17 0 57306 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 232000

[startup+222.3 s]
/proc/loadavg: 2.10 2.54 2.08 3/177 12594
/proc/meminfo: memFree=27091872/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=307632 CPUtime=222.22 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 76079 0 0 0 22205 17 0 0 20 0 1 0 316910756 315015168 76031 33554432000 134512640 134579096 4292304000 4292302864 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 76908 76031 228 17 0 76214 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 307632

[startup+282.3 s]
/proc/loadavg: 2.03 2.44 2.08 3/177 12594
/proc/meminfo: memFree=27016384/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=384580 CPUtime=282.21 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 95193 0 0 0 28199 22 0 0 20 0 1 0 316910756 393809920 95185 33554432000 134512640 134579096 4292304000 4292302816 134519120 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 96145 95185 228 17 0 95451 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 384580

[startup+342.3 s]
/proc/loadavg: 2.01 2.36 2.07 3/177 12594
/proc/meminfo: memFree=26941392/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=458284 CPUtime=342.18 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 113568 0 0 0 34193 25 0 0 20 0 1 0 316910756 469282816 113663 33554432000 134512640 134579096 4292304000 4292302816 134519093 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 114571 113663 228 17 0 113877 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 458284

[startup+402.3 s]
/proc/loadavg: 2.00 2.29 2.06 3/178 12645
/proc/meminfo: memFree=26880624/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=524772 CPUtime=402.17 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 130088 0 0 0 40188 29 0 0 20 0 1 0 316910756 537366528 130200 33554432000 134512640 134579096 4292304000 4292302816 134519093 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 131193 130200 228 17 0 130499 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 524772

[startup+462.3 s]
/proc/loadavg: 2.03 2.25 2.06 3/177 12646
/proc/meminfo: memFree=26814396/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=588676 CPUtime=462.13 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 145955 0 0 0 46180 33 0 0 20 0 1 0 316910756 602804224 146282 33554432000 134512640 134579096 4292304000 4292302656 134522688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 147169 146282 228 17 0 146475 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 588676

[startup+522.3 s]
/proc/loadavg: 2.09 2.22 2.06 3/177 12646
/proc/meminfo: memFree=26751616/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=653024 CPUtime=522.12 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 162025 0 0 0 52174 38 0 0 20 0 1 0 316910756 668696576 162352 33554432000 134512640 134579096 4292304000 4292302864 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 163256 162352 228 17 0 162562 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 653024

[startup+582.3 s]
/proc/loadavg: 2.11 2.19 2.06 3/177 12646
/proc/meminfo: memFree=26667296/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=736884 CPUtime=582.11 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 182864 0 0 0 58168 43 0 0 20 0 1 0 316910756 754569216 183191 33554432000 134512640 134579096 4292304000 4292302816 134519111 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 184221 183191 228 17 0 183527 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 736884

[startup+642.3 s]

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

/proc/meminfo: memFree=26437836/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=882.07 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239585 0 0 0 88150 57 0 0 20 0 1 0 316910756 987426816 239939 33554432000 134512640 134579096 4292304000 4292302656 134522726 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239939 228 17 0 240377 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 964284

[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/177 12647
/proc/meminfo: memFree=26437368/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=942.06 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239586 0 0 0 94149 57 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302848 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 964284

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/178 12650
/proc/meminfo: memFree=26437520/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1002.05 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239599 0 0 0 100146 59 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292301744 134532854 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 964284

[startup+1062.3 s]
/proc/loadavg: 2.12 2.06 2.03 3/178 12674
/proc/meminfo: memFree=26437712/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1062.03 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239614 0 0 0 106143 60 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302656 134522706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 964284

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.03 3/177 12674
/proc/meminfo: memFree=26437596/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1122.02 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239614 0 0 0 112141 61 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302848 134528259 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 964284

[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/177 12674
/proc/meminfo: memFree=26437720/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1182.01 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239614 0 0 0 118139 62 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302848 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 964284

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.02 3/177 12674
/proc/meminfo: memFree=26437472/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1242 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239614 0 0 0 124137 63 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302832 134517901 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 964284

[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.02 3/177 12674
/proc/meminfo: memFree=26437472/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1302 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239614 0 0 0 130136 64 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302656 134524544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 964284

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.02 3/177 12675
/proc/meminfo: memFree=26436976/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1361.99 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239614 0 0 0 136134 65 0 0 20 0 1 0 316910756 987426816 239972 33554432000 134512640 134579096 4292304000 4292302928 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239972 228 17 0 240377 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 964284

[startup+1422.31 s]
/proc/loadavg: 2.03 2.04 2.01 3/177 12675
/proc/meminfo: memFree=26437100/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=964284 CPUtime=1421.98 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 239616 0 0 0 142133 65 0 0 20 0 1 0 316910756 987426816 239974 33554432000 134512640 134579096 4292304000 4292302816 134519077 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 241071 239974 228 17 0 240377 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 964284

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 12675
/proc/meminfo: memFree=26371256/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1031944 CPUtime=1481.96 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 256537 0 0 0 148127 69 0 0 20 0 1 0 316910756 1056710656 256895 33554432000 134512640 134579096 4292304000 4292302864 134520078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 257986 256895 228 17 0 257292 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1031944

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/177 12675
/proc/meminfo: memFree=26290784/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1111136 CPUtime=1541.96 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 276363 0 0 0 154120 76 0 0 20 0 1 0 316910756 1137803264 276721 33554432000 134512640 134579096 4292304000 4292302848 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 277819 276726 228 17 0 277125 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1111136

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 12678
/proc/meminfo: memFree=26260276/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1601.94 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283801 0 0 0 160116 78 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302864 134520196 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1140868

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12679
/proc/meminfo: memFree=26259844/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1661.94 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283805 0 0 0 166115 79 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302832 134517922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1140868

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12679
/proc/meminfo: memFree=26260120/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1721.92 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283817 0 0 0 172112 80 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302972 10810416 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1140868

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12679
/proc/meminfo: memFree=26259740/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1781.91 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283817 0 0 0 178110 81 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302816 134519077 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1140868

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

[startup+1783.11 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12679
/proc/meminfo: memFree=26259740/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1782.72 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283817 0 0 0 178191 81 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302848 134528344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 1140868

[startup+1783.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12679
/proc/meminfo: memFree=26259740/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1782.91 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283817 0 0 0 178210 81 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302656 134523642 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 1140868

[startup+1783.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12679
/proc/meminfo: memFree=26259740/32873648 swapFree=7120/7120
[pid=12592] ppid=12590 vsize=1140868 CPUtime=1783.01 cores=0,2,4,6
/proc/12592/stat : 12592 (Pueblo) R 12590 12592 12227 0 -1 4202496 283817 0 0 0 178220 81 0 0 20 0 1 0 316910756 1168248832 284159 33554432000 134512640 134579096 4292304000 4292302820 134556411 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12592/statm: 285217 284159 228 17 0 284523 0
Current children cumulated CPU time (s) 1783.01
Current children cumulated vsize (KiB) 1140868

Child status: 10
Real time (s): 1783.41
CPU time (s): 1783.04
CPU user time (s): 1782.22
CPU system time (s): 0.819875
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1140868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.22
system time used= 0.819875
maximum resident set size= 1136656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283822
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= 190
involuntary context switches= 2210

runsolver used 2.67659 second user time and 7.05493 second system time

The end