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-3720749-1338513253/watcher-3720749-1338513253 -o /tmp/evaluation-result-3720749-1338513253/solver-3720749-1338513253 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720749-1338513253.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.01 1.97 3/176 9793
/proc/meminfo: memFree=27793660/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 317450282 3178496 252 33554432000 134512640 134579096 4286688368 4286555772 10234208 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 776 252 219 17 0 82 0
[startup+0.0232891 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9793
/proc/meminfo: memFree=27793660/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=3504 CPUtime=0.01 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 410 0 0 0 1 0 0 0 20 0 1 0 317450282 3588096 348 33554432000 134512640 134579096 4286688368 4286555764 10244869 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 876 348 219 17 0 182 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3504
[startup+0.100208 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9793
/proc/meminfo: memFree=27793660/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=5100 CPUtime=0.09 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 835 0 0 0 9 0 0 0 20 0 1 0 317450282 5222400 773 33554432000 134512640 134579096 4286688368 4286555716 10244917 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 1275 773 219 17 0 581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5100
[startup+0.300184 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9793
/proc/meminfo: memFree=27793660/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=9364 CPUtime=0.29 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 1891 0 0 0 29 0 0 0 20 0 1 0 317450282 9588736 1829 33554432000 134512640 134579096 4286688368 4286555644 2507824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 2341 1829 219 17 0 1647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9364
[startup+0.700182 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9793
/proc/meminfo: memFree=27793660/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=17624 CPUtime=0.68 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 3950 0 0 0 68 0 0 0 20 0 1 0 317450282 18046976 3888 33554432000 134512640 134579096 4286688368 4286555644 2507824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 4406 3888 219 17 0 3712 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17624
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27773060/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=33876 CPUtime=1.48 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 8007 0 0 0 147 1 0 0 20 0 1 0 317450282 34689024 7945 33554432000 134512640 134579096 4286688368 4286555828 10244864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 8469 7945 219 17 0 7775 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33876
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27750856/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=64648 CPUtime=3.09 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 15713 0 0 0 306 3 0 0 20 0 1 0 317450282 66199552 15651 33554432000 134512640 134579096 4286688368 4286555708 2507824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 16162 15651 219 17 0 15468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64648
[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27688360/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=121824 CPUtime=6.28 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 29378 0 0 0 622 6 0 0 20 0 1 0 317450282 124747776 29316 33554432000 134512640 134579096 4286688368 4286687328 134532448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 30456 29316 227 17 0 29762 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 121824
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27676844/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=122336 CPUtime=12.68 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 29482 0 0 0 1262 6 0 0 20 0 1 0 317450282 125272064 29420 33554432000 134512640 134579096 4286688368 4286687328 134532440 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 30584 29420 227 17 0 29890 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122336
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27671124/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=124684 CPUtime=25.48 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 29849 0 0 0 2542 6 0 0 20 0 1 0 317450282 127676416 29786 33554432000 134512640 134579096 4286688368 4286687328 134532440 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 31171 29786 227 17 0 30477 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 124684
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27621724/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=152580 CPUtime=51.07 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 36640 0 0 0 5099 8 0 0 20 0 1 0 317450282 156241920 36576 33554432000 134512640 134579096 4286688368 4286687344 134532045 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 38145 36576 227 17 0 37451 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 152580
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.97 3/177 9794
/proc/meminfo: memFree=27560576/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=159000 CPUtime=102.25 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 38096 0 0 0 10216 9 0 0 20 0 1 0 317450282 162816000 38270 33554432000 134512640 134579096 4286688368 4286687276 134519884 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 39750 38270 228 17 0 39056 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 159000
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27487060/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=184696 CPUtime=162.23 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 44110 0 0 0 16211 12 0 0 20 0 1 0 317450282 189128704 44284 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 46174 44284 228 17 0 45480 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 184696
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9794
/proc/meminfo: memFree=27408844/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=204156 CPUtime=222.23 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 48669 0 0 0 22208 15 0 0 20 0 1 0 317450282 209055744 48843 33554432000 134512640 134579096 4286688368 4286687232 134520116 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 51039 48843 228 17 0 50345 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 204156
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9795
/proc/meminfo: memFree=27328644/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=223664 CPUtime=282.21 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 53232 0 0 0 28204 17 0 0 20 0 1 0 317450282 229031936 53406 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 55916 53407 228 17 0 55222 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 223664
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9795
/proc/meminfo: memFree=27258380/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=238684 CPUtime=342.2 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 56864 0 0 0 34200 20 0 0 20 0 1 0 317450282 244412416 57038 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 59671 57038 228 17 0 58977 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 238684
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9798
/proc/meminfo: memFree=27203060/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=253772 CPUtime=402.19 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 60587 0 0 0 40196 23 0 0 20 0 1 0 317450282 259862528 60855 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 63443 60855 228 17 0 62749 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 253772
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9798
/proc/meminfo: memFree=27144136/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=271928 CPUtime=462.15 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 64808 0 0 0 46189 26 0 0 20 0 1 0 317450282 278454272 66012 33554432000 134512640 134579096 4286688368 4286687232 134520048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 67982 66012 228 17 0 67288 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 271928
[startup+522.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/177 9798
/proc/meminfo: memFree=27134648/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=283160 CPUtime=522.14 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 67125 0 0 0 52187 27 0 0 20 0 1 0 317450282 289955840 68411 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 70790 68411 228 17 0 70096 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 283160
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 9799
/proc/meminfo: memFree=27123612/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=294268 CPUtime=582.13 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 69893 0 0 0 58183 30 0 0 20 0 1 0 317450282 301330432 71179 33554432000 134512640 134579096 4286688368 4286687232 134520044 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 73567 71179 228 17 0 72873 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 294268
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 9799
/proc/meminfo: memFree=27077744/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=342704 CPUtime=822.09 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 81285 0 0 0 82172 37 0 0 20 0 1 0 317450282 350928896 82571 33554432000 134512640 134579096 4286688368 4286687248 134557302 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 85676 82571 228 17 0 84982 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 342704
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9800
/proc/meminfo: memFree=27069124/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=351648 CPUtime=882.08 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 83408 0 0 0 88169 39 0 0 20 0 1 0 317450282 360087552 84707 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 87912 84707 228 17 0 87218 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 351648
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9800
/proc/meminfo: memFree=27019204/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=360188 CPUtime=942.04 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 85540 0 0 0 94164 40 0 0 20 0 1 0 317450282 368832512 87226 33554432000 134512640 134579096 4286688368 4286687232 134519955 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 90047 87226 228 17 0 89353 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 360188
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9803
/proc/meminfo: memFree=26977648/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=372120 CPUtime=1002.03 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 88194 0 0 0 100161 42 0 0 20 0 1 0 317450282 381050880 90273 33554432000 134512640 134579096 4286688368 4286687268 134520013 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 93030 90273 228 17 0 92336 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 372120
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 9803
/proc/meminfo: memFree=26940084/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=382076 CPUtime=1062.03 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 90089 0 0 0 106160 43 0 0 20 0 1 0 317450282 391245824 92168 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 95519 92168 228 17 0 94825 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 382076
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9804
/proc/meminfo: memFree=26898660/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=387288 CPUtime=1122.02 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 91290 0 0 0 112158 44 0 0 20 0 1 0 317450282 396582912 93369 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 96822 93369 228 17 0 96128 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 387288
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/177 9805
/proc/meminfo: memFree=26872504/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=392432 CPUtime=1182.01 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 92515 0 0 0 118156 45 0 0 20 0 1 0 317450282 401850368 94594 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 98108 94594 228 17 0 97414 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 392432
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 9805
/proc/meminfo: memFree=26837432/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=398960 CPUtime=1242 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 94032 0 0 0 124154 46 0 0 20 0 1 0 317450282 408535040 96111 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 99740 96111 228 17 0 99046 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 398960
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9805
/proc/meminfo: memFree=26797160/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=404596 CPUtime=1302 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 95305 0 0 0 130153 47 0 0 20 0 1 0 317450282 414306304 97384 33554432000 134512640 134579096 4286688368 4286687232 134519955 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 101149 97384 228 17 0 100455 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 404596
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9805
/proc/meminfo: memFree=26792060/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=409220 CPUtime=1361.98 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 96464 0 0 0 136150 48 0 0 20 0 1 0 317450282 419041280 98543 33554432000 134512640 134579096 4286688368 4286687232 134519955 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 102305 98543 228 17 0 101611 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 409220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9805
/proc/meminfo: memFree=26787348/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=413908 CPUtime=1421.97 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 97637 0 0 0 142148 49 0 0 20 0 1 0 317450282 423841792 99716 33554432000 134512640 134579096 4286688368 4286687232 134520229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 103477 99716 228 17 0 102783 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 413908
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9806
/proc/meminfo: memFree=26782760/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=418912 CPUtime=1481.96 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 98793 0 0 0 148146 50 0 0 20 0 1 0 317450282 428965888 100872 33554432000 134512640 134579096 4286688368 4286687184 134558907 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 104728 100872 228 17 0 104034 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 418912
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9806
/proc/meminfo: memFree=26771724/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=430608 CPUtime=1541.95 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 101557 0 0 0 154142 53 0 0 20 0 1 0 317450282 440942592 103636 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 107652 103636 228 17 0 106958 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 430608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9809
/proc/meminfo: memFree=26762664/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=437140 CPUtime=1601.92 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 103205 0 0 0 160137 55 0 0 20 0 1 0 317450282 447631360 105927 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 109285 105927 228 17 0 108591 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 437140
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9809
/proc/meminfo: memFree=26756036/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=444728 CPUtime=1661.91 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 104944 0 0 0 166134 57 0 0 20 0 1 0 317450282 455401472 107682 33554432000 134512640 134579096 4286688368 4286687232 134520078 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 111182 107682 228 17 0 110488 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 444728
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9809
/proc/meminfo: memFree=26748472/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=452032 CPUtime=1721.91 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 106801 0 0 0 172131 60 0 0 20 0 1 0 317450282 462880768 109539 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 113008 109539 228 17 0 112314 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 452032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9858
/proc/meminfo: memFree=27384308/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=459100 CPUtime=1781.9 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 108461 0 0 0 178128 62 0 0 20 0 1 0 317450282 470118400 111199 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 114775 111199 228 17 0 114081 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 459100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9858
/proc/meminfo: memFree=27371908/32873844 swapFree=7628/7628
[pid=9793] ppid=9791 vsize=460636 CPUtime=1800.01 cores=1,3,5,7
/proc/9793/stat : 9793 (Pueblo) R 9791 9793 8745 0 -1 4202496 108775 0 0 0 179938 63 0 0 20 0 1 0 317450282 471691264 111513 33554432000 134512640 134579096 4286688368 4286687296 134559533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9793/statm: 115159 111513 228 17 0 114465 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 460636
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.02
CPU user time (s): 1799.38
CPU system time (s): 0.636903
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 460636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.636903
maximum resident set size= 446052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108775
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= 168
involuntary context switches= 1853
runsolver used 3.81942 second user time and 10.1155 second system time
The end