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-3720431-1338511404/watcher-3720431-1338511404 -o /tmp/evaluation-result-3720431-1338511404/solver-3720431-1338511404 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720431-1338511404.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.06 2.02 1.94 4/176 29720
/proc/meminfo: memFree=29337728/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 317268933 3313664 298 33554432000 134512640 134579096 4287297040 4287164388 8491776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 809 298 219 17 0 115 0

[startup+0.034678 s]
/proc/loadavg: 2.06 2.02 1.94 4/176 29720
/proc/meminfo: memFree=29337728/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=3904 CPUtime=0.03 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 532 0 0 0 3 0 0 0 20 0 1 0 317268933 3997696 470 33554432000 134512640 134579096 4287297040 4287164316 9397296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 976 470 219 17 0 282 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3904

[startup+0.100213 s]
/proc/loadavg: 2.06 2.02 1.94 4/176 29720
/proc/meminfo: memFree=29337728/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=5492 CPUtime=0.09 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 904 0 0 0 9 0 0 0 20 0 1 0 317268933 5623808 842 33554432000 134512640 134579096 4287297040 4287295840 134558907 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 1373 842 227 17 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5492

[startup+0.300179 s]
/proc/loadavg: 2.06 2.02 1.94 4/176 29720
/proc/meminfo: memFree=29337728/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=5620 CPUtime=0.29 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 965 0 0 0 29 0 0 0 20 0 1 0 317268933 5754880 903 33554432000 134512640 134579096 4287297040 4287295872 134517933 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 1405 903 227 17 0 711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5620

[startup+0.700184 s]
/proc/loadavg: 2.06 2.02 1.94 4/176 29720
/proc/meminfo: memFree=29337728/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=7028 CPUtime=0.69 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 1289 0 0 0 69 0 0 0 20 0 1 0 317268933 7196672 1227 33554432000 134512640 134579096 4287297040 4287295872 134517901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 1757 1227 227 17 0 1063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7028

