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-3720523-1338512013/watcher-3720523-1338512013 -o /tmp/evaluation-result-3720523-1338512013/solver-3720523-1338512013 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720523-1338512013.opb
running on 4 cores: 0,2,4,6
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.24 3/176 13821
/proc/meminfo: memFree=32109832/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 317329848 3309568 291 33554432000 134512640 134579096 4288155200 4288022596 7213829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 808 291 219 17 0 114 0
[startup+0.091356 s]
/proc/loadavg: 2.00 2.00 2.24 3/176 13821
/proc/meminfo: memFree=32109832/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=4168 CPUtime=0.08 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 597 0 0 0 8 0 0 0 20 0 1 0 317329848 4268032 535 33554432000 134512640 134579096 4288155200 4288154048 134528360 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1042 535 227 17 0 348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4168
[startup+0.100208 s]
/proc/loadavg: 2.00 2.00 2.24 3/176 13821
/proc/meminfo: memFree=32109832/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=4168 CPUtime=0.09 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 602 0 0 0 9 0 0 0 20 0 1 0 317329848 4268032 540 33554432000 134512640 134579096 4288155200 4288154032 134517903 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1042 540 227 17 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4168
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.24 3/176 13821
/proc/meminfo: memFree=32109832/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=4788 CPUtime=0.29 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 746 0 0 0 29 0 0 0 20 0 1 0 317329848 4902912 684 33554432000 134512640 134579096 4288155200 4288153956 134529012 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1197 684 227 17 0 503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4788
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.24 3/176 13821
/proc/meminfo: memFree=32109832/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=5316 CPUtime=0.69 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 869 0 0 0 69 0 0 0 20 0 1 0 317329848 5443584 807 33554432000 134512640 134579096 4288155200 4288154048 134527818 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1329 807 227 17 0 635 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5316
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 13822
/proc/meminfo: memFree=32107632/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=5708 CPUtime=1.49 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 966 0 0 0 149 0 0 0 20 0 1 0 317329848 5844992 904 33554432000 134512640 134579096 4288155200 4288154096 134553156 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1427 904 227 17 0 733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5708
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.24 3/178 13916
/proc/meminfo: memFree=32105152/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=5960 CPUtime=3.09 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1058 0 0 0 309 0 0 0 20 0 1 0 317329848 6103040 996 33554432000 134512640 134579096 4288155200 4288154048 134527975 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1490 996 227 17 0 796 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5960
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 13922
/proc/meminfo: memFree=32079468/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=6320 CPUtime=6.29 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1135 0 0 0 629 0 0 0 20 0 1 0 317329848 6471680 1073 33554432000 134512640 134579096 4288155200 4288154048 134527750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1580 1073 227 17 0 886 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6320
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.24 3/178 14116
/proc/meminfo: memFree=32106544/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=6812 CPUtime=12.69 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1256 0 0 0 1269 0 0 0 20 0 1 0 317329848 6975488 1199 33554432000 134512640 134579096 4288155200 4288154048 134527762 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13821/statm: 1703 1199 227 17 0 1009 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6812
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 14122
/proc/meminfo: memFree=32095088/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=7444 CPUtime=25.48 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1403 0 0 0 2548 0 0 0 20 0 1 0 317329848 7622656 1346 33554432000 134512640 134579096 4288155200 4288154080 134516812 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 1861 1346 227 17 0 1167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7444
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.23 3/177 14122
/proc/meminfo: memFree=32092380/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=8100 CPUtime=51.08 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1585 0 0 0 5108 0 0 0 20 0 1 0 317329848 8294400 1529 33554432000 134512640 134579096 4288155200 4288154048 134527726 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2025 1529 227 17 0 1331 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8100
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.21 3/177 14122
/proc/meminfo: memFree=32087912/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=9168 CPUtime=102.27 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1838 0 0 0 10227 0 0 0 20 0 1 0 317329848 9388032 1782 33554432000 134512640 134579096 4288155200 4288154080 134558596 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2292 1782 227 17 0 1598 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9168
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/177 14122
/proc/meminfo: memFree=32086112/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=9532 CPUtime=162.26 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 1935 0 0 0 16226 0 0 0 20 0 1 0 317329848 9760768 1879 33554432000 134512640 134579096 4288155200 4288154048 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2383 1879 227 17 0 1689 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 9532
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/176 14122
/proc/meminfo: memFree=32084320/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=10152 CPUtime=222.25 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2084 0 0 0 22225 0 0 0 20 0 1 0 317329848 10395648 2027 33554432000 134512640 134579096 4288155200 4288154048 134527836 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2538 2027 227 17 0 1844 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 10152
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/177 14123
/proc/meminfo: memFree=32082016/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=10984 CPUtime=282.24 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2302 0 0 0 28224 0 0 0 20 0 1 0 317329848 11247616 2245 33554432000 134512640 134579096 4288155200 4288154048 134527742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2746 2245 227 17 0 2052 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 10984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/177 14123
/proc/meminfo: memFree=32081644/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=11280 CPUtime=342.23 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2380 0 0 0 34223 0 0 0 20 0 1 0 317329848 11550720 2323 33554432000 134512640 134579096 4288155200 4288154048 134527818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2820 2323 227 17 0 2126 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 11280
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/178 14126
/proc/meminfo: memFree=32079032/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=11784 CPUtime=402.22 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2514 0 0 0 40222 0 0 0 20 0 1 0 317329848 12066816 2434 33554432000 134512640 134579096 4288155200 4288154080 134557734 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 2946 2434 227 17 0 2252 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 11784
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 14149
/proc/meminfo: memFree=32078640/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=12140 CPUtime=462.21 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2626 0 0 0 46221 0 0 0 20 0 1 0 317329848 12431360 2545 33554432000 134512640 134579096 4288155200 4288154048 134527750 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3035 2545 227 17 0 2341 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 12140
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/178 14149
/proc/meminfo: memFree=32078532/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=12400 CPUtime=522.2 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2685 0 0 0 52220 0 0 0 20 0 1 0 317329848 12697600 2604 33554432000 134512640 134579096 4288155200 4288154000 134528611 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3100 2604 227 17 0 2406 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 12400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/178 14150
/proc/meminfo: memFree=32077788/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=12512 CPUtime=582.19 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 2703 0 0 0 58219 0 0 0 20 0 1 0 317329848 12812288 2622 33554432000 134512640 134579096 4288155200 4288154048 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3128 2622 227 17 0 2434 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 12512
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.09 2.03 2.08 3/178 14151
/proc/meminfo: memFree=32071768/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=13948 CPUtime=882.14 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3091 0 0 0 88214 0 0 0 20 0 1 0 317329848 14282752 2994 33554432000 134512640 134579096 4288155200 4288154048 134527742 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3487 2994 227 17 0 2793 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 13948
[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.08 3/178 14151
/proc/meminfo: memFree=32071892/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=13948 CPUtime=942.13 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3091 0 0 0 94213 0 0 0 20 0 1 0 317329848 14282752 2994 33554432000 134512640 134579096 4288155200 4288154048 134528357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3487 2994 227 17 0 2793 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 13948
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.07 3/179 14154
/proc/meminfo: memFree=32071512/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14132 CPUtime=1002.13 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3136 0 0 0 100213 0 0 0 20 0 1 0 317329848 14471168 3039 33554432000 134512640 134579096 4288155200 4288154048 134527818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3533 3039 227 17 0 2839 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14132
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/178 14154
/proc/meminfo: memFree=32071520/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14052 CPUtime=1062.12 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3136 0 0 0 106212 0 0 0 20 0 1 0 317329848 14389248 3025 33554432000 134512640 134579096 4288155200 4288154048 134527824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3513 3025 227 17 0 2819 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 14052
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/178 14154
/proc/meminfo: memFree=32069968/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14588 CPUtime=1122.11 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3247 0 0 0 112211 0 0 0 20 0 1 0 317329848 14938112 3133 33554432000 134512640 134579096 4288155200 4288154048 134527833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3647 3133 227 17 0 2953 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 14588
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 14155
/proc/meminfo: memFree=32069596/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14748 CPUtime=1182.1 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3313 0 0 0 118210 0 0 0 20 0 1 0 317329848 15101952 3193 33554432000 134512640 134579096 4288155200 4288154048 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3687 3193 227 17 0 2993 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 14748
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.05 3/178 14155
/proc/meminfo: memFree=32068480/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=15024 CPUtime=1242.09 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3391 0 0 0 124209 0 0 0 20 0 1 0 317329848 15384576 3267 33554432000 134512640 134579096 4288155200 4288154048 134527759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3756 3267 227 17 0 3062 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 15024
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/178 14155
/proc/meminfo: memFree=32067920/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14748 CPUtime=1302.09 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3391 0 0 0 130209 0 0 0 20 0 1 0 317329848 15101952 3198 33554432000 134512640 134579096 4288155200 4288154048 134528344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3687 3198 227 17 0 2993 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 14748
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/178 14155
/proc/meminfo: memFree=32068168/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14708 CPUtime=1362.07 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3391 0 0 0 136207 0 0 0 20 0 1 0 317329848 15060992 3188 33554432000 134512640 134579096 4288155200 4288154048 134527753 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3677 3188 227 17 0 2983 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 14708
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/178 14155
/proc/meminfo: memFree=32067796/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14708 CPUtime=1422.07 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3391 0 0 0 142207 0 0 0 20 0 1 0 317329848 15060992 3188 33554432000 134512640 134579096 4288155200 4288154048 134527762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3677 3188 227 17 0 2983 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 14708
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.03 3/178 14156
/proc/meminfo: memFree=32068044/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14708 CPUtime=1482.05 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3391 0 0 0 148205 0 0 0 20 0 1 0 317329848 15060992 3188 33554432000 134512640 134579096 4288155200 4288154048 134527818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3677 3188 227 17 0 2983 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 14708
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/178 14156
/proc/meminfo: memFree=32068168/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14812 CPUtime=1542.05 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3415 0 0 0 154204 1 0 0 20 0 1 0 317329848 15167488 3212 33554432000 134512640 134579096 4288155200 4288154064 134520067 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3703 3212 227 17 0 3009 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 14812
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 14159
/proc/meminfo: memFree=32068160/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14940 CPUtime=1602.04 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3444 0 0 0 160203 1 0 0 20 0 1 0 317329848 15298560 3241 33554432000 134512640 134579096 4288155200 4288154048 134527740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3735 3241 227 17 0 3041 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 14940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 14159
/proc/meminfo: memFree=32068292/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=14936 CPUtime=1662.03 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3444 0 0 0 166202 1 0 0 20 0 1 0 317329848 15294464 3241 33554432000 134512640 134579096 4288155200 4288154048 134528360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3734 3241 227 17 0 3040 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 14936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 14159
/proc/meminfo: memFree=32067548/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=15580 CPUtime=1722.02 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3597 0 0 0 172201 1 0 0 20 0 1 0 317329848 15953920 3394 33554432000 134512640 134579096 4288155200 4288154048 134527762 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3895 3394 227 17 0 3201 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15580
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.01 4/178 14160
/proc/meminfo: memFree=32067052/32873844 swapFree=7120/7120
[pid=13821] ppid=13819 vsize=15404 CPUtime=1782.01 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3599 0 0 0 178200 1 0 0 20 0 1 0 317329848 15773696 3363 33554432000 134512640 134579096 4288155200 4288154048 134527818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3851 3363 227 17 0 3157 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15404
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/178 14160
/proc/meminfo: memFree=32067052/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=15404 CPUtime=1800.02 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3599 0 0 0 180001 1 0 0 20 0 1 0 317329848 15773696 3363 33554432000 134512640 134579096 4288155200 4288154032 134517940 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3851 3363 227 17 0 3157 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15404
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.02 2.01 2.01 3/178 14160
/proc/meminfo: memFree=32067052/32873844 swapFree=7116/7116
[pid=13821] ppid=13819 vsize=15404 CPUtime=1800.02 cores=0,2,4,6
/proc/13821/stat : 13821 (Pueblo) R 13819 13821 11831 0 -1 4202496 3599 0 0 0 180001 1 0 0 20 0 1 0 317329848 15773696 3363 33554432000 134512640 134579096 4288155200 4288154032 134517940 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13821/statm: 3851 3363 227 17 0 3157 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 15404
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.010998
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 15648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.010998
maximum resident set size= 13576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3599
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= 10
involuntary context switches= 1931
runsolver used 2.94055 second user time and 8.5737 second system time
The end