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 (15214 MiB free)
memory of node 1: 16384 MiB (15071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386931-1568283898/watcher-4386931-1568283898 -o /tmp/evaluation-result-4386931-1568283898/solver-4386931-1568283898 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568280858-19911 --watchdog 2580 BTD 2520 HOME/instance-4386931-1568283898.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=21051, runsolver pid=21048
[startup+0.100207 s]*
/proc/loadavg: 1.93 2.04 1.96 3/205 21052
/proc/meminfo: memFree=31004364/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=42012 memory=11336 CPUtime=0.1 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 3086 0 0 0 10 0 0 0 20 0 1 0 404639403 43020288 2834 33554432000 4194304 36700936 140725473060128 140725473060128 5030210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 10503 2834 443 7937 0 2531 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42012 KiB
Current children cumulated memory: 11336 KiB
[startup+0.21034 s]*
/proc/loadavg: 1.93 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30994652/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=51884 memory=21124 CPUtime=0.21 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 5677 0 0 0 21 0 0 0 20 0 1 0 404639403 53129216 5281 33554432000 4194304 36700936 140725473060128 140725473060128 4485343 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 12971 5281 443 7937 0 4999 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51884 KiB
Current children cumulated memory: 21124 KiB
[startup+0.310132 s]*
/proc/loadavg: 1.93 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30988092/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26164 CPUtime=0.31 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 7258 0 0 0 31 0 0 0 20 0 1 0 404639403 57901056 6541 33554432000 4194304 36700936 140725473060128 140725473060128 4435871 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6541 452 7937 0 6164 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26164 KiB
[startup+0.700454 s]
/proc/loadavg: 1.93 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30988092/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26164 CPUtime=0.7 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 7270 0 0 0 69 1 0 0 20 0 1 0 404639403 57901056 6541 33554432000 4194304 36700936 140725473060128 140725473059176 4928420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6541 452 7937 0 6164 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26164 KiB
[startup+1.50044 s]
/proc/loadavg: 1.93 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30988420/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26164 CPUtime=1.49 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 7270 0 0 0 148 1 0 0 20 0 1 0 404639403 57901056 6541 33554432000 4194304 36700936 140725473060128 140725473059176 7946299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6541 452 7937 0 6164 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26164 KiB
[startup+3.11015 s]
/proc/loadavg: 1.93 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30988420/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26328 CPUtime=3.1 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 12858 0 0 0 309 1 0 0 20 0 1 0 404639403 57901056 6582 33554432000 4194304 36700936 140725473060128 140725473059176 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6582 493 7937 0 6164 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26328 KiB
[startup+6.30043 s]
/proc/loadavg: 1.94 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30987416/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26328 CPUtime=6.29 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 18519 0 0 0 627 2 0 0 20 0 1 0 404639403 57901056 6582 33554432000 4194304 36700936 140725473060128 140725473059176 4928605 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6582 493 7937 0 6164 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26328 KiB
[startup+12.7004 s]
/proc/loadavg: 1.95 2.04 1.96 3/205 21052
/proc/meminfo: memFree=30987636/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26328 CPUtime=12.69 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 24214 0 0 0 1266 3 0 0 20 0 1 0 404639403 57901056 6582 33554432000 4194304 36700936 140725473060128 140725473059176 4928420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6582 493 7937 0 6164 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26328 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.04 1.96 3/206 21053
/proc/meminfo: memFree=30988016/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26328 CPUtime=25.49 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 35489 0 0 0 2541 8 0 0 20 0 1 0 404639403 57901056 6582 33554432000 4194304 36700936 140725473060128 140725473059176 4437834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6582 493 7937 0 6164 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26328 KiB
[startup+51.1101 s]
/proc/loadavg: 1.97 2.03 1.96 3/205 21056
/proc/meminfo: memFree=30986672/32770624 swapFree=66965340/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26328 CPUtime=51.1 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 41185 0 0 0 5097 13 0 0 20 0 1 0 404639403 57901056 6582 33554432000 4194304 36700936 140725473060128 140725473059176 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6582 493 7937 0 6164 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26328 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 1.96 3/203 21082
/proc/meminfo: memFree=30986444/32770624 swapFree=66965344/67108860
[pid=21051] ppid=21048 vsize=56544 memory=26328 CPUtime=102.29 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 46936 0 0 0 10203 26 0 0 20 0 1 0 404639403 57901056 6582 33554432000 4194304 36700936 140725473060128 140725473059176 4928416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14136 6582 493 7937 0 6164 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 56544 KiB
Current children cumulated memory: 26328 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/203 21086
/proc/meminfo: memFree=30985276/32770624 swapFree=66965344/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26328 CPUtime=162.27 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 52634 0 0 0 16185 42 0 0 20 0 1 0 404639403 58044416 6582 33554432000 4194304 36700936 140725473060128 140725473059176 4928420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6582 493 7937 0 6199 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26328 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/203 21092
/proc/meminfo: memFree=30986632/32770624 swapFree=66965344/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26404 CPUtime=222.28 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 52967 0 0 0 22169 59 0 0 20 0 1 0 404639403 58044416 6601 33554432000 4194304 36700936 140725473060128 140725473059176 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6601 493 7937 0 6199 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26404 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/204 21098
/proc/meminfo: memFree=30986732/32770624 swapFree=66965344/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26404 CPUtime=282.27 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 53334 0 0 0 28152 75 0 0 20 0 1 0 404639403 58044416 6601 33554432000 4194304 36700936 140725473060128 140725473059176 4435952 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6601 493 7937 0 6199 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26404 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 21102
/proc/meminfo: memFree=30986752/32770624 swapFree=66965344/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26408 CPUtime=342.27 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 53675 0 0 0 34137 90 0 0 20 0 1 0 404639403 58044416 6602 33554432000 4194304 36700936 140725473060128 140725473059176 4930229 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6602 493 7937 0 6199 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26408 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 21115
/proc/meminfo: memFree=30986660/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26408 CPUtime=402.27 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 54071 0 0 0 40121 106 0 0 20 0 1 0 404639403 58044416 6602 33554432000 4194304 36700936 140725473060128 140725473059176 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6602 493 7937 0 6199 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26408 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 21119
/proc/meminfo: memFree=30986680/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=462.27 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 54404 0 0 0 46104 123 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4928420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/203 21123
/proc/meminfo: memFree=30987108/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=522.27 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 54746 0 0 0 52088 139 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4414232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 522.27 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+561.595 s]
# the end of solver process 21051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=560.094 s, system=1.48097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.00 2.01 1.96 3/205 21126
/proc/meminfo: memFree=30986660/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=537.57 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55025 0 0 0 53614 143 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4928364 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 537.57 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+550.4 s]
/proc/loadavg: 2.14 2.05 1.97 3/204 21129
/proc/meminfo: memFree=30986696/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=550.37 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55056 0 0 0 54892 145 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4928420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 550.37 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+556.8 s]
/proc/loadavg: 2.27 2.08 1.98 3/204 21129
/proc/meminfo: memFree=30986696/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=556.77 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55057 0 0 0 55530 147 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4928420 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 556.77 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+560 s]*
/proc/loadavg: 2.27 2.08 1.98 3/204 21129
/proc/meminfo: memFree=30986728/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=559.98 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55057 0 0 0 55851 147 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4925561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 559.98 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+560.8 s]
/proc/loadavg: 2.27 2.08 1.98 3/204 21129
/proc/meminfo: memFree=30986728/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=560.77 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55057 0 0 0 55930 147 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 560.77 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+561.2 s]
/proc/loadavg: 2.25 2.08 1.98 3/204 21129
/proc/meminfo: memFree=30986852/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=561.17 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55057 0 0 0 55970 147 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4435806 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 561.17 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+561.4 s]
/proc/loadavg: 2.25 2.08 1.98 3/204 21129
/proc/meminfo: memFree=30986852/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=561.37 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55057 0 0 0 55990 147 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 4928416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 561.37 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
[startup+561.5 s]
/proc/loadavg: 2.25 2.08 1.98 3/204 21129
/proc/meminfo: memFree=30986852/32770624 swapFree=66965360/67108860
[pid=21051] ppid=21048 vsize=56684 memory=26496 CPUtime=561.47 cores=0,2,4,6
/proc/21051/stat : 21051 (BTD) R 21048 21051 19880 0 -1 4202496 55057 0 0 0 56000 147 0 0 20 0 1 0 404639403 58044416 6624 33554432000 4194304 36700936 140725473060128 140725473059176 6947504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 55320576 140725473063976 140725473064052 140725473064052 140725473066961 0
/proc/21051/statm: 14171 6624 493 7937 0 6199 0
Current children cumulated CPU time: 561.47 s
Current children cumulated vsize: 56684 KiB
Current children cumulated memory: 26496 KiB
Child status: 0
Real time (s): 561.595
CPU time (s): 561.575
CPU user time (s): 560.094
CPU system time (s): 1.48097
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 56684
Max. memory (cumulated for all children) (KiB): 26496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.094
system time used= 1.48097
maximum resident set size= 27460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55103
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= 13
involuntary context switches= 155
# summary of solver processes directly reported to runsolver:
# pid: 21051
# total CPU time (s): 561.575
# total CPU user time (s): 560.094
# total CPU system time (s): 1.48097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23965 second user time and 4.44415 second system time
The end