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-3720225-1338508444/watcher-3720225-1338508444 -o /tmp/evaluation-result-3720225-1338508444/solver-3720225-1338508444 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720225-1338508444.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.63 10.86 14.75 3/176 13521
/proc/meminfo: memFree=32051648/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 316973027 3309568 299 33554432000 134512640 134579096 4292725424 4292592724 7213887 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 808 300 213 17 0 114 0

[startup+0.0802241 s]
/proc/loadavg: 4.63 10.86 14.75 3/176 13521
/proc/meminfo: memFree=32051648/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=4168 CPUtime=0.07 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 596 0 0 0 7 0 0 0 20 0 1 0 316973027 4268032 533 33554432000 134512640 134579096 4292725424 4292592820 7213805 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 1042 533 219 17 0 348 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4168

[startup+0.100258 s]
/proc/loadavg: 4.63 10.86 14.75 3/176 13521
/proc/meminfo: memFree=32051648/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=4436 CPUtime=0.09 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 653 0 0 0 9 0 0 0 20 0 1 0 316973027 4542464 590 33554432000 134512640 134579096 4292725424 4292592700 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 1109 590 219 17 0 415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4436

[startup+0.300224 s]
/proc/loadavg: 4.63 10.86 14.75 3/176 13521
/proc/meminfo: memFree=32051648/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=6700 CPUtime=0.29 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 1209 0 0 0 29 0 0 0 20 0 1 0 316973027 6860800 1146 33554432000 134512640 134579096 4292725424 4292592700 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 1675 1146 219 17 0 981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6700

[startup+0.700228 s]
/proc/loadavg: 4.63 10.86 14.75 3/176 13521
/proc/meminfo: memFree=32051648/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=9812 CPUtime=0.69 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 1998 0 0 0 68 1 0 0 20 0 1 0 316973027 10047488 1935 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 2453 1935 227 17 0 1759 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9812

[startup+1.50022 s]
/proc/loadavg: 4.63 10.86 14.75 3/177 13522
/proc/meminfo: memFree=32041108/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=9812 CPUtime=1.49 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 1998 0 0 0 148 1 0 0 20 0 1 0 316973027 10047488 1935 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 2453 1935 227 17 0 1759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9812

[startup+3.10022 s]
/proc/loadavg: 4.63 10.86 14.75 3/177 13522
/proc/meminfo: memFree=32033668/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=10328 CPUtime=3.09 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 2140 0 0 0 304 5 0 0 20 0 1 0 316973027 10575872 2077 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 2582 2077 227 17 0 1888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10328

[startup+6.30022 s]
/proc/loadavg: 4.42 10.72 14.68 3/177 13522
/proc/meminfo: memFree=32015440/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=13712 CPUtime=6.29 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 2976 0 0 0 619 10 0 0 20 0 1 0 316973027 14041088 2913 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 3428 2913 227 17 0 2734 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13712

[startup+12.7002 s]
/proc/loadavg: 4.23 10.57 14.61 3/177 13522
/proc/meminfo: memFree=32013340/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=15588 CPUtime=12.69 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 3428 0 0 0 1255 14 0 0 20 0 1 0 316973027 15962112 3365 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 3897 3365 227 17 0 3203 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15588

[startup+25.5002 s]
/proc/loadavg: 3.73 10.15 14.41 3/177 13522
/proc/meminfo: memFree=32007008/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=16820 CPUtime=25.49 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 3751 0 0 0 2528 21 0 0 20 0 1 0 316973027 17223680 3688 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 4205 3688 227 17 0 3511 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16820

[startup+51.1002 s]
/proc/loadavg: 3.14 9.50 14.08 3/177 13522
/proc/meminfo: memFree=31995552/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=19984 CPUtime=51.08 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 4549 0 0 0 5077 31 0 0 20 0 1 0 316973027 20463616 4486 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 4996 4486 227 17 0 4302 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19984

[startup+102.306 s]
/proc/loadavg: 2.49 8.34 13.44 3/177 13522
/proc/meminfo: memFree=31975864/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=21772 CPUtime=102.28 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 5029 0 0 0 10127 101 0 0 20 0 1 0 316973027 22294528 4955 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 5443 4955 227 17 0 4749 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 21772

