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-3720008-1338506082/watcher-3720008-1338506082 -o /tmp/evaluation-result-3720008-1338506082/solver-3720008-1338506082 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720008-1338506082.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: 1.43 0.44 0.15 3/175 8431
/proc/meminfo: memFree=27199188/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=3108 CPUtime=0 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 316736734 3182592 268 33554432000 134512640 134579096 4291274432 4291141828 3277578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 777 268 213 17 0 83 0
[startup+0.0456571 s]
/proc/loadavg: 1.43 0.44 0.15 3/175 8431
/proc/meminfo: memFree=27199188/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=4072 CPUtime=0.03 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 583 0 0 0 3 0 0 0 20 0 1 0 316736734 4169728 520 33554432000 134512640 134579096 4291274432 4291273264 134517899 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 1018 520 227 17 0 324 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4072
[startup+0.100265 s]
/proc/loadavg: 1.43 0.44 0.15 3/175 8431
/proc/meminfo: memFree=27199188/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=4512 CPUtime=0.09 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 688 0 0 0 9 0 0 0 20 0 1 0 316736734 4620288 625 33554432000 134512640 134579096 4291274432 4291273264 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 1128 625 227 17 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4512
[startup+0.300227 s]
/proc/loadavg: 1.43 0.44 0.15 3/175 8431
/proc/meminfo: memFree=27199188/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=5724 CPUtime=0.29 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 1000 0 0 0 29 0 0 0 20 0 1 0 316736734 5861376 937 33554432000 134512640 134579096 4291274432 4291273280 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 1431 937 227 17 0 737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5724
[startup+0.700227 s]
/proc/loadavg: 1.43 0.44 0.15 3/175 8431
/proc/meminfo: memFree=27199188/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=7356 CPUtime=0.69 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 1411 0 0 0 69 0 0 0 20 0 1 0 316736734 7532544 1348 33554432000 134512640 134579096 4291274432 4291273264 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 1839 1348 227 17 0 1145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7356
[startup+1.50023 s]
/proc/loadavg: 1.43 0.44 0.15 3/176 8432
/proc/meminfo: memFree=27194096/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=8472 CPUtime=1.48 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 1671 0 0 0 148 0 0 0 20 0 1 0 316736734 8675328 1608 33554432000 134512640 134579096 4291274432 4291273264 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 2118 1608 227 17 0 1424 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8472
[startup+3.10023 s]
/proc/loadavg: 1.48 0.47 0.16 3/176 8432
/proc/meminfo: memFree=27190468/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=10580 CPUtime=3.08 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 2203 0 0 0 308 0 0 0 20 0 1 0 316736734 10833920 2140 33554432000 134512640 134579096 4291274432 4291273264 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 2645 2140 227 17 0 1951 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10580
[startup+6.30023 s]
/proc/loadavg: 1.48 0.47 0.16 3/176 8432
/proc/meminfo: memFree=27175836/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=15136 CPUtime=6.28 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 3326 0 0 0 628 0 0 0 20 0 1 0 316736734 15499264 3263 33554432000 134512640 134579096 4291274432 4291273264 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 3784 3263 227 17 0 3090 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15136
[startup+12.7002 s]
/proc/loadavg: 1.56 0.52 0.18 3/176 8432
/proc/meminfo: memFree=27156376/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=22508 CPUtime=12.69 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 5193 0 0 0 1268 1 0 0 20 0 1 0 316736734 23048192 5130 33554432000 134512640 134579096 4291274432 4291273264 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 5627 5130 227 17 0 4933 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22508
[startup+25.5003 s]
/proc/loadavg: 1.63 0.57 0.20 3/177 8433
/proc/meminfo: memFree=27123492/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=31060 CPUtime=25.49 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 7311 0 0 0 2547 2 0 0 20 0 1 0 316736734 31805440 7248 33554432000 134512640 134579096 4291274432 4291273404 9643056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 7765 7248 227 17 0 7071 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31060
[startup+51.1002 s]
/proc/loadavg: 1.75 0.68 0.25 3/177 8433
/proc/meminfo: memFree=27043588/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=34212 CPUtime=51.08 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 8283 0 0 0 5105 3 0 0 20 0 1 0 316736734 35033088 8055 33554432000 134512640 134579096 4291274432 4291273264 134517935 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 8553 8055 227 17 0 7859 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34212
[startup+102.307 s]
/proc/loadavg: 1.90 0.90 0.34 3/177 8433
/proc/meminfo: memFree=26892228/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=40036 CPUtime=102.27 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 9858 0 0 0 10223 4 0 0 20 0 1 0 316736734 40996864 9500 33554432000 134512640 134579096 4291274432 4291273264 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 10009 9500 227 17 0 9315 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40036
[startup+162.3 s]
/proc/loadavg: 1.96 1.10 0.45 3/177 8434
/proc/meminfo: memFree=26716920/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=47036 CPUtime=162.27 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 11610 0 0 0 16220 7 0 0 20 0 1 0 316736734 48164864 11252 33554432000 134512640 134579096 4291274432 4291273280 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 11759 11252 227 17 0 11065 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 47036
[startup+222.3 s]
/proc/loadavg: 1.98 1.26 0.54 3/177 8434
/proc/meminfo: memFree=26553020/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=47596 CPUtime=222.26 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 12516 0 0 0 22217 9 0 0 20 0 1 0 316736734 48738304 11383 33554432000 134512640 134579096 4291274432 4291273280 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 11899 11383 227 17 0 11205 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 47596
[startup+282.3 s]
/proc/loadavg: 1.99 1.39 0.63 3/177 8434
/proc/meminfo: memFree=26368288/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=50564 CPUtime=282.24 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 13356 0 0 0 28212 12 0 0 20 0 1 0 316736734 51777536 12148 33554432000 134512640 134579096 4291274432 4291273280 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 12641 12148 227 17 0 11947 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 50564
[startup+342.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/178 8437
/proc/meminfo: memFree=26193964/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=52568 CPUtime=342.23 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 13896 0 0 0 34209 14 0 0 20 0 1 0 316736734 53829632 12650 33554432000 134512640 134579096 4291274432 4291273280 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 13142 12650 227 17 0 12448 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 52568
[startup+402.3 s]
/proc/loadavg: 1.99 1.59 0.79 3/177 8437
/proc/meminfo: memFree=26010976/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=52676 CPUtime=402.23 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 14077 0 0 0 40207 16 0 0 20 0 1 0 316736734 53940224 12670 33554432000 134512640 134579096 4291274432 4291273280 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 13169 12670 227 17 0 12475 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 52676
[startup+462.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/177 8438
/proc/meminfo: memFree=25882540/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=53196 CPUtime=462.22 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 14297 0 0 0 46204 18 0 0 20 0 1 0 316736734 54472704 12807 33554432000 134512640 134579096 4291274432 4291273312 134557288 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 13299 12807 227 17 0 12605 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 53196
[startup+522.3 s]
/proc/loadavg: 2.04 1.73 0.94 3/177 8438
/proc/meminfo: memFree=25802588/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=60188 CPUtime=522.2 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16225 0 0 0 52200 20 0 0 20 0 1 0 316736734 61632512 14548 33554432000 134512640 134579096 4291274432 4291273280 134527944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15047 14548 227 17 0 14353 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 60188
[startup+582.3 s]
/proc/loadavg: 2.01 1.78 1.00 3/177 8438
/proc/meminfo: memFree=25732804/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=60088 CPUtime=582.2 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16225 0 0 0 58198 22 0 0 20 0 1 0 316736734 61530112 14523 33554432000 134512640 134579096 4291274432 4291273152 134529077 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15022 14523 227 17 0 14328 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 60088
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25437272/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61548 CPUtime=762.17 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16579 0 0 0 76189 28 0 0 20 0 1 0 316736734 63025152 14877 33554432000 134512640 134579096 4291274432 4291273404 9643056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15387 14877 227 17 0 14693 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 61548
[startup+822.3 s]
/proc/loadavg: 2.00 1.89 1.22 3/177 8439
/proc/meminfo: memFree=25283044/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61548 CPUtime=822.16 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16579 0 0 0 82185 31 0 0 20 0 1 0 316736734 63025152 14877 33554432000 134512640 134579096 4291274432 4291273280 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15387 14877 227 17 0 14693 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 61548
[startup+882.3 s]
/proc/loadavg: 2.00 1.91 1.26 3/177 8439
/proc/meminfo: memFree=25136752/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61548 CPUtime=882.15 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16579 0 0 0 88183 32 0 0 20 0 1 0 316736734 63025152 14877 33554432000 134512640 134579096 4291274432 4291273088 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15387 14877 227 17 0 14693 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 61548
[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.31 3/178 8442
/proc/meminfo: memFree=24984376/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61548 CPUtime=942.14 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16579 0 0 0 94180 34 0 0 20 0 1 0 316736734 63025152 14877 33554432000 134512640 134579096 4291274432 4291273264 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15387 14877 227 17 0 14693 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 61548
[startup+1002.3 s]
/proc/loadavg: 2.05 1.95 1.35 3/177 8442
/proc/meminfo: memFree=24842060/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61548 CPUtime=1002.13 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16579 0 0 0 100178 35 0 0 20 0 1 0 316736734 63025152 14877 33554432000 134512640 134579096 4291274432 4291273280 134527753 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15387 14877 227 17 0 14693 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 61548
[startup+1062.3 s]
/proc/loadavg: 2.02 1.95 1.39 3/177 8443
/proc/meminfo: memFree=24651004/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61784 CPUtime=1062.12 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16631 0 0 0 106175 37 0 0 20 0 1 0 316736734 63266816 14929 33554432000 134512640 134579096 4291274432 4291273404 9643056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15446 14929 227 17 0 14752 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 61784
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/177 8443
/proc/meminfo: memFree=24477804/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=61784 CPUtime=1122.12 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 16631 0 0 0 112173 39 0 0 20 0 1 0 316736734 63266816 14929 33554432000 134512640 134579096 4291274432 4291273264 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 15446 14929 227 17 0 14752 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 61784
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/177 8443
/proc/meminfo: memFree=24302868/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=73244 CPUtime=1182.1 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 19509 0 0 0 118169 41 0 0 20 0 1 0 316736734 75001856 17807 33554432000 134512640 134579096 4291274432 4291273280 134527830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18311 17807 227 17 0 17617 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 73244
[startup+1242.3 s]
/proc/loadavg: 2.06 1.99 1.49 3/178 8444
/proc/meminfo: memFree=24117756/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=73176 CPUtime=1242.1 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 19509 0 0 0 124166 44 0 0 20 0 1 0 316736734 74932224 17797 33554432000 134512640 134579096 4291274432 4291273252 134556361 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18294 17797 227 17 0 17600 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 73176
[startup+1302.3 s]
/proc/loadavg: 2.02 1.99 1.52 3/177 8444
/proc/meminfo: memFree=23950268/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=73064 CPUtime=1302.1 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 19509 0 0 0 130163 47 0 0 20 0 1 0 316736734 74817536 17769 33554432000 134512640 134579096 4291274432 4291273280 134528058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18266 17769 227 17 0 17572 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 73064
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.55 3/177 8445
/proc/meminfo: memFree=23786864/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=74248 CPUtime=1362.08 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 19798 0 0 0 136160 48 0 0 20 0 1 0 316736734 76029952 18052 33554432000 134512640 134579096 4291274432 4291273264 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18562 18052 227 17 0 17868 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 74248
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.58 3/177 8445
/proc/meminfo: memFree=23634992/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=75092 CPUtime=1422.08 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20017 0 0 0 142159 49 0 0 20 0 1 0 316736734 76894208 18271 33554432000 134512640 134579096 4291274432 4291273404 9643056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18773 18271 227 17 0 18079 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 75092
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 8445
/proc/meminfo: memFree=23494652/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=74856 CPUtime=1482.06 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20017 0 0 0 148155 51 0 0 20 0 1 0 316736734 76652544 18217 33554432000 134512640 134579096 4291274432 4291273232 134528577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18714 18217 227 17 0 18020 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 74856
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/178 8448
/proc/meminfo: memFree=23357900/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=74856 CPUtime=1542.05 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20017 0 0 0 154153 52 0 0 20 0 1 0 316736734 76652544 18217 33554432000 134512640 134579096 4291274432 4291273280 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18714 18217 227 17 0 18020 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 74856
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/177 8448
/proc/meminfo: memFree=23236788/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=74708 CPUtime=1602.05 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20017 0 0 0 160151 54 0 0 20 0 1 0 316736734 76500992 18180 33554432000 134512640 134579096 4291274432 4291273280 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18677 18180 227 17 0 17983 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 74708
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/177 8449
/proc/meminfo: memFree=23121124/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=74984 CPUtime=1662.03 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20105 0 0 0 166147 56 0 0 20 0 1 0 316736734 76783616 18249 33554432000 134512640 134579096 4291274432 4291273280 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18746 18249 227 17 0 18052 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 74984
[startup+1722.3 s]
/proc/loadavg: 2.45 2.08 1.71 2/178 8450
/proc/meminfo: memFree=18856924/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=75236 CPUtime=1722.03 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20174 0 0 0 172143 60 0 0 20 0 1 0 316736734 77041664 18291 33554432000 134512640 134579096 4291274432 4291273252 134556221 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18809 18291 227 17 0 18115 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 75236
[startup+1782.3 s]
/proc/loadavg: 4.06 2.61 1.91 2/178 8450
/proc/meminfo: memFree=14270136/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=75508 CPUtime=1782.01 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20288 0 0 0 178139 62 0 0 20 0 1 0 316736734 77320192 18380 33554432000 134512640 134579096 4291274432 4291273280 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18877 18380 227 17 0 18183 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 75508
Solver just ended. Dumping a history of the last processes samples
[startup+1783.22 s]
/proc/loadavg: 4.06 2.61 1.91 2/178 8450
/proc/meminfo: memFree=14270136/32873844 swapFree=7628/7628
[pid=8431] ppid=8429 vsize=75508 CPUtime=1782.94 cores=1,3,5,7
/proc/8431/stat : 8431 (Pueblo) R 8429 8431 8277 0 -1 4202496 20288 0 0 0 178232 62 0 0 20 0 1 0 316736734 77320192 18380 33554432000 134512640 134579096 4291274432 4291273404 9643056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8431/statm: 18877 18380 227 17 0 18183 0
Current children cumulated CPU time (s) 1782.94
Current children cumulated vsize (KiB) 75508
Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.02
CPU user time (s): 1782.38
CPU system time (s): 0.634903
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 75616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.38
system time used= 0.634903
maximum resident set size= 73620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20293
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= 9
involuntary context switches= 1838
runsolver used 2.79957 second user time and 7.37188 second system time
The end