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-3720143-1338507866/watcher-3720143-1338507866 -o /tmp/evaluation-result-3720143-1338507866/solver-3720143-1338507866 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720143-1338507866.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: 4.06 2.61 1.91 2/177 8497
/proc/meminfo: memFree=14341080/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 316915123 3178496 263 33554432000 134512640 134579096 4287933136 4287800436 3277553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 776 263 213 17 0 82 0
[startup+0.032763 s]
/proc/loadavg: 4.06 2.61 1.91 2/177 8497
/proc/meminfo: memFree=14341080/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=3908 CPUtime=0.02 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 532 0 0 0 2 0 0 0 20 0 1 0 316915123 4001792 470 33554432000 134512640 134579096 4287933136 4287800596 3277549 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 977 470 219 17 0 283 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3908
[startup+0.100256 s]
/proc/loadavg: 4.06 2.61 1.91 2/177 8497
/proc/meminfo: memFree=14341080/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=5904 CPUtime=0.09 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 1014 0 0 0 9 0 0 0 20 0 1 0 316915123 6045696 952 33554432000 134512640 134579096 4287933136 4287800596 3277583 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 1476 952 219 17 0 782 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5904
[startup+0.300238 s]
/proc/loadavg: 4.06 2.61 1.91 2/177 8497
/proc/meminfo: memFree=14341080/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=11500 CPUtime=0.29 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 2423 0 0 0 29 0 0 0 20 0 1 0 316915123 11776000 2361 33554432000 134512640 134579096 4287933136 4287800560 134546737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 2875 2361 219 17 0 2181 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11500
[startup+0.700227 s]
/proc/loadavg: 4.06 2.61 1.91 2/177 8497
/proc/meminfo: memFree=14341080/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=14472 CPUtime=0.69 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 3126 0 0 0 69 0 0 0 20 0 1 0 316915123 14819328 3064 33554432000 134512640 134579096 4287933136 4287931952 134519093 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 3618 3064 227 17 0 2924 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14472
[startup+1.50022 s]
/proc/loadavg: 4.06 2.61 1.91 2/178 8498
/proc/meminfo: memFree=14329796/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=14472 CPUtime=1.49 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 3126 0 0 0 149 0 0 0 20 0 1 0 316915123 14819328 3064 33554432000 134512640 134579096 4287933136 4287931792 134523674 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 3618 3064 227 17 0 2924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14472
[startup+3.10023 s]
/proc/loadavg: 4.06 2.61 1.91 2/178 8498
/proc/meminfo: memFree=14328888/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=14872 CPUtime=3.09 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 3206 0 0 0 309 0 0 0 20 0 1 0 316915123 15228928 3144 33554432000 134512640 134579096 4287933136 4287931968 134517896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 3718 3144 227 17 0 3024 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14872
[startup+6.30029 s]
/proc/loadavg: 4.14 2.65 1.93 2/178 8498
/proc/meminfo: memFree=14324052/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=21220 CPUtime=6.28 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 4804 0 0 0 628 0 0 0 20 0 1 0 316915123 21729280 4742 33554432000 134512640 134579096 4287933136 4287931792 134523642 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 5305 4742 227 17 0 4611 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21220
[startup+12.7002 s]
/proc/loadavg: 4.20 2.69 1.95 2/178 8498
/proc/meminfo: memFree=14309280/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=35092 CPUtime=12.68 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 8269 0 0 0 1267 1 0 0 20 0 1 0 316915123 35934208 8207 33554432000 134512640 134579096 4287933136 4287931792 134523642 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 8773 8207 227 17 0 8079 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35092
[startup+25.5002 s]
/proc/loadavg: 4.38 2.80 1.99 3/178 8498
/proc/meminfo: memFree=14286332/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=56888 CPUtime=25.48 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 13729 0 0 0 2545 3 0 0 20 0 1 0 316915123 58253312 13667 33554432000 134512640 134579096 4287933136 4287931840 2556118 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 14222 13667 227 17 0 13528 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56888
[startup+51.1003 s]
/proc/loadavg: 4.59 2.98 2.07 2/178 8498
/proc/meminfo: memFree=14244620/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=100232 CPUtime=51.08 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 24491 0 0 0 5101 7 0 0 20 0 1 0 316915123 102637568 24429 33554432000 134512640 134579096 4287933136 4287932108 4564016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 25058 24429 227 17 0 24364 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100232
[startup+102.307 s]
/proc/loadavg: 4.03 3.11 2.17 3/178 8596
/proc/meminfo: memFree=27081356/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=176704 CPUtime=102.27 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 43505 0 0 0 10215 12 0 0 20 0 1 0 316915123 180944896 43439 33554432000 134512640 134579096 4287933136 4287931968 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 44176 43439 227 17 0 43482 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 176704
[startup+162.3 s]
/proc/loadavg: 2.83 2.93 2.17 3/177 8596
/proc/meminfo: memFree=26957812/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=273140 CPUtime=162.24 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 67499 0 0 0 16205 19 0 0 20 0 1 0 316915123 279695360 67499 33554432000 134512640 134579096 4287933136 4287931968 134517896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 68285 67499 227 17 0 67591 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 273140
[startup+222.3 s]
/proc/loadavg: 2.34 2.77 2.16 3/177 8597
/proc/meminfo: memFree=26881520/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=339076 CPUtime=222.21 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 83805 0 0 0 22197 24 0 0 20 0 1 0 316915123 347213824 83905 33554432000 134512640 134579096 4287933136 4287929680 134532911 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 84769 83905 227 17 0 84075 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 339076
[startup+282.3 s]
/proc/loadavg: 2.16 2.64 2.15 3/177 8597
/proc/meminfo: memFree=26773916/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=424604 CPUtime=282.17 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 104967 0 0 0 28186 31 0 0 20 0 1 0 316915123 434794496 105037 33554432000 134512640 134579096 4287933136 4287931952 134519125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 106151 105037 228 17 0 105457 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 424604
[startup+342.3 s]
/proc/loadavg: 2.09 2.54 2.15 3/178 8600
/proc/meminfo: memFree=26679068/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=520492 CPUtime=342.15 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 128596 0 0 0 34176 39 0 0 20 0 1 0 316915123 532983808 128520 33554432000 134512640 134579096 4287933136 4287931792 134523642 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 130123 128520 228 17 0 129429 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 520492
[startup+402.3 s]
/proc/loadavg: 2.03 2.44 2.13 3/177 8600
/proc/meminfo: memFree=26594048/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=593412 CPUtime=402.12 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 146553 0 0 0 40165 47 0 0 20 0 1 0 316915123 607653888 146422 33554432000 134512640 134579096 4287933136 4287932000 134520116 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 148353 146422 228 17 0 147659 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 593412
[startup+462.3 s]
/proc/loadavg: 2.01 2.36 2.12 3/177 8600
/proc/meminfo: memFree=26577972/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=608584 CPUtime=462.1 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 150239 0 0 0 46161 49 0 0 20 0 1 0 316915123 623190016 150424 33554432000 134512640 134579096 4287933136 4287931936 134528560 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 152146 150424 228 17 0 151452 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 608584
[startup+522.3 s]
/proc/loadavg: 2.04 2.30 2.12 3/177 8601
/proc/meminfo: memFree=26575796/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=608584 CPUtime=522.1 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 150239 0 0 0 52159 51 0 0 20 0 1 0 316915123 623190016 150424 33554432000 134512640 134579096 4287933136 4287931952 134519088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 152146 150424 228 17 0 151452 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 608584
[startup+582.3 s]
/proc/loadavg: 2.01 2.24 2.10 3/177 8601
/proc/meminfo: memFree=26575796/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=608584 CPUtime=582.09 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 150239 0 0 0 58156 53 0 0 20 0 1 0 316915123 623190016 150424 33554432000 134512640 134579096 4287933136 4287931952 134558698 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 152146 150424 228 17 0 151452 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 608584
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26561284/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=608584 CPUtime=882.04 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 150239 0 0 0 88142 62 0 0 20 0 1 0 316915123 623190016 150441 33554432000 134512640 134579096 4287933136 4287932000 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 152146 150441 228 17 0 151452 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 608584
[startup+942.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/178 8605
/proc/meminfo: memFree=26535416/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=634900 CPUtime=942.04 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 156700 0 0 0 94139 65 0 0 20 0 1 0 316915123 650137600 156902 33554432000 134512640 134579096 4287933136 4287931792 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 158725 156902 228 17 0 158031 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 634900
[startup+1002.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/178 8628
/proc/meminfo: memFree=26496780/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=674596 CPUtime=1002.02 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 166496 0 0 0 100133 69 0 0 20 0 1 0 316915123 690786304 166698 33554432000 134512640 134579096 4287933136 4287931792 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 168649 166698 228 17 0 167955 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 674596
[startup+1062.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/177 8628
/proc/meminfo: memFree=26466844/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=705624 CPUtime=1062.01 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 173894 0 0 0 106128 73 0 0 20 0 1 0 316915123 722558976 174096 33554432000 134512640 134579096 4287933136 4287931952 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 176406 174096 228 17 0 175712 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 705624
[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/177 8629
/proc/meminfo: memFree=26441052/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725324 CPUtime=1122 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178667 0 0 0 112124 76 0 0 20 0 1 0 316915123 742731776 178869 33554432000 134512640 134579096 4287933136 4287931984 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181331 178869 228 17 0 180637 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 725324
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/177 8629
/proc/meminfo: memFree=26440804/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725324 CPUtime=1181.99 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178667 0 0 0 118121 78 0 0 20 0 1 0 316915123 742731776 178869 33554432000 134512640 134579096 4287933136 4287931968 134518204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181331 178869 228 17 0 180637 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 725324
[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/177 8629
/proc/meminfo: memFree=26440680/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725324 CPUtime=1241.99 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178667 0 0 0 124119 80 0 0 20 0 1 0 316915123 742731776 178869 33554432000 134512640 134579096 4287933136 4287932064 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181331 178869 228 17 0 180637 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 725324
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/177 8629
/proc/meminfo: memFree=26440556/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725324 CPUtime=1301.99 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178673 0 0 0 130117 82 0 0 20 0 1 0 316915123 742731776 178875 33554432000 134512640 134579096 4287933136 4287931984 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181331 178875 228 17 0 180637 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 725324
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/177 8629
/proc/meminfo: memFree=26439664/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725324 CPUtime=1361.94 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178724 0 0 0 136111 83 0 0 20 0 1 0 316915123 742731776 178961 33554432000 134512640 134579096 4287933136 4287931792 134522742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181331 178961 228 17 0 180637 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 725324
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.03 3/177 8630
/proc/meminfo: memFree=26439832/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725580 CPUtime=1421.94 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178735 0 0 0 142108 86 0 0 20 0 1 0 316915123 742993920 178973 33554432000 134512640 134579096 4287933136 4287931984 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181395 178973 228 17 0 180701 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 725580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/177 8630
/proc/meminfo: memFree=26439888/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=725836 CPUtime=1481.93 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178764 0 0 0 148105 88 0 0 20 0 1 0 316915123 743256064 179002 33554432000 134512640 134579096 4287933136 4287932000 134520196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181459 179002 228 17 0 180765 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 725836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/178 8633
/proc/meminfo: memFree=26439864/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=726092 CPUtime=1541.91 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178793 0 0 0 154102 89 0 0 20 0 1 0 316915123 743518208 179031 33554432000 134512640 134579096 4287933136 4287931792 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181523 179031 228 17 0 180829 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 726092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 8633
/proc/meminfo: memFree=26439516/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=726092 CPUtime=1601.91 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178805 0 0 0 160100 91 0 0 20 0 1 0 316915123 743518208 179043 33554432000 134512640 134579096 4287933136 4287932108 4564016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181523 179043 228 17 0 180829 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 726092
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.01 3/177 8633
/proc/meminfo: memFree=26439516/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=726092 CPUtime=1661.9 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 178847 0 0 0 166098 92 0 0 20 0 1 0 316915123 743518208 179085 33554432000 134512640 134579096 4287933136 4287931984 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 181523 179085 228 17 0 180829 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 726092
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 8634
/proc/meminfo: memFree=26412484/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=753628 CPUtime=1721.89 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 185635 0 0 0 172093 96 0 0 20 0 1 0 316915123 771715072 185873 33554432000 134512640 134579096 4287933136 4287932000 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 188407 185873 228 17 0 187713 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 753628
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8634
/proc/meminfo: memFree=26390164/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=775488 CPUtime=1781.87 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 191045 0 0 0 178087 100 0 0 20 0 1 0 316915123 794099712 191283 33554432000 134512640 134579096 4287933136 4287932000 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 193872 191283 228 17 0 193178 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 775488
Solver just ended. Dumping a history of the last processes samples
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8634
/proc/meminfo: memFree=26390164/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=775488 CPUtime=1782.68 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 191046 0 0 0 178168 100 0 0 20 0 1 0 316915123 794099712 191284 33554432000 134512640 134579096 4287933136 4287931968 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 193872 191284 228 17 0 193178 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 775488
[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8634
/proc/meminfo: memFree=26390164/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=775488 CPUtime=1782.87 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 191046 0 0 0 178187 100 0 0 20 0 1 0 316915123 794099712 191284 33554432000 134512640 134579096 4287933136 4287931792 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 193872 191284 228 17 0 193178 0
Current children cumulated CPU time (s) 1782.87
Current children cumulated vsize (KiB) 775488
[startup+1783.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8634
/proc/meminfo: memFree=26390164/32873844 swapFree=7628/7628
[pid=8497] ppid=8495 vsize=775488 CPUtime=1782.97 cores=1,3,5,7
/proc/8497/stat : 8497 (Pueblo) R 8495 8497 8277 0 -1 4202496 191046 0 0 0 178197 100 0 0 20 0 1 0 316915123 794099712 191284 33554432000 134512640 134579096 4287933136 4287931952 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8497/statm: 193872 191284 228 17 0 193178 0
Current children cumulated CPU time (s) 1782.97
Current children cumulated vsize (KiB) 775488
Child status: 10
Real time (s): 1783.47
CPU time (s): 1783.05
CPU user time (s): 1782.04
CPU system time (s): 1.01684
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 775488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.04
system time used= 1.01684
maximum resident set size= 765156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191051
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= 233
involuntary context switches= 1825
runsolver used 2.78458 second user time and 7.09392 second system time
The end