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-3720006-1338506078/watcher-3720006-1338506078 -o /tmp/evaluation-result-3720006-1338506078/solver-3720006-1338506078 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720006-1338506078.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.25 0.36 0.12 3/176 28961
/proc/meminfo: memFree=29406332/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 315 0 0 0 0 0 0 0 20 0 1 0 316736305 3174400 252 33554432000 134512640 134579096 4290068464 4289935648 7742759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 775 252 213 17 0 81 0
[startup+0.0595269 s]
/proc/loadavg: 1.25 0.36 0.12 3/176 28961
/proc/meminfo: memFree=29406332/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=4200 CPUtime=0.05 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 605 0 0 0 5 0 0 0 20 0 1 0 316736305 4300800 542 33554432000 134512640 134579096 4290068464 4290067120 134522427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 1050 542 227 17 0 356 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4200
[startup+0.100261 s]
/proc/loadavg: 1.25 0.36 0.12 3/176 28961
/proc/meminfo: memFree=29406332/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=4504 CPUtime=0.09 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 686 0 0 0 9 0 0 0 20 0 1 0 316736305 4612096 623 33554432000 134512640 134579096 4290068464 4290067120 134522427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 1126 623 227 17 0 432 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4504
[startup+0.300237 s]
/proc/loadavg: 1.25 0.36 0.12 3/176 28961
/proc/meminfo: memFree=29406332/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=5444 CPUtime=0.29 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 923 0 0 0 29 0 0 0 20 0 1 0 316736305 5574656 860 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 1361 860 227 17 0 667 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5444
[startup+0.700231 s]
/proc/loadavg: 1.25 0.36 0.12 3/176 28961
/proc/meminfo: memFree=29406332/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=7356 CPUtime=0.69 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 1413 0 0 0 69 0 0 0 20 0 1 0 316736305 7532544 1350 33554432000 134512640 134579096 4290068464 4290067296 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 1839 1350 227 17 0 1145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7356
[startup+1.50023 s]
/proc/loadavg: 1.31 0.39 0.13 3/177 28962
/proc/meminfo: memFree=29401372/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=8620 CPUtime=1.49 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 1710 0 0 0 149 0 0 0 20 0 1 0 316736305 8826880 1647 33554432000 134512640 134579096 4290068464 4290067280 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 2155 1647 227 17 0 1461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8620
[startup+3.10023 s]
/proc/loadavg: 1.31 0.39 0.13 3/177 28962
/proc/meminfo: memFree=29399760/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=10488 CPUtime=3.09 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 2187 0 0 0 309 0 0 0 20 0 1 0 316736305 10739712 2124 33554432000 134512640 134579096 4290068464 4290067312 134527753 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 2622 2124 227 17 0 1928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10488
[startup+6.30023 s]
/proc/loadavg: 1.36 0.41 0.14 3/177 28962
/proc/meminfo: memFree=29397104/32873844 swapFree=6876/6876
[pid=28961] ppid=28959 vsize=14820 CPUtime=6.29 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 3247 0 0 0 629 0 0 0 20 0 1 0 316736305 15175680 3184 33554432000 134512640 134579096 4290068464 4290067120 134522504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 3705 3184 227 17 0 3011 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14820
[startup+12.7002 s]
/proc/loadavg: 1.42 0.44 0.15 3/177 28962
/proc/meminfo: memFree=29386688/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=23800 CPUtime=12.69 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 5505 0 0 0 1268 1 0 0 20 0 1 0 316736305 24371200 5442 33554432000 134512640 134579096 4290068464 4290067120 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 5950 5442 227 17 0 5256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23800
[startup+25.5002 s]
/proc/loadavg: 1.58 0.51 0.18 3/177 28962
/proc/meminfo: memFree=29380976/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=31792 CPUtime=25.48 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 7501 0 0 0 2546 2 0 0 20 0 1 0 316736305 32555008 7433 33554432000 134512640 134579096 4290068464 4290067312 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 7948 7433 227 17 0 7254 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31792
[startup+51.1003 s]
/proc/loadavg: 1.74 0.65 0.23 3/176 28962
/proc/meminfo: memFree=29376148/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=36688 CPUtime=51.07 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 8745 0 0 0 5104 3 0 0 20 0 1 0 316736305 37568512 8663 33554432000 134512640 134579096 4290068464 4290067296 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 9172 8663 227 17 0 8478 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36688
[startup+102.307 s]
/proc/loadavg: 1.89 0.85 0.32 3/177 28963
/proc/meminfo: memFree=29371052/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=41264 CPUtime=102.27 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 9900 0 0 0 10222 5 0 0 20 0 1 0 316736305 42254336 9817 33554432000 134512640 134579096 4290068464 4290067312 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 10316 9817 227 17 0 9622 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41264
[startup+162.3 s]
/proc/loadavg: 1.96 1.06 0.42 3/177 28963
/proc/meminfo: memFree=29369744/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=42576 CPUtime=162.25 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 10755 0 0 0 16217 8 0 0 20 0 1 0 316736305 43597824 10151 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 10644 10151 227 17 0 9950 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42576
[startup+222.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/177 28963
/proc/meminfo: memFree=29363976/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=48576 CPUtime=222.25 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 12304 0 0 0 22213 12 0 0 20 0 1 0 316736305 49741824 11637 33554432000 134512640 134579096 4290068464 4290067312 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 12144 11637 227 17 0 11450 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 48576
[startup+282.3 s]
/proc/loadavg: 1.99 1.37 0.61 3/177 28963
/proc/meminfo: memFree=29362360/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=50144 CPUtime=282.24 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 12780 0 0 0 28210 14 0 0 20 0 1 0 316736305 51347456 12027 33554432000 134512640 134579096 4290068464 4290067312 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 12536 12027 227 17 0 11842 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 50144
[startup+342.3 s]
/proc/loadavg: 1.99 1.48 0.69 3/178 28966
/proc/meminfo: memFree=29359132/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=53416 CPUtime=342.22 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 13633 0 0 0 34206 16 0 0 20 0 1 0 316736305 54697984 12857 33554432000 134512640 134579096 4290068464 4290067312 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 13354 12857 227 17 0 12660 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 53416
[startup+402.3 s]
/proc/loadavg: 1.99 1.57 0.77 3/177 28967
/proc/meminfo: memFree=29356160/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=55888 CPUtime=402.21 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 14409 0 0 0 40203 18 0 0 20 0 1 0 316736305 57229312 13483 33554432000 134512640 134579096 4290068464 4290067264 134528556 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 13972 13483 227 17 0 13278 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 55888
[startup+462.3 s]
/proc/loadavg: 1.99 1.65 0.85 3/177 28967
/proc/meminfo: memFree=29353060/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=59556 CPUtime=462.21 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 15531 0 0 0 46199 22 0 0 20 0 1 0 316736305 60985344 14391 33554432000 134512640 134579096 4290068464 4290067312 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 14889 14391 227 17 0 14195 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 59556
[startup+522.3 s]
/proc/loadavg: 1.99 1.71 0.92 3/177 28967
/proc/meminfo: memFree=29353244/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=59540 CPUtime=522.2 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 15532 0 0 0 52196 24 0 0 20 0 1 0 316736305 60968960 14396 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 14885 14396 227 17 0 14191 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 59540
[startup+582.3 s]
/proc/loadavg: 1.99 1.76 0.98 3/177 28967
/proc/meminfo: memFree=29353244/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=59672 CPUtime=582.19 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 15563 0 0 0 58194 25 0 0 20 0 1 0 316736305 61104128 14417 33554432000 134512640 134579096 4290068464 4290067312 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 14918 14417 227 17 0 14224 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 59672
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29346664/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=66068 CPUtime=882.14 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 17545 0 0 0 88177 37 0 0 20 0 1 0 316736305 67653632 16005 33554432000 134512640 134579096 4290068464 4290067296 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 16517 16005 227 17 0 15823 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 66068
[startup+942.3 s]
/proc/loadavg: 1.99 1.92 1.29 3/178 28971
/proc/meminfo: memFree=29346780/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=65908 CPUtime=942.13 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 17545 0 0 0 94174 39 0 0 20 0 1 0 316736305 67489792 15988 33554432000 134512640 134579096 4290068464 4290067312 134527737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 16477 15988 227 17 0 15783 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 65908
[startup+1002.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/177 28972
/proc/meminfo: memFree=29344928/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=68008 CPUtime=1002.12 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 18108 0 0 0 100170 42 0 0 20 0 1 0 316736305 69640192 16513 33554432000 134512640 134579096 4290068464 4290067312 134527740 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 17002 16513 227 17 0 16308 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 68008
[startup+1062.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/177 28972
/proc/meminfo: memFree=29346292/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=66324 CPUtime=1062.12 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 18192 0 0 0 106167 45 0 0 20 0 1 0 316736305 67915776 16087 33554432000 134512640 134579096 4290068464 4290067296 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 16581 16087 227 17 0 15887 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 66324
[startup+1122.3 s]
/proc/loadavg: 1.99 1.95 1.41 3/177 28972
/proc/meminfo: memFree=29345608/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=66776 CPUtime=1122.11 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 18681 0 0 0 112165 46 0 0 20 0 1 0 316736305 68378624 16202 33554432000 134512640 134579096 4290068464 4290067312 134527750 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 16694 16202 227 17 0 16000 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 66776
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.44 3/177 28972
/proc/meminfo: memFree=29345484/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=67256 CPUtime=1182.09 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 18798 0 0 0 118161 48 0 0 20 0 1 0 316736305 68870144 16319 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 16814 16319 227 17 0 16120 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 67256
[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.48 3/178 28973
/proc/meminfo: memFree=29344608/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=68328 CPUtime=1242.08 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 19050 0 0 0 124157 51 0 0 20 0 1 0 316736305 69967872 16571 33554432000 134512640 134579096 4290068464 4290067312 134527818 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 17082 16571 227 17 0 16388 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 68328
[startup+1302.3 s]
/proc/loadavg: 2.06 1.98 1.51 3/177 28974
/proc/meminfo: memFree=29343932/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=68584 CPUtime=1302.08 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 19120 0 0 0 130155 53 0 0 20 0 1 0 316736305 70230016 16628 33554432000 134512640 134579096 4290068464 4290067312 134527712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 17146 16628 227 17 0 16452 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 68584
[startup+1362.3 s]
/proc/loadavg: 2.02 1.98 1.54 3/177 28974
/proc/meminfo: memFree=29343560/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=68944 CPUtime=1362.07 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 19220 0 0 0 136151 56 0 0 20 0 1 0 316736305 70598656 16728 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 17236 16728 227 17 0 16542 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 68944
[startup+1422.31 s]
/proc/loadavg: 2.01 1.98 1.56 3/177 28974
/proc/meminfo: memFree=29341948/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=71024 CPUtime=1422.06 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 19849 0 0 0 142146 60 0 0 20 0 1 0 316736305 72728576 17252 33554432000 134512640 134579096 4290068464 4290067312 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 17756 17252 227 17 0 17062 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 71024
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.59 3/177 28974
/proc/meminfo: memFree=29339092/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=73028 CPUtime=1482.05 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 20403 0 0 0 148142 63 0 0 20 0 1 0 316736305 74780672 17768 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 18257 17768 227 17 0 17563 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 73028
[startup+1542.3 s]
/proc/loadavg: 2.06 2.00 1.62 3/178 28977
/proc/meminfo: memFree=29338836/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=73152 CPUtime=1542.04 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 20432 0 0 0 154138 66 0 0 20 0 1 0 316736305 74907648 17796 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 18288 17796 227 17 0 17594 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 73152
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.64 3/177 28978
/proc/meminfo: memFree=29338596/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=73636 CPUtime=1602.03 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 20545 0 0 0 160135 68 0 0 20 0 1 0 316736305 75403264 17909 33554432000 134512640 134579096 4290068464 4290067436 12588080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 18409 17909 227 17 0 17715 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 73636
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.66 3/177 28978
/proc/meminfo: memFree=29338596/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=73160 CPUtime=1662.02 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 20545 0 0 0 166132 70 0 0 20 0 1 0 316736305 74915840 17801 33554432000 134512640 134579096 4290068464 4290067392 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 18290 17801 227 17 0 17596 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 73160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/177 28978
/proc/meminfo: memFree=29338596/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=73644 CPUtime=1722.02 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 20669 0 0 0 172129 73 0 0 20 0 1 0 316736305 75411456 17920 33554432000 134512640 134579096 4290068464 4290067264 134528574 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 18411 17920 227 17 0 17717 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 73644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 29122
/proc/meminfo: memFree=29328908/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=78612 CPUtime=1782 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 21904 0 0 0 178126 74 0 0 20 0 1 0 316736305 80498688 19154 33554432000 134512640 134579096 4290068464 4290067364 134527547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 19653 19154 227 17 0 18959 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 78612
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 29122
/proc/meminfo: memFree=29328908/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=78612 CPUtime=1782.4 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 21904 0 0 0 178166 74 0 0 20 0 1 0 316736305 80498688 19154 33554432000 134512640 134579096 4290068464 4290067296 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 19653 19154 227 17 0 18959 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 78612
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 29122
/proc/meminfo: memFree=29328908/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=78612 CPUtime=1782.81 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 21904 0 0 0 178207 74 0 0 20 0 1 0 316736305 80498688 19154 33554432000 134512640 134579096 4290068464 4290067312 134527762 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 19653 19154 227 17 0 18959 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 78612
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 29122
/proc/meminfo: memFree=29328908/32873844 swapFree=6872/6872
[pid=28961] ppid=28959 vsize=78612 CPUtime=1782.9 cores=1,3,5,7
/proc/28961/stat : 28961 (Pueblo) R 28959 28961 28759 0 -1 4202496 21904 0 0 0 178216 74 0 0 20 0 1 0 316736305 80498688 19154 33554432000 134512640 134579096 4290068464 4290067312 134527824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28961/statm: 19653 19154 227 17 0 18959 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 78612
Child status: 10
Real time (s): 1783.3
CPU time (s): 1783.01
CPU user time (s): 1782.26
CPU system time (s): 0.749886
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 78612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.26
system time used= 0.749886
maximum resident set size= 76636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21909
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= 32
involuntary context switches= 1833
runsolver used 4.70129 second user time and 12.5381 second system time
The end