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-3720091-1338507816/watcher-3720091-1338507816 -o /tmp/evaluation-result-3720091-1338507816/solver-3720091-1338507816 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720091-1338507816.opb
running on 4 cores: 0,2,4,6
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: 2.00 2.00 1.68 3/176 30977
/proc/meminfo: memFree=29607268/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=3236 CPUtime=0 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 316907213 3313664 290 33554432000 134512640 134579096 4289037552 4288904948 5821227 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 809 292 213 17 0 115 0
[startup+0.05304 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 30977
/proc/meminfo: memFree=29607268/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=4700 CPUtime=0.04 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 715 0 0 0 4 0 0 0 20 0 1 0 316907213 4812800 652 33554432000 134512640 134579096 4289037552 4288905012 5821169 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 1175 652 219 17 0 481 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4700
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 30977
/proc/meminfo: memFree=29607268/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=6400 CPUtime=0.09 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 1141 0 0 0 9 0 0 0 20 0 1 0 316907213 6553600 1078 33554432000 134512640 134579096 4289037552 4289036512 134532448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 1600 1078 226 17 0 906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6400
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 30977
/proc/meminfo: memFree=29607268/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=7240 CPUtime=0.29 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 1358 0 0 0 29 0 0 0 20 0 1 0 316907213 7413760 1295 33554432000 134512640 134579096 4289037552 4289036464 134559161 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 1810 1295 227 17 0 1116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7240
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.68 3/176 30977
/proc/meminfo: memFree=29607268/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=7240 CPUtime=0.69 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 1358 0 0 0 69 0 0 0 20 0 1 0 316907213 7413760 1295 33554432000 134512640 134579096 4289037552 4289036416 134519893 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 1810 1295 227 17 0 1116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7240
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 30978
/proc/meminfo: memFree=29602408/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=7840 CPUtime=1.49 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 1469 0 0 0 149 0 0 0 20 0 1 0 316907213 8028160 1406 33554432000 134512640 134579096 4289037552 4289036480 134559528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 1960 1406 227 17 0 1266 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7840
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.67 2/176 31025
/proc/meminfo: memFree=29602880/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=9132 CPUtime=3.09 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 1823 0 0 0 309 0 0 0 20 0 1 0 316907213 9351168 1760 33554432000 134512640 134579096 4289037552 4289036480 134559396 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 2283 1760 227 17 0 1589 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9132
[startup+6.30024 s]
/proc/loadavg: 1.92 1.98 1.67 3/177 31026
/proc/meminfo: memFree=29597064/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=10420 CPUtime=6.28 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 2143 0 0 0 628 0 0 0 20 0 1 0 316907213 10670080 2084 33554432000 134512640 134579096 4289037552 4289036480 134559581 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 2605 2084 227 17 0 1911 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10420
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.68 3/177 31026
/proc/meminfo: memFree=29595200/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=11216 CPUtime=12.68 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 2307 0 0 0 1268 0 0 0 20 0 1 0 316907213 11485184 2248 33554432000 134512640 134579096 4289037552 4289036460 134519884 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 2804 2248 227 17 0 2110 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11216
[startup+25.5002 s]
/proc/loadavg: 1.94 1.98 1.68 3/177 31026
/proc/meminfo: memFree=29592244/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=12912 CPUtime=25.48 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 2749 0 0 0 2548 0 0 0 20 0 1 0 316907213 13221888 2707 33554432000 134512640 134579096 4289037552 4289036480 134559533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 3228 2707 227 17 0 2534 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12912
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.69 3/177 31026
/proc/meminfo: memFree=29589824/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=14492 CPUtime=51.07 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 3131 0 0 0 5107 0 0 0 20 0 1 0 316907213 14839808 3102 33554432000 134512640 134579096 4289037552 4289036468 134559540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 3623 3102 227 17 0 2929 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14492
[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.71 3/177 31026
/proc/meminfo: memFree=29586288/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=15976 CPUtime=102.28 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 3450 0 0 0 10227 1 0 0 20 0 1 0 316907213 16359424 3421 33554432000 134512640 134579096 4289037552 4289036480 134559503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 3994 3421 227 17 0 3300 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15976
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.73 3/177 31026
/proc/meminfo: memFree=29583556/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=18240 CPUtime=162.26 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 4004 0 0 0 16225 1 0 0 20 0 1 0 316907213 18677760 3989 33554432000 134512640 134579096 4289037552 4289036480 134559528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 4560 3989 227 17 0 3866 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18240
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/177 31026
/proc/meminfo: memFree=29581072/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=20504 CPUtime=222.25 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 4544 0 0 0 22224 1 0 0 20 0 1 0 316907213 20996096 4586 33554432000 134512640 134579096 4289037552 4289036416 134520067 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 5126 4586 227 17 0 4432 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 20504
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/177 31027
/proc/meminfo: memFree=29579212/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=22460 CPUtime=282.24 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 4980 0 0 0 28223 1 0 0 20 0 1 0 316907213 22999040 5022 33554432000 134512640 134579096 4289037552 4289036480 134559512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 5615 5022 227 17 0 4921 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 22460
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/177 31027
/proc/meminfo: memFree=29577908/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=22728 CPUtime=342.23 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 5036 0 0 0 34222 1 0 0 20 0 1 0 316907213 23273472 5100 33554432000 134512640 134579096 4289037552 4289036480 134559390 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 5682 5100 227 17 0 4988 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 22728
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/178 31030
/proc/meminfo: memFree=29575408/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=24304 CPUtime=402.22 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 5445 0 0 0 40221 1 0 0 20 0 1 0 316907213 24887296 5519 33554432000 134512640 134579096 4289037552 4289036416 134520000 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 6076 5519 227 17 0 5382 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 24304
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 31030
/proc/meminfo: memFree=29575176/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=24440 CPUtime=462.21 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 5446 0 0 0 46220 1 0 0 20 0 1 0 316907213 25026560 5520 33554432000 134512640 134579096 4289037552 4289036480 134559503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 6110 5520 227 17 0 5416 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 24440
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.80 3/177 31030
/proc/meminfo: memFree=29574804/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=24600 CPUtime=522.2 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 5482 0 0 0 52219 1 0 0 20 0 1 0 316907213 25190400 5556 33554432000 134512640 134579096 4289037552 4289036460 134519884 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 6150 5556 227 17 0 5456 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 24600
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.81 3/177 31031
/proc/meminfo: memFree=29574060/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=25384 CPUtime=582.19 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 5702 0 0 0 58218 1 0 0 20 0 1 0 316907213 25993216 5776 33554432000 134512640 134579096 4289037552 4289036416 134520116 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 6346 5776 227 17 0 5652 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 25384
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 31032
/proc/meminfo: memFree=29566056/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=30584 CPUtime=882.14 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 6963 0 0 0 88212 2 0 0 20 0 1 0 316907213 31318016 7086 33554432000 134512640 134579096 4289037552 4289036480 134559533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 7646 7086 227 17 0 6952 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 30584
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 31032
/proc/meminfo: memFree=29564128/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32336 CPUtime=942.14 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7359 0 0 0 94211 3 0 0 20 0 1 0 316907213 33112064 7510 33554432000 134512640 134579096 4289037552 4289036480 134559533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8084 7510 227 17 0 7390 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 32336
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 31035
/proc/meminfo: memFree=29563872/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32336 CPUtime=1002.13 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7359 0 0 0 100210 3 0 0 20 0 1 0 316907213 33112064 7510 33554432000 134512640 134579096 4289037552 4289036464 134559450 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8084 7510 227 17 0 7390 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 32336
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/178 31058
/proc/meminfo: memFree=29563560/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32336 CPUtime=1062.12 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7359 0 0 0 106209 3 0 0 20 0 1 0 316907213 33112064 7510 33554432000 134512640 134579096 4289037552 4289036452 134553148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8084 7510 227 17 0 7390 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 32336
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 31058
/proc/meminfo: memFree=29563320/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32336 CPUtime=1122.1 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7359 0 0 0 112207 3 0 0 20 0 1 0 316907213 33112064 7510 33554432000 134512640 134579096 4289037552 4289036480 134559533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8084 7510 227 17 0 7390 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 32336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 31059
/proc/meminfo: memFree=29563444/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32336 CPUtime=1182.1 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7359 0 0 0 118207 3 0 0 20 0 1 0 316907213 33112064 7510 33554432000 134512640 134579096 4289037552 4289036480 134559555 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8084 7510 227 17 0 7390 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 32336
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/177 31059
/proc/meminfo: memFree=29562700/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32336 CPUtime=1242.09 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7359 0 0 0 124206 3 0 0 20 0 1 0 316907213 33112064 7510 33554432000 134512640 134579096 4289037552 4289036432 134557837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8084 7510 227 17 0 7390 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 32336
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.90 3/177 31059
/proc/meminfo: memFree=29562204/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=32748 CPUtime=1302.08 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7476 0 0 0 130205 3 0 0 20 0 1 0 316907213 33533952 7627 33554432000 134512640 134579096 4289037552 4289036416 134519937 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8187 7627 227 17 0 7493 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 32748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 31059
/proc/meminfo: memFree=29561708/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=33360 CPUtime=1362.07 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 7612 0 0 0 136204 3 0 0 20 0 1 0 316907213 34160640 7763 33554432000 134512640 134579096 4289037552 4289036416 134519989 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8340 7763 227 17 0 7646 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 33360
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31059
/proc/meminfo: memFree=29559784/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=35580 CPUtime=1422.06 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8132 0 0 0 142203 3 0 0 20 0 1 0 316907213 36433920 8311 33554432000 134512640 134579096 4289037552 4289036396 134520485 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8895 8311 227 17 0 8201 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 35580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 31059
/proc/meminfo: memFree=29559916/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=35620 CPUtime=1482.04 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8173 0 0 0 148201 3 0 0 20 0 1 0 316907213 36474880 8329 33554432000 134512640 134579096 4289037552 4289036368 134559033 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8905 8329 227 17 0 8211 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 35620
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31060
/proc/meminfo: memFree=29560652/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=35620 CPUtime=1542.04 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8184 0 0 0 154201 3 0 0 20 0 1 0 316907213 36474880 8340 33554432000 134512640 134579096 4289037552 4289036416 134520078 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8905 8340 227 17 0 8211 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 35620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31063
/proc/meminfo: memFree=29559836/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=35816 CPUtime=1602.03 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8199 0 0 0 160200 3 0 0 20 0 1 0 316907213 36675584 8355 33554432000 134512640 134579096 4289037552 4289036368 134558957 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8954 8355 227 17 0 8260 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 35816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31063
/proc/meminfo: memFree=29560092/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=35816 CPUtime=1662.02 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8217 0 0 0 166199 3 0 0 20 0 1 0 316907213 36675584 8373 33554432000 134512640 134579096 4289037552 4289036432 134557534 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8954 8373 227 17 0 8260 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 35816
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31063
/proc/meminfo: memFree=29559844/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=35816 CPUtime=1722.01 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8217 0 0 0 172198 3 0 0 20 0 1 0 316907213 36675584 8373 33554432000 134512640 134579096 4289037552 4289036460 134519884 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 8954 8373 227 17 0 8260 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 35816
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31063
/proc/meminfo: memFree=29559100/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=36072 CPUtime=1782 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8239 0 0 0 178197 3 0 0 20 0 1 0 316907213 36937728 8395 33554432000 134512640 134579096 4289037552 4289036416 134520215 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 9018 8395 227 17 0 8324 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 36072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31112
/proc/meminfo: memFree=29573744/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=36072 CPUtime=1800.01 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8257 0 0 0 179997 4 0 0 20 0 1 0 316907213 36937728 8413 33554432000 134512640 134579096 4289037552 4289036464 134559183 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 9018 8413 227 17 0 8324 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 36072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 31112
/proc/meminfo: memFree=29573744/32873844 swapFree=7632/7632
[pid=30977] ppid=30975 vsize=36072 CPUtime=1800.01 cores=0,2,4,6
/proc/30977/stat : 30977 (Pueblo) R 30975 30977 30519 0 -1 4202496 8257 0 0 0 179997 4 0 0 20 0 1 0 316907213 36937728 8413 33554432000 134512640 134579096 4289037552 4289036464 134559183 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30977/statm: 9018 8413 227 17 0 8324 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 36072
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.042993
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 36072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.042993
maximum resident set size= 33652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8257
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= 19
involuntary context switches= 2054
runsolver used 3.15952 second user time and 8.35473 second system time
The end