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 (11511 MiB free)
memory of node 1: 16384 MiB (15058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300942-1532852389/watcher-4300942-1532852389 -o /tmp/evaluation-result-4300942-1532852389/solver-4300942-1532852389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532844739-15066 --watchdog 2580 miniBTD 12 2520 HOME/instance-4300942-1532852389.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=15957, runsolver pid=15954
[startup+0.100135 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27199200/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=33980 memory=10588 CPUtime=0.1 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 2824 0 0 0 10 0 0 0 20 0 1 0 102802036 34795520 2647 33554432000 4194304 5224696 140736981244256 140736981241256 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8495 2647 651 252 0 2041 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33980 KiB
Current children cumulated memory: 10588 KiB
[startup+0.210262 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27199200/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34116 memory=10588 CPUtime=0.21 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 2865 0 0 0 21 0 0 0 20 0 1 0 102802036 34934784 2647 33554432000 4194304 5224696 140736981244256 140736981241256 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8529 2647 651 252 0 2075 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34116 KiB
Current children cumulated memory: 10588 KiB
[startup+0.30951 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27199200/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34116 memory=10588 CPUtime=0.3 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 2866 0 0 0 30 0 0 0 20 0 1 0 102802036 34934784 2647 33554432000 4194304 5224696 140736981244256 140736981241256 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8529 2647 651 252 0 2075 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34116 KiB
Current children cumulated memory: 10588 KiB
[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27199184/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34244 memory=10848 CPUtime=0.69 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 2875 0 0 0 69 0 0 0 20 0 1 0 102802036 35065856 2712 33554432000 4194304 5224696 140736981244256 140736981241256 4362999 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8561 2712 669 252 0 2107 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 10848 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27198812/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34244 memory=10848 CPUtime=1.48 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 2898 0 0 0 148 0 0 0 20 0 1 0 102802036 35065856 2712 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8561 2712 669 252 0 2107 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 10848 KiB
[startup+3.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27198704/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34376 memory=11000 CPUtime=3.1 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 3928 0 0 0 309 1 0 0 20 0 1 0 102802036 35201024 2750 33554432000 4194304 5224696 140736981244256 140736981243272 4634325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8594 2750 669 252 0 2140 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 34376 KiB
Current children cumulated memory: 11000 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 15958
/proc/meminfo: memFree=27197592/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34508 memory=11232 CPUtime=6.28 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 4988 0 0 0 625 3 0 0 20 0 1 0 102802036 35336192 2808 33554432000 4194304 5224696 140736981244256 140736981243272 4576464 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8627 2808 669 252 0 2173 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 11232 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 15966
/proc/meminfo: memFree=27197436/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34508 memory=11300 CPUtime=12.68 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 5519 0 0 0 1262 6 0 0 20 0 1 0 102802036 35336192 2825 33554432000 4194304 5224696 140736981244256 140736981243272 4261571 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8627 2825 669 252 0 2173 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 34508 KiB
Current children cumulated memory: 11300 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 15966
/proc/meminfo: memFree=27197808/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34640 memory=11436 CPUtime=25.48 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 6628 0 0 0 2538 10 0 0 20 0 1 0 102802036 35471360 2859 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8660 2859 671 252 0 2206 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 11436 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 15966
/proc/meminfo: memFree=27197856/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34772 memory=11536 CPUtime=51.09 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 7216 0 0 0 5090 19 0 0 20 0 1 0 102802036 35606528 2884 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8693 2884 671 252 0 2239 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 34772 KiB
Current children cumulated memory: 11536 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/193 15967
/proc/meminfo: memFree=27197980/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=34904 memory=11612 CPUtime=102.29 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 7841 0 0 0 10191 38 0 0 20 0 1 0 102802036 35741696 2903 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8726 2903 671 252 0 2272 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 34904 KiB
Current children cumulated memory: 11612 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/192 15968
/proc/meminfo: memFree=27197756/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35036 memory=11680 CPUtime=162.29 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 8476 0 0 0 16166 63 0 0 20 0 1 0 102802036 35876864 2920 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8759 2920 671 252 0 2305 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 11680 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/191 15969
/proc/meminfo: memFree=27197404/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35036 memory=11808 CPUtime=222.28 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 9084 0 0 0 22144 84 0 0 20 0 1 0 102802036 35876864 2952 33554432000 4194304 5224696 140736981244256 140736981243272 4634325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8759 2952 671 252 0 2305 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 11808 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 15970
/proc/meminfo: memFree=27197612/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35036 memory=11828 CPUtime=282.29 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 9677 0 0 0 28120 109 0 0 20 0 1 0 102802036 35876864 2957 33554432000 4194304 5224696 140736981244256 140736981243272 140069163020807 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8759 2957 671 252 0 2305 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 11828 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 15972
/proc/meminfo: memFree=27197764/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35036 memory=11836 CPUtime=342.29 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 10289 0 0 0 34102 127 0 0 20 0 1 0 102802036 35876864 2959 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8759 2959 671 252 0 2305 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 11836 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 15973
/proc/meminfo: memFree=27197516/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35036 memory=11848 CPUtime=402.29 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 10864 0 0 0 40083 146 0 0 20 0 1 0 102802036 35876864 2962 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8759 2962 671 252 0 2305 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 35036 KiB
Current children cumulated memory: 11848 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 15975
/proc/meminfo: memFree=27197616/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35168 memory=11852 CPUtime=462.29 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 11505 0 0 0 46055 174 0 0 20 0 1 0 102802036 36012032 2963 33554432000 4194304 5224696 140736981244256 140736981243272 4579263 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8792 2963 671 252 0 2338 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 35168 KiB
Current children cumulated memory: 11852 KiB
################
# More data... #
################
Current children cumulated memory: 12040 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 16030
/proc/meminfo: memFree=27196448/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12044 CPUtime=2082.32 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 27656 0 0 0 207580 652 0 0 20 0 1 0 102802036 36143104 3011 33554432000 4194304 5224696 140736981244256 140736981243272 4560947 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3011 671 252 0 2370 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12044 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 16032
/proc/meminfo: memFree=27196980/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12044 CPUtime=2142.33 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 28248 0 0 0 213561 672 0 0 20 0 1 0 102802036 36143104 3011 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3011 671 252 0 2370 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12044 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 16033
/proc/meminfo: memFree=27196856/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12044 CPUtime=2202.32 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 28839 0 0 0 219542 690 0 0 20 0 1 0 102802036 36143104 3011 33554432000 4194304 5224696 140736981244256 140736981243272 4579263 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3011 671 252 0 2370 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12044 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 16034
/proc/meminfo: memFree=27196848/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12044 CPUtime=2262.33 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 29438 0 0 0 225523 710 0 0 20 0 1 0 102802036 36143104 3011 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3011 671 252 0 2370 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12044 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 16037
/proc/meminfo: memFree=27196596/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12048 CPUtime=2322.33 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 30031 0 0 0 231502 731 0 0 20 0 1 0 102802036 36143104 3012 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3012 671 252 0 2370 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12048 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 16038
/proc/meminfo: memFree=27196320/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12048 CPUtime=2382.33 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 30622 0 0 0 237483 750 0 0 20 0 1 0 102802036 36143104 3012 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3012 671 252 0 2370 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12048 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16108
/proc/meminfo: memFree=27197772/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12048 CPUtime=2442.33 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 31213 0 0 0 243466 767 0 0 20 0 1 0 102802036 36143104 3012 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3012 671 252 0 2370 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12048 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27197896/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12052 CPUtime=2502.33 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 31811 0 0 0 249448 785 0 0 20 0 1 0 102802036 36143104 3013 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3013 671 252 0 2370 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12052 KiB
[startup+2520 s]
# the end of solver process 15957 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.13 s, system=7.90113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27197904/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12052 CPUtime=2508.83 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 31812 0 0 0 250096 787 0 0 20 0 1 0 102802036 36143104 3013 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3013 671 252 0 2370 0
Current children cumulated CPU time: 2508.83 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12052 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27197904/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12052 CPUtime=2515.23 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 31812 0 0 0 250735 788 0 0 20 0 1 0 102802036 36143104 3013 33554432000 4194304 5224696 140736981244256 140736981243272 4362962 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3013 671 252 0 2370 0
Current children cumulated CPU time: 2515.23 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12052 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27197904/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12056 CPUtime=2518.43 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 32402 0 0 0 251054 789 0 0 20 0 1 0 102802036 36143104 3014 33554432000 4194304 5224696 140736981244256 140736981243272 4579280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3014 671 252 0 2370 0
Current children cumulated CPU time: 2518.43 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12056 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27198028/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12056 CPUtime=2519.23 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 32403 0 0 0 251133 790 0 0 20 0 1 0 102802036 36143104 3014 33554432000 4194304 5224696 140736981244256 140736981243272 4579296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3014 671 252 0 2370 0
Current children cumulated CPU time: 2519.23 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12056 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27198028/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12056 CPUtime=2519.63 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 32403 0 0 0 251173 790 0 0 20 0 1 0 102802036 36143104 3014 33554432000 4194304 5224696 140736981244256 140736981243272 140069163020784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3014 671 252 0 2370 0
Current children cumulated CPU time: 2519.63 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12056 KiB
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27198028/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12056 CPUtime=2519.83 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 32403 0 0 0 251193 790 0 0 20 0 1 0 102802036 36143104 3014 33554432000 4194304 5224696 140736981244256 140736981243272 4579267 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3014 671 252 0 2370 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12056 KiB
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/192 16131
/proc/meminfo: memFree=27198028/32770624 swapFree=67108860/67108860
[pid=15957] ppid=15954 vsize=35296 memory=12056 CPUtime=2519.93 cores=1,3,5,7
/proc/15957/stat : 15957 (miniBTD) R 15954 15957 15034 0 -1 4202496 32403 0 0 0 251203 790 0 0 20 0 1 0 102802036 36143104 3014 33554432000 4194304 5224696 140736981244256 140736981243272 140069156991356 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 21196800 140736981247156 140736981247239 140736981247239 140736981249997 0
/proc/15957/statm: 8824 3014 671 252 0 2370 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 35296 KiB
Current children cumulated memory: 12056 KiB
Child status: 0
Real time (s): 2520
CPU time (s): 2520.04
CPU user time (s): 2512.13
CPU system time (s): 7.90113
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 35296
Max. memory (cumulated for all children) (KiB): 12056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.13
system time used= 7.90113
maximum resident set size= 12080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32576
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= 11
involuntary context switches= 1295
# summary of solver processes directly reported to runsolver:
# pid: 15957
# total CPU time (s): 2520.04
# total CPU user time (s): 2512.13
# total CPU system time (s): 7.90113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.50318 second user time and 16.764 second system time
The end