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-3720246-1338509549/watcher-3720246-1338509549 -o /tmp/evaluation-result-3720246-1338509549/solver-3720246-1338509549 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720246-1338509549.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.06 2.02 2.00 3/174 26379
/proc/meminfo: memFree=26584704/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 317080367 3178496 244 33554432000 134512640 134579096 4289362976 4289230380 10836320 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 776 244 213 17 0 82 0

[startup+0.055821 s]
/proc/loadavg: 2.06 2.02 2.00 3/174 26379
/proc/meminfo: memFree=26584704/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=3904 CPUtime=0.05 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 530 0 0 0 5 0 0 0 20 0 1 0 317080367 3997696 467 33554432000 134512640 134579096 4289362976 4289230252 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 976 467 219 17 0 282 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3904

[startup+0.100208 s]
/proc/loadavg: 2.06 2.02 2.00 3/174 26379
/proc/meminfo: memFree=26584704/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=4716 CPUtime=0.09 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 717 0 0 0 9 0 0 0 20 0 1 0 317080367 4829184 654 33554432000 134512640 134579096 4289362976 4289361792 134558657 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 1179 654 227 17 0 485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4716

[startup+0.300175 s]
/proc/loadavg: 2.06 2.02 2.00 3/174 26379
/proc/meminfo: memFree=26584704/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=4716 CPUtime=0.29 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 739 0 0 0 29 0 0 0 20 0 1 0 317080367 4829184 676 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 1179 676 227 17 0 485 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4716

[startup+0.700199 s]
/proc/loadavg: 2.06 2.02 2.00 3/174 26379
/proc/meminfo: memFree=26584704/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=5452 CPUtime=0.69 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 912 0 0 0 69 0 0 0 20 0 1 0 317080367 5582848 849 33554432000 134512640 134579096 4289362976 4289361796 134556323 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 1363 849 227 17 0 669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5452

