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-3720596-1338512530/watcher-3720596-1338512530 -o /tmp/evaluation-result-3720596-1338512530/solver-3720596-1338512530 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720596-1338512530.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.00 2.00 1.95 3/175 9499
/proc/meminfo: memFree=29127580/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 317381464 3178496 277 33554432000 134512640 134579096 4294222368 4294089716 3568432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 809 279 219 17 0 115 0

[startup+0.0569439 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 9499
/proc/meminfo: memFree=29127580/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=4168 CPUtime=0.05 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 585 0 0 0 5 0 0 0 20 0 1 0 317381464 4268032 522 33554432000 134512640 134579096 4294222368 4294089760 2771833 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 1042 522 219 17 0 348 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4168

[startup+0.100207 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 9499
/proc/meminfo: memFree=29127580/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=5684 CPUtime=0.09 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 973 0 0 0 9 0 0 0 20 0 1 0 317381464 5820416 910 33554432000 134512640 134579096 4294222368 4294221328 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 1421 910 226 17 0 727 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5684

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 9499
/proc/meminfo: memFree=29127580/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=5952 CPUtime=0.29 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 1015 0 0 0 29 0 0 0 20 0 1 0 317381464 6094848 952 33554432000 134512640 134579096 4294222368 4294221168 134528660 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 1488 952 227 17 0 794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5952

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 9499
/proc/meminfo: memFree=29127580/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=5952 CPUtime=0.69 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 1029 0 0 0 69 0 0 0 20 0 1 0 317381464 6094848 966 33554432000 134512640 134579096 4294222368 4294221216 134527824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 1488 966 227 17 0 794 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5952

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9500
/proc/meminfo: memFree=29124000/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=6876 CPUtime=1.49 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 1274 0 0 0 149 0 0 0 20 0 1 0 317381464 7041024 1211 33554432000 134512640 134579096 4294222368 4294221268 134527547 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 1719 1211 227 17 0 1025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6876

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9500
/proc/meminfo: memFree=29122760/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=8044 CPUtime=3.08 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 1566 0 0 0 308 0 0 0 20 0 1 0 317381464 8237056 1503 33554432000 134512640 134579096 4294222368 4294221216 134527726 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 2011 1503 227 17 0 1317 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8044

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9500
/proc/meminfo: memFree=29121428/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=8708 CPUtime=6.29 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 1722 0 0 0 628 1 0 0 20 0 1 0 317381464 8916992 1659 33554432000 134512640 134579096 4294222368 4294221216 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 2177 1659 227 17 0 1483 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8708

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9550
/proc/meminfo: memFree=29382120/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=10004 CPUtime=12.68 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2052 0 0 0 1267 1 0 0 20 0 1 0 317381464 10244096 2004 33554432000 134512640 134579096 4294222368 4294221216 134528236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 2501 2004 227 17 0 1807 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10004

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9550
/proc/meminfo: memFree=29381092/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=10652 CPUtime=25.48 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2198 0 0 0 2546 2 0 0 20 0 1 0 317381464 10907648 2150 33554432000 134512640 134579096 4294222368 4294221232 134519997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 2663 2150 227 17 0 1969 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10652

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9550
/proc/meminfo: memFree=29379416/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=11432 CPUtime=51.08 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2398 0 0 0 5104 4 0 0 20 0 1 0 317381464 11706368 2349 33554432000 134512640 134579096 4294222368 4294221216 134527737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 2858 2349 227 17 0 2164 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11432

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 9550
/proc/meminfo: memFree=29377988/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=12220 CPUtime=102.27 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2600 0 0 0 10221 6 0 0 20 0 1 0 317381464 12513280 2551 33554432000 134512640 134579096 4294222368 4294221216 134527824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3055 2551 227 17 0 2361 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12220

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/176 9551
/proc/meminfo: memFree=29376248/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=12480 CPUtime=162.26 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2645 0 0 0 16217 9 0 0 20 0 1 0 317381464 12779520 2602 33554432000 134512640 134579096 4294222368 4294221216 134528346 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3120 2602 227 17 0 2426 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12480

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/176 9551
/proc/meminfo: memFree=29376496/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=12428 CPUtime=222.25 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2645 0 0 0 22213 12 0 0 20 0 1 0 317381464 12726272 2602 33554432000 134512640 134579096 4294222368 4294221216 134528015 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3107 2602 227 17 0 2413 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 12428

[startup+282.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/176 9753
/proc/meminfo: memFree=29371660/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=12552 CPUtime=282.24 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2690 0 0 0 28210 14 0 0 20 0 1 0 317381464 12853248 2647 33554432000 134512640 134579096 4294222368 4294221264 134553169 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3138 2647 227 17 0 2444 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12552

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/175 9753
/proc/meminfo: memFree=29370180/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=13540 CPUtime=342.23 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 2935 0 0 0 34206 17 0 0 20 0 1 0 317381464 13864960 2892 33554432000 134512640 134579096 4294222368 4294221216 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3385 2892 227 17 0 2691 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 13540

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/175 9753
/proc/meminfo: memFree=29367200/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=15104 CPUtime=402.22 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3313 0 0 0 40203 19 0 0 20 0 1 0 317381464 15466496 3272 33554432000 134512640 134579096 4294222368 4294221200 134517896 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3776 3272 227 17 0 3082 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15104

[startup+462.3 s]
/proc/loadavg: 2.06 2.04 1.97 3/175 9754
/proc/meminfo: memFree=29367200/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=15176 CPUtime=462.21 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3329 0 0 0 46200 21 0 0 20 0 1 0 317381464 15540224 3288 33554432000 134512640 134579096 4294222368 4294221232 134520057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 3794 3288 227 17 0 3100 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15176

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/176 9757
/proc/meminfo: memFree=29366696/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=16200 CPUtime=522.2 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3595 0 0 0 52196 24 0 0 20 0 1 0 317381464 16588800 3554 33554432000 134512640 134579096 4294222368 4294221216 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4050 3554 227 17 0 3356 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16200

[startup+582.3 s]
/proc/loadavg: 2.06 2.05 1.98 3/175 9757
/proc/meminfo: memFree=29366580/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=16200 CPUtime=582.2 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3595 0 0 0 58193 27 0 0 20 0 1 0 317381464 16588800 3554 33554432000 134512640 134579096 4294222368 4294221216 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4050 3554 227 17 0 3356 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 16200

[startup+642.3 s]

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

/proc/meminfo: memFree=29364532/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=16104 CPUtime=882.14 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3595 0 0 0 88177 37 0 0 20 0 1 0 317381464 16490496 3536 33554432000 134512640 134579096 4294222368 4294221216 134527737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4026 3536 227 17 0 3332 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 16104

[startup+942.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 9759
/proc/meminfo: memFree=29364656/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=16104 CPUtime=942.14 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3595 0 0 0 94173 41 0 0 20 0 1 0 317381464 16490496 3536 33554432000 134512640 134579096 4294222368 4294221156 2814852 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4026 3536 227 17 0 3332 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 16104

[startup+1002.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 9759
/proc/meminfo: memFree=29364408/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=16348 CPUtime=1002.13 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3630 0 0 0 100169 44 0 0 20 0 1 0 317381464 16740352 3571 33554432000 134512640 134579096 4294222368 4294221216 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4087 3571 227 17 0 3393 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 16348

[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 9760
/proc/meminfo: memFree=29363352/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17116 CPUtime=1062.12 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3831 0 0 0 106166 46 0 0 20 0 1 0 317381464 17526784 3773 33554432000 134512640 134579096 4294222368 4294221216 134527836 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4279 3773 227 17 0 3585 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 17116

[startup+1122.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/176 9763
/proc/meminfo: memFree=29363344/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17116 CPUtime=1122.11 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3831 0 0 0 112163 48 0 0 20 0 1 0 317381464 17526784 3773 33554432000 134512640 134579096 4294222368 4294221216 134527729 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4279 3773 227 17 0 3585 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 17116

[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 9763
/proc/meminfo: memFree=29363104/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17248 CPUtime=1182.1 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3866 0 0 0 118159 51 0 0 20 0 1 0 317381464 17661952 3808 33554432000 134512640 134579096 4294222368 4294221216 134527753 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4312 3808 227 17 0 3618 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 17248

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/175 9763
/proc/meminfo: memFree=29362732/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17380 CPUtime=1242.09 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3906 0 0 0 124157 52 0 0 20 0 1 0 317381464 17797120 3848 33554432000 134512640 134579096 4294222368 4294221216 134528344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4345 3848 227 17 0 3651 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 17380

[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 9763
/proc/meminfo: memFree=29362608/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17296 CPUtime=1302.09 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3906 0 0 0 130155 54 0 0 20 0 1 0 317381464 17711104 3835 33554432000 134512640 134579096 4294222368 4294221216 134527729 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4324 3835 227 17 0 3630 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 17296

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 9764
/proc/meminfo: memFree=29362732/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17296 CPUtime=1362.08 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3906 0 0 0 136151 57 0 0 20 0 1 0 317381464 17711104 3835 33554432000 134512640 134579096 4294222368 4294221248 134557266 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4324 3835 227 17 0 3630 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 17296

[startup+1422.31 s]
/proc/loadavg: 2.12 2.07 2.01 3/175 9764
/proc/meminfo: memFree=29362608/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17292 CPUtime=1422.07 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3906 0 0 0 142148 59 0 0 20 0 1 0 317381464 17707008 3834 33554432000 134512640 134579096 4294222368 4294221216 134528346 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4323 3834 227 17 0 3629 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 17292

[startup+1482.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/175 9764
/proc/meminfo: memFree=29362236/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17544 CPUtime=1482.06 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3963 0 0 0 148144 62 0 0 20 0 1 0 317381464 17965056 3891 33554432000 134512640 134579096 4294222368 4294221216 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4386 3891 227 17 0 3692 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 17544

[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/175 9764
/proc/meminfo: memFree=29362236/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17544 CPUtime=1542.04 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3963 0 0 0 154140 64 0 0 20 0 1 0 317381464 17965056 3891 33554432000 134512640 134579096 4294222368 4294221216 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4386 3891 227 17 0 3692 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 17544

[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 9764
/proc/meminfo: memFree=29361676/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17676 CPUtime=1602.03 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 160137 66 0 0 20 0 1 0 317381464 18100224 3909 33554432000 134512640 134579096 4294222368 4294221216 134527759 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4419 3909 227 17 0 3725 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 17676

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 9765
/proc/meminfo: memFree=29361800/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17660 CPUtime=1662.03 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 166134 69 0 0 20 0 1 0 317381464 18083840 3909 33554432000 134512640 134579096 4294222368 4294221000 2825122 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4415 3909 227 17 0 3721 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 17660

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 9768
/proc/meminfo: memFree=29362040/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17660 CPUtime=1722.02 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 172130 72 0 0 20 0 1 0 317381464 18083840 3909 33554432000 134512640 134579096 4294222368 4294221216 134527928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4415 3909 227 17 0 3721 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 17660

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 9768
/proc/meminfo: memFree=29361676/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17660 CPUtime=1782.01 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 178127 74 0 0 20 0 1 0 317381464 18083840 3909 33554432000 134512640 134579096 4294222368 4294221216 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4415 3909 227 17 0 3721 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 17660

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

[startup+1782.7 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 9768
/proc/meminfo: memFree=29361676/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17660 CPUtime=1782.41 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 178167 74 0 0 20 0 1 0 317381464 18083840 3909 33554432000 134512640 134579096 4294222368 4294221216 134527981 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4415 3909 227 17 0 3721 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 17660

[startup+1783.11 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 9768
/proc/meminfo: memFree=29361676/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17660 CPUtime=1782.82 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 178208 74 0 0 20 0 1 0 317381464 18083840 3909 33554432000 134512640 134579096 4294222368 4294221216 134527715 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4415 3909 227 17 0 3721 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 17660

[startup+1783.2 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 9768
/proc/meminfo: memFree=29361676/32873844 swapFree=6088/6088
[pid=9499] ppid=9497 vsize=17660 CPUtime=1782.91 cores=0,2,4,6
/proc/9499/stat : 9499 (Pueblo) R 9497 9499 8247 0 -1 4202496 3981 0 0 0 178217 74 0 0 20 0 1 0 317381464 18083840 3909 33554432000 134512640 134579096 4294222368 4294221268 134527549 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9499/statm: 4415 3909 227 17 0 3721 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 17660

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1782.26
CPU system time (s): 0.746886
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 17676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.26
system time used= 0.746886
maximum resident set size= 15656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3986
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= 2778

runsolver used 2.82757 second user time and 6.90295 second system time

The end