[startup+1.50019 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 29721
/proc/meminfo: memFree=29333536/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=8064 CPUtime=1.49 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 1571 0 0 0 149 0 0 0 20 0 1 0 317268933 8257536 1509 33554432000 134512640 134579096 4287297040 4287296012 9397296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 2016 1509 227 17 0 1322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8064

[startup+3.10019 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 29721
/proc/meminfo: memFree=29332544/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=8460 CPUtime=3.09 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 1654 0 0 0 309 0 0 0 20 0 1 0 317268933 8663040 1592 33554432000 134512640 134579096 4287297040 4287295888 134527729 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 2115 1592 227 17 0 1421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8460

[startup+6.30019 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 29721
/proc/meminfo: memFree=29330188/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=11064 CPUtime=6.29 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 2323 0 0 0 628 1 0 0 20 0 1 0 317268933 11329536 2261 33554432000 134512640 134579096 4287297040 4287295940 134527547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 2766 2261 227 17 0 2072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11064

[startup+12.7002 s]
/proc/loadavg: 2.05 2.01 1.94 3/177 29721
/proc/meminfo: memFree=29327136/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=12912 CPUtime=12.69 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 2765 0 0 0 1267 2 0 0 20 0 1 0 317268933 13221888 2703 33554432000 134512640 134579096 4287297040 4287295956 134559236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29720/statm: 3228 2703 227 17 0 2534 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12912

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 1.94 3/174 29728
/proc/meminfo: memFree=29396052/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=13732 CPUtime=25.48 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 2972 0 0 0 2544 4 0 0 20 0 1 0 317268933 14061568 2910 33554432000 134512640 134579096 4287297040 4287295888 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29720/statm: 3433 2910 227 17 0 2739 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13732

[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 29821
/proc/meminfo: memFree=29392936/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=13732 CPUtime=51.07 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 2976 0 0 0 5099 8 0 0 20 0 1 0 317268933 14061568 2927 33554432000 134512640 134579096 4287297040 4287295888 134527729 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 3433 2927 227 17 0 2739 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13732

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 29821
/proc/meminfo: memFree=29384520/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=21004 CPUtime=102.27 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 4834 0 0 0 10211 16 0 0 20 0 1 0 317268933 21508096 4763 33554432000 134512640 134579096 4287297040 4287295888 134527750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 5251 4763 227 17 0 4557 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21004

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 29821
/proc/meminfo: memFree=29383836/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=21004 CPUtime=162.26 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 4834 0 0 0 16198 28 0 0 20 0 1 0 317268933 21508096 4763 33554432000 134512640 134579096 4287297040 4287296012 9397296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 5251 4763 227 17 0 4557 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21004

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 29822
/proc/meminfo: memFree=29383216/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=21004 CPUtime=222.25 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 4834 0 0 0 22191 34 0 0 20 0 1 0 317268933 21508096 4763 33554432000 134512640 134579096 4287297040 4287295872 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 5251 4763 227 17 0 4557 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 21004

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 29822
/proc/meminfo: memFree=29382968/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=21004 CPUtime=282.24 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 4834 0 0 0 28182 42 0 0 20 0 1 0 317268933 21508096 4763 33554432000 134512640 134579096 4287297040 4287295888 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 5251 4763 227 17 0 4557 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 21004

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 29822
/proc/meminfo: memFree=29382968/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=21004 CPUtime=342.23 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 4834 0 0 0 34175 48 0 0 20 0 1 0 317268933 21508096 4763 33554432000 134512640 134579096 4287297040 4287295888 134527836 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 5251 4763 227 17 0 4557 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 21004

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29825
/proc/meminfo: memFree=29382540/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=21004 CPUtime=402.21 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 4834 0 0 0 40166 55 0 0 20 0 1 0 317268933 21508096 4763 33554432000 134512640 134579096 4287297040 4287295888 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 5251 4763 227 17 0 4557 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 21004

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 29825
/proc/meminfo: memFree=29370060/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33716 CPUtime=462.2 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 46159 61 0 0 20 0 1 0 317268933 34525184 7924 33554432000 134512640 134579096 4287297040 4287295888 134527939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8429 7924 227 17 0 7735 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 33716

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 29826
/proc/meminfo: memFree=29369944/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=522.19 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 52152 67 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295840 134528632 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 33576

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 29826
/proc/meminfo: memFree=29370308/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=582.18 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 58143 75 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295872 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 33576

[startup+642.3 s]

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

/proc/meminfo: memFree=29338104/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=882.14 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 88098 116 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287296012 9397296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 33576

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 30067
/proc/meminfo: memFree=29336244/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=942.13 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 94091 122 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287296012 9397296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 33576

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30070
/proc/meminfo: memFree=29334576/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1002.12 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 100082 130 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295872 134517903 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 33576

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30333
/proc/meminfo: memFree=29366280/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1062.11 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 106073 138 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 33576

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30525
/proc/meminfo: memFree=29352216/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1122.1 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 112066 144 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287296012 9397296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 33576

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29361716/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1182.09 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 118058 151 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295968 134559253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 33576

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29361280/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1242.08 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 124051 157 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527812 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 33576

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29360164/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1302.08 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 130044 164 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295872 134517896 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 33576

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29359916/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1362.07 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 136037 170 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 33576

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30576
/proc/meminfo: memFree=29359916/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1422.06 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 142030 176 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527978 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 33576

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30577
/proc/meminfo: memFree=29359296/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1482.05 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 148022 183 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 33576

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 30577
/proc/meminfo: memFree=29359048/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1542.04 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 154016 188 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295840 134558756 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 33576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29360924/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1602.03 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 160008 195 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295920 134557341 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 33576

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

[startup+1612.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29361088/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1612.43 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 161047 196 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287296012 9397296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1612.43
Current children cumulated vsize (KiB) 33576

[startup+1619.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29361088/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1618.84 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 161687 197 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295940 134527547 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1618.84
Current children cumulated vsize (KiB) 33576

[startup+1620.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29361088/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1620.43 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 161846 197 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527765 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1620.43
Current children cumulated vsize (KiB) 33576

[startup+1621.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29361088/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1621.23 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 161926 197 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1621.23
Current children cumulated vsize (KiB) 33576

[startup+1621.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29361088/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1621.63 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 161966 197 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1621.63
Current children cumulated vsize (KiB) 33576

[startup+1622.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30580
/proc/meminfo: memFree=29361088/32873844 swapFree=6872/6872
[pid=29720] ppid=29718 vsize=33576 CPUtime=1622.03 cores=0,2,4,6
/proc/29720/stat : 29720 (Pueblo) R 29718 29720 28759 0 -1 4202496 8001 0 0 0 162006 197 0 0 20 0 1 0 317268933 34381824 7906 33554432000 134512640 134579096 4287297040 4287295888 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29720/statm: 8394 7906 227 17 0 7700 0
Current children cumulated CPU time (s) 1622.03
Current children cumulated vsize (KiB) 33576

Child status: 30
Real time (s): 1622.39
CPU time (s): 1622.13
CPU user time (s): 1620.15
CPU system time (s): 1.9767
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 33732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1620.15
system time used= 1.9767
maximum resident set size= 31696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8006
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= 1879

runsolver used 3.50347 second user time and 8.50071 second system time

The end