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-3719985-1338506034/watcher-3719985-1338506034 -o /tmp/evaluation-result-3719985-1338506034/solver-3719985-1338506034 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719985-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.49 0.12 0.04 3/174 22660
/proc/meminfo: memFree=26189420/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=3108 CPUtime=0 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 316728904 3182592 272 33554432000 134512640 134579096 4292171328 4292038724 3801909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 777 272 219 17 0 83 0
[startup+0.0883591 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 22660
/proc/meminfo: memFree=26189420/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=3752 CPUtime=0.08 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 491 0 0 0 8 0 0 0 20 0 1 0 316728904 3842048 428 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 938 428 227 17 0 244 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3752
[startup+0.100267 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 22660
/proc/meminfo: memFree=26189420/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=3752 CPUtime=0.09 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 491 0 0 0 9 0 0 0 20 0 1 0 316728904 3842048 428 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 938 428 227 17 0 244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3752
[startup+0.300222 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 22660
/proc/meminfo: memFree=26189420/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=4136 CPUtime=0.29 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 607 0 0 0 29 0 0 0 20 0 1 0 316728904 4235264 544 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1034 544 227 17 0 340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4136
[startup+0.700229 s]
/proc/loadavg: 0.49 0.12 0.04 3/174 22660
/proc/meminfo: memFree=26189420/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=5044 CPUtime=0.69 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 818 0 0 0 69 0 0 0 20 0 1 0 316728904 5165056 755 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1261 755 227 17 0 567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5044
[startup+1.50023 s]
/proc/loadavg: 0.49 0.12 0.04 3/175 22661
/proc/meminfo: memFree=26185560/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=5308 CPUtime=1.49 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 873 0 0 0 149 0 0 0 20 0 1 0 316728904 5435392 810 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1327 810 227 17 0 633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5308
[startup+3.10023 s]
/proc/loadavg: 0.49 0.12 0.04 3/175 22661
/proc/meminfo: memFree=26182096/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=5828 CPUtime=3.09 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1017 0 0 0 308 1 0 0 20 0 1 0 316728904 5967872 954 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1457 954 227 17 0 763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5828
[startup+6.30018 s]
/proc/loadavg: 0.61 0.16 0.05 2/172 22671
/proc/meminfo: memFree=26210976/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=5964 CPUtime=6.29 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1055 0 0 0 627 2 0 0 20 0 1 0 316728904 6107136 992 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1491 992 227 17 0 797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5964
[startup+12.7002 s]
/proc/loadavg: 0.72 0.19 0.06 3/175 22709
/proc/meminfo: memFree=26111744/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=6752 CPUtime=12.69 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1244 0 0 0 1264 5 0 0 20 0 1 0 316728904 6914048 1181 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1688 1181 227 17 0 994 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6752
[startup+25.5002 s]
/proc/loadavg: 1.01 0.27 0.09 3/175 22709
/proc/meminfo: memFree=26101848/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=7000 CPUtime=25.49 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1308 0 0 0 2542 7 0 0 20 0 1 0 316728904 7168000 1245 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1750 1245 227 17 0 1056 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7000
[startup+51.1002 s]
/proc/loadavg: 1.34 0.41 0.14 3/175 22709
/proc/meminfo: memFree=26089896/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=7340 CPUtime=51.08 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1440 0 0 0 5097 11 0 0 20 0 1 0 316728904 7516160 1334 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 1835 1334 227 17 0 1141 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7340
[startup+102.306 s]
/proc/loadavg: 1.71 0.65 0.24 3/175 22709
/proc/meminfo: memFree=25937420/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=8048 CPUtime=102.28 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1683 0 0 0 10209 19 0 0 20 0 1 0 316728904 8241152 1515 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2012 1515 227 17 0 1318 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 8048
[startup+162.3 s]
/proc/loadavg: 1.89 0.90 0.34 3/175 22710
/proc/meminfo: memFree=25773892/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=8284 CPUtime=162.26 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1728 0 0 0 16193 33 0 0 20 0 1 0 316728904 8482816 1552 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2071 1552 227 17 0 1377 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 8284
[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/175 22710
/proc/meminfo: memFree=25598584/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=8940 CPUtime=222.26 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1967 0 0 0 22179 47 0 0 20 0 1 0 316728904 9154560 1741 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2235 1741 227 17 0 1541 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 8940
[startup+282.3 s]
/proc/loadavg: 1.98 1.26 0.54 3/175 22710
/proc/meminfo: memFree=25424268/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=8940 CPUtime=282.25 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 1967 0 0 0 28167 58 0 0 20 0 1 0 316728904 9154560 1741 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2235 1741 227 17 0 1541 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 8940
[startup+342.3 s]
/proc/loadavg: 1.99 1.39 0.63 3/175 22710
/proc/meminfo: memFree=25252688/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=9092 CPUtime=342.24 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2001 0 0 0 34155 69 0 0 20 0 1 0 316728904 9310208 1771 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2273 1771 227 17 0 1579 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 9092
[startup+402.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/176 22713
/proc/meminfo: memFree=25087168/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=9160 CPUtime=402.23 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2039 0 0 0 40147 76 0 0 20 0 1 0 316728904 9379840 1801 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2290 1801 227 17 0 1596 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 9160
[startup+462.3 s]
/proc/loadavg: 1.99 1.59 0.79 3/175 22714
/proc/meminfo: memFree=24926872/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=9960 CPUtime=462.22 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2226 0 0 0 46139 83 0 0 20 0 1 0 316728904 10199040 1988 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2490 1988 227 17 0 1796 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 9960
[startup+522.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/175 22714
/proc/meminfo: memFree=24800048/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=9960 CPUtime=522.21 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2226 0 0 0 52130 91 0 0 20 0 1 0 316728904 10199040 1988 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2490 1988 227 17 0 1796 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 9960
[startup+582.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/175 22714
/proc/meminfo: memFree=24662436/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10492 CPUtime=582.2 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2357 0 0 0 58122 98 0 0 20 0 1 0 316728904 10743808 2119 33554432000 134512640 134579096 4292171328 4292169984 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2623 2119 227 17 0 1929 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 10492
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23816276/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10944 CPUtime=882.16 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2469 0 0 0 88098 118 0 0 20 0 1 0 316728904 11206656 2220 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2736 2220 227 17 0 2042 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 10944
[startup+942.3 s]
/proc/loadavg: 1.99 1.90 1.26 3/175 22715
/proc/meminfo: memFree=23682012/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10944 CPUtime=942.15 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2469 0 0 0 94093 122 0 0 20 0 1 0 316728904 11206656 2220 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2736 2220 227 17 0 2042 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 10944
[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.30 3/176 22718
/proc/meminfo: memFree=23537200/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10944 CPUtime=1002.14 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2469 0 0 0 100089 125 0 0 20 0 1 0 316728904 11206656 2220 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2736 2220 227 17 0 2042 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 10944
[startup+1062.3 s]
/proc/loadavg: 2.04 1.94 1.35 3/175 22719
/proc/meminfo: memFree=23385708/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10944 CPUtime=1062.13 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2469 0 0 0 106084 129 0 0 20 0 1 0 316728904 11206656 2220 33554432000 134512640 134579096 4292171328 4292170176 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2736 2220 227 17 0 2042 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 10944
[startup+1122.3 s]
/proc/loadavg: 2.01 1.95 1.39 3/175 22719
/proc/meminfo: memFree=23239788/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10808 CPUtime=1122.12 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2469 0 0 0 112079 133 0 0 20 0 1 0 316728904 11067392 2213 33554432000 134512640 134579096 4292171328 4292170176 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2702 2213 227 17 0 2008 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 10808
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/175 22719
/proc/meminfo: memFree=23106516/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10676 CPUtime=1182.11 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2469 0 0 0 118073 138 0 0 20 0 1 0 316728904 10932224 2180 33554432000 134512640 134579096 4292171328 4292170176 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2669 2180 227 17 0 1975 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 10676
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/176 22720
/proc/meminfo: memFree=22977824/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10732 CPUtime=1242.11 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2472 0 0 0 124070 141 0 0 20 0 1 0 316728904 10989568 2181 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2683 2181 227 17 0 1989 0
Current children cumulated CPU time (s) 1242.11
Current children cumulated vsize (KiB) 10732
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/175 22720
/proc/meminfo: memFree=22836376/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10732 CPUtime=1302.1 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 130066 144 0 0 20 0 1 0 316728904 10989568 2194 33554432000 134512640 134579096 4292171328 4292170176 134527836 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2683 2194 227 17 0 1989 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 10732
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/175 22721
/proc/meminfo: memFree=22737576/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10732 CPUtime=1362.08 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 136061 147 0 0 20 0 1 0 316728904 10989568 2194 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2683 2194 227 17 0 1989 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 10732
[startup+1422.31 s]
/proc/loadavg: 2.03 1.99 1.55 3/175 22721
/proc/meminfo: memFree=22667544/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10732 CPUtime=1422.08 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 142057 151 0 0 20 0 1 0 316728904 10989568 2194 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2683 2194 227 17 0 1989 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 10732
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.57 3/175 22721
/proc/meminfo: memFree=22598132/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10732 CPUtime=1482.07 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 148051 156 0 0 20 0 1 0 316728904 10989568 2194 33554432000 134512640 134579096 4292171328 4292170176 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2683 2194 227 17 0 1989 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 10732
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/175 22721
/proc/meminfo: memFree=22530208/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1542.05 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 154042 163 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 10548
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/176 22724
/proc/meminfo: memFree=22453472/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1602.05 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 160032 173 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 10548
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/175 22725
/proc/meminfo: memFree=22390020/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1662.04 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 166019 185 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 10548
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/175 22725
/proc/meminfo: memFree=22331892/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1722.02 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 172009 193 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 10548
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22725
/proc/meminfo: memFree=22261860/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1782.02 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 178000 202 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 10548
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22725
/proc/meminfo: memFree=22261860/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1782.42 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 178040 202 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 10548
[startup+1783.11 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22725
/proc/meminfo: memFree=22260992/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1782.82 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 178080 202 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 10548
[startup+1783.2 s]
/proc/loadavg: 2.00 1.99 1.68 3/175 22725
/proc/meminfo: memFree=22260992/32873852 swapFree=6856/6856
[pid=22660] ppid=22658 vsize=10548 CPUtime=1782.92 cores=1,3,5,7
/proc/22660/stat : 22660 (Pueblo) R 22658 22660 22360 0 -1 4202496 2485 0 0 0 178090 202 0 0 20 0 1 0 316728904 10801152 2148 33554432000 134512640 134579096 4292171328 4292170300 1115184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22660/statm: 2637 2148 227 17 0 1943 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 10548
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1780.98
CPU system time (s): 2.02869
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 10944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.98
system time used= 2.02869
maximum resident set size= 8880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2490
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= 5
involuntary context switches= 1837
runsolver used 2.6086 second user time and 7.2079 second system time
The end