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-3720828-1338514975/watcher-3720828-1338514975 -o /tmp/evaluation-result-3720828-1338514975/solver-3720828-1338514975 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720828-1338514975.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: 1.97 2.00 1.99 3/176 6439
/proc/meminfo: memFree=28345612/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=3100 CPUtime=0 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 317622040 3174400 271 33554432000 134512640 134579096 4289672416 4289539812 3597041 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 775 271 221 17 0 81 0
[startup+0.090828 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 6439
/proc/meminfo: memFree=28345612/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=6296 CPUtime=0.08 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 1134 0 0 0 8 0 0 0 20 0 1 0 317622040 6447104 1072 33554432000 134512640 134579096 4289672416 4289539648 2848039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 1574 1072 221 17 0 880 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6296
[startup+0.10027 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 6439
/proc/meminfo: memFree=28345612/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=6564 CPUtime=0.09 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 1185 0 0 0 9 0 0 0 20 0 1 0 317622040 6721536 1123 33554432000 134512640 134579096 4289672416 4289539812 3597094 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 1641 1123 221 17 0 947 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6564
[startup+0.300231 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 6439
/proc/meminfo: memFree=28345612/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=9628 CPUtime=0.29 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 1955 0 0 0 29 0 0 0 20 0 1 0 317622040 9859072 1893 33554432000 134512640 134579096 4289672416 4289539840 134546737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 2407 1893 221 17 0 1713 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9628
[startup+0.700226 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 6439
/proc/meminfo: memFree=28345612/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=13048 CPUtime=0.69 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 2649 0 0 0 69 0 0 0 20 0 1 0 317622040 13361152 2587 33554432000 134512640 134579096 4289672416 4289671376 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 3262 2587 228 17 0 2568 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13048
[startup+1.50026 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 6440
/proc/meminfo: memFree=28335948/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=18048 CPUtime=1.48 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 3894 0 0 0 148 0 0 0 20 0 1 0 317622040 18481152 3832 33554432000 134512640 134579096 4289672416 4289671248 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 4512 3832 230 17 0 3818 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18048
[startup+3.10022 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 6440
/proc/meminfo: memFree=28331080/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=18048 CPUtime=3.08 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 3894 0 0 0 308 0 0 0 20 0 1 0 317622040 18481152 3832 33554432000 134512640 134579096 4289672416 4289671236 134556204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 4512 3832 230 17 0 3818 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18048
[startup+6.30022 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 6440
/proc/meminfo: memFree=28331080/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=18048 CPUtime=6.28 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 3894 0 0 0 628 0 0 0 20 0 1 0 317622040 18481152 3832 33554432000 134512640 134579096 4289672416 4289671236 134556221 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 4512 3832 230 17 0 3818 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18048
[startup+12.7002 s]
/proc/loadavg: 1.97 2.00 1.99 3/176 6440
/proc/meminfo: memFree=28330996/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=18048 CPUtime=12.68 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 3894 0 0 0 1268 0 0 0 20 0 1 0 317622040 18481152 3832 33554432000 134512640 134579096 4289672416 4289671236 134556411 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 4512 3832 230 17 0 3818 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18048
[startup+25.5002 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 6441
/proc/meminfo: memFree=28330616/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=18872 CPUtime=25.48 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 4163 0 0 0 2548 0 0 0 20 0 1 0 317622040 19324928 4028 33554432000 134512640 134579096 4289672416 4289671072 134522733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 4718 4028 230 17 0 4024 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18872
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.99 3/177 6441
/proc/meminfo: memFree=28324540/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=25444 CPUtime=51.08 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 5801 0 0 0 5107 1 0 0 20 0 1 0 317622040 26054656 5666 33554432000 134512640 134579096 4289672416 4289671248 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 6361 5666 230 17 0 5667 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25444
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 6441
/proc/meminfo: memFree=28307640/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=42160 CPUtime=102.28 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 9985 0 0 0 10226 2 0 0 20 0 1 0 317622040 43171840 9886 33554432000 134512640 134579096 4289672416 4289671248 134517893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 10540 9886 230 17 0 9846 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 42160
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 6441
/proc/meminfo: memFree=28302476/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=47500 CPUtime=162.25 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 11510 0 0 0 16223 2 0 0 20 0 1 0 317622040 48640000 11223 33554432000 134512640 134579096 4289672416 4289671232 134519111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 11875 11223 230 17 0 11181 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47500
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 6441
/proc/meminfo: memFree=28284372/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=65188 CPUtime=222.24 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 15900 0 0 0 22221 3 0 0 20 0 1 0 317622040 66752512 15613 33554432000 134512640 134579096 4289672416 4289671072 134522754 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 16297 15613 230 17 0 15603 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 65188
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 6441
/proc/meminfo: memFree=28284292/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=65320 CPUtime=282.23 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 15930 0 0 0 28220 3 0 0 20 0 1 0 317622040 66887680 15634 33554432000 134512640 134579096 4289672416 4289670976 134554589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 16330 15634 230 17 0 15636 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 65320
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 6442
/proc/meminfo: memFree=28282184/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=67268 CPUtime=342.22 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 16515 0 0 0 34219 3 0 0 20 0 1 0 317622040 68882432 16128 33554432000 134512640 134579096 4289672416 4289671072 134524568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 16817 16128 230 17 0 16123 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 67268
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 6442
/proc/meminfo: memFree=28276908/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=72396 CPUtime=402.2 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 17804 0 0 0 40217 3 0 0 20 0 1 0 317622040 74133504 17414 33554432000 134512640 134579096 4289672416 4289671072 134523606 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 18099 17414 230 17 0 17405 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 72396
[startup+462.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/178 6445
/proc/meminfo: memFree=28270328/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=79620 CPUtime=462.2 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 19799 0 0 0 46216 4 0 0 20 0 1 0 317622040 81530880 19204 33554432000 134512640 134579096 4289672416 4289671072 134522729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 19905 19204 230 17 0 19211 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 79620
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6445
/proc/meminfo: memFree=28262576/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=80364 CPUtime=522.19 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 20110 0 0 0 52215 4 0 0 20 0 1 0 317622040 82292736 19424 33554432000 134512640 134579096 4289672416 4289671232 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 20091 19424 230 17 0 19397 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 80364
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6445
/proc/meminfo: memFree=28247448/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=95812 CPUtime=582.17 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 23943 0 0 0 58213 4 0 0 20 0 1 0 317622040 98111488 23257 33554432000 134512640 134579096 4289672416 4289671236 134556352 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 23953 23257 230 17 0 23259 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 95812
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6446
/proc/meminfo: memFree=28237012/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=97372 CPUtime=822.13 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 24676 0 0 0 82209 4 0 0 20 0 1 0 317622040 99708928 23656 33554432000 134512640 134579096 4289672416 4289671072 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 24343 23656 230 17 0 23649 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 97372
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6446
/proc/meminfo: memFree=28228392/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=97372 CPUtime=882.12 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 24677 0 0 0 88208 4 0 0 20 0 1 0 317622040 99708928 23656 33554432000 134512640 134579096 4289672416 4289671232 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 24343 23656 230 17 0 23649 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 97372
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6447
/proc/meminfo: memFree=28227940/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=97372 CPUtime=942.11 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 24680 0 0 0 94207 4 0 0 20 0 1 0 317622040 99708928 23659 33554432000 134512640 134579096 4289672416 4289671248 134517872 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 24343 23659 230 17 0 23649 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 97372
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6447
/proc/meminfo: memFree=28228064/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=97372 CPUtime=1002.1 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 24680 0 0 0 100206 4 0 0 20 0 1 0 317622040 99708928 23659 33554432000 134512640 134579096 4289672416 4289671072 134522726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 24343 23659 230 17 0 23649 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 97372
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6499
/proc/meminfo: memFree=28320240/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=105228 CPUtime=1062.09 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 27013 0 0 0 106204 5 0 0 20 0 1 0 317622040 107753472 25643 33554432000 134512640 134579096 4289672416 4289671332 134526539 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 26307 25643 230 17 0 25613 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 105228
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6522
/proc/meminfo: memFree=28187820/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=106828 CPUtime=1122.09 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 27790 0 0 0 112203 6 0 0 20 0 1 0 317622040 109391872 26050 33554432000 134512640 134579096 4289672416 4289671232 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 26707 26050 230 17 0 26013 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 106828
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6522
/proc/meminfo: memFree=28164436/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=130300 CPUtime=1182.07 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 33653 0 0 0 118200 7 0 0 20 0 1 0 317622040 133427200 31912 33554432000 134512640 134579096 4289672416 4289671072 134524568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 32575 31912 230 17 0 31881 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 130300
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6523
/proc/meminfo: memFree=28146972/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=147808 CPUtime=1242.06 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 38031 0 0 0 124198 8 0 0 20 0 1 0 317622040 151355392 36290 33554432000 134512640 134579096 4289672416 4289671248 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 36952 36290 230 17 0 36258 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 147808
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6523
/proc/meminfo: memFree=28144468/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=147808 CPUtime=1302.06 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 38038 0 0 0 130198 8 0 0 20 0 1 0 317622040 151355392 36292 33554432000 134512640 134579096 4289672416 4289671236 134556250 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 36952 36292 230 17 0 36258 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 147808
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6523
/proc/meminfo: memFree=28141292/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=147988 CPUtime=1362.04 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 38086 0 0 0 136196 8 0 0 20 0 1 0 317622040 151539712 36339 33554432000 134512640 134579096 4289672416 4289671232 134519085 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 36997 36339 230 17 0 36303 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 147988
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 6523
/proc/meminfo: memFree=28116796/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=170132 CPUtime=1422.04 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 43710 0 0 0 142195 9 0 0 20 0 1 0 317622040 174215168 41861 33554432000 134512640 134579096 4289672416 4289671072 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42533 41861 230 17 0 41839 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 170132
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 6523
/proc/meminfo: memFree=28113200/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1482.03 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44113 0 0 0 148194 9 0 0 20 0 1 0 317622040 175882240 42264 33554432000 134512640 134579096 4289672416 4289671232 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42264 230 17 0 42246 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 171760
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 6524
/proc/meminfo: memFree=28109828/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1542.02 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44118 0 0 0 154193 9 0 0 20 0 1 0 317622040 175882240 42264 33554432000 134512640 134579096 4289672416 4289671072 134524568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42264 230 17 0 42246 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 171760
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6524
/proc/meminfo: memFree=28046516/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1602.01 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44119 0 0 0 160192 9 0 0 20 0 1 0 317622040 175882240 42265 33554432000 134512640 134579096 4289672416 4289671072 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42265 230 17 0 42246 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 171760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6527
/proc/meminfo: memFree=28045836/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1662 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44119 0 0 0 166191 9 0 0 20 0 1 0 317622040 175882240 42265 33554432000 134512640 134579096 4289672416 4289671280 134520204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42265 230 17 0 42246 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 171760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6527
/proc/meminfo: memFree=28037412/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1721.99 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44119 0 0 0 172190 9 0 0 20 0 1 0 317622040 175882240 42265 33554432000 134512640 134579096 4289672416 4289671232 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42265 230 17 0 42246 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 171760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6527
/proc/meminfo: memFree=28003312/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1781.98 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44119 0 0 0 178189 9 0 0 20 0 1 0 317622040 175882240 42265 33554432000 134512640 134579096 4289672416 4289671248 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42265 230 17 0 42246 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 171760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6527
/proc/meminfo: memFree=27994260/32873844 swapFree=7108/7108
[pid=6439] ppid=6437 vsize=171760 CPUtime=1800.08 cores=1,3,5,7
/proc/6439/stat : 6439 (Pueblo) R 6437 6439 5139 0 -1 4202496 44119 0 0 0 179999 9 0 0 20 0 1 0 317622040 175882240 42265 33554432000 134512640 134579096 4289672416 4289671072 134522724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6439/statm: 42940 42265 230 17 0 42246 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 171760
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.1
CPU user time (s): 1800
CPU system time (s): 0.096985
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 171760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.096985
maximum resident set size= 169060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44119
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= 55
involuntary context switches= 1849
runsolver used 3.36049 second user time and 9.33558 second system time
The end