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 (1353 MiB free)
memory of node 1: 16384 MiB (10963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386705-1568280911/watcher-4386705-1568280911 -o /tmp/evaluation-result-4386705-1568280911/solver-4386705-1568280911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568280859-7471 --watchdog 2580 BTD 2520 HOME/instance-4386705-1568280911.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=7616, runsolver pid=7613
[startup+0.100159 s]*
/proc/loadavg: 0.31 0.08 0.07 3/200 7627
/proc/meminfo: memFree=12538696/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=85308 memory=54104 CPUtime=0.1 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 13677 0 0 0 8 2 0 0 20 0 1 0 404363792 87355392 13526 33554432000 4194304 36700936 140721448423536 140721448423536 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 21327 13526 253 7937 0 13355 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 85308 KiB
Current children cumulated memory: 54104 KiB
[startup+0.209823 s]*
/proc/loadavg: 0.31 0.08 0.07 3/200 7627
/proc/meminfo: memFree=12484260/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=139908 memory=108752 CPUtime=0.2 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 27317 0 0 0 17 3 0 0 20 0 1 0 404363792 143265792 27188 33554432000 4194304 36700936 140721448423536 140721448423536 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 34977 27188 253 7937 0 27005 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 139908 KiB
Current children cumulated memory: 108752 KiB
[startup+0.309434 s]*
/proc/loadavg: 0.31 0.08 0.07 3/200 7627
/proc/meminfo: memFree=12434040/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=189760 memory=158648 CPUtime=0.31 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 39793 0 0 0 25 6 0 0 20 0 1 0 404363792 194314240 39662 33554432000 4194304 36700936 140721448423536 140721448423536 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 47440 39662 253 7937 0 39468 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 189760 KiB
Current children cumulated memory: 158648 KiB
[startup+0.700345 s]
/proc/loadavg: 0.31 0.08 0.07 3/200 7627
/proc/meminfo: memFree=12332980/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=353448 memory=323120 CPUtime=0.69 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 80959 0 0 0 59 10 0 0 20 0 1 0 404363792 361930752 80780 33554432000 4194304 36700936 140721448423536 140721448423536 4308911 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 88362 80780 494 7937 0 80390 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 353448 KiB
Current children cumulated memory: 323120 KiB
[startup+1.50029 s]
/proc/loadavg: 0.29 0.08 0.07 3/200 7627
/proc/meminfo: memFree=12263884/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=353580 memory=323384 CPUtime=1.49 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 80977 0 0 0 139 10 0 0 20 0 1 0 404363792 362065920 80846 33554432000 4194304 36700936 140721448423536 140721448422520 4313843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 88395 80846 504 7937 0 80423 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 353580 KiB
Current children cumulated memory: 323384 KiB
[startup+3.10939 s]
/proc/loadavg: 0.29 0.08 0.07 3/200 7627
/proc/meminfo: memFree=12262860/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=353712 memory=323584 CPUtime=3.1 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 83300 0 0 0 300 10 0 0 20 0 1 0 404363792 362201088 80896 33554432000 4194304 36700936 140721448423536 140721448421928 4309037 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 88428 80896 504 7937 0 80456 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 353712 KiB
Current children cumulated memory: 323584 KiB
[startup+6.30034 s]
/proc/loadavg: 0.50 0.13 0.08 3/199 7627
/proc/meminfo: memFree=12233876/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=354108 memory=323940 CPUtime=6.28 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 91623 0 0 0 618 10 0 0 20 0 1 0 404363792 362606592 80985 33554432000 4194304 36700936 140721448423536 140721448421928 4308932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 88527 80985 504 7937 0 80555 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 354108 KiB
Current children cumulated memory: 323940 KiB
[startup+12.7003 s]
/proc/loadavg: 0.62 0.16 0.09 3/199 7627
/proc/meminfo: memFree=12257808/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=354768 memory=324656 CPUtime=12.69 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 107874 0 0 0 1258 11 0 0 20 0 1 0 404363792 363282432 81164 33554432000 4194304 36700936 140721448423536 140721448421928 4314085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 88692 81164 504 7937 0 80720 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 354768 KiB
Current children cumulated memory: 324656 KiB
[startup+25.5003 s]
/proc/loadavg: 0.83 0.22 0.11 3/199 7627
/proc/meminfo: memFree=12230528/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=382464 memory=352068 CPUtime=25.49 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 146938 0 0 0 2535 14 0 0 20 0 1 0 404363792 391643136 88017 33554432000 4194304 36700936 140721448423536 140721448422584 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 95616 88017 544 7937 0 87644 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 382464 KiB
Current children cumulated memory: 352068 KiB
[startup+51.109 s]
/proc/loadavg: 1.29 0.39 0.17 3/199 7629
/proc/meminfo: memFree=12224228/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=388036 memory=357608 CPUtime=51.1 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 161274 0 0 0 5095 15 0 0 20 0 1 0 404363792 397348864 89402 33554432000 4194304 36700936 140721448423536 140721448422584 4620290 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 97009 89402 544 7937 0 89037 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 388036 KiB
Current children cumulated memory: 357608 KiB
[startup+102.3 s]
/proc/loadavg: 1.69 0.64 0.27 3/199 7694
/proc/meminfo: memFree=11615876/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=412236 memory=381824 CPUtime=102.29 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 184940 0 0 0 10210 19 0 0 20 0 1 0 404363792 422129664 95456 33554432000 4194304 36700936 140721448423536 140721448422584 4620271 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 103059 95456 544 7937 0 95087 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 412236 KiB
Current children cumulated memory: 381824 KiB
[startup+162.3 s]
/proc/loadavg: 1.89 0.89 0.38 3/199 7698
/proc/meminfo: memFree=11616100/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=412236 memory=381824 CPUtime=162.26 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 191186 0 0 0 16207 19 0 0 20 0 1 0 404363792 422129664 95456 33554432000 4194304 36700936 140721448423536 140721448422584 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 103059 95456 544 7937 0 95087 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 412236 KiB
Current children cumulated memory: 381824 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 1.10 0.48 3/200 7704
/proc/meminfo: memFree=11611348/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=417132 memory=386772 CPUtime=222.25 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 200133 0 0 0 22205 20 0 0 20 0 1 0 404363792 427143168 96693 33554432000 4194304 36700936 140721448423536 140721448422584 4313712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 104283 96693 544 7937 0 96311 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 417132 KiB
Current children cumulated memory: 386772 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.27 0.58 3/199 7708
/proc/meminfo: memFree=11587972/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440376 memory=410424 CPUtime=282.25 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 213282 0 0 0 28203 22 0 0 20 0 1 0 404363792 450945024 102606 33554432000 4194304 36700936 140721448423536 140721448422584 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110094 102606 544 7937 0 102122 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 440376 KiB
Current children cumulated memory: 410424 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.40 0.67 3/200 7720
/proc/meminfo: memFree=11587952/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440376 memory=410424 CPUtime=342.25 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 214590 0 0 0 34203 22 0 0 20 0 1 0 404363792 450945024 102606 33554432000 4194304 36700936 140721448423536 140721448422584 4620285 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110094 102606 544 7937 0 102122 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 440376 KiB
Current children cumulated memory: 410424 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.75 3/201 7726
/proc/meminfo: memFree=11588372/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440376 memory=410424 CPUtime=402.25 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 215023 0 0 0 40202 23 0 0 20 0 1 0 404363792 450945024 102606 33554432000 4194304 36700936 140721448423536 140721448422584 6947475 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110094 102606 544 7937 0 102122 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 440376 KiB
Current children cumulated memory: 410424 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.83 3/200 7730
/proc/meminfo: memFree=11588360/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440376 memory=410424 CPUtime=462.25 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 215460 0 0 0 46201 24 0 0 20 0 1 0 404363792 450945024 102606 33554432000 4194304 36700936 140721448423536 140721448422584 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110094 102606 544 7937 0 102122 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 440376 KiB
Current children cumulated memory: 410424 KiB
################
# More data... #
################
Current children cumulated memory: 410500 KiB
[startup+942.3 s]
/proc/loadavg: 2.03 2.01 1.35 3/200 7775
/proc/meminfo: memFree=11585364/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410500 CPUtime=942.23 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 220738 0 0 0 94194 29 0 0 20 0 1 0 404363792 451080192 102625 33554432000 4194304 36700936 140721448423536 140721448422584 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102625 544 7937 0 102155 0
Current children cumulated CPU time: 942.23 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410500 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.39 3/199 7779
/proc/meminfo: memFree=11587536/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410500 CPUtime=1002.23 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 221280 0 0 0 100193 30 0 0 20 0 1 0 404363792 451080192 102625 33554432000 4194304 36700936 140721448423536 140721448422584 4620271 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102625 544 7937 0 102155 0
Current children cumulated CPU time: 1002.23 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410500 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.43 3/199 7783
/proc/meminfo: memFree=11586944/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410500 CPUtime=1062.22 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 221817 0 0 0 106191 31 0 0 20 0 1 0 404363792 451080192 102625 33554432000 4194304 36700936 140721448423536 140721448422584 4313715 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102625 544 7937 0 102155 0
Current children cumulated CPU time: 1062.22 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410500 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.46 3/200 7789
/proc/meminfo: memFree=11586288/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1122.22 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 222562 0 0 0 112187 35 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 8340231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1122.22 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.50 3/199 7793
/proc/meminfo: memFree=11586692/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1182.22 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 223106 0 0 0 118185 37 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1182.22 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.53 3/199 7798
/proc/meminfo: memFree=11587528/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1242.21 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 223832 0 0 0 124182 39 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1242.21 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.56 3/200 7804
/proc/meminfo: memFree=11586468/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1302.21 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224346 0 0 0 130181 40 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1302.21 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1318.79 s]
# the end of solver process 7616 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1318.29 s, system=0.420982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.01 1.56 3/200 7804
/proc/meminfo: memFree=11586468/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1305.51 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224361 0 0 0 130511 40 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 6947479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1305.51 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1312 s]*
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11586296/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1311.92 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224365 0 0 0 131152 40 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1311.92 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1315.2 s]
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11586296/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1315.12 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224503 0 0 0 131471 41 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1315.12 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1316.8 s]
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11585924/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1316.72 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224503 0 0 0 131631 41 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620304 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1316.72 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1317.6 s]
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11586048/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1317.52 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224503 0 0 0 131711 41 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1317.52 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1318.4 s]
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11586296/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1318.32 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224503 0 0 0 131791 41 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1318.32 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1318.6 s]
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11586296/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=440508 memory=410616 CPUtime=1318.52 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 224503 0 0 0 131811 41 0 0 20 0 1 0 404363792 451080192 102654 33554432000 4194304 36700936 140721448423536 140721448422584 4620267 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 110127 102654 544 7937 0 102155 0
Current children cumulated CPU time: 1318.52 s
Current children cumulated vsize: 440508 KiB
Current children cumulated memory: 410616 KiB
[startup+1318.7 s]
/proc/loadavg: 2.00 2.01 1.56 3/199 7804
/proc/meminfo: memFree=11586296/32770624 swapFree=67036636/67108860
[pid=7616] ppid=7613 vsize=357384 memory=327504 CPUtime=1318.61 cores=0,2,4,6
/proc/7616/stat : 7616 (BTD) R 7613 7616 7440 0 -1 4202496 225002 0 0 0 131820 41 0 0 20 0 1 0 404363792 365961216 81876 33554432000 4194304 36700936 140721448423536 140721448422584 7960179 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 62205952 140721448432680 140721448432756 140721448432756 140721448435665 0
/proc/7616/statm: 89346 81876 547 7937 0 81374 0
Current children cumulated CPU time: 1318.61 s
Current children cumulated vsize: 357384 KiB
Current children cumulated memory: 327504 KiB
Child status: 0
Real time (s): 1318.79
CPU time (s): 1318.71
CPU user time (s): 1318.29
CPU system time (s): 0.420982
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 440508
Max. memory (cumulated for all children) (KiB): 410616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1318.29
system time used= 0.420982
maximum resident set size= 410616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225008
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= 31
involuntary context switches= 378
# summary of solver processes directly reported to runsolver:
# pid: 7616
# total CPU time (s): 1318.71
# total CPU user time (s): 1318.29
# total CPU system time (s): 0.420982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.03534 second user time and 8.39851 second system time
The end