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-3719967-1338506031/watcher-3719967-1338506031 -o /tmp/evaluation-result-3719967-1338506031/solver-3719967-1338506031 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719967-1338506031.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: 0.11 0.03 0.01 2/171 30844
/proc/meminfo: memFree=29613928/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=2912 CPUtime=0 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4194304 195 0 0 0 0 0 0 0 20 0 1 0 316728682 2981888 134 33554432000 134512640 134579096 4288225568 4288225360 5094384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 728 146 124 17 0 34 0

[startup+0.0416979 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 30844
/proc/meminfo: memFree=29613928/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=3632 CPUtime=0.03 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 471 0 0 0 3 0 0 0 20 0 1 0 316728682 3719168 409 33554432000 134512640 134579096 4288225568 4288092844 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 908 409 219 17 0 214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3632

[startup+0.100257 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 30844
/proc/meminfo: memFree=29613928/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=4600 CPUtime=0.09 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 716 0 0 0 9 0 0 0 20 0 1 0 316728682 4710400 654 33554432000 134512640 134579096 4288225568 4288224224 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 1150 654 227 17 0 456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4600

[startup+0.300181 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 30844
/proc/meminfo: memFree=29613928/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=5264 CPUtime=0.29 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 865 0 0 0 29 0 0 0 20 0 1 0 316728682 5390336 803 33554432000 134512640 134579096 4288225568 4288224400 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 1316 803 227 17 0 622 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5264

[startup+0.700182 s]
/proc/loadavg: 0.11 0.03 0.01 2/171 30844
/proc/meminfo: memFree=29613928/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=6308 CPUtime=0.69 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 1135 0 0 0 69 0 0 0 20 0 1 0 316728682 6459392 1073 33554432000 134512640 134579096 4288225568 4288224224 134523625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 1577 1073 227 17 0 883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6308

[startup+1.50018 s]
/proc/loadavg: 0.11 0.03 0.01 3/177 30866
/proc/meminfo: memFree=29590444/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=6432 CPUtime=1.49 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 1175 0 0 0 148 1 0 0 20 0 1 0 316728682 6586368 1113 33554432000 134512640 134579096 4288225568 4288224400 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 1608 1113 227 17 0 914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6432

[startup+3.10018 s]
/proc/loadavg: 0.26 0.06 0.02 3/177 30866
/proc/meminfo: memFree=29578680/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=7740 CPUtime=3.09 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 1499 0 0 0 307 2 0 0 20 0 1 0 316728682 7925760 1437 33554432000 134512640 134579096 4288225568 4288224388 134556361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 1935 1437 227 17 0 1241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7740

[startup+6.30018 s]
/proc/loadavg: 0.26 0.06 0.02 3/177 30866
/proc/meminfo: memFree=29574844/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=10352 CPUtime=6.29 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 2154 0 0 0 626 3 0 0 20 0 1 0 316728682 10600448 2092 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 2588 2092 227 17 0 1894 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10352

[startup+12.7002 s]
/proc/loadavg: 0.53 0.12 0.04 3/177 30866
/proc/meminfo: memFree=29573876/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=10608 CPUtime=12.69 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 2221 0 0 0 1262 7 0 0 20 0 1 0 316728682 10862592 2159 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 2652 2159 227 17 0 1958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10608

[startup+25.5002 s]
/proc/loadavg: 0.75 0.19 0.06 3/177 30866
/proc/meminfo: memFree=29569036/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=14412 CPUtime=25.48 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 3178 0 0 0 2538 10 0 0 20 0 1 0 316728682 14757888 3108 33554432000 134512640 134579096 4288225568 4288224384 134519111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 3603 3108 227 17 0 2909 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14412

[startup+51.1002 s]
/proc/loadavg: 1.18 0.33 0.11 3/177 30866
/proc/meminfo: memFree=29568536/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=14452 CPUtime=51.08 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 3196 0 0 0 5089 19 0 0 20 0 1 0 316728682 14798848 3107 33554432000 134512640 134579096 4288225568 4288224448 134557279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 3613 3107 227 17 0 2919 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14452

[startup+102.307 s]
/proc/loadavg: 1.67 0.61 0.22 3/177 30866
/proc/meminfo: memFree=29564564/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=17852 CPUtime=102.27 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 4093 0 0 0 10202 25 0 0 20 0 1 0 316728682 18280448 3958 33554432000 134512640 134579096 4288225568 4288224432 134520078 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 4463 3958 227 17 0 3769 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17852

[startup+162.3 s]
/proc/loadavg: 1.88 0.86 0.33 3/177 30866
/proc/meminfo: memFree=29551904/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=17852 CPUtime=162.25 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 4093 0 0 0 16189 36 0 0 20 0 1 0 316728682 18280448 3958 33554432000 134512640 134579096 4288225568 4288224388 134556355 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 4463 3958 227 17 0 3769 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 17852

[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.43 3/177 30867
/proc/meminfo: memFree=29545016/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=17852 CPUtime=222.25 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 4093 0 0 0 22174 51 0 0 20 0 1 0 316728682 18280448 3958 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 4463 3958 227 17 0 3769 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17852

[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.52 3/177 30867
/proc/meminfo: memFree=29528196/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=20504 CPUtime=282.24 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 4869 0 0 0 28157 67 0 0 20 0 1 0 316728682 20996096 4617 33554432000 134512640 134579096 4288225568 4288223008 134532911 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 5126 4617 227 17 0 4432 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 20504

[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/177 30867
/proc/meminfo: memFree=29524420/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=23804 CPUtime=342.23 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 5819 0 0 0 34148 75 0 0 20 0 1 0 316728682 24375296 5461 33554432000 134512640 134579096 4288225568 4288224448 134557279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 5951 5461 227 17 0 5257 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 23804

[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/178 30870
/proc/meminfo: memFree=29503640/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=23780 CPUtime=402.22 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 5953 0 0 0 40137 85 0 0 20 0 1 0 316728682 24350720 5455 33554432000 134512640 134579096 4288225568 4288224224 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 5945 5455 227 17 0 5251 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 23780

[startup+462.3 s]
/proc/loadavg: 1.99 1.57 0.77 3/177 30870
/proc/meminfo: memFree=29485632/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=24428 CPUtime=462.21 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 6118 0 0 0 46127 94 0 0 20 0 1 0 316728682 25014272 5617 33554432000 134512640 134579096 4288225568 4288224416 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 6107 5617 227 17 0 5413 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 24428

[startup+522.3 s]
/proc/loadavg: 1.99 1.64 0.84 3/176 30870
/proc/meminfo: memFree=29485640/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=23780 CPUtime=522.2 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 6118 0 0 0 52118 102 0 0 20 0 1 0 316728682 24350720 5455 33554432000 134512640 134579096 4288225568 4288224388 134556279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 5945 5455 227 17 0 5251 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 23780

[startup+582.3 s]
/proc/loadavg: 1.99 1.71 0.92 3/177 30871
/proc/meminfo: memFree=29485816/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=23780 CPUtime=582.19 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 6118 0 0 0 58112 107 0 0 20 0 1 0 316728682 24350720 5455 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 5945 5455 227 17 0 5251 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 23780

[startup+642.3 s]

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

/proc/meminfo: memFree=29451696/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=882.15 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 88082 133 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224496 134559528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 30952

[startup+942.3 s]
/proc/loadavg: 2.07 1.93 1.26 3/177 30872
/proc/meminfo: memFree=29451868/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=942.14 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 94077 137 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 30952

[startup+1002.3 s]
/proc/loadavg: 2.02 1.94 1.30 3/178 30875
/proc/meminfo: memFree=29451736/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1002.12 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 100069 143 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 30952

[startup+1062.3 s]
/proc/loadavg: 2.01 1.95 1.34 3/177 30875
/proc/meminfo: memFree=29451992/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1062.11 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 106060 151 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224496 134559423 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 30952

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/177 30875
/proc/meminfo: memFree=29451868/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1122.11 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 112052 159 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224416 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 30952

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.41 3/177 30876
/proc/meminfo: memFree=29451868/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1182.09 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 118041 168 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224540 9880624 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 30952

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/176 30876
/proc/meminfo: memFree=29420188/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1242.09 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 124031 178 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224400 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 30952

[startup+1302.3 s]
/proc/loadavg: 2.06 1.98 1.49 3/177 30877
/proc/meminfo: memFree=29404680/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1302.09 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8582 0 0 0 130019 190 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224400 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 30952

[startup+1362.3 s]
/proc/loadavg: 2.02 1.98 1.52 3/177 30877
/proc/meminfo: memFree=29404392/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1362.07 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 136011 196 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224388 134556290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 30952

[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 1.55 3/177 30877
/proc/meminfo: memFree=29404516/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1422.06 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 142005 201 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224448 134557302 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 30952

[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.57 3/177 30878
/proc/meminfo: memFree=29404516/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1482.05 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 147995 210 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224388 134556261 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 30952

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.60 3/177 30878
/proc/meminfo: memFree=29404640/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1542.05 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 153983 222 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224416 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 30952

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.62 3/178 30881
/proc/meminfo: memFree=29368548/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1602.03 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 159974 229 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224324 134529012 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 30952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/177 30881
/proc/meminfo: memFree=29308572/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1662.03 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 165968 235 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224384 134519088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 30952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/177 30881
/proc/meminfo: memFree=29256492/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1722.01 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 171957 244 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224224 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 30952

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 30882
/proc/meminfo: memFree=29242852/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1782.01 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 177948 253 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288222224 134533509 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 30952

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

[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 30882
/proc/meminfo: memFree=29242852/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1782.41 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 177988 253 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224432 134520116 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 30952

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 30882
/proc/meminfo: memFree=29243100/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1782.81 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 178028 253 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224400 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 30952

[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 30882
/proc/meminfo: memFree=29243100/32873844 swapFree=7632/7632
[pid=30844] ppid=30842 vsize=30952 CPUtime=1782.91 cores=1,3,5,7
/proc/30844/stat : 30844 (Pueblo) R 30842 30844 30519 0 -1 4202496 8587 0 0 0 178038 253 0 0 20 0 1 0 316728682 31694848 7248 33554432000 134512640 134579096 4288225568 4288224400 134517810 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30844/statm: 7738 7248 227 17 0 7044 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 30952

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1780.47
CPU system time (s): 2.53661
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 31076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.47
system time used= 2.53661
maximum resident set size= 29028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8592
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= 18
involuntary context switches= 1833

runsolver used 2.71959 second user time and 7.2289 second system time

The end