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-3720080-1338507814/watcher-3720080-1338507814 -o /tmp/evaluation-result-3720080-1338507814/solver-3720080-1338507814 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720080-1338507814.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 1.99 1.68 4/176 9013
/proc/meminfo: memFree=27884408/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=3232 CPUtime=0 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 316906345 3309568 299 33554432000 134512640 134579096 4287094448 4286961748 10244927 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 808 299 213 17 0 114 0
[startup+0.0584131 s]
/proc/loadavg: 2.00 1.99 1.68 4/176 9013
/proc/meminfo: memFree=27884408/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=4832 CPUtime=0.05 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 761 0 0 0 5 0 0 0 20 0 1 0 316906345 4947968 698 33554432000 134512640 134579096 4287094448 4286961908 10244922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 1208 698 219 17 0 514 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4832
[startup+0.100258 s]
/proc/loadavg: 2.00 1.99 1.68 4/176 9013
/proc/meminfo: memFree=27884408/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=6396 CPUtime=0.09 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 1141 0 0 0 9 0 0 0 20 0 1 0 316906345 6549504 1078 33554432000 134512640 134579096 4287094448 4287093408 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 1599 1078 226 17 0 905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6396
[startup+0.300224 s]
/proc/loadavg: 2.00 1.99 1.68 4/176 9013
/proc/meminfo: memFree=27884408/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=7236 CPUtime=0.29 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 1358 0 0 0 29 0 0 0 20 0 1 0 316906345 7409664 1295 33554432000 134512640 134579096 4287094448 4287093316 134557228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 1809 1295 227 17 0 1115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7236
[startup+0.700221 s]
/proc/loadavg: 2.00 1.99 1.68 4/176 9013
/proc/meminfo: memFree=27884408/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=7236 CPUtime=0.69 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 1358 0 0 0 69 0 0 0 20 0 1 0 316906345 7409664 1295 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 1809 1295 227 17 0 1115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7236
[startup+1.50018 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 9014
/proc/meminfo: memFree=27880424/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=7396 CPUtime=1.49 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 1368 0 0 0 149 0 0 0 20 0 1 0 316906345 7573504 1305 33554432000 134512640 134579096 4287094448 4287093356 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 1849 1305 227 17 0 1155 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7396
[startup+3.10018 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 9014
/proc/meminfo: memFree=27878812/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=8812 CPUtime=3.09 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 1725 0 0 0 309 0 0 0 20 0 1 0 316906345 9023488 1662 33554432000 134512640 134579096 4287094448 4287093312 134520000 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 2203 1662 227 17 0 1509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8812
[startup+6.30018 s]
/proc/loadavg: 2.00 1.99 1.68 3/177 9014
/proc/meminfo: memFree=27876456/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=10884 CPUtime=6.29 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 2266 0 0 0 629 0 0 0 20 0 1 0 316906345 11145216 2203 33554432000 134512640 134579096 4287094448 4287093312 134520003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 2721 2203 227 17 0 2027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10884
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.69 3/177 9014
/proc/meminfo: memFree=27873792/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=13120 CPUtime=12.69 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 2789 0 0 0 1269 0 0 0 20 0 1 0 316906345 13434880 2726 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 3280 2726 227 17 0 2586 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13120
[startup+25.5002 s]
/proc/loadavg: 1.93 1.97 1.68 3/177 9063
/proc/meminfo: memFree=27870828/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=15956 CPUtime=25.49 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 3493 0 0 0 2548 1 0 0 20 0 1 0 316906345 16338944 3430 33554432000 134512640 134579096 4287094448 4287093356 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 3989 3430 227 17 0 3295 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15956
[startup+51.1002 s]
/proc/loadavg: 1.95 1.97 1.69 3/177 9063
/proc/meminfo: memFree=27832480/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=17136 CPUtime=51.08 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 3804 0 0 0 5107 1 0 0 20 0 1 0 316906345 17547264 3762 33554432000 134512640 134579096 4287094448 4287093360 134559161 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 4284 3762 227 17 0 3590 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17136
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.71 3/177 9063
/proc/meminfo: memFree=27751676/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=21060 CPUtime=102.27 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 4743 0 0 0 10226 1 0 0 20 0 1 0 316906345 21565440 4701 33554432000 134512640 134579096 4287094448 4287093376 134559292 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 5265 4701 227 17 0 4571 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21060
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/176 9063
/proc/meminfo: memFree=27672784/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=23712 CPUtime=162.25 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 5389 0 0 0 16224 1 0 0 20 0 1 0 316906345 24281088 5359 33554432000 134512640 134579096 4287094448 4287093360 134559161 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 5928 5359 227 17 0 5234 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23712
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.74 3/177 9064
/proc/meminfo: memFree=27602964/32873844 swapFree=7632/7632
[pid=9013] ppid=9011 vsize=25392 CPUtime=222.25 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 5833 0 0 0 22223 2 0 0 20 0 1 0 316906345 26001408 5803 33554432000 134512640 134579096 4287094448 4287093312 134519893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 6348 5803 227 17 0 5654 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25392
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 9064
/proc/meminfo: memFree=27546032/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=26864 CPUtime=282.24 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 6158 0 0 0 28222 2 0 0 20 0 1 0 316906345 27508736 6128 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 6716 6128 227 17 0 6022 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 26864
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/177 9064
/proc/meminfo: memFree=27473396/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=27056 CPUtime=342.23 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 6167 0 0 0 34221 2 0 0 20 0 1 0 316906345 27705344 6137 33554432000 134512640 134579096 4287094448 4287093312 134519914 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 6764 6137 227 17 0 6070 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 27056
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/178 9067
/proc/meminfo: memFree=27406208/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=28216 CPUtime=402.22 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 6479 0 0 0 40220 2 0 0 20 0 1 0 316906345 28893184 6449 33554432000 134512640 134579096 4287094448 4287093312 134520044 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 7054 6449 227 17 0 6360 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 28216
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/176 9067
/proc/meminfo: memFree=27347660/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=28700 CPUtime=462.21 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 6588 0 0 0 46219 2 0 0 20 0 1 0 316906345 29388800 6558 33554432000 134512640 134579096 4287094448 4287093312 134520113 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 7175 6558 227 17 0 6481 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28700
[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.80 3/177 9068
/proc/meminfo: memFree=27277656/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=29772 CPUtime=522.2 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 6860 0 0 0 52218 2 0 0 20 0 1 0 316906345 30486528 6882 33554432000 134512640 134579096 4287094448 4287093404 134518104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 7443 6882 227 17 0 6749 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 29772
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.81 3/177 9068
/proc/meminfo: memFree=27202016/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=30416 CPUtime=582.19 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 7036 0 0 0 58217 2 0 0 20 0 1 0 316906345 31145984 7058 33554432000 134512640 134579096 4287094448 4287093356 134553144 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 7604 7058 227 17 0 6910 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 30416
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.03 1.99 1.85 3/177 9069
/proc/meminfo: memFree=26855428/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=35108 CPUtime=882.15 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8160 0 0 0 88212 3 0 0 20 0 1 0 316906345 35950592 8182 33554432000 134512640 134579096 4287094448 4287093376 134559561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 8777 8182 227 17 0 8083 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 35108
[startup+942.3 s]
/proc/loadavg: 2.01 1.99 1.85 3/177 9069
/proc/meminfo: memFree=26852356/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=35900 CPUtime=942.14 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8365 0 0 0 94211 3 0 0 20 0 1 0 316906345 36761600 8387 33554432000 134512640 134579096 4287094448 4287093312 134520163 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 8975 8387 227 17 0 8281 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 35900
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 9072
/proc/meminfo: memFree=26852368/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=35900 CPUtime=1002.13 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8365 0 0 0 100210 3 0 0 20 0 1 0 316906345 36761600 8387 33554432000 134512640 134579096 4287094448 4287093376 134559555 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 8975 8387 227 17 0 8281 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 35900
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 9094
/proc/meminfo: memFree=26851536/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=36088 CPUtime=1062.12 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8383 0 0 0 106209 3 0 0 20 0 1 0 316906345 36954112 8405 33554432000 134512640 134579096 4287094448 4287093312 134520147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9022 8405 227 17 0 8328 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 36088
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/177 9095
/proc/meminfo: memFree=26850928/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=36088 CPUtime=1122.11 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8385 0 0 0 112208 3 0 0 20 0 1 0 316906345 36954112 8407 33554432000 134512640 134579096 4287094448 4287093016 9494753 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9022 8407 227 17 0 8328 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 36088
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 9095
/proc/meminfo: memFree=26850672/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=36088 CPUtime=1182.1 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8389 0 0 0 118207 3 0 0 20 0 1 0 316906345 36954112 8440 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9022 8440 227 17 0 8328 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 36088
[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 1.89 3/177 9095
/proc/meminfo: memFree=26850300/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=36088 CPUtime=1242.09 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8407 0 0 0 124206 3 0 0 20 0 1 0 316906345 36954112 8458 33554432000 134512640 134579096 4287094448 4287093356 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9022 8458 227 17 0 8328 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 36088
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/177 9095
/proc/meminfo: memFree=26849432/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=36864 CPUtime=1302.09 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8601 0 0 0 130206 3 0 0 20 0 1 0 316906345 37748736 8652 33554432000 134512640 134579096 4287094448 4287093264 134559019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9216 8652 227 17 0 8522 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 36864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 9095
/proc/meminfo: memFree=26848936/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=37528 CPUtime=1362.07 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8741 0 0 0 136204 3 0 0 20 0 1 0 316906345 38428672 8792 33554432000 134512640 134579096 4287094448 4287093312 134520019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9382 8792 227 17 0 8688 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37528
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9096
/proc/meminfo: memFree=26848936/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=37476 CPUtime=1422.07 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8742 0 0 0 142204 3 0 0 20 0 1 0 316906345 38375424 8793 33554432000 134512640 134579096 4287094448 4287093316 134557228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9369 8793 227 17 0 8675 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 37476
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9096
/proc/meminfo: memFree=26848936/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=37476 CPUtime=1482.05 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8742 0 0 0 148202 3 0 0 20 0 1 0 316906345 38375424 8793 33554432000 134512640 134579096 4287094448 4287093328 134557825 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9369 8793 227 17 0 8675 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 37476
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9096
/proc/meminfo: memFree=26849308/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=37728 CPUtime=1542.04 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8761 0 0 0 154201 3 0 0 20 0 1 0 316906345 38633472 8812 33554432000 134512640 134579096 4287094448 4287093280 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9432 8812 227 17 0 8738 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 37728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9099
/proc/meminfo: memFree=26780108/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=38628 CPUtime=1602.03 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 8996 0 0 0 160200 3 0 0 20 0 1 0 316906345 39555072 9047 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9657 9047 227 17 0 8963 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 38628
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 9099
/proc/meminfo: memFree=26728036/32873844 swapFree=7632/7632
[pid=9013] ppid=9011 vsize=38788 CPUtime=1662.02 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 9028 0 0 0 166199 3 0 0 20 0 1 0 316906345 39718912 9079 33554432000 134512640 134579096 4287094448 4287093348 134553148 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 9697 9079 227 17 0 9003 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38788
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 9100
/proc/meminfo: memFree=26726920/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=40252 CPUtime=1722.01 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 9346 0 0 0 172198 3 0 0 20 0 1 0 316906345 41218048 9397 33554432000 134512640 134579096 4287094448 4287093376 134559091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 10063 9397 227 17 0 9369 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 40252
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 9100
/proc/meminfo: memFree=26726484/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=40252 CPUtime=1782 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 9350 0 0 0 178197 3 0 0 20 0 1 0 316906345 41218048 9401 33554432000 134512640 134579096 4287094448 4287093312 134520078 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 10063 9401 227 17 0 9369 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 40252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/174 9107
/proc/meminfo: memFree=27866356/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=40252 CPUtime=1800 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 9352 0 0 0 179997 3 0 0 20 0 1 0 316906345 41218048 9403 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 10063 9403 227 17 0 9369 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 40252
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.01 2.01 1.91 3/174 9107
/proc/meminfo: memFree=27866356/32873844 swapFree=7628/7628
[pid=9013] ppid=9011 vsize=40252 CPUtime=1800 cores=1,3,5,7
/proc/9013/stat : 9013 (Pueblo) R 9011 9013 8745 0 -1 4202496 9352 0 0 0 179997 3 0 0 20 0 1 0 316906345 41218048 9403 33554432000 134512640 134579096 4287094448 4287093376 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9013/statm: 10063 9403 227 17 0 9369 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 40252
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.040993
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 40252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.040993
maximum resident set size= 37612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9352
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= 20
involuntary context switches= 1855
runsolver used 3.51147 second user time and 8.82266 second system time
The end