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 (15360 MiB free)
memory of node 1: 16384 MiB (15641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386729-1568280913/watcher-4386729-1568280913 -o /tmp/evaluation-result-4386729-1568280913/solver-4386729-1568280913 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568277219-5303 --watchdog 2580 BTD 2520 HOME/instance-4386729-1568280913.xml
running on 4 cores: 1,3,5,7
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=5332, runsolver pid=5326
[startup+0.100104 s]*
/proc/loadavg: 0.39 0.10 0.07 3/200 5335
/proc/meminfo: memFree=31747248/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33256 memory=3004 CPUtime=0.1 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 899 0 0 0 10 0 0 0 20 0 1 0 404350464 34054144 751 33554432000 4194304 36700936 140724163069312 140724163068360 4620264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8314 751 490 7937 0 342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33256 KiB
Current children cumulated memory: 3004 KiB
[startup+0.210142 s]*
/proc/loadavg: 0.39 0.10 0.07 3/200 5335
/proc/meminfo: memFree=31750848/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33256 memory=3004 CPUtime=0.21 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 900 0 0 0 21 0 0 0 20 0 1 0 404350464 34054144 751 33554432000 4194304 36700936 140724163069312 140724163068360 4620271 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8314 751 490 7937 0 342 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33256 KiB
Current children cumulated memory: 3004 KiB
[startup+0.309257 s]*
/proc/loadavg: 0.39 0.10 0.07 3/200 5335
/proc/meminfo: memFree=31755536/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33256 memory=3004 CPUtime=0.31 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 926 0 0 0 31 0 0 0 20 0 1 0 404350464 34054144 751 33554432000 4194304 36700936 140724163069312 140724163068360 6947504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8314 751 490 7937 0 342 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33256 KiB
Current children cumulated memory: 3004 KiB
[startup+0.700285 s]
/proc/loadavg: 0.39 0.10 0.07 3/200 5335
/proc/meminfo: memFree=31756480/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33256 memory=3004 CPUtime=0.69 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 931 0 0 0 69 0 0 0 20 0 1 0 404350464 34054144 751 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8314 751 490 7937 0 342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33256 KiB
Current children cumulated memory: 3004 KiB
[startup+1.50028 s]
/proc/loadavg: 0.39 0.10 0.07 3/200 5336
/proc/meminfo: memFree=31756480/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3004 CPUtime=1.49 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 934 0 0 0 149 0 0 0 20 0 1 0 404350464 34189312 751 33554432000 4194304 36700936 140724163069312 140724163068360 4620337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 751 490 7937 0 375 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3004 KiB
[startup+3.10905 s]
/proc/loadavg: 0.39 0.10 0.07 3/200 5336
/proc/meminfo: memFree=31756528/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3244 CPUtime=3.1 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 1164 0 0 0 310 0 0 0 20 0 1 0 404350464 34189312 811 33554432000 4194304 36700936 140724163069312 140724163068360 4620264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 811 516 7937 0 375 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3244 KiB
[startup+6.30027 s]
/proc/loadavg: 0.36 0.10 0.07 3/200 5336
/proc/meminfo: memFree=31756524/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3244 CPUtime=6.29 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 1393 0 0 0 629 0 0 0 20 0 1 0 404350464 34189312 811 33554432000 4194304 36700936 140724163069312 140724163068360 4620281 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 811 516 7937 0 375 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3244 KiB
[startup+12.7003 s]
/proc/loadavg: 0.49 0.13 0.08 3/199 5336
/proc/meminfo: memFree=31756708/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3256 CPUtime=12.7 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 1627 0 0 0 1269 1 0 0 20 0 1 0 404350464 34189312 814 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 814 516 7937 0 375 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3256 KiB
[startup+25.5003 s]
/proc/loadavg: 0.82 0.22 0.11 3/199 5336
/proc/meminfo: memFree=31757036/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3268 CPUtime=25.49 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 2090 0 0 0 2546 3 0 0 20 0 1 0 404350464 34189312 817 33554432000 4194304 36700936 140724163069312 140724163068360 4620446 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 817 516 7937 0 375 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3268 KiB
[startup+51.1091 s]
/proc/loadavg: 1.23 0.36 0.16 3/199 5338
/proc/meminfo: memFree=31755836/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3276 CPUtime=51.11 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 2330 0 0 0 5105 6 0 0 20 0 1 0 404350464 34189312 819 33554432000 4194304 36700936 140724163069312 140724163068360 4620264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 819 516 7937 0 375 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3276 KiB
[startup+102.3 s]
/proc/loadavg: 1.66 0.62 0.26 3/198 5342
/proc/meminfo: memFree=31756128/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3280 CPUtime=102.3 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 2573 0 0 0 10219 11 0 0 20 0 1 0 404350464 34189312 820 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 820 516 7937 0 375 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3280 KiB
[startup+162.3 s]
/proc/loadavg: 1.88 0.87 0.37 4/198 5346
/proc/meminfo: memFree=31756104/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3288 CPUtime=162.31 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 2812 0 0 0 16211 20 0 0 20 0 1 0 404350464 34189312 822 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 822 516 7937 0 375 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3288 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/198 5350
/proc/meminfo: memFree=31756164/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3292 CPUtime=222.32 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 3053 0 0 0 22204 28 0 0 20 0 1 0 404350464 34189312 823 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 823 516 7937 0 375 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3292 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.57 4/198 5356
/proc/meminfo: memFree=31756220/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3292 CPUtime=282.32 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 3053 0 0 0 28197 35 0 0 20 0 1 0 404350464 34189312 823 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 823 516 7937 0 375 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3292 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.66 4/198 5360
/proc/meminfo: memFree=31756832/32770624 swapFree=66933988/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3296 CPUtime=342.33 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 3296 0 0 0 34191 42 0 0 20 0 1 0 404350464 34189312 824 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 824 516 7937 0 375 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3296 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/199 5372
/proc/meminfo: memFree=31755528/32770624 swapFree=66933996/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3296 CPUtime=402.34 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 3297 0 0 0 40185 49 0 0 20 0 1 0 404350464 34189312 824 33554432000 4194304 36700936 140724163069312 140724163068360 4620264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 824 516 7937 0 375 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3296 KiB
[startup+462.3 s]
/proc/loadavg: 1.96 1.57 0.81 4/199 5378
/proc/meminfo: memFree=31755480/32770624 swapFree=66933996/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3308 CPUtime=462.35 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 3537 0 0 0 46179 56 0 0 20 0 1 0 404350464 34189312 827 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 827 516 7937 0 375 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3308 KiB
################
# More data... #
################
Current children cumulated memory: 3320 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.64 4/198 5466
/proc/meminfo: memFree=31755784/32770624 swapFree=66934016/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3320 CPUtime=1482.49 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 5466 0 0 0 148062 187 0 0 20 0 1 0 404350464 34189312 830 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 830 516 7937 0 375 0
Current children cumulated CPU time: 1482.49 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3320 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.67 4/198 5472
/proc/meminfo: memFree=31755848/32770624 swapFree=66934016/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1542.5 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 5708 0 0 0 154055 195 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 6947536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1542.5 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.69 4/199 5484
/proc/meminfo: memFree=31755536/32770624 swapFree=66934020/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1602.5 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 5709 0 0 0 160048 202 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1602.5 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.71 4/200 5511
/proc/meminfo: memFree=31754984/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1662.51 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 5950 0 0 0 166040 211 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 4620012 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1662.51 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.72 4/200 5517
/proc/meminfo: memFree=31755312/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1722.52 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 5950 0 0 0 172033 219 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 4620160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1722.52 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.74 4/200 5521
/proc/meminfo: memFree=31755036/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1782.53 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6190 0 0 0 178024 229 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1782.53 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.76 4/200 5525
/proc/meminfo: memFree=31755164/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1842.53 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6190 0 0 0 184016 237 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1842.53 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1872.67 s]
# the end of solver process 5332 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1870.5 s, system=2.41432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 2.00 2.01 1.76 4/200 5525
/proc/meminfo: memFree=31755164/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1843.43 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6190 0 0 0 184106 237 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 6947883 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1843.43 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1856 s]*
/proc/loadavg: 2.00 2.01 1.76 4/200 5528
/proc/meminfo: memFree=31755320/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1856.24 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6190 0 0 0 185385 239 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1856.24 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1862.4 s]
/proc/loadavg: 2.00 2.01 1.76 4/200 5528
/proc/meminfo: memFree=31755444/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1862.64 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6429 0 0 0 186024 240 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 4620337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1862.64 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1868.8 s]
/proc/loadavg: 2.00 2.01 1.77 4/200 5529
/proc/meminfo: memFree=31755724/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1869.04 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6429 0 0 0 186664 240 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1869.04 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1870.4 s]
/proc/loadavg: 2.00 2.01 1.77 4/200 5529
/proc/meminfo: memFree=31755724/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1870.64 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6429 0 0 0 186823 241 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1870.64 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1872 s]*
/proc/loadavg: 2.00 2.01 1.77 4/200 5529
/proc/meminfo: memFree=31755796/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1872.25 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6429 0 0 0 186984 241 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 4620276 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1872.25 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1872.4 s]
/proc/loadavg: 2.00 2.01 1.77 4/200 5529
/proc/meminfo: memFree=31755796/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1872.64 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6429 0 0 0 187023 241 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1872.64 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
[startup+1872.6 s]
/proc/loadavg: 2.00 2.01 1.77 4/200 5529
/proc/meminfo: memFree=31755796/32770624 swapFree=66934036/67108860
[pid=5332] ppid=5326 vsize=33388 memory=3324 CPUtime=1872.84 cores=1,3,5,7
/proc/5332/stat : 5332 (BTD) R 5326 5332 5271 0 -1 4202496 6429 0 0 0 187043 241 0 0 20 0 1 0 404350464 34189312 831 33554432000 4194304 36700936 140724163069312 140724163068360 8340231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38800048 38936640 64049152 140724163073064 140724163073140 140724163073140 140724163076049 0
/proc/5332/statm: 8347 831 516 7937 0 375 0
Current children cumulated CPU time: 1872.84 s
Current children cumulated vsize: 33388 KiB
Current children cumulated memory: 3324 KiB
Child status: 0
Real time (s): 1872.67
CPU time (s): 1872.92
CPU user time (s): 1870.5
CPU system time (s): 2.41432
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 33388
Max. memory (cumulated for all children) (KiB): 3324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1870.5
system time used= 2.41432
maximum resident set size= 3344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6484
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= 3
involuntary context switches= 509
# summary of solver processes directly reported to runsolver:
# pid: 5332
# total CPU time (s): 1872.92
# total CPU user time (s): 1870.5
# total CPU system time (s): 2.41432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66366 second user time and 11.7681 second system time
The end