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-3719983-1338506034/watcher-3719983-1338506034 -o /tmp/evaluation-result-3719983-1338506034/solver-3719983-1338506034 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719983-1338506034.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: 0.20 0.05 0.01 3/176 5486
/proc/meminfo: memFree=28433188/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 316727953 3174400 271 33554432000 134512640 134579096 4288311024 4288178484 7963445 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 775 271 219 17 0 81 0
[startup+0.018929 s]
/proc/loadavg: 0.20 0.05 0.01 3/176 5486
/proc/meminfo: memFree=28433188/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=3496 CPUtime=0.01 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 422 0 0 0 1 0 0 0 20 0 1 0 316727953 3579904 359 33554432000 134512640 134579096 4288311024 4288309680 134522427 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 874 359 227 17 0 180 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3496
[startup+0.100253 s]
/proc/loadavg: 0.20 0.05 0.01 3/176 5486
/proc/meminfo: memFree=28433188/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=3756 CPUtime=0.09 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 510 0 0 0 9 0 0 0 20 0 1 0 316727953 3846144 447 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 939 447 227 17 0 245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3756
[startup+0.300223 s]
/proc/loadavg: 0.20 0.05 0.01 3/176 5486
/proc/meminfo: memFree=28433188/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=4272 CPUtime=0.29 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 621 0 0 0 29 0 0 0 20 0 1 0 316727953 4374528 558 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 1068 558 227 17 0 374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4272
[startup+0.700221 s]
/proc/loadavg: 0.20 0.05 0.01 3/176 5486
/proc/meminfo: memFree=28433188/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=4656 CPUtime=0.69 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 738 0 0 0 69 0 0 0 20 0 1 0 316727953 4767744 675 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 1164 675 227 17 0 470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4656
[startup+1.50022 s]
/proc/loadavg: 0.20 0.05 0.01 3/177 5487
/proc/meminfo: memFree=28430244/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=5172 CPUtime=1.49 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 847 0 0 0 149 0 0 0 20 0 1 0 316727953 5296128 784 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 1293 784 227 17 0 599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5172
[startup+3.10023 s]
/proc/loadavg: 0.20 0.05 0.01 3/177 5487
/proc/meminfo: memFree=28429756/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=5696 CPUtime=3.09 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 967 0 0 0 309 0 0 0 20 0 1 0 316727953 5832704 904 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5486/statm: 1424 904 227 17 0 730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5696
[startup+6.30013 s]
/proc/loadavg: 0.35 0.08 0.02 3/177 5487
/proc/meminfo: memFree=28428664/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=6048 CPUtime=6.28 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1092 0 0 0 627 1 0 0 20 0 1 0 316727953 6193152 1024 33554432000 134512640 134579096 4288311024 4288309872 134528055 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/5486/statm: 1512 1024 227 17 0 818 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6048
[startup+12.7002 s]
/proc/loadavg: 0.48 0.11 0.03 3/177 5487
/proc/meminfo: memFree=28425564/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=6516 CPUtime=12.69 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1184 0 0 0 1265 4 0 0 20 0 1 0 316727953 6672384 1116 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 1629 1116 227 17 0 935 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6516
[startup+25.5002 s]
/proc/loadavg: 0.82 0.20 0.06 3/177 5487
/proc/meminfo: memFree=28417120/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=7116 CPUtime=25.48 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1369 0 0 0 2542 6 0 0 20 0 1 0 316727953 7286784 1278 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 1779 1278 227 17 0 1085 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7116
[startup+51.1002 s]
/proc/loadavg: 1.22 0.35 0.12 3/177 5487
/proc/meminfo: memFree=28411724/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=7644 CPUtime=51.08 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1502 0 0 0 5093 15 0 0 20 0 1 0 316727953 7827456 1410 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 1911 1410 227 17 0 1217 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7644
[startup+102.306 s]
/proc/loadavg: 1.66 0.60 0.21 3/177 5487
/proc/meminfo: memFree=28407128/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=7976 CPUtime=102.28 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1626 0 0 0 10203 25 0 0 20 0 1 0 316727953 8167424 1506 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 1994 1506 227 17 0 1300 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 7976
[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.32 3/177 5488
/proc/meminfo: memFree=28364064/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=7952 CPUtime=162.26 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1626 0 0 0 16187 39 0 0 20 0 1 0 316727953 8142848 1500 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 1988 1500 227 17 0 1294 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 7952
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.42 3/177 5488
/proc/meminfo: memFree=28325624/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=8592 CPUtime=222.26 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1776 0 0 0 22171 55 0 0 20 0 1 0 316727953 8798208 1650 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2148 1650 227 17 0 1454 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 8592
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/177 5488
/proc/meminfo: memFree=28290520/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=8744 CPUtime=282.24 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 1856 0 0 0 28152 72 0 0 20 0 1 0 316727953 8953856 1693 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2186 1693 227 17 0 1492 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8744
[startup+342.3 s]
/proc/loadavg: 2.03 1.38 0.61 3/177 5488
/proc/meminfo: memFree=28253628/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=9980 CPUtime=342.23 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2151 0 0 0 34142 81 0 0 20 0 1 0 316727953 10219520 1983 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2495 1983 227 17 0 1801 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 9980
[startup+402.3 s]
/proc/loadavg: 2.01 1.49 0.70 3/178 5491
/proc/meminfo: memFree=28223972/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=9980 CPUtime=402.23 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2151 0 0 0 40130 93 0 0 20 0 1 0 316727953 10219520 1983 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2495 1983 227 17 0 1801 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 9980
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.78 3/177 5492
/proc/meminfo: memFree=28188364/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=9980 CPUtime=462.21 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2175 0 0 0 46117 104 0 0 20 0 1 0 316727953 10219520 2007 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2495 2007 227 17 0 1801 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 9980
[startup+522.3 s]
/proc/loadavg: 2.00 1.65 0.85 3/177 5492
/proc/meminfo: memFree=28161084/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=9980 CPUtime=522.2 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2175 0 0 0 52098 122 0 0 20 0 1 0 316727953 10219520 2007 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2495 2007 227 17 0 1801 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 9980
[startup+582.3 s]
/proc/loadavg: 2.03 1.73 0.92 3/177 5492
/proc/meminfo: memFree=28128224/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=9980 CPUtime=582.2 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2175 0 0 0 58081 139 0 0 20 0 1 0 316727953 10219520 2007 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2495 2007 227 17 0 1801 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 9980
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27988528/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11164 CPUtime=882.16 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2555 0 0 0 88008 208 0 0 20 0 1 0 316727953 11431936 2303 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2791 2303 227 17 0 2097 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 11164
[startup+942.3 s]
/proc/loadavg: 2.04 1.93 1.27 3/177 5493
/proc/meminfo: memFree=27968068/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11560 CPUtime=942.14 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2641 0 0 0 93993 221 0 0 20 0 1 0 316727953 11837440 2389 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2890 2389 227 17 0 2196 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 11560
[startup+1002.3 s]
/proc/loadavg: 2.01 1.94 1.31 3/178 5496
/proc/meminfo: memFree=27942204/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11468 CPUtime=1002.14 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2641 0 0 0 99978 236 0 0 20 0 1 0 316727953 11743232 2379 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2867 2379 227 17 0 2173 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 11468
[startup+1062.3 s]
/proc/loadavg: 2.10 1.98 1.36 3/177 5497
/proc/meminfo: memFree=27940132/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11592 CPUtime=1062.13 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2658 0 0 0 105963 250 0 0 20 0 1 0 316727953 11870208 2394 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2898 2394 227 17 0 2204 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 11592
[startup+1122.3 s]
/proc/loadavg: 2.04 1.98 1.39 3/177 5497
/proc/meminfo: memFree=27940372/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11720 CPUtime=1122.11 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2676 0 0 0 111943 268 0 0 20 0 1 0 316727953 12001280 2412 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2930 2412 227 17 0 2236 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 11720
[startup+1182.3 s]
/proc/loadavg: 2.01 1.98 1.43 3/177 5497
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11748 CPUtime=1182.11 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2746 0 0 0 117928 283 0 0 20 0 1 0 316727953 12029952 2436 33554432000 134512640 134579096 4288311024 4288309872 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2937 2436 227 17 0 2243 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 11748
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.46 3/177 5497
/proc/meminfo: memFree=27939876/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12008 CPUtime=1242.1 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 123916 294 0 0 20 0 1 0 316727953 12296192 2509 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3002 2509 227 17 0 2308 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 12008
[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 1.50 3/178 5498
/proc/meminfo: memFree=27939496/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12008 CPUtime=1302.09 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 129902 307 0 0 20 0 1 0 316727953 12296192 2509 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3002 2509 227 17 0 2308 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 12008
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.53 3/177 5499
/proc/meminfo: memFree=27939876/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11868 CPUtime=1362.08 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 135889 319 0 0 20 0 1 0 316727953 12152832 2479 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2967 2479 227 17 0 2273 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 11868
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.56 3/177 5499
/proc/meminfo: memFree=27940000/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11868 CPUtime=1422.08 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 141874 334 0 0 20 0 1 0 316727953 12152832 2479 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2967 2479 227 17 0 2273 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 11868
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.58 3/177 5595
/proc/meminfo: memFree=28477576/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11868 CPUtime=1482.07 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 147860 347 0 0 20 0 1 0 316727953 12152832 2479 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2967 2479 227 17 0 2273 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 11868
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.61 3/177 5595
/proc/meminfo: memFree=28477640/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11868 CPUtime=1542.06 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 153848 358 0 0 20 0 1 0 316727953 12152832 2479 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2967 2479 227 17 0 2273 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 11868
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.64 3/178 5598
/proc/meminfo: memFree=28476764/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=11868 CPUtime=1602.04 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2819 0 0 0 159836 368 0 0 20 0 1 0 316727953 12152832 2479 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 2967 2479 227 17 0 2273 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 11868
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 1.66 3/177 5599
/proc/meminfo: memFree=28476400/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12344 CPUtime=1662.03 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2940 0 0 0 165822 381 0 0 20 0 1 0 316727953 12640256 2598 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3086 2598 227 17 0 2392 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 12344
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.68 3/177 5599
/proc/meminfo: memFree=28476524/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12324 CPUtime=1722.02 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2940 0 0 0 171810 392 0 0 20 0 1 0 316727953 12619776 2593 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3081 2593 227 17 0 2387 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 12324
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.70 3/177 5599
/proc/meminfo: memFree=28476152/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12376 CPUtime=1782.02 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2972 0 0 0 177800 402 0 0 20 0 1 0 316727953 12673024 2606 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3094 2606 227 17 0 2400 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 12376
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.04 2.02 1.70 3/177 5599
/proc/meminfo: memFree=28476152/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12376 CPUtime=1782.41 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2972 0 0 0 177839 402 0 0 20 0 1 0 316727953 12673024 2606 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3094 2606 227 17 0 2400 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 12376
[startup+1783.11 s]
/proc/loadavg: 2.04 2.02 1.70 3/177 5599
/proc/meminfo: memFree=28476152/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12376 CPUtime=1782.82 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2972 0 0 0 177880 402 0 0 20 0 1 0 316727953 12673024 2606 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3094 2606 227 17 0 2400 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 12376
[startup+1783.2 s]
/proc/loadavg: 2.04 2.02 1.70 3/177 5599
/proc/meminfo: memFree=28476152/32873844 swapFree=7108/7108
[pid=5486] ppid=5484 vsize=12376 CPUtime=1782.91 cores=1,3,5,7
/proc/5486/stat : 5486 (Pueblo) R 5484 5486 5139 0 -1 4202496 2972 0 0 0 177889 402 0 0 20 0 1 0 316727953 12673024 2606 33554432000 134512640 134579096 4288311024 4288309996 13497392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5486/statm: 3094 2606 227 17 0 2400 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 12376
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1778.98
CPU system time (s): 4.02639
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 12404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.98
system time used= 4.02639
maximum resident set size= 10444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2977
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= 8
involuntary context switches= 1972
runsolver used 2.77158 second user time and 6.96894 second system time
The end