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-3720815-1338514643/watcher-3720815-1338514643 -o /tmp/evaluation-result-3720815-1338514643/solver-3720815-1338514643 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720815-1338514643.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.06 2.02 2.00 3/177 7555
/proc/meminfo: memFree=30885756/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 317588866 3178496 269 33554432000 134512640 134579096 4287332784 4287200132 2577137 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 776 269 219 17 0 82 0
[startup+0.0242659 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7555
/proc/meminfo: memFree=30885756/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=3904 CPUtime=0.02 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 528 0 0 0 2 0 0 0 20 0 1 0 317588866 3997696 465 33554432000 134512640 134579096 4287332784 4287200304 134547012 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 976 465 219 17 0 282 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3904
[startup+0.100253 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7555
/proc/meminfo: memFree=30885756/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=5928 CPUtime=0.09 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 996 0 0 0 9 0 0 0 20 0 1 0 317588866 6070272 933 33554432000 134512640 134579096 4287332784 4287331744 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 1482 933 225 17 0 788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5928
[startup+0.300232 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7555
/proc/meminfo: memFree=30885756/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=7120 CPUtime=0.29 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 1317 0 0 0 29 0 0 0 20 0 1 0 317588866 7290880 1254 33554432000 134512640 134579096 4287332784 4287331604 134556408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 1780 1254 227 17 0 1086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7120
[startup+0.700225 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7555
/proc/meminfo: memFree=30885756/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=7120 CPUtime=0.69 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 1317 0 0 0 69 0 0 0 20 0 1 0 317588866 7290880 1254 33554432000 134512640 134579096 4287332784 4287331440 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 1780 1254 227 17 0 1086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7120
[startup+1.50023 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 7556
/proc/meminfo: memFree=30881384/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=7608 CPUtime=1.49 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 1445 0 0 0 149 0 0 0 20 0 1 0 317588866 7790592 1382 33554432000 134512640 134579096 4287332784 4287331600 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 1902 1382 227 17 0 1208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7608
[startup+3.10023 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 7556
/proc/meminfo: memFree=30879028/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=9728 CPUtime=3.09 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 1954 0 0 0 309 0 0 0 20 0 1 0 317588866 9961472 1891 33554432000 134512640 134579096 4287332784 4287331392 134558780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 2432 1891 227 17 0 1738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9728
[startup+6.30022 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 7556
/proc/meminfo: memFree=30874448/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=11956 CPUtime=6.29 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 2551 0 0 0 629 0 0 0 20 0 1 0 317588866 12242944 2472 33554432000 134512640 134579096 4287332784 4287331440 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 2989 2472 227 17 0 2295 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11956
[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 2.00 3/178 7556
/proc/meminfo: memFree=30869008/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=16120 CPUtime=12.69 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 3575 0 0 0 1269 0 0 0 20 0 1 0 317588866 16506880 3496 33554432000 134512640 134579096 4287332784 4287331604 134556355 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 4030 3496 227 17 0 3336 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16120
[startup+25.5002 s]
/proc/loadavg: 2.18 2.04 2.01 3/178 7556
/proc/meminfo: memFree=30858484/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=24652 CPUtime=25.48 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 5861 0 0 0 2547 1 0 0 20 0 1 0 317588866 25243648 5643 33554432000 134512640 134579096 4287332784 4287331440 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 6163 5643 227 17 0 5469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24652
[startup+51.1002 s]
/proc/loadavg: 2.12 2.04 2.00 3/178 7556
/proc/meminfo: memFree=30841992/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=35436 CPUtime=51.08 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 8996 0 0 0 5106 2 0 0 20 0 1 0 317588866 36286464 8342 33554432000 134512640 134579096 4287332784 4287331120 134532937 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 8859 8342 227 17 0 8165 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35436
[startup+102.307 s]
/proc/loadavg: 2.13 2.05 2.01 3/183 7695
/proc/meminfo: memFree=30806028/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=54592 CPUtime=102.28 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 14183 0 0 0 10225 3 0 0 20 0 1 0 317588866 55902208 13131 33554432000 134512640 134579096 4287332784 4287331440 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 13648 13131 227 17 0 12954 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 54592
[startup+212.066 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 7760
/proc/meminfo: memFree=30786196/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=54308 CPUtime=212.02 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 14183 0 0 0 21199 3 0 0 20 0 1 0 317588866 55611392 13060 33554432000 134512640 134579096 4287332784 4287331728 134519804 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 13577 13060 227 17 0 12883 0
Current children cumulated CPU time (s) 212.02
Current children cumulated vsize (KiB) 54308
[startup+284.174 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 7760
/proc/meminfo: memFree=30786196/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=70628 CPUtime=284.12 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 18259 0 0 0 28409 3 0 0 20 0 1 0 317588866 72323072 17123 33554432000 134512640 134579096 4287332784 4287331616 134517933 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 17657 17123 227 17 0 16963 0
Current children cumulated CPU time (s) 284.12
Current children cumulated vsize (KiB) 70628
[startup+284.378 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 7760
/proc/meminfo: memFree=30786196/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=70764 CPUtime=284.32 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 18293 0 0 0 28429 3 0 0 20 0 1 0 317588866 72462336 17157 33554432000 134512640 134579096 4287332784 4287331600 134519125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 17691 17157 227 17 0 16997 0
Current children cumulated CPU time (s) 284.32
Current children cumulated vsize (KiB) 70764
[startup+353.046 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 7760
/proc/meminfo: memFree=30786196/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=75092 CPUtime=352.98 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 19447 0 0 0 35295 3 0 0 20 0 1 0 317588866 76894208 18256 33554432000 134512640 134579096 4287332784 4287330224 134532856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 18773 18256 227 17 0 18079 0
Current children cumulated CPU time (s) 352.98
Current children cumulated vsize (KiB) 75092
[startup+403.446 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 7760
/proc/meminfo: memFree=30786196/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=75020 CPUtime=403.37 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 19447 0 0 0 40334 3 0 0 20 0 1 0 317588866 76820480 18238 33554432000 134512640 134579096 4287332784 4287331616 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 18755 18238 227 17 0 18061 0
Current children cumulated CPU time (s) 403.37
Current children cumulated vsize (KiB) 75020
[startup+462.307 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 7810
/proc/meminfo: memFree=31585600/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=74908 CPUtime=462.21 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 19465 0 0 0 46218 3 0 0 20 0 1 0 317588866 76705792 18218 33554432000 134512640 134579096 4287332784 4287331616 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 18727 18218 227 17 0 18033 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 74908
[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 7859
/proc/meminfo: memFree=31575828/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=74908 CPUtime=522.19 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 19465 0 0 0 52216 3 0 0 20 0 1 0 317588866 76705792 18218 33554432000 134512640 134579096 4287332784 4287330544 134532856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 18727 18218 227 17 0 18033 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 74908
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 7859
/proc/meminfo: memFree=31532276/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=90492 CPUtime=582.18 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 23597 0 0 0 58214 4 0 0 20 0 1 0 317588866 92663808 22095 33554432000 134512640 134579096 4287332784 4287331616 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 22623 22095 227 17 0 21929 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 90492
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7864
/proc/meminfo: memFree=31436304/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115284 CPUtime=882.14 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 88208 6 0 0 20 0 1 0 317588866 118050816 28312 33554432000 134512640 134579096 4287332784 4287331616 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28821 28312 227 17 0 28127 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 115284
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7864
/proc/meminfo: memFree=31422812/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115284 CPUtime=942.13 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 94207 6 0 0 20 0 1 0 317588866 118050816 28312 33554432000 134512640 134579096 4287332784 4287331504 134529116 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28821 28312 227 17 0 28127 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 115284
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7864
/proc/meminfo: memFree=31416984/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115284 CPUtime=1002.13 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 100207 6 0 0 20 0 1 0 317588866 118050816 28312 33554432000 134512640 134579096 4287332784 4287331616 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28821 28312 227 17 0 28127 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 115284
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7864
/proc/meminfo: memFree=31408676/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115284 CPUtime=1062.11 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 106205 6 0 0 20 0 1 0 317588866 118050816 28312 33554432000 134512640 134579096 4287332784 4287331616 134517896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28821 28312 227 17 0 28127 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 115284
[startup+1122.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 7864
/proc/meminfo: memFree=31398540/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115284 CPUtime=1122.11 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 112205 6 0 0 20 0 1 0 317588866 118050816 28312 33554432000 134512640 134579096 4287332784 4287331616 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28821 28312 227 17 0 28127 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 115284
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7865
/proc/meminfo: memFree=31377584/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115132 CPUtime=1182.09 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 118203 6 0 0 20 0 1 0 317588866 117895168 28274 33554432000 134512640 134579096 4287332784 4287331600 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28783 28274 227 17 0 28089 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 115132
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7865
/proc/meminfo: memFree=31364440/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115132 CPUtime=1242.09 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 124203 6 0 0 20 0 1 0 317588866 117895168 28274 33554432000 134512640 134579096 4287332784 4287331616 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28783 28274 227 17 0 28089 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 115132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7865
/proc/meminfo: memFree=31343560/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115132 CPUtime=1302.08 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 130202 6 0 0 20 0 1 0 317588866 117895168 28274 33554432000 134512640 134579096 4287332784 4287331604 134556334 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28783 28274 227 17 0 28089 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 115132
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7868
/proc/meminfo: memFree=31344156/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115132 CPUtime=1362.07 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30465 0 0 0 136201 6 0 0 20 0 1 0 317588866 117895168 28274 33554432000 134512640 134579096 4287332784 4287331600 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28783 28274 227 17 0 28089 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 115132
[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 7891
/proc/meminfo: memFree=31317456/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115140 CPUtime=1422.06 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30489 0 0 0 142200 6 0 0 20 0 1 0 317588866 117903360 28276 33554432000 134512640 134579096 4287332784 4287331600 134519095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28785 28276 227 17 0 28091 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 115140
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7892
/proc/meminfo: memFree=31305660/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=116268 CPUtime=1482.05 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30756 0 0 0 148199 6 0 0 20 0 1 0 317588866 119058432 28543 33554432000 134512640 134579096 4287332784 4287331604 134556336 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 29067 28543 227 17 0 28373 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 116268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7892
/proc/meminfo: memFree=31306928/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=116268 CPUtime=1542.04 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30756 0 0 0 154198 6 0 0 20 0 1 0 317588866 119058432 28543 33554432000 134512640 134579096 4287332784 4287331616 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 29067 28543 227 17 0 28373 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 116268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7892
/proc/meminfo: memFree=31296388/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=116268 CPUtime=1602.03 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30756 0 0 0 160197 6 0 0 20 0 1 0 317588866 119058432 28543 33554432000 134512640 134579096 4287332784 4287331712 134559292 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 29067 28543 227 17 0 28373 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 116268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7892
/proc/meminfo: memFree=31245052/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=115544 CPUtime=1662.03 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 30756 0 0 0 166197 6 0 0 20 0 1 0 317588866 118317056 28377 33554432000 134512640 134579096 4287332784 4287331616 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 28886 28377 227 17 0 28192 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 115544
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7892
/proc/meminfo: memFree=31167304/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=135524 CPUtime=1722.01 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 35966 0 0 0 172194 7 0 0 20 0 1 0 317588866 138776576 33372 33554432000 134512640 134579096 4287332784 4287331648 134519964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 33881 33372 227 17 0 33187 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 135524
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7893
/proc/meminfo: memFree=31090828/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=135524 CPUtime=1782.01 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 35966 0 0 0 178194 7 0 0 20 0 1 0 317588866 138776576 33372 33554432000 134512640 134579096 4287332784 4287331604 134556382 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 33881 33372 227 17 0 33187 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 135524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7893
/proc/meminfo: memFree=31081132/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=135508 CPUtime=1800 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 35966 0 0 0 179993 7 0 0 20 0 1 0 317588866 138760192 33368 33554432000 134512640 134579096 4287332784 4287331440 134522742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 33877 33368 227 17 0 33183 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 135508
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 2.00 3/177 7893
/proc/meminfo: memFree=31081132/32873844 swapFree=7900/7900
[pid=7555] ppid=7553 vsize=135508 CPUtime=1800 cores=1,3,5,7
/proc/7555/stat : 7555 (Pueblo) R 7553 7555 6653 0 -1 4202496 35966 0 0 0 179993 7 0 0 20 0 1 0 317588866 138760192 33368 33554432000 134512640 134579096 4287332784 4287331440 134522742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7555/statm: 33877 33368 227 17 0 33183 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 135508
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.94
CPU system time (s): 0.077988
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 135776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.077988
maximum resident set size= 133612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35966
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= 35
involuntary context switches= 1848
runsolver used 2.6506 second user time and 7.77582 second system time
The end