[startup+162.3 s]
/proc/loadavg: 2.18 7.18 12.72 3/177 13523
/proc/meminfo: memFree=31959604/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=27012 CPUtime=162.25 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 6339 0 0 0 16036 189 0 0 20 0 1 0 316973027 27660288 6265 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 6753 6265 227 17 0 6059 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27012

[startup+222.3 s]
/proc/loadavg: 2.06 6.24 12.05 3/177 13523
/proc/meminfo: memFree=31947696/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=27012 CPUtime=222.25 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 6340 0 0 0 22009 216 0 0 20 0 1 0 316973027 27660288 6265 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 6753 6265 227 17 0 6059 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27012

[startup+282.3 s]
/proc/loadavg: 2.06 5.48 11.42 3/177 13523
/proc/meminfo: memFree=31945200/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=27976 CPUtime=282.24 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 6573 0 0 0 27950 274 0 0 20 0 1 0 316973027 28647424 6498 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 6994 6498 227 17 0 6300 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27976

[startup+342.3 s]
/proc/loadavg: 2.02 4.84 10.83 3/177 13523
/proc/meminfo: memFree=31926784/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=33680 CPUtime=342.23 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 7972 0 0 0 33884 339 0 0 20 0 1 0 316973027 34488320 7896 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 8420 7896 227 17 0 7726 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 33680

[startup+402.3 s]
/proc/loadavg: 2.01 4.32 10.27 3/178 13526
/proc/meminfo: memFree=31924716/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=33680 CPUtime=402.22 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 7974 0 0 0 39835 387 0 0 20 0 1 0 316973027 34488320 7898 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 8420 7898 227 17 0 7726 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33680

[startup+462.3 s]
/proc/loadavg: 2.00 3.90 9.75 3/178 13549
/proc/meminfo: memFree=31925084/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=33680 CPUtime=462.21 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 7976 0 0 0 45776 445 0 0 20 0 1 0 316973027 34488320 7899 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 8420 7899 227 17 0 7726 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 33680

[startup+522.3 s]
/proc/loadavg: 2.00 3.55 9.26 3/177 13549
/proc/meminfo: memFree=31909708/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=35528 CPUtime=522.2 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 8432 0 0 0 51750 470 0 0 20 0 1 0 316973027 36380672 8355 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 8882 8355 227 17 0 8188 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35528

[startup+582.3 s]
/proc/loadavg: 2.00 3.26 8.81 3/177 13549
/proc/meminfo: memFree=31907964/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=36864 CPUtime=582.19 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 9235 0 0 0 57735 484 0 0 20 0 1 0 316973027 37748736 8726 33554432000 134512640 134579096 4292725424 4292724288 134519989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 9216 8726 227 17 0 8522 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 36864

[startup+642.3 s]

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

/proc/meminfo: memFree=31884504/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=42804 CPUtime=882.14 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 10700 0 0 0 87638 576 0 0 20 0 1 0 316973027 43831296 10190 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 10701 10190 227 17 0 10007 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 42804

[startup+942.3 s]
/proc/loadavg: 2.00 2.38 6.61 3/177 13550
/proc/meminfo: memFree=31881156/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=44984 CPUtime=942.13 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 11416 0 0 0 93624 589 0 0 20 0 1 0 316973027 46063616 10742 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11246 10742 227 17 0 10552 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 44984

[startup+1002.3 s]
/proc/loadavg: 2.00 2.31 6.32 3/178 13553
/proc/meminfo: memFree=31877296/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47692 CPUtime=1002.12 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 12103 0 0 0 99611 601 0 0 20 0 1 0 316973027 48836608 11426 33554432000 134512640 134579096 4292725424 4292724304 134557279 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11923 11426 227 17 0 11229 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 47692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.25 6.04 4/177 13554
/proc/meminfo: memFree=31879412/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47692 CPUtime=1062.11 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 12103 0 0 0 105595 616 0 0 20 0 1 0 316973027 48836608 11426 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11923 11426 227 17 0 11229 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 47692

