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-3719968-1338506031/watcher-3719968-1338506031 -o /tmp/evaluation-result-3719968-1338506031/solver-3719968-1338506031 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719968-1338506031.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: 0.49 0.12 0.04 3/174 12543
/proc/meminfo: memFree=28559808/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 316728560 3178496 264 33554432000 134512640 134579096 4287330560 4287197860 12616433 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 776 264 213 17 0 82 0

[startup+0.098171 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 12543
/proc/meminfo: memFree=28559808/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=4560 CPUtime=0.09 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 691 0 0 0 9 0 0 0 20 0 1 0 316728560 4669440 629 33554432000 134512640 134579096 4287330560 4287329504 134530542 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1140 629 227 17 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4560

[startup+0.100209 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 12543
/proc/meminfo: memFree=28559808/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=4560 CPUtime=0.09 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 691 0 0 0 9 0 0 0 20 0 1 0 316728560 4669440 629 33554432000 134512640 134579096 4287330560 4287329504 134530518 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1140 629 227 17 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4560

[startup+0.300175 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 12543
/proc/meminfo: memFree=28559808/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=4680 CPUtime=0.29 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 715 0 0 0 29 0 0 0 20 0 1 0 316728560 4792320 653 33554432000 134512640 134579096 4287330560 4287329408 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1170 653 227 17 0 476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4680

[startup+0.70017 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 12543
/proc/meminfo: memFree=28559808/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=5620 CPUtime=0.69 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 939 0 0 0 69 0 0 0 20 0 1 0 316728560 5754880 877 33554432000 134512640 134579096 4287330560 4287329392 134517922 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1405 877 227 17 0 711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5620

[startup+1.50018 s]
/proc/loadavg: 0.49 0.12 0.04 3/175 12544
/proc/meminfo: memFree=28557560/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=5884 CPUtime=1.48 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 999 0 0 0 148 0 0 0 20 0 1 0 316728560 6025216 937 33554432000 134512640 134579096 4287330560 4287329408 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1471 937 227 17 0 777 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5884

[startup+3.10016 s]
/proc/loadavg: 0.49 0.12 0.04 3/175 12544
/proc/meminfo: memFree=28555840/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=6532 CPUtime=3.08 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 1183 0 0 0 308 0 0 0 20 0 1 0 316728560 6688768 1121 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1633 1121 227 17 0 939 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6532

[startup+6.30017 s]
/proc/loadavg: 0.61 0.16 0.05 3/175 12544
/proc/meminfo: memFree=28554368/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=7644 CPUtime=6.29 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 1457 0 0 0 627 2 0 0 20 0 1 0 316728560 7827456 1395 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 1911 1395 227 17 0 1217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7644

[startup+12.7002 s]
/proc/loadavg: 0.72 0.19 0.06 3/175 12544
/proc/meminfo: memFree=28547612/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=8068 CPUtime=12.68 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 1552 0 0 0 1266 2 0 0 20 0 1 0 316728560 8261632 1480 33554432000 134512640 134579096 4287330560 4287329408 134527765 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12543/statm: 2017 1480 227 17 0 1323 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8068

[startup+25.5002 s]
/proc/loadavg: 1.01 0.27 0.09 3/175 12544
/proc/meminfo: memFree=28542396/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=8312 CPUtime=25.48 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 1638 0 0 0 2544 4 0 0 20 0 1 0 316728560 8511488 1566 33554432000 134512640 134579096 4287330560 4287329408 134527753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 2078 1566 227 17 0 1384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8312

[startup+51.1002 s]
/proc/loadavg: 1.34 0.41 0.14 3/175 12544
/proc/meminfo: memFree=28540900/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=9984 CPUtime=51.07 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 2054 0 0 0 5099 8 0 0 20 0 1 0 316728560 10223616 1986 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 2496 1986 227 17 0 1802 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9984

[startup+102.306 s]
/proc/loadavg: 1.71 0.65 0.24 3/175 12544
/proc/meminfo: memFree=28508092/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=10880 CPUtime=102.27 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 2283 0 0 0 10208 19 0 0 20 0 1 0 316728560 11141120 2215 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 2720 2215 227 17 0 2026 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10880

[startup+162.3 s]
/proc/loadavg: 1.89 0.90 0.34 3/175 12545
/proc/meminfo: memFree=28469848/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=11800 CPUtime=162.25 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 2641 0 0 0 16191 34 0 0 20 0 1 0 316728560 12083200 2449 33554432000 134512640 134579096 4287330560 4287329408 134527981 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 2950 2449 227 17 0 2256 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 11800

[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/175 12545
/proc/meminfo: memFree=28436040/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=12004 CPUtime=222.25 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 2680 0 0 0 22161 64 0 0 20 0 1 0 316728560 12292096 2482 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 3001 2482 227 17 0 2307 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 12004

[startup+282.3 s]
/proc/loadavg: 1.98 1.26 0.54 3/175 12545
/proc/meminfo: memFree=28398860/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=11988 CPUtime=282.23 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 2680 0 0 0 28048 175 0 0 20 0 1 0 316728560 12275712 2482 33554432000 134512640 134579096 4287330560 4287329488 134559512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 2997 2482 227 17 0 2303 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 11988

[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.63 3/175 12545
/proc/meminfo: memFree=28363528/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=12808 CPUtime=342.23 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 2986 0 0 0 34015 208 0 0 20 0 1 0 316728560 13115392 2701 33554432000 134512640 134579096 4287330560 4287329408 134527833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 3202 2701 227 17 0 2508 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12808

[startup+402.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/176 12548
/proc/meminfo: memFree=28325196/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=13492 CPUtime=402.22 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 3185 0 0 0 39980 242 0 0 20 0 1 0 316728560 13815808 2851 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 3373 2851 227 17 0 2679 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 13492

[startup+462.3 s]
/proc/loadavg: 1.99 1.59 0.79 3/175 12549
/proc/meminfo: memFree=28289708/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=13864 CPUtime=462.21 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 3318 0 0 0 45808 413 0 0 20 0 1 0 316728560 14196736 2964 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 3466 2964 227 17 0 2772 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 13864

[startup+522.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/175 12549
/proc/meminfo: memFree=28249036/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=15140 CPUtime=522.2 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 3675 0 0 0 51745 475 0 0 20 0 1 0 316728560 15503360 3273 33554432000 134512640 134579096 4287330560 4287329408 134527742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 3785 3273 227 17 0 3091 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 15140

[startup+582.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/175 12549
/proc/meminfo: memFree=28218160/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=582.19 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 4999 0 0 0 57740 479 0 0 20 0 1 0 316728560 20496384 4501 33554432000 134512640 134579096 4287330560 4287329408 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4501 227 17 0 4310 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 20016

[startup+642.3 s]

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

/proc/meminfo: memFree=28071888/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=882.14 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 87690 524 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 20016

[startup+942.3 s]
/proc/loadavg: 2.02 1.92 1.27 3/175 12551
/proc/meminfo: memFree=28040136/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=942.14 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 93682 532 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 20016

[startup+1002.3 s]
/proc/loadavg: 2.01 1.94 1.31 3/176 12554
/proc/meminfo: memFree=28010520/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1002.12 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 99668 544 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 20016

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/175 12555
/proc/meminfo: memFree=27979264/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1062.11 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 105659 552 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134528357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 20016

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/176 12556
/proc/meminfo: memFree=27949372/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1122.11 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 111647 564 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 20016

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/175 12556
/proc/meminfo: memFree=27921480/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1182.1 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 117638 572 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329440 134557302 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 20016

[startup+1242.3 s]
/proc/loadavg: 2.04 1.98 1.46 3/175 12556
/proc/meminfo: memFree=27895812/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1242.08 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 123629 579 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527981 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 20016

[startup+1302.3 s]
/proc/loadavg: 2.01 1.98 1.49 3/175 12556
/proc/meminfo: memFree=27863696/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1302.08 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 129612 596 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 20016

[startup+1362.3 s]
/proc/loadavg: 2.07 1.99 1.53 3/175 12557
/proc/meminfo: memFree=27833564/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1362.07 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 135570 637 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 20016

[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.55 3/175 12557
/proc/meminfo: memFree=27805788/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1422.07 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 141527 680 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 20016

[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.58 3/175 12557
/proc/meminfo: memFree=27779904/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1482.05 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 147486 719 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 20016

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/175 12557
/proc/meminfo: memFree=27749056/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1542.04 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 153435 769 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329488 134559533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 20016

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/176 12560
/proc/meminfo: memFree=27717304/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1602.03 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 159396 807 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 20016

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/175 12561
/proc/meminfo: memFree=27688420/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1662.02 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 165381 821 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527981 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 20016

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/175 12561
/proc/meminfo: memFree=27662504/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1722.01 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 171371 830 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329468 134519884 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 20016

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 12561
/proc/meminfo: memFree=27631132/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1782 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 177364 836 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 20016

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

[startup+1782.7 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 12561
/proc/meminfo: memFree=27631132/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1782.4 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 177404 836 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 20016

[startup+1783.11 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 12561
/proc/meminfo: memFree=27631132/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1782.81 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 177445 836 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329532 1918000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 20016

[startup+1783.2 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 12561
/proc/meminfo: memFree=27631132/32873852 swapFree=7624/7624
[pid=12543] ppid=12541 vsize=20016 CPUtime=1782.9 cores=0,2,4,6
/proc/12543/stat : 12543 (Pueblo) R 12541 12543 12293 0 -1 4202496 5002 0 0 0 177454 836 0 0 20 0 1 0 316728560 20496384 4502 33554432000 134512640 134579096 4287330560 4287329408 134527833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12543/statm: 5004 4502 227 17 0 4310 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 20016

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1774.64
CPU system time (s): 8.36873
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 20124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.64
system time used= 8.36873
maximum resident set size= 18064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5007
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= 16
involuntary context switches= 1903

runsolver used 3.03254 second user time and 6.579 second system time

The end