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-3720730-1338513230/watcher-3720730-1338513230 -o /tmp/evaluation-result-3720730-1338513230/solver-3720730-1338513230 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720730-1338513230.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: 2.00 2.00 2.00 3/177 30034
/proc/meminfo: memFree=27811084/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 317447147 3174400 276 33554432000 134512640 134579096 4292579376 4292446652 10212400 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 775 276 219 17 0 81 0
[startup+0.0638551 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30034
/proc/meminfo: memFree=27811084/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=4432 CPUtime=0.06 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 660 0 0 0 6 0 0 0 20 0 1 0 317447147 4538368 597 33554432000 134512640 134579096 4292579376 4292446652 10212400 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 1108 597 219 17 0 414 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4432
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30034
/proc/meminfo: memFree=27811084/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=5232 CPUtime=0.09 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 862 0 0 0 9 0 0 0 20 0 1 0 317447147 5357568 799 33554432000 134512640 134579096 4292579376 4292446788 3826500 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 1308 799 219 17 0 614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232
[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30034
/proc/meminfo: memFree=27811084/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=9492 CPUtime=0.29 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 1920 0 0 0 29 0 0 0 20 0 1 0 317447147 9719808 1857 33554432000 134512640 134579096 4292579376 4292446716 10212400 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 2373 1857 219 17 0 1679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9492
[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30034
/proc/meminfo: memFree=27811084/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=17752 CPUtime=0.69 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 3971 0 0 0 69 0 0 0 20 0 1 0 317447147 18178048 3908 33554432000 134512640 134579096 4292579376 4292446772 3787544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 4438 3908 219 17 0 3744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17752
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30035
/proc/meminfo: memFree=27791096/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=30776 CPUtime=1.49 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 7247 0 0 0 148 1 0 0 20 0 1 0 317447147 31514624 7184 33554432000 134512640 134579096 4292579376 4292578336 134532448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 7694 7184 225 17 0 7000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30776
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30035
/proc/meminfo: memFree=27783656/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=33660 CPUtime=3.09 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 7944 0 0 0 308 1 0 0 20 0 1 0 317447147 34467840 7881 33554432000 134512640 134579096 4292579376 4292578192 3077415 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 8415 7881 225 17 0 7721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33660
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30035
/proc/meminfo: memFree=27776504/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=38536 CPUtime=6.29 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 9078 0 0 0 628 1 0 0 20 0 1 0 317447147 39460864 9015 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 9634 9015 228 17 0 8940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38536
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30035
/proc/meminfo: memFree=27775924/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=39176 CPUtime=12.68 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 9209 0 0 0 1267 1 0 0 20 0 1 0 317447147 40116224 9139 33554432000 134512640 134579096 4292579376 4292578284 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 9794 9139 228 17 0 9100 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39176
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 30035
/proc/meminfo: memFree=27773476/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=43176 CPUtime=25.48 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 10015 0 0 0 2547 1 0 0 20 0 1 0 317447147 44212224 9937 33554432000 134512640 134579096 4292579376 4292578240 134520044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 10794 9937 228 17 0 10100 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43176
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30035
/proc/meminfo: memFree=27762556/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=55108 CPUtime=51.06 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 12425 0 0 0 5104 2 0 0 20 0 1 0 317447147 56430592 12638 33554432000 134512640 134579096 4292579376 4292578240 134520204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 13777 12638 228 17 0 13083 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 55108
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 30035
/proc/meminfo: memFree=27738924/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=78536 CPUtime=102.26 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 17907 0 0 0 10221 5 0 0 20 0 1 0 317447147 80420864 18424 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 19634 18424 228 17 0 18940 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78536
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 30035
/proc/meminfo: memFree=27707244/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=110404 CPUtime=162.24 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 25601 0 0 0 16214 10 0 0 20 0 1 0 317447147 113053696 26168 33554432000 134512640 134579096 4292579376 4292578288 134559548 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 27601 26168 228 17 0 26907 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 110404
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/178 30036
/proc/meminfo: memFree=27695528/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=121704 CPUtime=222.22 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 28433 0 0 0 22212 10 0 0 20 0 1 0 317447147 124624896 29057 33554432000 134512640 134579096 4292579376 4292578304 134559503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 30426 29057 228 17 0 29732 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 121704
[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/178 30036
/proc/meminfo: memFree=27694040/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=122728 CPUtime=282.21 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 28635 0 0 0 28211 10 0 0 20 0 1 0 317447147 125673472 29437 33554432000 134512640 134579096 4292579376 4292578284 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 30682 29437 228 17 0 29988 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 122728
[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 30036
/proc/meminfo: memFree=27676064/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=141584 CPUtime=342.2 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 33214 0 0 0 34208 12 0 0 20 0 1 0 317447147 144982016 34016 33554432000 134512640 134579096 4292579376 4292578192 134519088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 35396 34016 228 17 0 34702 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 141584
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 30039
/proc/meminfo: memFree=27639044/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=179816 CPUtime=402.18 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 42336 0 0 0 40202 16 0 0 20 0 1 0 317447147 184131584 43314 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 44954 43314 228 17 0 44260 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 179816
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 30039
/proc/meminfo: memFree=27615864/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=202076 CPUtime=462.17 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 47857 0 0 0 46199 18 0 0 20 0 1 0 317447147 206925824 48835 33554432000 134512640 134579096 4292579376 4292578196 134556411 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 50519 48835 228 17 0 49825 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 202076
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 30088
/proc/meminfo: memFree=27601988/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=202076 CPUtime=522.15 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 47869 0 0 0 52197 18 0 0 20 0 1 0 317447147 206925824 48886 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 50519 48886 228 17 0 49825 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 202076
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 30089
/proc/meminfo: memFree=27574184/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=202076 CPUtime=582.14 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 47869 0 0 0 58196 18 0 0 20 0 1 0 317447147 206925824 48886 33554432000 134512640 134579096 4292579376 4292578272 134553161 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 50519 48886 228 17 0 49825 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 202076
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 30090
/proc/meminfo: memFree=27494484/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=240600 CPUtime=822.1 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 57418 0 0 0 82186 24 0 0 20 0 1 0 317447147 246374400 58478 33554432000 134512640 134579096 4292579376 4292578256 134557715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 60150 58478 228 17 0 59456 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 240600
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 30091
/proc/meminfo: memFree=27493676/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=241368 CPUtime=882.09 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 57566 0 0 0 88185 24 0 0 20 0 1 0 317447147 247160832 58641 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 60342 58641 228 17 0 59648 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 241368
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 30091
/proc/meminfo: memFree=27488192/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=247704 CPUtime=942.08 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 59062 0 0 0 94184 24 0 0 20 0 1 0 317447147 253648896 60137 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 61926 60137 228 17 0 61232 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 247704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30094
/proc/meminfo: memFree=27464160/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=271848 CPUtime=1002.07 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 64985 0 0 0 100180 27 0 0 20 0 1 0 317447147 278372352 66060 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 67962 66060 228 17 0 67268 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 271848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30094
/proc/meminfo: memFree=27446232/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=289364 CPUtime=1062.05 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 69346 0 0 0 106176 29 0 0 20 0 1 0 317447147 296308736 70540 33554432000 134512640 134579096 4292579376 4292578284 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 72341 70540 228 17 0 71647 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 289364
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30094
/proc/meminfo: memFree=27445520/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=289364 CPUtime=1122.03 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 69361 0 0 0 112174 29 0 0 20 0 1 0 317447147 296308736 70710 33554432000 134512640 134579096 4292579376 4292578284 134520015 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 72341 70710 228 17 0 71647 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 289364
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30095
/proc/meminfo: memFree=27425312/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=290024 CPUtime=1182.02 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 69457 0 0 0 118173 29 0 0 20 0 1 0 317447147 296984576 70806 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 72506 70806 228 17 0 71812 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 290024
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30095
/proc/meminfo: memFree=27419856/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=291048 CPUtime=1242.01 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 69632 0 0 0 124172 29 0 0 20 0 1 0 317447147 298033152 70981 33554432000 134512640 134579096 4292579376 4292578240 134520212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 72762 70981 228 17 0 72068 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 291048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30095
/proc/meminfo: memFree=27418740/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=292584 CPUtime=1302.01 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 69898 0 0 0 130172 29 0 0 20 0 1 0 317447147 299606016 71247 33554432000 134512640 134579096 4292579376 4292578280 134520014 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 73146 71247 228 17 0 72452 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 292584
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30095
/proc/meminfo: memFree=27404976/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=307404 CPUtime=1362 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 73573 0 0 0 136169 31 0 0 20 0 1 0 317447147 314781696 74922 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 76851 74922 228 17 0 76157 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 307404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30095
/proc/meminfo: memFree=27378564/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=333172 CPUtime=1421.99 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 79997 0 0 0 142165 34 0 0 20 0 1 0 317447147 341168128 81346 33554432000 134512640 134579096 4292579376 4292578192 134527233 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83293 81346 228 17 0 82599 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 333172
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30096
/proc/meminfo: memFree=27378316/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=333172 CPUtime=1481.98 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 79997 0 0 0 148164 34 0 0 20 0 1 0 317447147 341168128 81346 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83293 81346 228 17 0 82599 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 333172
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30096
/proc/meminfo: memFree=27378440/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=333172 CPUtime=1541.97 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 79997 0 0 0 154163 34 0 0 20 0 1 0 317447147 341168128 81346 33554432000 134512640 134579096 4292579376 4292578304 134559526 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83293 81346 228 17 0 82599 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 333172
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30099
/proc/meminfo: memFree=27361156/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=333172 CPUtime=1601.95 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 80017 0 0 0 160161 34 0 0 20 0 1 0 317447147 341168128 81387 33554432000 134512640 134579096 4292579376 4292578240 134520057 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83293 81387 228 17 0 82599 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 333172
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30099
/proc/meminfo: memFree=27354460/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=333172 CPUtime=1661.94 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 80041 0 0 0 166160 34 0 0 20 0 1 0 317447147 341168128 81411 33554432000 134512640 134579096 4292579376 4292578240 134520229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83293 81411 228 17 0 82599 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 333172
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30099
/proc/meminfo: memFree=27343424/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=335476 CPUtime=1721.93 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 80103 0 0 0 172159 34 0 0 20 0 1 0 317447147 343527424 81473 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83869 81473 228 17 0 83175 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 335476
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 30100
/proc/meminfo: memFree=27342928/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=335476 CPUtime=1781.92 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 80103 0 0 0 178158 34 0 0 20 0 1 0 317447147 343527424 81473 33554432000 134512640 134579096 4292579376 4292578284 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83869 81473 228 17 0 83175 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 335476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 30100
/proc/meminfo: memFree=27344292/32873648 swapFree=7368/7368
[pid=30034] ppid=30032 vsize=335476 CPUtime=1800.02 cores=1,3,5,7
/proc/30034/stat : 30034 (Pueblo) R 30032 30034 28979 0 -1 4202496 80103 0 0 0 179968 34 0 0 20 0 1 0 317447147 343527424 81473 33554432000 134512640 134579096 4292579376 4292578304 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30034/statm: 83869 81473 228 17 0 83175 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 335476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.69
CPU system time (s): 0.344947
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 335476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.344947
maximum resident set size= 325892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80103
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= 157
involuntary context switches= 1973
runsolver used 3.41948 second user time and 9.42557 second system time
The end