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-3720009-1338506083/watcher-3720009-1338506083 -o /tmp/evaluation-result-3720009-1338506083/solver-3720009-1338506083 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720009-1338506083.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.30 0.37 0.13 3/174 8754
/proc/meminfo: memFree=28156268/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 316734216 3313664 296 33554432000 134512640 134579096 4290204976 4290072384 134546921 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 809 296 213 17 0 115 0
[startup+0.0115889 s]
/proc/loadavg: 1.30 0.37 0.13 3/174 8754
/proc/meminfo: memFree=28156268/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=3368 CPUtime=0 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 316734216 3448832 343 33554432000 134512640 134579096 4290204976 4290072372 8647434 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 842 343 219 17 0 148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3368
[startup+0.100251 s]
/proc/loadavg: 1.30 0.37 0.13 3/174 8754
/proc/meminfo: memFree=28156268/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=4508 CPUtime=0.09 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 694 0 0 0 9 0 0 0 20 0 1 0 316734216 4616192 632 33554432000 134512640 134579096 4290204976 4290203632 134522427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 1127 632 227 17 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4508
[startup+0.300223 s]
/proc/loadavg: 1.30 0.37 0.13 3/174 8754
/proc/meminfo: memFree=28156268/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=6792 CPUtime=0.29 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 1244 0 0 0 29 0 0 0 20 0 1 0 316734216 6955008 1182 33554432000 134512640 134579096 4290204976 4290203632 134522427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 1698 1182 227 17 0 1004 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6792
[startup+0.700223 s]
/proc/loadavg: 1.30 0.37 0.13 3/174 8754
/proc/meminfo: memFree=28156268/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=7044 CPUtime=0.69 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 1325 0 0 0 69 0 0 0 20 0 1 0 316734216 7213056 1263 33554432000 134512640 134579096 4290204976 4290203824 134527824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 1761 1263 227 17 0 1067 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7044
[startup+1.50022 s]
/proc/loadavg: 1.30 0.37 0.13 3/175 8755
/proc/meminfo: memFree=28151820/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=8184 CPUtime=1.49 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 1605 0 0 0 149 0 0 0 20 0 1 0 316734216 8380416 1543 33554432000 134512640 134579096 4290204976 4290203824 134527836 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 2046 1543 227 17 0 1352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8184
[startup+3.10022 s]
/proc/loadavg: 1.36 0.40 0.14 3/175 8755
/proc/meminfo: memFree=28149812/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=10268 CPUtime=3.09 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 2207 0 0 0 309 0 0 0 20 0 1 0 316734216 10514432 2065 33554432000 134512640 134579096 4290204976 4290203808 134517872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 2567 2065 227 17 0 1873 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10268
[startup+6.30023 s]
/proc/loadavg: 1.36 0.40 0.14 3/175 8755
/proc/meminfo: memFree=28146092/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=13692 CPUtime=6.28 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 3067 0 0 0 628 0 0 0 20 0 1 0 316734216 14020608 2925 33554432000 134512640 134579096 4290204976 4290203824 134527762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 3423 2925 227 17 0 2729 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13692
[startup+12.7002 s]
/proc/loadavg: 1.45 0.45 0.16 3/175 8755
/proc/meminfo: memFree=28135436/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=23232 CPUtime=12.69 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 5801 0 0 0 1268 1 0 0 20 0 1 0 316734216 23789568 5300 33554432000 134512640 134579096 4290204976 4290203808 134517893 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 5808 5300 227 17 0 5114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23232
[startup+25.5002 s]
/proc/loadavg: 1.54 0.50 0.17 3/175 8755
/proc/meminfo: memFree=28103560/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=28644 CPUtime=25.49 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 7160 0 0 0 2547 2 0 0 20 0 1 0 316734216 29331456 6659 33554432000 134512640 134579096 4290204976 4290203824 134527812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 7161 6659 227 17 0 6467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28644
[startup+51.1002 s]
/proc/loadavg: 1.69 0.62 0.22 3/175 8755
/proc/meminfo: memFree=28046596/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=34440 CPUtime=51.08 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 8602 0 0 0 5105 3 0 0 20 0 1 0 316734216 35266560 8101 33554432000 134512640 134579096 4290204976 4290203824 134527824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 8610 8101 227 17 0 7916 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34440
[startup+102.306 s]
/proc/loadavg: 1.94 0.87 0.33 3/175 8755
/proc/meminfo: memFree=27902800/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=38628 CPUtime=102.28 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 9756 0 0 0 10222 6 0 0 20 0 1 0 316734216 39555072 9161 33554432000 134512640 134579096 4290204976 4290203948 3445808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 9657 9161 227 17 0 8963 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 38628
[startup+162.3 s]
/proc/loadavg: 1.98 1.07 0.43 3/175 8756
/proc/meminfo: memFree=27757872/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=46320 CPUtime=162.26 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 11665 0 0 0 16217 9 0 0 20 0 1 0 316734216 47431680 11070 33554432000 134512640 134579096 4290204976 4290203796 134556388 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 11580 11070 227 17 0 10886 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 46320
[startup+222.3 s]
/proc/loadavg: 1.99 1.24 0.52 3/175 8756
/proc/meminfo: memFree=27602776/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=47388 CPUtime=222.26 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 12080 0 0 0 22215 11 0 0 20 0 1 0 316734216 48525312 11358 33554432000 134512640 134579096 4290204976 4290203824 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 11847 11358 227 17 0 11153 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 47388
[startup+282.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/175 8756
/proc/meminfo: memFree=27431684/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=55968 CPUtime=282.25 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 14243 0 0 0 28210 15 0 0 20 0 1 0 316734216 57311232 13500 33554432000 134512640 134579096 4290204976 4290203948 3445808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 13992 13500 227 17 0 13298 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 55968
[startup+342.3 s]
/proc/loadavg: 1.99 1.49 0.70 3/176 8759
/proc/meminfo: memFree=27278572/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=55840 CPUtime=342.24 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 14243 0 0 0 34205 19 0 0 20 0 1 0 316734216 57180160 13470 33554432000 134512640 134579096 4290204976 4290203948 3445808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 13960 13470 227 17 0 13266 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 55840
[startup+402.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/175 8759
/proc/meminfo: memFree=27117656/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=55604 CPUtime=402.23 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 14243 0 0 0 40203 20 0 0 20 0 1 0 316734216 56938496 13411 33554432000 134512640 134579096 4290204976 4290203824 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 13901 13411 227 17 0 13207 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 55604
[startup+462.3 s]
/proc/loadavg: 1.99 1.65 0.85 3/175 8760
/proc/meminfo: memFree=26968140/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=58976 CPUtime=462.21 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 15086 0 0 0 46200 21 0 0 20 0 1 0 316734216 60391424 14243 33554432000 134512640 134579096 4290204976 4290203824 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 14744 14243 227 17 0 14050 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 58976
[startup+522.3 s]
/proc/loadavg: 1.99 1.71 0.92 3/175 8760
/proc/meminfo: memFree=26804984/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=58916 CPUtime=522.21 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 15086 0 0 0 52198 23 0 0 20 0 1 0 316734216 60329984 14232 33554432000 134512640 134579096 4290204976 4290203824 134527762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 14729 14232 227 17 0 14035 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 58916
[startup+582.3 s]
/proc/loadavg: 1.99 1.76 0.98 3/175 8760
/proc/meminfo: memFree=26620004/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=61592 CPUtime=582.2 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 15741 0 0 0 58194 26 0 0 20 0 1 0 316734216 63070208 14887 33554432000 134512640 134579096 4290204976 4290203632 134522706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 15398 14887 227 17 0 14704 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 61592
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25816996/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=66088 CPUtime=882.16 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 17086 0 0 0 88178 38 0 0 20 0 1 0 316734216 67674112 16023 33554432000 134512640 134579096 4290204976 4290203824 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 16522 16023 227 17 0 15828 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 66088
[startup+942.3 s]
/proc/loadavg: 1.99 1.92 1.30 3/176 8764
/proc/meminfo: memFree=25657924/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=64876 CPUtime=942.14 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 17086 0 0 0 94175 39 0 0 20 0 1 0 316734216 66433024 15723 33554432000 134512640 134579096 4290204976 4290203824 134527818 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 16219 15723 227 17 0 15525 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 64876
[startup+1002.3 s]
/proc/loadavg: 1.99 1.93 1.34 3/175 8764
/proc/meminfo: memFree=25457328/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=64848 CPUtime=1002.14 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 17086 0 0 0 100173 41 0 0 20 0 1 0 316734216 66404352 15716 33554432000 134512640 134579096 4290204976 4290203824 134527762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 16212 15716 227 17 0 15518 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 64848
[startup+1062.3 s]
/proc/loadavg: 2.07 1.96 1.38 3/175 8765
/proc/meminfo: memFree=25277804/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=64848 CPUtime=1062.12 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 17086 0 0 0 106170 42 0 0 20 0 1 0 316734216 66404352 15716 33554432000 134512640 134579096 4290204976 4290203824 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 16212 15716 227 17 0 15518 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 64848
[startup+1122.3 s]
/proc/loadavg: 2.06 1.97 1.42 3/175 8765
/proc/meminfo: memFree=25107952/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=64848 CPUtime=1122.12 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 17086 0 0 0 112167 45 0 0 20 0 1 0 316734216 66404352 15716 33554432000 134512640 134579096 4290204976 4290203824 134527742 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 16212 15716 227 17 0 15518 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 64848
[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.45 3/175 8765
/proc/meminfo: memFree=24941448/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=69044 CPUtime=1182.11 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 18164 0 0 0 118164 47 0 0 20 0 1 0 316734216 70701056 16766 33554432000 134512640 134579096 4290204976 4290203824 134528058 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 17261 16766 227 17 0 16567 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 69044
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/175 8765
/proc/meminfo: memFree=24785484/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=71780 CPUtime=1242.1 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 18849 0 0 0 124162 48 0 0 20 0 1 0 316734216 73502720 17441 33554432000 134512640 134579096 4290204976 4290203824 134527753 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 17945 17441 227 17 0 17251 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 71780
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/175 8765
/proc/meminfo: memFree=24640680/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=70752 CPUtime=1302.1 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 18849 0 0 0 130160 50 0 0 20 0 1 0 316734216 72450048 17193 33554432000 134512640 134579096 4290204976 4290203824 134528239 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 17688 17193 227 17 0 16994 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 70752
[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.55 3/175 8766
/proc/meminfo: memFree=24513236/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=71464 CPUtime=1362.08 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 19177 0 0 0 136157 51 0 0 20 0 1 0 316734216 73179136 17371 33554432000 134512640 134579096 4290204976 4290203824 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 17866 17371 227 17 0 17172 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 71464
[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.57 3/175 8766
/proc/meminfo: memFree=24372028/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=72980 CPUtime=1422.08 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 19547 0 0 0 142155 53 0 0 20 0 1 0 316734216 74731520 17728 33554432000 134512640 134579096 4290204976 4290203872 134516731 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18245 17728 227 17 0 17551 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 72980
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/176 8767
/proc/meminfo: memFree=24196712/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=72596 CPUtime=1482.06 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 19547 0 0 0 148152 54 0 0 20 0 1 0 316734216 74338304 17654 33554432000 134512640 134579096 4290204976 4290203808 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18149 17654 227 17 0 17455 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 72596
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/176 8769
/proc/meminfo: memFree=24028348/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=72580 CPUtime=1542.05 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 19547 0 0 0 154149 56 0 0 20 0 1 0 316734216 74321920 17650 33554432000 134512640 134579096 4290204976 4290203808 134517908 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18145 17650 227 17 0 17451 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 72580
[startup+1602.3 s]
/proc/loadavg: 3.28 2.31 1.75 4/176 8770
/proc/meminfo: memFree=15233808/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=72564 CPUtime=1602.05 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 19547 0 0 0 160147 58 0 0 20 0 1 0 316734216 74305536 17646 33554432000 134512640 134579096 4290204976 4290203824 134527753 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18141 17646 227 17 0 17447 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 72564
[startup+1662.3 s]
/proc/loadavg: 4.52 2.86 1.97 2/176 8771
/proc/meminfo: memFree=15233576/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=74680 CPUtime=1662.04 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 20061 0 0 0 166144 60 0 0 20 0 1 0 316734216 76472320 18146 33554432000 134512640 134579096 4290204976 4290203776 134528560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18670 18146 227 17 0 17976 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 74680
[startup+1722.3 s]
/proc/loadavg: 3.35 2.84 2.02 3/176 8868
/proc/meminfo: memFree=28161584/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=74616 CPUtime=1722.01 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 20092 0 0 0 172139 62 0 0 20 0 1 0 316734216 76406784 18153 33554432000 134512640 134579096 4290204976 4290203824 134528004 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18654 18153 227 17 0 17960 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 74616
[startup+1782.3 s]
/proc/loadavg: 2.45 2.67 2.01 3/175 8868
/proc/meminfo: memFree=28158792/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=74588 CPUtime=1782 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 20092 0 0 0 178136 64 0 0 20 0 1 0 316734216 76378112 18153 33554432000 134512640 134579096 4290204976 4290203824 134528017 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18647 18153 227 17 0 17953 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 74588
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.45 2.67 2.01 3/175 8868
/proc/meminfo: memFree=28158792/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=74588 CPUtime=1782.4 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 20092 0 0 0 178176 64 0 0 20 0 1 0 316734216 76378112 18153 33554432000 134512640 134579096 4290204976 4290203808 134517896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18647 18153 227 17 0 17953 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 74588
[startup+1783.11 s]
/proc/loadavg: 2.45 2.67 2.01 3/175 8868
/proc/meminfo: memFree=28158792/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=74588 CPUtime=1782.81 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 20092 0 0 0 178217 64 0 0 20 0 1 0 316734216 76378112 18153 33554432000 134512640 134579096 4290204976 4290203824 134527762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18647 18153 227 17 0 17953 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 74588
[startup+1783.2 s]
/proc/loadavg: 2.45 2.67 2.01 3/175 8868
/proc/meminfo: memFree=28158792/32873852 swapFree=6856/6856
[pid=8754] ppid=8752 vsize=74588 CPUtime=1782.9 cores=1,3,5,7
/proc/8754/stat : 8754 (Pueblo) R 8752 8754 8408 0 -1 4202496 20092 0 0 0 178226 64 0 0 20 0 1 0 316734216 76378112 18153 33554432000 134512640 134579096 4290204976 4290203948 3445808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8754/statm: 18647 18153 227 17 0 17953 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 74588
Child status: 10
Real time (s): 1783.3
CPU time (s): 1783
CPU user time (s): 1782.36
CPU system time (s): 0.643902
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 74680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.36
system time used= 0.643902
maximum resident set size= 72632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20097
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= 36
involuntary context switches= 1836
runsolver used 2.69059 second user time and 7.04793 second system time
The end