[startup+1122.3 s]
/proc/loadavg: 2.00 2.20 5.79 3/177 13554
/proc/meminfo: memFree=31866764/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47692 CPUtime=1122.1 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 12103 0 0 0 111580 630 0 0 20 0 1 0 316973027 48836608 11426 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11923 11426 227 17 0 11229 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 47692

[startup+1182.3 s]
/proc/loadavg: 2.00 2.16 5.55 3/177 13554
/proc/meminfo: memFree=31859200/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=50408 CPUtime=1182.09 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 12774 0 0 0 117563 646 0 0 20 0 1 0 316973027 51617792 12097 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 12602 12097 227 17 0 11908 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 50408

[startup+1242.3 s]
/proc/loadavg: 2.08 2.15 5.33 3/177 13554
/proc/meminfo: memFree=31858952/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1242.08 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 123533 675 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 47844

[startup+1302.3 s]
/proc/loadavg: 2.03 2.12 5.12 3/177 13554
/proc/meminfo: memFree=31858620/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1302.08 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 129500 708 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 47844

[startup+1362.3 s]
/proc/loadavg: 2.01 2.09 4.92 3/177 13555
/proc/meminfo: memFree=31862900/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1362.07 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 135480 727 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724224 134528775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 47844

[startup+1422.31 s]
/proc/loadavg: 2.00 2.07 4.73 3/177 13555
/proc/meminfo: memFree=31858560/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1422.06 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 141454 752 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 47844

[startup+1482.3 s]
/proc/loadavg: 2.00 2.06 4.56 3/177 13555
/proc/meminfo: memFree=31858432/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1482.04 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 147429 775 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 47844

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 4.40 3/177 13555
/proc/meminfo: memFree=31863208/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1542.04 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 153408 796 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 47844

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 4.24 3/178 13558
/proc/meminfo: memFree=31862952/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1602.03 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 159386 817 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 47844

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 4.10 3/177 13559
/proc/meminfo: memFree=31858124/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1662.02 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 165365 837 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 47844

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 3.97 3/177 13559
/proc/meminfo: memFree=31841012/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=47844 CPUtime=1722.01 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 13326 0 0 0 171347 854 0 0 20 0 1 0 316973027 48992256 11473 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 11961 11473 227 17 0 11267 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 47844

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 3.85 3/177 13607
/proc/meminfo: memFree=31983564/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=53404 CPUtime=1782 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 14847 0 0 0 177320 880 0 0 20 0 1 0 316973027 54685696 12860 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 13351 12860 227 17 0 12657 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 53404

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

[startup+1782.7 s]
/proc/loadavg: 2.05 2.03 3.85 3/177 13607
/proc/meminfo: memFree=31983564/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=53404 CPUtime=1782.4 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 14847 0 0 0 177360 880 0 0 20 0 1 0 316973027 54685696 12860 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 13351 12860 227 17 0 12657 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 53404

[startup+1783.11 s]
/proc/loadavg: 2.05 2.03 3.85 3/177 13607
/proc/meminfo: memFree=31983564/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=53404 CPUtime=1782.8 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 14847 0 0 0 177400 880 0 0 20 0 1 0 316973027 54685696 12860 33554432000 134512640 134579096 4292725424 4292724396 9917488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 13351 12860 227 17 0 12657 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 53404

[startup+1783.2 s]
/proc/loadavg: 2.05 2.03 3.85 3/177 13607
/proc/meminfo: memFree=31983564/32873844 swapFree=7116/7116
[pid=13521] ppid=13519 vsize=53404 CPUtime=1782.9 cores=0,2,4,6
/proc/13521/stat : 13521 (Pueblo) R 13519 13521 11831 0 -1 4202496 14847 0 0 0 177410 880 0 0 20 0 1 0 316973027 54685696 12860 33554432000 134512640 134579096 4292725424 4292724272 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13521/statm: 13351 12860 227 17 0 12657 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 53404

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1774.2
CPU system time (s): 8.80866
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 53976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.2
system time used= 8.80866
maximum resident set size= 51976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14852
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= 24
involuntary context switches= 1835

runsolver used 2.73258 second user time and 6.99794 second system time

The end