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 (13129 MiB free)
memory of node 1: 16384 MiB (13574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300874-1532854204/watcher-4300874-1532854204 -o /tmp/evaluation-result-4300874-1532854204/solver-4300874-1532854204 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532843210-5186 --watchdog 2580 miniBTD 12 2520 HOME/instance-4300874-1532854204.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
solver pid=6748, runsolver pid=6745
Current StackSize limit: 8192 KiB
[startup+0.101024 s]*
/proc/loadavg: 2.01 2.02 2.05 4/192 6749
/proc/meminfo: memFree=27343308/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=26924 memory=3460 CPUtime=0.1 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1091 0 0 0 10 0 0 0 20 0 1 0 102983559 27570176 865 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6731 865 653 252 0 277 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3460 KiB
[startup+0.209415 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 6749
/proc/meminfo: memFree=27343208/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=26924 memory=3724 CPUtime=0.2 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1097 0 0 0 20 0 0 0 20 0 1 0 102983559 27570176 931 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6731 931 678 252 0 277 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3724 KiB
[startup+0.308915 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 6749
/proc/meminfo: memFree=27343208/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=26924 memory=3724 CPUtime=0.3 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1100 0 0 0 30 0 0 0 20 0 1 0 102983559 27570176 931 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6731 931 678 252 0 277 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3724 KiB
[startup+0.700204 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 6749
/proc/meminfo: memFree=27343208/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27056 memory=3724 CPUtime=0.68 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1113 0 0 0 66 2 0 0 20 0 1 0 102983559 27705344 931 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6764 931 678 252 0 310 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3724 KiB
[startup+1.50025 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 6749
/proc/meminfo: memFree=27343208/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27056 memory=3724 CPUtime=1.48 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1131 0 0 0 144 4 0 0 20 0 1 0 102983559 27705344 931 33554432000 4194304 5224696 140734291674688 140734291673704 4634338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6764 931 678 252 0 310 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3724 KiB
[startup+3.10915 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 6749
/proc/meminfo: memFree=27343184/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27188 memory=3904 CPUtime=3.1 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1332 0 0 0 299 11 0 0 20 0 1 0 102983559 27840512 976 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6797 976 678 252 0 343 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27188 KiB
Current children cumulated memory: 3904 KiB
[startup+6.30032 s]
/proc/loadavg: 2.09 2.03 2.05 3/192 6749
/proc/meminfo: memFree=27343076/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27188 memory=3984 CPUtime=6.29 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1546 0 0 0 602 27 0 0 20 0 1 0 102983559 27840512 996 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6797 996 679 252 0 343 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27188 KiB
Current children cumulated memory: 3984 KiB
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 6749
/proc/meminfo: memFree=27343332/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27320 memory=4044 CPUtime=12.68 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 1770 0 0 0 1210 58 0 0 20 0 1 0 102983559 27975680 1011 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6830 1011 679 252 0 376 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27320 KiB
Current children cumulated memory: 4044 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 6749
/proc/meminfo: memFree=27343208/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27320 memory=4108 CPUtime=25.48 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 2203 0 0 0 2425 123 0 0 20 0 1 0 102983559 27975680 1027 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6830 1027 679 252 0 376 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27320 KiB
Current children cumulated memory: 4108 KiB
[startup+51.1093 s]
/proc/loadavg: 1.97 2.01 2.04 3/192 6749
/proc/meminfo: memFree=27342960/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27452 memory=4180 CPUtime=51.1 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 2488 0 0 0 4857 253 0 0 20 0 1 0 102983559 28110848 1045 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6863 1045 679 252 0 409 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 4180 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/192 6751
/proc/meminfo: memFree=27342968/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27452 memory=4256 CPUtime=102.29 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 2770 0 0 0 9695 534 0 0 20 0 1 0 102983559 28110848 1064 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6863 1064 684 252 0 409 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 4256 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/192 6752
/proc/meminfo: memFree=27342888/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27452 memory=4320 CPUtime=162.29 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 3053 0 0 0 15357 872 0 0 20 0 1 0 102983559 28110848 1080 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6863 1080 684 252 0 409 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 4320 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 6753
/proc/meminfo: memFree=27342484/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27584 memory=4348 CPUtime=222.29 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 3316 0 0 0 21048 1181 0 0 20 0 1 0 102983559 28246016 1087 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6896 1087 684 252 0 442 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4348 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 6815
/proc/meminfo: memFree=27342268/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27584 memory=4368 CPUtime=282.3 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 3347 0 0 0 26732 1498 0 0 20 0 1 0 102983559 28246016 1092 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6896 1092 684 252 0 442 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4368 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 6817
/proc/meminfo: memFree=27341524/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27584 memory=4376 CPUtime=342.3 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 3534 0 0 0 32440 1790 0 0 20 0 1 0 102983559 28246016 1094 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6896 1094 684 252 0 442 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4376 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 6818
/proc/meminfo: memFree=27341416/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27584 memory=4384 CPUtime=402.31 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 3560 0 0 0 38107 2124 0 0 20 0 1 0 102983559 28246016 1096 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6896 1096 684 252 0 442 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4384 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 6819
/proc/meminfo: memFree=27341652/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27584 memory=4412 CPUtime=462.31 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 3744 0 0 0 43746 2485 0 0 20 0 1 0 102983559 28246016 1103 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6896 1103 684 252 0 442 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4412 KiB
################
# More data... #
################
Current children cumulated memory: 4584 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6896
/proc/meminfo: memFree=27340996/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4584 CPUtime=2022.44 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 6674 0 0 0 191276 10968 0 0 20 0 1 0 102983559 28381184 1146 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1146 684 252 0 475 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4584 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6897
/proc/meminfo: memFree=27340984/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4584 CPUtime=2082.44 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 6779 0 0 0 196976 11268 0 0 20 0 1 0 102983559 28381184 1146 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1146 684 252 0 475 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4584 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6899
/proc/meminfo: memFree=27340596/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4588 CPUtime=2142.45 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 6988 0 0 0 202671 11574 0 0 20 0 1 0 102983559 28381184 1147 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1147 684 252 0 475 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4588 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6901
/proc/meminfo: memFree=27340956/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4588 CPUtime=2202.46 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7012 0 0 0 208325 11921 0 0 20 0 1 0 102983559 28381184 1147 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1147 684 252 0 475 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4588 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/191 6902
/proc/meminfo: memFree=27340736/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4588 CPUtime=2262.46 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7179 0 0 0 213966 12280 0 0 20 0 1 0 102983559 28381184 1147 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1147 684 252 0 475 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4588 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/191 6904
/proc/meminfo: memFree=27341456/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4588 CPUtime=2322.46 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7219 0 0 0 219631 12615 0 0 20 0 1 0 102983559 28381184 1147 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1147 684 252 0 475 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4588 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 6905
/proc/meminfo: memFree=27341316/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2382.46 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7409 0 0 0 225309 12937 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6913
/proc/meminfo: memFree=27340548/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2442.47 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7416 0 0 0 231007 13240 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2442.47 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340528/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2502.48 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7664 0 0 0 236693 13555 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2502.48 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.82 s]
# the end of solver process 6748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2383.58 s, system=136.425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340404/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2508.98 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7679 0 0 0 237313 13585 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2508.98 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2515.2 s]
/proc/loadavg: 2.07 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340404/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2515.38 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7679 0 0 0 237921 13617 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2515.38 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2518.4 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340404/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2518.58 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7679 0 0 0 238226 13632 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2518.58 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.2 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340404/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2519.38 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7679 0 0 0 238300 13638 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2519.38 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.6 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340404/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2519.78 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7679 0 0 0 238337 13641 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.8 s]
/proc/loadavg: 2.06 2.04 2.05 3/191 6915
/proc/meminfo: memFree=27340404/32770624 swapFree=67108856/67108860
[pid=6748] ppid=6745 vsize=27716 memory=4600 CPUtime=2519.98 cores=0,2,4,6
/proc/6748/stat : 6748 (miniBTD) R 6745 6748 5155 0 -1 4202496 7679 0 0 0 238356 13642 0 0 20 0 1 0 102983559 28381184 1150 33554432000 4194304 5224696 140734291674688 140734291673704 139656005874044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 32456704 140734291678388 140734291678471 140734291678471 140734291681229 0
/proc/6748/statm: 6929 1150 684 252 0 475 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4600 KiB
Child status: 0
Real time (s): 2519.82
CPU time (s): 2520.01
CPU user time (s): 2383.58
CPU system time (s): 136.425
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27716
Max. memory (cumulated for all children) (KiB): 4600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2383.58
system time used= 136.425
maximum resident set size= 4616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7847
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= 8
involuntary context switches= 854
# summary of solver processes directly reported to runsolver:
# pid: 6748
# total CPU time (s): 2520.01
# total CPU user time (s): 2383.58
# total CPU system time (s): 136.425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40333 second user time and 17.1836 second system time
The end