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-3720241-1338509248/watcher-3720241-1338509248 -o /tmp/evaluation-result-3720241-1338509248/solver-3720241-1338509248 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720241-1338509248.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.04 2.01 1.91 3/176 7001
/proc/meminfo: memFree=31692324/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 317049328 3178496 257 33554432000 134512640 134579096 4290092112 4289959388 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 776 257 213 17 0 82 0

[startup+0.0446071 s]
/proc/loadavg: 2.04 2.01 1.91 3/176 7001
/proc/meminfo: memFree=31692324/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=4220 CPUtime=0.03 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 597 0 0 0 3 0 0 0 20 0 1 0 317049328 4321280 535 33554432000 134512640 134579096 4290092112 4290090928 1828135 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 1055 535 225 17 0 361 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4220

[startup+0.100214 s]
/proc/loadavg: 2.04 2.01 1.91 3/176 7001
/proc/meminfo: memFree=31692324/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=4488 CPUtime=0.09 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 646 0 0 0 9 0 0 0 20 0 1 0 317049328 4595712 584 33554432000 134512640 134579096 4290092112 4290090944 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 1122 584 227 17 0 428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4488

[startup+0.300174 s]
/proc/loadavg: 2.04 2.01 1.91 3/176 7001
/proc/meminfo: memFree=31692324/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=5176 CPUtime=0.29 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 835 0 0 0 29 0 0 0 20 0 1 0 317049328 5300224 773 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 1294 773 227 17 0 600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5176

[startup+0.700172 s]
/proc/loadavg: 2.04 2.01 1.91 3/176 7001
/proc/meminfo: memFree=31692324/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=6180 CPUtime=0.68 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 1089 0 0 0 68 0 0 0 20 0 1 0 317049328 6328320 1027 33554432000 134512640 134579096 4290092112 4290090944 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 1545 1027 227 17 0 851 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6180