[startup+1.50017 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 26380
/proc/meminfo: memFree=26581976/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=5936 CPUtime=1.48 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 1020 0 0 0 148 0 0 0 20 0 1 0 317080367 6078464 957 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 1484 957 227 17 0 790 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5936

[startup+3.10022 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 26380
/proc/meminfo: memFree=26581076/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=6428 CPUtime=3.09 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 1152 0 0 0 307 2 0 0 20 0 1 0 317080367 6582272 1089 33554432000 134512640 134579096 4289362976 4289361856 134557297 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 1607 1089 227 17 0 913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6428

[startup+6.3002 s]
/proc/loadavg: 2.05 2.02 2.00 3/174 26380
/proc/meminfo: memFree=26580264/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=7272 CPUtime=6.28 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 1373 0 0 0 625 3 0 0 20 0 1 0 317080367 7446528 1310 33554432000 134512640 134579096 4289362976 4289361796 134556218 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 1818 1310 227 17 0 1124 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7272

[startup+12.7002 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 26381
/proc/meminfo: memFree=26578932/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=8264 CPUtime=12.68 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 1609 0 0 0 1262 6 0 0 20 0 1 0 317080367 8462336 1546 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 2066 1546 227 17 0 1372 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8264

[startup+25.5002 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 26381
/proc/meminfo: memFree=26578104/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=9128 CPUtime=25.48 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 1821 0 0 0 2536 12 0 0 20 0 1 0 317080367 9347072 1758 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 2282 1758 227 17 0 1588 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9128

[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 26381
/proc/meminfo: memFree=26576120/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=11124 CPUtime=51.08 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 2323 0 0 0 5087 21 0 0 20 0 1 0 317080367 11390976 2253 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 2781 2253 227 17 0 2087 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 11124

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26429
/proc/meminfo: memFree=27383548/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=26608 CPUtime=102.27 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 6242 0 0 0 10197 30 0 0 20 0 1 0 317080367 27246592 6153 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 6652 6153 227 17 0 5958 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26608

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26429
/proc/meminfo: memFree=27369260/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=28088 CPUtime=162.25 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 6707 0 0 0 16191 34 0 0 20 0 1 0 317080367 28762112 6523 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 7022 6523 227 17 0 6328 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28088

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 26429
/proc/meminfo: memFree=27339232/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=28524 CPUtime=222.24 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 6853 0 0 0 22188 36 0 0 20 0 1 0 317080367 29208576 6612 33554432000 134512640 134579096 4289362976 4289361824 134528357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 7131 6612 227 17 0 6437 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 28524

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26429
/proc/meminfo: memFree=27298336/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=30436 CPUtime=282.24 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 7329 0 0 0 28186 38 0 0 20 0 1 0 317080367 31166464 7088 33554432000 134512640 134579096 4289362976 4289361824 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 7609 7088 227 17 0 6915 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30436

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26430
/proc/meminfo: memFree=27286716/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=30080 CPUtime=342.23 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 7345 0 0 0 34184 39 0 0 20 0 1 0 317080367 30801920 7018 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 7520 7018 227 17 0 6826 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30080

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26430
/proc/meminfo: memFree=27285888/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=31056 CPUtime=402.21 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 7585 0 0 0 40180 41 0 0 20 0 1 0 317080367 31801344 7258 33554432000 134512640 134579096 4289362976 4289361840 134520078 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 7764 7258 227 17 0 7070 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 31056

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26433
/proc/meminfo: memFree=27271356/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=31536 CPUtime=462.21 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 7727 0 0 0 46178 43 0 0 20 0 1 0 317080367 32292864 7362 33554432000 134512640 134579096 4289362976 4289361824 134527765 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 7884 7362 227 17 0 7190 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 31536

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26433
/proc/meminfo: memFree=27228404/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=35776 CPUtime=522.2 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 8919 0 0 0 52175 45 0 0 20 0 1 0 317080367 36634624 8437 33554432000 134512640 134579096 4289362976 4289361824 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 8944 8437 227 17 0 8250 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35776

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26433
/proc/meminfo: memFree=27215368/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=35776 CPUtime=582.19 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 8919 0 0 0 58171 48 0 0 20 0 1 0 317080367 36634624 8437 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 8944 8437 227 17 0 8250 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 35776

[startup+642.3 s]

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

/proc/meminfo: memFree=27210328/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=40484 CPUtime=882.13 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10149 0 0 0 88148 65 0 0 20 0 1 0 317080367 41455616 9622 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10121 9622 227 17 0 9427 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 40484

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26436
/proc/meminfo: memFree=27210560/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=40708 CPUtime=942.13 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10197 0 0 0 94146 67 0 0 20 0 1 0 317080367 41684992 9665 33554432000 134512640 134579096 4289362976 4289361824 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10177 9665 227 17 0 9483 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 40708

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26436
/proc/meminfo: memFree=27210436/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=40700 CPUtime=1002.12 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10207 0 0 0 100137 75 0 0 20 0 1 0 317080367 41676800 9675 33554432000 134512640 134579096 4289362976 4289361824 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10175 9675 227 17 0 9481 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 40700

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26439
/proc/meminfo: memFree=27210368/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=40700 CPUtime=1062.11 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10207 0 0 0 106130 81 0 0 20 0 1 0 317080367 41676800 9675 33554432000 134512640 134579096 4289362976 4289361824 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10175 9675 227 17 0 9481 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 40700

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26439
/proc/meminfo: memFree=27209688/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=41740 CPUtime=1122.1 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10452 0 0 0 112127 83 0 0 20 0 1 0 317080367 42741760 9910 33554432000 134512640 134579096 4289362976 4289361824 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10435 9910 227 17 0 9741 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 41740

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 26439
/proc/meminfo: memFree=27209256/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=41944 CPUtime=1182.09 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10592 0 0 0 118125 84 0 0 20 0 1 0 317080367 42950656 9987 33554432000 134512640 134579096 4289362976 4289361824 134528349 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10486 9987 227 17 0 9792 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 41944

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26440
/proc/meminfo: memFree=27208636/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42468 CPUtime=1242.08 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 10855 0 0 0 124123 85 0 0 20 0 1 0 317080367 43487232 10118 33554432000 134512640 134579096 4289362976 4289361824 134527729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10617 10118 227 17 0 9923 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 42468

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 26440
/proc/meminfo: memFree=27208388/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42676 CPUtime=1302.08 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 130121 87 0 0 20 0 1 0 317080367 43700224 10168 33554432000 134512640 134579096 4289362976 4289361808 134517903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10669 10168 227 17 0 9975 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 42676

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26440
/proc/meminfo: memFree=27208388/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42660 CPUtime=1362.06 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 136115 91 0 0 20 0 1 0 317080367 43683840 10164 33554432000 134512640 134579096 4289362976 4289361824 134528357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10665 10164 227 17 0 9971 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 42660

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26440
/proc/meminfo: memFree=27208388/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1422.06 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 142113 93 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361824 134527836 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 42516

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26440
/proc/meminfo: memFree=27208636/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1482.05 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 148110 95 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361824 134527729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 42516

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26441
/proc/meminfo: memFree=27208264/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1542.04 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 154107 97 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361824 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 42516

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26441
/proc/meminfo: memFree=27208392/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1602.02 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 160103 99 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361464 10096867 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 42516

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26444
/proc/meminfo: memFree=27208316/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1662.02 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 166101 101 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 42516

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 26444
/proc/meminfo: memFree=27169056/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1722.01 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 172096 105 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 42516

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26444
/proc/meminfo: memFree=27127116/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1781.99 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 178086 113 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 42516

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

[startup+1782.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26444
/proc/meminfo: memFree=27127116/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1782.39 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 178126 113 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 42516

[startup+1783.11 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26444
/proc/meminfo: memFree=27126744/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1782.8 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 178167 113 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 42516

[startup+1783.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26444
/proc/meminfo: memFree=27126744/32873624 swapFree=7112/7112
[pid=26379] ppid=26377 vsize=42516 CPUtime=1782.9 cores=1,3,5,7
/proc/26379/stat : 26379 (Pueblo) R 26377 26379 25929 0 -1 4202496 11091 0 0 0 178176 114 0 0 20 0 1 0 317080367 43536384 10128 33554432000 134512640 134579096 4289362976 4289361948 12166192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26379/statm: 10629 10128 227 17 0 9935 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 42516

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783
CPU user time (s): 1781.86
CPU system time (s): 1.14283
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 42872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.86
system time used= 1.14283
maximum resident set size= 40844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11096
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= 27
involuntary context switches= 1842

runsolver used 3.39448 second user time and 8.65268 second system time

The end