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-3719977-1338506032/watcher-3719977-1338506032 -o /tmp/evaluation-result-3719977-1338506032/solver-3719977-1338506032 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719977-1338506032.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.46 0.12 0.04 3/178 23809
/proc/meminfo: memFree=29302492/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=3108 CPUtime=0 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 316728036 3182592 274 33554432000 134512640 134579096 4292089296 4291956756 8483594 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 777 274 219 17 0 83 0
[startup+0.078958 s]
/proc/loadavg: 0.46 0.12 0.04 3/178 23809
/proc/meminfo: memFree=29302492/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=3760 CPUtime=0.07 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 485 0 0 0 7 0 0 0 20 0 1 0 316728036 3850240 422 33554432000 134512640 134579096 4292089296 4292087784 7734567 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 940 422 227 17 0 246 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3760
[startup+0.100285 s]
/proc/loadavg: 0.46 0.12 0.04 3/178 23809
/proc/meminfo: memFree=29302492/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=3888 CPUtime=0.09 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 516 0 0 0 9 0 0 0 20 0 1 0 316728036 3981312 453 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 972 453 227 17 0 278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3888
[startup+0.300214 s]
/proc/loadavg: 0.46 0.12 0.04 3/178 23809
/proc/meminfo: memFree=29302492/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=4148 CPUtime=0.29 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 594 0 0 0 29 0 0 0 20 0 1 0 316728036 4247552 531 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1037 531 227 17 0 343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4148
[startup+0.700215 s]
/proc/loadavg: 0.46 0.12 0.04 3/178 23809
/proc/meminfo: memFree=29302492/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=4668 CPUtime=0.69 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 726 0 0 0 69 0 0 0 20 0 1 0 316728036 4780032 663 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1167 663 227 17 0 473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4668
[startup+1.50021 s]
/proc/loadavg: 0.46 0.12 0.04 3/179 23810
/proc/meminfo: memFree=29300772/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=5316 CPUtime=1.48 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 891 0 0 0 148 0 0 0 20 0 1 0 316728036 5443584 828 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1329 828 227 17 0 635 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5316
[startup+3.10021 s]
/proc/loadavg: 0.46 0.12 0.04 3/179 23810
/proc/meminfo: memFree=29299524/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=5716 CPUtime=3.09 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 981 0 0 0 308 1 0 0 20 0 1 0 316728036 5853184 918 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1429 918 227 17 0 735 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5716
[startup+6.30021 s]
/proc/loadavg: 0.59 0.15 0.05 3/179 23810
/proc/meminfo: memFree=29298540/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=6116 CPUtime=6.29 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1083 0 0 0 627 2 0 0 20 0 1 0 316728036 6262784 1020 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1529 1020 227 17 0 835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6116
[startup+12.7002 s]
/proc/loadavg: 0.70 0.18 0.06 3/179 23810
/proc/meminfo: memFree=29297628/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=6352 CPUtime=12.69 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1139 0 0 0 1265 4 0 0 20 0 1 0 316728036 6504448 1076 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1588 1076 227 17 0 894 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6352
[startup+25.5002 s]
/proc/loadavg: 0.99 0.27 0.09 3/179 23810
/proc/meminfo: memFree=29296952/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=7052 CPUtime=25.48 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1319 0 0 0 2541 7 0 0 20 0 1 0 316728036 7221248 1255 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1763 1255 227 17 0 1069 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7052
[startup+51.1002 s]
/proc/loadavg: 1.33 0.41 0.14 3/179 23810
/proc/meminfo: memFree=29296456/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=7700 CPUtime=51.08 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1499 0 0 0 5094 14 0 0 20 0 1 0 316728036 7884800 1435 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 1925 1435 227 17 0 1231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7700
[startup+102.306 s]
/proc/loadavg: 1.71 0.65 0.24 3/179 23810
/proc/meminfo: memFree=29294780/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=8712 CPUtime=102.27 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1753 0 0 0 10201 26 0 0 20 0 1 0 316728036 8921088 1685 33554432000 134512640 134579096 4292089296 4292088144 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2178 1685 227 17 0 1484 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 8712
[startup+162.3 s]
/proc/loadavg: 1.89 0.89 0.34 3/179 23811
/proc/meminfo: memFree=29294656/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=8712 CPUtime=162.27 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1772 0 0 0 16190 37 0 0 20 0 1 0 316728036 8921088 1689 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2178 1689 227 17 0 1484 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 8712
[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/179 23811
/proc/meminfo: memFree=29294284/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=8976 CPUtime=222.25 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 1835 0 0 0 22183 42 0 0 20 0 1 0 316728036 9191424 1752 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2244 1752 227 17 0 1550 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 8976
[startup+282.3 s]
/proc/loadavg: 1.98 1.26 0.54 3/179 23907
/proc/meminfo: memFree=29256200/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=9648 CPUtime=282.24 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2034 0 0 0 28170 54 0 0 20 0 1 0 316728036 9879552 1923 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2412 1923 227 17 0 1718 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 9648
[startup+342.3 s]
/proc/loadavg: 2.03 1.40 0.63 3/179 23907
/proc/meminfo: memFree=29185824/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=9860 CPUtime=342.24 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2096 0 0 0 34156 68 0 0 20 0 1 0 316728036 10096640 1976 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2465 1976 227 17 0 1771 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 9860
[startup+402.3 s]
/proc/loadavg: 2.01 1.51 0.72 3/180 23910
/proc/meminfo: memFree=29149556/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10204 CPUtime=402.22 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2197 0 0 0 40141 81 0 0 20 0 1 0 316728036 10448896 2044 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2551 2044 227 17 0 1857 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 10204
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.79 3/179 23911
/proc/meminfo: memFree=29148696/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10252 CPUtime=462.21 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2237 0 0 0 46128 93 0 0 20 0 1 0 316728036 10498048 2074 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2563 2074 227 17 0 1869 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 10252
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.87 3/179 23911
/proc/meminfo: memFree=29104624/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10320 CPUtime=522.21 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2337 0 0 0 52113 108 0 0 20 0 1 0 316728036 10567680 2091 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2580 2091 227 17 0 1886 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 10320
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.93 3/179 23911
/proc/meminfo: memFree=29104136/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10828 CPUtime=582.19 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2461 0 0 0 58098 121 0 0 20 0 1 0 316728036 11087872 2215 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2707 2215 227 17 0 2013 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 10828
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29052812/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10952 CPUtime=882.15 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 88037 178 0 0 20 0 1 0 316728036 11214848 2231 33554432000 134512640 134579096 4292089296 4292088144 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2738 2231 227 17 0 2044 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 10952
[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.27 3/179 23912
/proc/meminfo: memFree=29052936/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10936 CPUtime=942.14 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 94028 186 0 0 20 0 1 0 316728036 11198464 2231 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2734 2231 227 17 0 2040 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 10936
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/180 23915
/proc/meminfo: memFree=28976776/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10896 CPUtime=1002.14 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 100019 195 0 0 20 0 1 0 316728036 11157504 2231 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2724 2231 227 17 0 2030 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 10896
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/179 23916
/proc/meminfo: memFree=28959472/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10896 CPUtime=1062.13 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 106011 202 0 0 20 0 1 0 316728036 11157504 2231 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2724 2231 227 17 0 2030 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 10896
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.39 3/179 23916
/proc/meminfo: memFree=28959472/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10896 CPUtime=1122.11 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 112003 208 0 0 20 0 1 0 316728036 11157504 2231 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2724 2231 227 17 0 2030 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 10896
[startup+1182.3 s]
/proc/loadavg: 2.06 1.97 1.43 3/179 23916
/proc/meminfo: memFree=28959348/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10896 CPUtime=1182.11 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 117998 213 0 0 20 0 1 0 316728036 11157504 2231 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2724 2231 227 17 0 2030 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 10896
[startup+1242.3 s]
/proc/loadavg: 2.05 1.98 1.47 3/179 23916
/proc/meminfo: memFree=28959348/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=10896 CPUtime=1242.1 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2525 0 0 0 123990 220 0 0 20 0 1 0 316728036 11157504 2231 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 2724 2231 227 17 0 2030 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 10896
[startup+1302.3 s]
/proc/loadavg: 2.02 1.98 1.50 3/180 23917
/proc/meminfo: memFree=28957976/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12088 CPUtime=1302.1 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2809 0 0 0 129982 228 0 0 20 0 1 0 316728036 12378112 2515 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3022 2515 227 17 0 2328 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 12088
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.52 3/179 23918
/proc/meminfo: memFree=28958232/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12136 CPUtime=1362.08 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2860 0 0 0 135971 237 0 0 20 0 1 0 316728036 12427264 2545 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3034 2545 227 17 0 2340 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 12136
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.55 3/179 23918
/proc/meminfo: memFree=28958232/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12136 CPUtime=1422.08 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2860 0 0 0 141962 246 0 0 20 0 1 0 316728036 12427264 2545 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3034 2545 227 17 0 2340 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 12136
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.58 3/179 23918
/proc/meminfo: memFree=28957860/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12136 CPUtime=1482.06 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2860 0 0 0 147952 254 0 0 20 0 1 0 316728036 12427264 2545 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3034 2545 227 17 0 2340 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 12136
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.60 3/179 23918
/proc/meminfo: memFree=28957860/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1542.05 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 153942 263 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 12180
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.62 3/180 23921
/proc/meminfo: memFree=28957728/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1602.04 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 159935 269 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088132 7729536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 12180
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/179 23922
/proc/meminfo: memFree=28957860/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1662.03 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 165926 277 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 12180
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.67 3/179 23922
/proc/meminfo: memFree=28957736/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1722.02 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 171917 285 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 12180
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/179 23922
/proc/meminfo: memFree=28957984/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1782.01 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 177909 292 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 12180
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.01 2.00 1.68 3/179 23922
/proc/meminfo: memFree=28957984/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1782.41 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 177949 292 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 12180
[startup+1783.11 s]
/proc/loadavg: 2.01 2.00 1.68 3/179 23922
/proc/meminfo: memFree=28957860/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1782.82 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 177990 292 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 12180
[startup+1783.2 s]
/proc/loadavg: 2.01 2.00 1.68 3/179 23922
/proc/meminfo: memFree=28957860/32873844 swapFree=7380/7380
[pid=23809] ppid=23807 vsize=12180 CPUtime=1782.91 cores=1,3,5,7
/proc/23809/stat : 23809 (Pueblo) R 23807 23809 23463 0 -1 4202496 2863 0 0 0 177999 292 0 0 20 0 1 0 316728036 12472320 2548 33554432000 134512640 134579096 4292089296 4292088268 16249904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23809/statm: 3045 2548 227 17 0 2351 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 12180
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1780.08
CPU system time (s): 2.92955
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 12220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.08
system time used= 2.92955
maximum resident set size= 10264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2868
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= 1835
runsolver used 3.06153 second user time and 8.31374 second system time
The end