[startup+1.50017 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 7002
/proc/meminfo: memFree=31688812/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=6960 CPUtime=1.49 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 1285 0 0 0 148 1 0 0 20 0 1 0 317049328 7127040 1223 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 1740 1223 227 17 0 1046 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6960

[startup+3.10017 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 7002
/proc/meminfo: memFree=31686828/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=10188 CPUtime=3.08 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 2099 0 0 0 307 1 0 0 20 0 1 0 317049328 10432512 2037 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 2547 2037 227 17 0 1853 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10188

[startup+6.30017 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 7002
/proc/meminfo: memFree=31683364/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=11904 CPUtime=6.29 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 2517 0 0 0 625 4 0 0 20 0 1 0 317049328 12189696 2455 33554432000 134512640 134579096 4290092112 4290090960 134527661 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 2976 2455 227 17 0 2282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11904

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 7002
/proc/meminfo: memFree=31681636/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=12992 CPUtime=12.68 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 2790 0 0 0 1262 6 0 0 20 0 1 0 317049328 13303808 2728 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 3248 2728 227 17 0 2554 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12992

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 7002
/proc/meminfo: memFree=31680280/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=14436 CPUtime=25.48 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 3137 0 0 0 2536 12 0 0 20 0 1 0 317049328 14782464 3071 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 3609 3071 227 17 0 2915 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14436

[startup+51.1002 s]
/proc/loadavg: 2.08 2.02 1.92 3/177 7002
/proc/meminfo: memFree=31678668/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=16092 CPUtime=51.07 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 3577 0 0 0 5084 23 0 0 20 0 1 0 317049328 16478208 3498 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 4023 3498 227 17 0 3329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16092

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.92 3/177 7002
/proc/meminfo: memFree=31676556/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=17992 CPUtime=102.27 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 4045 0 0 0 10191 36 0 0 20 0 1 0 317049328 18423808 3966 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 4498 3966 227 17 0 3804 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17992

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/177 7006
/proc/meminfo: memFree=31675724/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=19068 CPUtime=162.26 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 4453 0 0 0 16177 49 0 0 20 0 1 0 317049328 19525632 4257 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 4767 4257 227 17 0 4073 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19068

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/177 7007
/proc/meminfo: memFree=31675252/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=20288 CPUtime=222.24 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 4750 0 0 0 22164 60 0 0 20 0 1 0 317049328 20774912 4554 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 5072 4554 227 17 0 4378 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20288

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7007
/proc/meminfo: memFree=31674012/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=21056 CPUtime=282.23 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 5030 0 0 0 28145 78 0 0 20 0 1 0 317049328 21561344 4751 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 5264 4751 227 17 0 4570 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 21056

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7007
/proc/meminfo: memFree=31670600/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=23664 CPUtime=342.22 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 5857 0 0 0 34128 94 0 0 20 0 1 0 317049328 24231936 5406 33554432000 134512640 134579096 4290092112 4290090960 134528006 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 5916 5406 227 17 0 5222 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 23664

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7151
/proc/meminfo: memFree=31691368/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=22680 CPUtime=402.22 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 5917 0 0 0 40117 105 0 0 20 0 1 0 317049328 23224320 5160 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 5670 5160 227 17 0 4976 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 22680

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7152
/proc/meminfo: memFree=31681348/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=22716 CPUtime=462.21 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 5969 0 0 0 46105 116 0 0 20 0 1 0 317049328 23261184 5169 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 5679 5169 227 17 0 4985 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 22716

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 7152
/proc/meminfo: memFree=31675700/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=25116 CPUtime=522.2 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 6555 0 0 0 52079 141 0 0 20 0 1 0 317049328 25718784 5748 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 6279 5748 227 17 0 5585 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 25116

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 7152
/proc/meminfo: memFree=31672904/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=25368 CPUtime=582.19 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 6669 0 0 0 58062 157 0 0 20 0 1 0 317049328 25976832 5808 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 6342 5808 227 17 0 5648 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 25368

[startup+642.3 s]

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

/proc/meminfo: memFree=31661856/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=27412 CPUtime=882.15 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 7571 0 0 0 87993 222 0 0 20 0 1 0 317049328 28069888 6343 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 6853 6343 227 17 0 6159 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 27412

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7156
/proc/meminfo: memFree=31661732/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=27720 CPUtime=942.14 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 7685 0 0 0 93982 232 0 0 20 0 1 0 317049328 28385280 6420 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 6930 6420 227 17 0 6236 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 27720

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7156
/proc/meminfo: memFree=31660244/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=27728 CPUtime=1002.13 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 7694 0 0 0 99971 242 0 0 20 0 1 0 317049328 28393472 6416 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 6932 6416 227 17 0 6238 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 27728

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7157
/proc/meminfo: memFree=31654660/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=27580 CPUtime=1062.12 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 7705 0 0 0 105963 249 0 0 20 0 1 0 317049328 28241920 6385 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 6895 6385 227 17 0 6201 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 27580

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7157
/proc/meminfo: memFree=31652984/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29196 CPUtime=1122.11 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8128 0 0 0 111949 262 0 0 20 0 1 0 317049328 29896704 6782 33554432000 134512640 134579096 4290092112 4290090960 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7299 6782 227 17 0 6605 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 29196

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7157
/proc/meminfo: memFree=31652796/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29324 CPUtime=1182.1 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8178 0 0 0 117938 272 0 0 20 0 1 0 317049328 30027776 6821 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7331 6821 227 17 0 6637 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 29324

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 7157
/proc/meminfo: memFree=31650936/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29428 CPUtime=1242.09 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8353 0 0 0 123927 282 0 0 20 0 1 0 317049328 30134272 6846 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7357 6846 227 17 0 6663 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 29428

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 7157
/proc/meminfo: memFree=31638708/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29560 CPUtime=1302.09 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8389 0 0 0 129919 290 0 0 20 0 1 0 317049328 30269440 6880 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7390 6880 227 17 0 6696 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 29560

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 7161
/proc/meminfo: memFree=31639064/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29736 CPUtime=1362.07 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8438 0 0 0 135909 298 0 0 20 0 1 0 317049328 30449664 6922 33554432000 134512640 134579096 4290092112 4290091008 134516700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7434 6922 227 17 0 6740 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 29736

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 7161
/proc/meminfo: memFree=31639452/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29776 CPUtime=1422.07 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8449 0 0 0 141901 306 0 0 20 0 1 0 317049328 30490624 6933 33554432000 134512640 134579096 4290092112 4290090932 134556298 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7444 6933 227 17 0 6750 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 29776

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7161
/proc/meminfo: memFree=31639700/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29736 CPUtime=1482.06 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8449 0 0 0 147891 315 0 0 20 0 1 0 317049328 30449664 6924 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7434 6924 227 17 0 6740 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 29736

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7161
/proc/meminfo: memFree=31639080/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=29888 CPUtime=1542.04 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8761 0 0 0 153880 324 0 0 20 0 1 0 317049328 30605312 6962 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7472 6962 227 17 0 6778 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 29888

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7161
/proc/meminfo: memFree=31638956/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=30132 CPUtime=1602.03 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 8952 0 0 0 159867 336 0 0 20 0 1 0 317049328 30855168 7023 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7533 7023 227 17 0 6839 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 30132

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 7162
/proc/meminfo: memFree=31637652/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=31844 CPUtime=1662.03 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 9428 0 0 0 165850 353 0 0 20 0 1 0 317049328 32608256 7428 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7961 7428 227 17 0 7267 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 31844

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 7163
/proc/meminfo: memFree=31637396/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=31848 CPUtime=1722.01 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 9470 0 0 0 171835 366 0 0 20 0 1 0 317049328 32612352 7451 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7962 7451 227 17 0 7268 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 31848

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7163
/proc/meminfo: memFree=31637156/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=31804 CPUtime=1782.01 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 9470 0 0 0 177818 383 0 0 20 0 1 0 317049328 32567296 7440 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7951 7440 227 17 0 7257 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 31804

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

[startup+1782.7 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7163
/proc/meminfo: memFree=31637156/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=31804 CPUtime=1782.41 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 9470 0 0 0 177858 383 0 0 20 0 1 0 317049328 32567296 7440 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7951 7440 227 17 0 7257 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 31804

[startup+1783.11 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7163
/proc/meminfo: memFree=31637156/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=31804 CPUtime=1782.82 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 9470 0 0 0 177899 383 0 0 20 0 1 0 317049328 32567296 7440 33554432000 134512640 134579096 4290092112 4290090960 134527765 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7951 7440 227 17 0 7257 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 31804

[startup+1783.2 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 7163
/proc/meminfo: memFree=31637156/32873844 swapFree=7900/7900
[pid=7001] ppid=6999 vsize=31804 CPUtime=1782.91 cores=1,3,5,7
/proc/7001/stat : 7001 (Pueblo) R 6999 7001 6653 0 -1 4202496 9470 0 0 0 177908 383 0 0 20 0 1 0 317049328 32567296 7440 33554432000 134512640 134579096 4290092112 4290091084 10093616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7001/statm: 7951 7440 227 17 0 7257 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 31804

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783
CPU user time (s): 1779.17
CPU system time (s): 3.83242
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 31968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.17
system time used= 3.83242
maximum resident set size= 29872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9475
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= 22
involuntary context switches= 1832

runsolver used 3.10353 second user time and 8.11876 second system time

The end