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-3720462-1338511436/watcher-3720462-1338511436 -o /tmp/evaluation-result-3720462-1338511436/solver-3720462-1338511436 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720462-1338511436.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: 2.00 2.00 2.00 3/176 32133
/proc/meminfo: memFree=27583836/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 317269677 3178496 276 33554432000 134512640 134579096 4289202064 4289069460 2331402 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 776 276 221 17 0 82 0

[startup+0.079577 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32133
/proc/meminfo: memFree=27583836/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=4304 CPUtime=0.07 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 635 0 0 0 7 0 0 0 20 0 1 0 317269677 4407296 573 33554432000 134512640 134579096 4289202064 4289200720 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1076 573 229 17 0 382 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4304

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32133
/proc/meminfo: memFree=27583836/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=4432 CPUtime=0.09 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 661 0 0 0 9 0 0 0 20 0 1 0 317269677 4538368 599 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1108 599 229 17 0 414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4432

[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32133
/proc/meminfo: memFree=27583836/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=5340 CPUtime=0.29 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 884 0 0 0 29 0 0 0 20 0 1 0 317269677 5468160 822 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1335 822 229 17 0 641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5340

[startup+0.700175 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32133
/proc/meminfo: memFree=27583836/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=6520 CPUtime=0.69 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 1182 0 0 0 69 0 0 0 20 0 1 0 317269677 6676480 1120 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1630 1120 229 17 0 936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6520

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32134
/proc/meminfo: memFree=27580140/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=6912 CPUtime=1.49 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 1274 0 0 0 149 0 0 0 20 0 1 0 317269677 7077888 1212 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1728 1212 229 17 0 1034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6912

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32134
/proc/meminfo: memFree=27579272/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=7300 CPUtime=3.08 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 1384 0 0 0 308 0 0 0 20 0 1 0 317269677 7475200 1322 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1825 1322 229 17 0 1131 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7300

[startup+6.30018 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 32134
/proc/meminfo: memFree=27578504/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=7824 CPUtime=6.28 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 1507 0 0 0 628 0 0 0 20 0 1 0 317269677 8011776 1445 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 1956 1445 229 17 0 1262 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7824

[startup+12.7001 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32134
/proc/meminfo: memFree=27577572/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=8348 CPUtime=12.68 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 1652 0 0 0 1267 1 0 0 20 0 1 0 317269677 8548352 1590 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 2087 1590 229 17 0 1393 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8348

[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 32134
/proc/meminfo: memFree=27576372/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=9272 CPUtime=25.48 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 1881 0 0 0 2545 3 0 0 20 0 1 0 317269677 9494528 1819 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 2318 1819 229 17 0 1624 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9272

[startup+51.1002 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 32184
/proc/meminfo: memFree=27603368/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=10188 CPUtime=51.07 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 2108 0 0 0 5100 7 0 0 20 0 1 0 317269677 10432512 2045 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 2547 2045 229 17 0 1853 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10188

[startup+102.306 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 32184
/proc/meminfo: memFree=27562828/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=11808 CPUtime=102.27 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 2499 0 0 0 10213 14 0 0 20 0 1 0 317269677 12091392 2442 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 2952 2442 229 17 0 2258 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11808

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32184
/proc/meminfo: memFree=27460024/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=12672 CPUtime=162.25 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 2692 0 0 0 16204 21 0 0 20 0 1 0 317269677 12976128 2635 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 3168 2635 229 17 0 2474 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 12672

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32185
/proc/meminfo: memFree=27376104/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=13968 CPUtime=222.25 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 2988 0 0 0 22196 29 0 0 20 0 1 0 317269677 14303232 2931 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 3492 2931 229 17 0 2798 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13968

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32185
/proc/meminfo: memFree=27269868/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=14316 CPUtime=282.24 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3071 0 0 0 28188 36 0 0 20 0 1 0 317269677 14659584 3014 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 3579 3014 229 17 0 2885 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14316

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32185
/proc/meminfo: memFree=27142424/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=14740 CPUtime=342.23 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3173 0 0 0 34181 42 0 0 20 0 1 0 317269677 15093760 3116 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 3685 3116 229 17 0 2991 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14740

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32188
/proc/meminfo: memFree=27083156/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=15396 CPUtime=402.22 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3349 0 0 0 40175 47 0 0 20 0 1 0 317269677 15765504 3292 33554432000 134512640 134579096 4289202064 4289200912 134527839 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 3849 3292 229 17 0 3155 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15396

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32188
/proc/meminfo: memFree=26984240/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=15640 CPUtime=462.22 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3389 0 0 0 46167 55 0 0 20 0 1 0 317269677 16015360 3332 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 3910 3332 229 17 0 3216 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 15640

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32189
/proc/meminfo: memFree=26897716/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=16288 CPUtime=522.2 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3588 0 0 0 52159 61 0 0 20 0 1 0 317269677 16678912 3521 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4072 3521 229 17 0 3378 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16288

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32189
/proc/meminfo: memFree=26805116/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=16476 CPUtime=582.19 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3638 0 0 0 58151 68 0 0 20 0 1 0 317269677 16871424 3566 33554432000 134512640 134579096 4289202064 4289200912 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4119 3566 229 17 0 3425 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 16476

[startup+642.3 s]

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

/proc/meminfo: memFree=26466416/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=17784 CPUtime=882.15 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3961 0 0 0 88113 102 0 0 20 0 1 0 317269677 18210816 3923 33554432000 134512640 134579096 4289202064 4289200912 134527833 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4446 3923 229 17 0 3752 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 17784

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32190
/proc/meminfo: memFree=26401192/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=17784 CPUtime=942.14 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3969 0 0 0 94105 109 0 0 20 0 1 0 317269677 18210816 3931 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4446 3931 229 17 0 3752 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 17784

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32193
/proc/meminfo: memFree=26342660/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=17928 CPUtime=1002.12 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 3973 0 0 0 100096 116 0 0 20 0 1 0 317269677 18358272 3935 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4482 3935 229 17 0 3788 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 17928

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32216
/proc/meminfo: memFree=26280900/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=17928 CPUtime=1062.12 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4003 0 0 0 106089 123 0 0 20 0 1 0 317269677 18358272 3965 33554432000 134512640 134579096 4289202064 4289200912 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4482 3965 229 17 0 3788 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 17928

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32217
/proc/meminfo: memFree=26225108/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=18016 CPUtime=1122.1 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4014 0 0 0 112081 129 0 0 20 0 1 0 317269677 18448384 3976 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4504 3976 229 17 0 3810 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 18016

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32217
/proc/meminfo: memFree=26171544/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=18828 CPUtime=1182.1 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4216 0 0 0 118073 137 0 0 20 0 1 0 317269677 19279872 4178 33554432000 134512640 134579096 4289202064 4289200912 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4707 4178 229 17 0 4013 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 18828

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32217
/proc/meminfo: memFree=26116612/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19200 CPUtime=1242.09 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4309 0 0 0 124065 144 0 0 20 0 1 0 317269677 19660800 4271 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4800 4271 229 17 0 4106 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 19200

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32217
/proc/meminfo: memFree=26063416/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19160 CPUtime=1302.08 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4309 0 0 0 130058 150 0 0 20 0 1 0 317269677 19619840 4270 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4790 4270 229 17 0 4096 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 19160

[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 32217
/proc/meminfo: memFree=26015600/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19160 CPUtime=1362.06 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4309 0 0 0 136051 155 0 0 20 0 1 0 317269677 19619840 4270 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4790 4270 229 17 0 4096 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 19160

[startup+1422.31 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 32219
/proc/meminfo: memFree=25956788/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19424 CPUtime=1422.06 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4354 0 0 0 142044 162 0 0 20 0 1 0 317269677 19890176 4315 33554432000 134512640 134579096 4289202064 4289200912 134527665 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4856 4315 229 17 0 4162 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 19424

[startup+1482.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/178 32219
/proc/meminfo: memFree=25898164/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19424 CPUtime=1482.05 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4354 0 0 0 148037 168 0 0 20 0 1 0 317269677 19890176 4315 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4856 4315 229 17 0 4162 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 19424

[startup+1542.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/178 32219
/proc/meminfo: memFree=25841400/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19528 CPUtime=1542.04 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4379 0 0 0 154031 173 0 0 20 0 1 0 317269677 19996672 4340 33554432000 134512640 134579096 4289202064 4289200864 134528658 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4882 4340 229 17 0 4188 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 19528

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/179 32222
/proc/meminfo: memFree=25782304/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19528 CPUtime=1602.03 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4379 0 0 0 160024 179 0 0 20 0 1 0 317269677 19996672 4340 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4882 4340 229 17 0 4188 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 19528

[startup+1662.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/178 32222
/proc/meminfo: memFree=25726268/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19528 CPUtime=1662.02 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4380 0 0 0 166018 184 0 0 20 0 1 0 317269677 19996672 4341 33554432000 134512640 134579096 4289202064 4289201036 4424752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4882 4341 229 17 0 4188 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 19528

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/177 32222
/proc/meminfo: memFree=25661824/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19640 CPUtime=1722.01 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4404 0 0 0 172010 191 0 0 20 0 1 0 317269677 20111360 4365 33554432000 134512640 134579096 4289202064 4289200912 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4910 4365 229 17 0 4216 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 19640

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/178 32223
/proc/meminfo: memFree=25609020/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19612 CPUtime=1782 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4404 0 0 0 178003 197 0 0 20 0 1 0 317269677 20082688 4365 33554432000 134512640 134579096 4289202064 4289200912 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4903 4365 229 17 0 4209 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 19612

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

[startup+1782.7 s]
/proc/loadavg: 2.06 2.07 2.02 3/178 32223
/proc/meminfo: memFree=25609020/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19612 CPUtime=1782.4 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4404 0 0 0 178043 197 0 0 20 0 1 0 317269677 20082688 4365 33554432000 134512640 134579096 4289202064 4289200912 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4903 4365 229 17 0 4209 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 19612

[startup+1783.11 s]
/proc/loadavg: 2.06 2.07 2.02 3/178 32223
/proc/meminfo: memFree=25608400/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19612 CPUtime=1782.81 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4404 0 0 0 178084 197 0 0 20 0 1 0 317269677 20082688 4365 33554432000 134512640 134579096 4289202064 4289201072 134532123 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4903 4365 229 17 0 4209 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 19612

[startup+1783.2 s]
/proc/loadavg: 2.06 2.07 2.02 3/178 32223
/proc/meminfo: memFree=25608400/32873648 swapFree=6860/6860
[pid=32133] ppid=32131 vsize=19612 CPUtime=1782.9 cores=1,3,5,7
/proc/32133/stat : 32133 (Pueblo) R 32131 32133 31568 0 -1 4202496 4404 0 0 0 178093 197 0 0 20 0 1 0 317269677 20082688 4365 33554432000 134512640 134579096 4289202064 4289200912 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32133/statm: 4903 4365 229 17 0 4209 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 19612

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1781.03
CPU system time (s): 1.9767
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 19660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.03
system time used= 1.9767
maximum resident set size= 17480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4409
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= 14
involuntary context switches= 1863

runsolver used 2.92355 second user time and 7.69583 second system time

The end