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-3720318-1338509651/watcher-3720318-1338509651 -o /tmp/evaluation-result-3720318-1338509651/solver-3720318-1338509651 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720318-1338509651.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.01 2.04 2.00 3/174 9050
/proc/meminfo: memFree=28239640/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 317091018 3174400 273 33554432000 134512640 134579096 4288658448 4288525748 3855152 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 775 273 215 17 0 81 0

[startup+0.0321589 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 9050
/proc/meminfo: memFree=28239640/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=3904 CPUtime=0.02 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 540 0 0 0 2 0 0 0 20 0 1 0 317091018 3997696 478 33554432000 134512640 134579096 4288658448 4288525908 3855085 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 976 478 221 17 0 282 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3904

[startup+0.100256 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 9050
/proc/meminfo: memFree=28239640/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=5188 CPUtime=0.09 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 834 0 0 0 9 0 0 0 20 0 1 0 317091018 5312512 772 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1297 772 229 17 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5188

[startup+0.300225 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 9050
/proc/meminfo: memFree=28239640/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=5188 CPUtime=0.29 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 834 0 0 0 28 1 0 0 20 0 1 0 317091018 5312512 772 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1297 772 229 17 0 603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5188

[startup+0.700224 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 9050
/proc/meminfo: memFree=28239640/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=5188 CPUtime=0.68 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 834 0 0 0 67 1 0 0 20 0 1 0 317091018 5312512 772 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1297 772 229 17 0 603 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5188

[startup+1.50022 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 9051
/proc/meminfo: memFree=28237424/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=5680 CPUtime=1.49 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 964 0 0 0 147 2 0 0 20 0 1 0 317091018 5816320 902 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1420 902 229 17 0 726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5680

[startup+3.10022 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 9051
/proc/meminfo: memFree=28237044/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=6168 CPUtime=3.09 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 1084 0 0 0 304 5 0 0 20 0 1 0 317091018 6316032 1022 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1542 1022 229 17 0 848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6168

[startup+6.30023 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 9051
/proc/meminfo: memFree=28235800/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=6664 CPUtime=6.29 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 1214 0 0 0 617 12 0 0 20 0 1 0 317091018 6823936 1152 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1666 1152 229 17 0 972 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6664

[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 9051
/proc/meminfo: memFree=28234444/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=7660 CPUtime=12.69 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 1464 0 0 0 1247 22 0 0 20 0 1 0 317091018 7843840 1402 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 1915 1402 229 17 0 1221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7660

[startup+25.5002 s]
/proc/loadavg: 2.01 2.03 2.00 3/175 9051
/proc/meminfo: memFree=28232836/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=9060 CPUtime=25.48 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 1796 0 0 0 2510 38 0 0 20 0 1 0 317091018 9277440 1761 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 2265 1761 229 17 0 1571 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9060

[startup+51.1002 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 9051
/proc/meminfo: memFree=28230540/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=11236 CPUtime=51.08 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 2327 0 0 0 5045 63 0 0 20 0 1 0 317091018 11505664 2302 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 2809 2302 229 17 0 2115 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11236

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 9051
/proc/meminfo: memFree=28229548/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=12204 CPUtime=102.27 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 2544 0 0 0 10107 120 0 0 20 0 1 0 317091018 12496896 2519 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 3051 2519 229 17 0 2357 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12204

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 9051
/proc/meminfo: memFree=28226012/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=15372 CPUtime=162.26 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 3312 0 0 0 16035 191 0 0 20 0 1 0 317091018 15740928 3319 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 3843 3319 229 17 0 3149 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15372

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 9052
/proc/meminfo: memFree=28224148/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=16880 CPUtime=222.25 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 3634 0 0 0 21947 278 0 0 20 0 1 0 317091018 17285120 3707 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 4220 3707 229 17 0 3526 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 16880

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 9052
/proc/meminfo: memFree=28222844/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=17752 CPUtime=282.25 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 3847 0 0 0 27862 363 0 0 20 0 1 0 317091018 18178048 3920 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 4438 3920 229 17 0 3744 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 17752

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 9052
/proc/meminfo: memFree=28219432/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=20988 CPUtime=342.24 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 4663 0 0 0 33787 437 0 0 20 0 1 0 317091018 21491712 4742 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 5247 4742 229 17 0 4553 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 20988

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 9055
/proc/meminfo: memFree=28218368/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=22280 CPUtime=402.23 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 4974 0 0 0 39702 521 0 0 20 0 1 0 317091018 22814720 5068 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 5570 5068 229 17 0 4876 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 22280

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9055
/proc/meminfo: memFree=28218128/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=22280 CPUtime=462.22 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 4974 0 0 0 45611 611 0 0 20 0 1 0 317091018 22814720 5068 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 5570 5068 229 17 0 4876 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 22280

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9056
/proc/meminfo: memFree=28218004/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=22280 CPUtime=522.2 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 4974 0 0 0 51525 695 0 0 20 0 1 0 317091018 22814720 5068 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 5570 5068 229 17 0 4876 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 22280

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9056
/proc/meminfo: memFree=28217880/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=22280 CPUtime=582.2 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 4974 0 0 0 57424 796 0 0 20 0 1 0 317091018 22814720 5068 33554432000 134512640 134579096 4288658448 4288657344 134516696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 5570 5068 229 17 0 4876 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 22280

[startup+642.3 s]

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

/proc/meminfo: memFree=28216080/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=23596 CPUtime=882.15 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 5188 0 0 0 86997 1218 0 0 20 0 1 0 317091018 24162304 5323 33554432000 134512640 134579096 4288658448 4288657344 134516696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 5899 5323 229 17 0 5205 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 23596

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9057
/proc/meminfo: memFree=28213288/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=26292 CPUtime=942.14 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6018 0 0 0 92929 1285 0 0 20 0 1 0 317091018 26923008 6068 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 6573 6068 229 17 0 5879 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 26292

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9060
/proc/meminfo: memFree=28212904/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=26520 CPUtime=1002.13 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6187 0 0 0 98865 1348 0 0 20 0 1 0 317091018 27156480 6144 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 6630 6144 229 17 0 5936 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 26520

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9060
/proc/meminfo: memFree=28211796/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=27964 CPUtime=1062.12 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6566 0 0 0 104803 1409 0 0 20 0 1 0 317091018 28635136 6483 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 6991 6483 229 17 0 6297 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 27964

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 9060
/proc/meminfo: memFree=28211368/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=28372 CPUtime=1122.12 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6642 0 0 0 110745 1467 0 0 20 0 1 0 317091018 29052928 6558 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7093 6558 229 17 0 6399 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 28372

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 9061
/proc/meminfo: memFree=28211236/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=28372 CPUtime=1182.1 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6650 0 0 0 116683 1527 0 0 20 0 1 0 317091018 29052928 6566 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7093 6566 229 17 0 6399 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 28372

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 9061
/proc/meminfo: memFree=28211112/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=28372 CPUtime=1242.1 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6650 0 0 0 122626 1584 0 0 20 0 1 0 317091018 29052928 6566 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7093 6566 229 17 0 6399 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 28372

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9061
/proc/meminfo: memFree=28209808/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=29056 CPUtime=1302.09 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 6898 0 0 0 128558 1651 0 0 20 0 1 0 317091018 29753344 6776 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7264 6776 229 17 0 6570 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 29056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9061
/proc/meminfo: memFree=28209808/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=29560 CPUtime=1362.08 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 7002 0 0 0 134489 1719 0 0 20 0 1 0 317091018 30269440 6880 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7390 6880 229 17 0 6696 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 29560

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9061
/proc/meminfo: memFree=28208008/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=31168 CPUtime=1422.08 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 7423 0 0 0 140417 1791 0 0 20 0 1 0 317091018 31916032 7302 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7792 7302 229 17 0 7098 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 31168

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9062
/proc/meminfo: memFree=28208008/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=31168 CPUtime=1482.06 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 7423 0 0 0 146350 1856 0 0 20 0 1 0 317091018 31916032 7302 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 7792 7302 229 17 0 7098 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 31168

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9063
/proc/meminfo: memFree=28206264/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=32804 CPUtime=1542.05 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8049 0 0 0 152278 1927 0 0 20 0 1 0 317091018 33591296 7706 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8201 7706 229 17 0 7507 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 32804

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9065
/proc/meminfo: memFree=28204776/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33476 CPUtime=1602.04 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8469 0 0 0 158219 1985 0 0 20 0 1 0 317091018 34279424 7877 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8369 7877 229 17 0 7675 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 33476

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 9065
/proc/meminfo: memFree=28204908/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33272 CPUtime=1662.03 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8473 0 0 0 164173 2030 0 0 20 0 1 0 317091018 34070528 7828 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8318 7828 229 17 0 7624 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 33272

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 9113
/proc/meminfo: memFree=28192996/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33396 CPUtime=1722.02 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8503 0 0 0 170112 2090 0 0 20 0 1 0 317091018 34197504 7861 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8349 7861 229 17 0 7655 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 33396

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9114
/proc/meminfo: memFree=28174812/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33396 CPUtime=1782.01 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8503 0 0 0 176050 2151 0 0 20 0 1 0 317091018 34197504 7861 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8349 7861 229 17 0 7655 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 33396

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

[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9114
/proc/meminfo: memFree=28174812/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33396 CPUtime=1782.42 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8503 0 0 0 176090 2152 0 0 20 0 1 0 317091018 34197504 7861 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8349 7861 229 17 0 7655 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 33396

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9114
/proc/meminfo: memFree=28175184/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33396 CPUtime=1782.82 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8503 0 0 0 176130 2152 0 0 20 0 1 0 317091018 34197504 7861 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8349 7861 229 17 0 7655 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 33396

[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9114
/proc/meminfo: memFree=28175184/32873852 swapFree=6856/6856
[pid=9050] ppid=9048 vsize=33396 CPUtime=1782.91 cores=1,3,5,7
/proc/9050/stat : 9050 (Pueblo) R 9048 9050 8408 0 -1 4202496 8503 0 0 0 176139 2152 0 0 20 0 1 0 317091018 34197504 7861 33554432000 134512640 134579096 4288658448 4288657420 2634800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9050/statm: 8349 7861 229 17 0 7655 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 33396

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1761.48
CPU system time (s): 21.5287
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 34188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.48
system time used= 21.5287
maximum resident set size= 32100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8508
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= 24
involuntary context switches= 1952

runsolver used 2.6346 second user time and 7.09692 second system time

The end