runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15338 MiB free)
memory of node 1: 16384 MiB (13819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386905-1568283609/watcher-4386905-1568283609 -o /tmp/evaluation-result-4386905-1568283609/solver-4386905-1568283609 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568280859-14384 --watchdog 2580 BTD 2520 HOME/instance-4386905-1568283609.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14879, runsolver pid=14876
[startup+0.100109 s]*
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29853096/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=37900 memory=7376 CPUtime=0.1 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 2015 0 0 0 10 0 0 0 20 0 1 0 404600521 38809600 1844 33554432000 4194304 36700936 140724064135744 140724064135744 8340231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9475 1844 464 7937 0 1503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37900 KiB
Current children cumulated memory: 7376 KiB
[startup+0.209788 s]*
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29853096/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38164 memory=7904 CPUtime=0.21 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 2121 0 0 0 21 0 0 0 20 0 1 0 404600521 39079936 1976 33554432000 4194304 36700936 140724064135744 140724064135744 8340231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9541 1976 486 7937 0 1569 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 7904 KiB
[startup+0.30915 s]*
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29852724/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38164 memory=7904 CPUtime=0.31 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 2121 0 0 0 31 0 0 0 20 0 1 0 404600521 39079936 1976 33554432000 4194304 36700936 140724064135744 140724064135744 8340231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9541 1976 486 7937 0 1569 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38164 KiB
Current children cumulated memory: 7904 KiB
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29852456/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38428 memory=7904 CPUtime=0.69 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 2162 0 0 0 69 0 0 0 20 0 1 0 404600521 39350272 1976 33554432000 4194304 36700936 140724064135744 140724064134792 4619776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9607 1976 486 7937 0 1635 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38428 KiB
Current children cumulated memory: 7904 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29852384/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38560 memory=8168 CPUtime=1.49 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 2202 0 0 0 148 1 0 0 20 0 1 0 404600521 39485440 2042 33554432000 4194304 36700936 140724064135744 140724064134792 4620281 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9640 2042 486 7937 0 1668 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 8168 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29852512/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38692 memory=8392 CPUtime=3.1 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 3212 0 0 0 308 2 0 0 20 0 1 0 404600521 39620608 2098 33554432000 4194304 36700936 140724064135744 140724064134792 6947507 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9673 2098 486 7937 0 1701 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 8392 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29851448/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38824 memory=8524 CPUtime=6.29 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 4265 0 0 0 626 3 0 0 20 0 1 0 404600521 39755776 2131 33554432000 4194304 36700936 140724064135744 140724064134792 6947472 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9706 2131 486 7937 0 1734 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 38824 KiB
Current children cumulated memory: 8524 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.89 3/204 14880
/proc/meminfo: memFree=29851496/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38824 memory=8564 CPUtime=12.69 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 5311 0 0 0 1264 5 0 0 20 0 1 0 404600521 39755776 2141 33554432000 4194304 36700936 140724064135744 140724064134792 4620276 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9706 2141 486 7937 0 1734 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 38824 KiB
Current children cumulated memory: 8564 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 2.05 1.91 3/204 14882
/proc/meminfo: memFree=29850876/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=38956 memory=8768 CPUtime=25.48 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 7437 0 0 0 2540 8 0 0 20 0 1 0 404600521 39890944 2192 33554432000 4194304 36700936 140724064135744 140724064134792 4620337 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9739 2192 486 7937 0 1767 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 38956 KiB
Current children cumulated memory: 8768 KiB
[startup+51.1093 s]
/proc/loadavg: 2.14 2.04 1.91 3/204 14890
/proc/meminfo: memFree=29850356/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39088 memory=8908 CPUtime=51.1 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 8584 0 0 0 5095 15 0 0 20 0 1 0 404600521 40026112 2227 33554432000 4194304 36700936 140724064135744 140724064134792 4620264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9772 2227 486 7937 0 1800 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 39088 KiB
Current children cumulated memory: 8908 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.04 1.92 3/204 14894
/proc/meminfo: memFree=29849636/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39220 memory=9024 CPUtime=102.29 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 9728 0 0 0 10204 25 0 0 20 0 1 0 404600521 40161280 2256 33554432000 4194304 36700936 140724064135744 140724064134792 4463778 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9805 2256 486 7937 0 1833 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 39220 KiB
Current children cumulated memory: 9024 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.92 3/204 14900
/proc/meminfo: memFree=29850056/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39352 memory=9080 CPUtime=162.28 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 10818 0 0 0 16190 38 0 0 20 0 1 0 404600521 40296448 2270 33554432000 4194304 36700936 140724064135744 140724064134792 6947521 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9838 2270 486 7937 0 1866 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 39352 KiB
Current children cumulated memory: 9080 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/204 14906
/proc/meminfo: memFree=29849796/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39352 memory=9168 CPUtime=222.28 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 12027 0 0 0 22178 50 0 0 20 0 1 0 404600521 40296448 2292 33554432000 4194304 36700936 140724064135744 140724064134792 4620264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9838 2292 486 7937 0 1866 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 39352 KiB
Current children cumulated memory: 9168 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 1.95 3/204 14910
/proc/meminfo: memFree=29849356/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39488 memory=9296 CPUtime=282.27 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 13202 0 0 0 28165 62 0 0 20 0 1 0 404600521 40435712 2324 33554432000 4194304 36700936 140724064135744 140724064134792 7946195 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9872 2324 486 7937 0 1900 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 39488 KiB
Current children cumulated memory: 9296 KiB
[startup+342.3 s]
/proc/loadavg: 2.11 2.06 1.96 3/204 14917
/proc/meminfo: memFree=29849064/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39488 memory=9300 CPUtime=342.27 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 14303 0 0 0 34151 76 0 0 20 0 1 0 404600521 40435712 2325 33554432000 4194304 36700936 140724064135744 140724064134792 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9872 2325 486 7937 0 1900 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 39488 KiB
Current children cumulated memory: 9300 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 1.96 3/204 14921
/proc/meminfo: memFree=29847056/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39620 memory=9392 CPUtime=402.28 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 14434 0 0 0 40138 90 0 0 20 0 1 0 404600521 40570880 2348 33554432000 4194304 36700936 140724064135744 140724064134792 4620337 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9905 2348 486 7937 0 1933 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 39620 KiB
Current children cumulated memory: 9392 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 1.96 3/204 14925
/proc/meminfo: memFree=29846916/32770624 swapFree=67003236/67108860
[pid=14879] ppid=14876 vsize=39620 memory=9416 CPUtime=462.28 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 15604 0 0 0 46123 105 0 0 20 0 1 0 404600521 40570880 2354 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 9905 2354 486 7937 0 1933 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 39620 KiB
Current children cumulated memory: 9416 KiB
################
# More data... #
################
Current children cumulated memory: 9752 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 15141
/proc/meminfo: memFree=31710072/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9860 CPUtime=2022.42 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 23188 0 0 0 201815 427 0 0 20 0 1 0 404600521 41111552 2465 33554432000 4194304 36700936 140724064135744 140724064134792 6947456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2465 486 7937 0 2065 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9860 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 15145
/proc/meminfo: memFree=31710532/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9860 CPUtime=2082.43 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 23188 0 0 0 207806 437 0 0 20 0 1 0 404600521 41111552 2465 33554432000 4194304 36700936 140724064135744 140724064134792 6947517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2465 486 7937 0 2065 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9860 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 15152
/proc/meminfo: memFree=31710448/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2142.43 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 23593 0 0 0 213794 449 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 15156
/proc/meminfo: memFree=31710644/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2202.44 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 23593 0 0 0 219785 459 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/203 15160
/proc/meminfo: memFree=31710408/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2262.44 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 23998 0 0 0 225774 470 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/204 15168
/proc/meminfo: memFree=31709948/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2322.45 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 23998 0 0 0 231762 483 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/204 15172
/proc/meminfo: memFree=31710372/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2382.45 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24347 0 0 0 237751 494 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 6947484 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15183
/proc/meminfo: memFree=31709884/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2442.45 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24348 0 0 0 243738 507 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2442.45 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31708788/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2502.46 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24697 0 0 0 249727 519 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2519.86 s]
# the end of solver process 14879 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.79 s, system=5.24136 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31709036/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2508.96 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24697 0 0 0 250375 521 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2508.96 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31709560/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2515.36 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24735 0 0 0 251013 523 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2515.36 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31709792/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2518.56 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24735 0 0 0 251333 523 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2518.56 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31709448/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2519.36 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24735 0 0 0 251413 523 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2519.36 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31709448/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2519.77 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24735 0 0 0 251453 524 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 15211
/proc/meminfo: memFree=31709448/32770624 swapFree=67003244/67108860
[pid=14879] ppid=14876 vsize=40148 memory=9904 CPUtime=2519.97 cores=0,2,4,6
/proc/14879/stat : 14879 (BTD) R 14876 14879 14353 0 -1 4202496 24735 0 0 0 251473 524 0 0 20 0 1 0 404600521 41111552 2476 33554432000 4194304 36700936 140724064135744 140724064134792 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55013376 140724064142376 140724064142452 140724064142452 140724064145361 0
/proc/14879/statm: 10037 2476 486 7937 0 2065 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 9904 KiB
Child status: 0
Real time (s): 2519.86
CPU time (s): 2520.03
CPU user time (s): 2514.79
CPU system time (s): 5.24136
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 40148
Max. memory (cumulated for all children) (KiB): 9904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.79
system time used= 5.24136
maximum resident set size= 9924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24770
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= 5
involuntary context switches= 836
# summary of solver processes directly reported to runsolver:
# pid: 14879
# total CPU time (s): 2520.03
# total CPU user time (s): 2514.79
# total CPU system time (s): 5.24136
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.90717 second user time and 16.1491 second system time
The end