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 (8190 MiB free)
memory of node 1: 16384 MiB (14786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301100-1532846865/watcher-4301100-1532846865 -o /tmp/evaluation-result-4301100-1532846865/solver-4301100-1532846865 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532844344-8494 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301100-1532846865.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=8784, runsolver pid=8781
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23525744/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4032 CPUtime=0.1 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1234 0 0 0 10 0 0 0 20 0 1 0 102249705 28254208 1008 33554432000 4194304 5224696 140721253708432 140721253705432 4363007 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1008 647 252 0 444 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4032 KiB
[startup+0.209398 s]*
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23525744/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4032 CPUtime=0.21 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1234 0 0 0 21 0 0 0 20 0 1 0 102249705 28254208 1008 33554432000 4194304 5224696 140721253708432 140721253705432 140624764670332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1008 647 252 0 444 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4032 KiB
[startup+0.308784 s]*
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23525744/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4296 CPUtime=0.31 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1240 0 0 0 31 0 0 0 20 0 1 0 102249705 28254208 1074 33554432000 4194304 5224696 140721253708432 140721253705432 4300876 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1074 661 252 0 444 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4296 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23525480/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4296 CPUtime=0.69 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1241 0 0 0 69 0 0 0 20 0 1 0 102249705 28254208 1074 33554432000 4194304 5224696 140721253708432 140721253707448 4363224 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1074 661 252 0 444 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4296 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23525500/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4296 CPUtime=1.49 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1244 0 0 0 149 0 0 0 20 0 1 0 102249705 28254208 1074 33554432000 4194304 5224696 140721253708432 140721253707448 4305036 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1074 661 252 0 444 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4296 KiB
[startup+3.10889 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23525556/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4332 CPUtime=3.09 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1477 0 0 0 309 0 0 0 20 0 1 0 102249705 28254208 1083 33554432000 4194304 5224696 140721253708432 140721253707448 140624764670332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1083 661 252 0 444 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4332 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23524704/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27592 memory=4352 CPUtime=6.29 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1720 0 0 0 628 1 0 0 20 0 1 0 102249705 28254208 1088 33554432000 4194304 5224696 140721253708432 140721253707448 4304977 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6898 1088 661 252 0 444 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27592 KiB
Current children cumulated memory: 4352 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23524704/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4372 CPUtime=12.69 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 1966 0 0 0 1267 2 0 0 20 0 1 0 102249705 28389376 1093 33554432000 4194304 5224696 140721253708432 140721253707448 4300892 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1093 661 252 0 477 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4372 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23524952/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4408 CPUtime=25.49 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 2458 0 0 0 2545 4 0 0 20 0 1 0 102249705 28389376 1102 33554432000 4194304 5224696 140721253708432 140721253707448 4305086 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1102 661 252 0 477 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4408 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8785
/proc/meminfo: memFree=23524948/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4424 CPUtime=51.1 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 2720 0 0 0 5103 7 0 0 20 0 1 0 102249705 28389376 1106 33554432000 4194304 5224696 140721253708432 140721253707448 140624764670332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1106 661 252 0 477 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4424 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/187 8786
/proc/meminfo: memFree=23524980/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4444 CPUtime=102.3 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 2984 0 0 0 10216 14 0 0 20 0 1 0 102249705 28389376 1111 33554432000 4194304 5224696 140721253708432 140721253707448 4362864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1111 661 252 0 477 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4444 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/188 8795
/proc/meminfo: memFree=23523388/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4472 CPUtime=162.29 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 3249 0 0 0 16208 21 0 0 20 0 1 0 102249705 28389376 1118 33554432000 4194304 5224696 140721253708432 140721253707448 4300979 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1118 661 252 0 477 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4472 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/188 8796
/proc/meminfo: memFree=23523368/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4488 CPUtime=222.3 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 3518 0 0 0 22201 29 0 0 20 0 1 0 102249705 28389376 1122 33554432000 4194304 5224696 140721253708432 140721253707448 4363012 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1122 661 252 0 477 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4488 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/188 8797
/proc/meminfo: memFree=23523244/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27724 memory=4496 CPUtime=282.3 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 3792 0 0 0 28192 38 0 0 20 0 1 0 102249705 28389376 1124 33554432000 4194304 5224696 140721253708432 140721253707448 4363224 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6931 1124 661 252 0 477 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27724 KiB
Current children cumulated memory: 4496 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/188 8798
/proc/meminfo: memFree=23523368/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4504 CPUtime=342.3 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 4069 0 0 0 34184 46 0 0 20 0 1 0 102249705 28524544 1126 33554432000 4194304 5224696 140721253708432 140721253707448 4363224 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1126 661 252 0 510 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4504 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 8799
/proc/meminfo: memFree=23523244/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4512 CPUtime=402.31 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 4335 0 0 0 40178 53 0 0 20 0 1 0 102249705 28524544 1128 33554432000 4194304 5224696 140721253708432 140721253707448 140624764670332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1128 661 252 0 510 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4512 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8801
/proc/meminfo: memFree=23523092/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4516 CPUtime=462.3 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 4600 0 0 0 46172 58 0 0 20 0 1 0 102249705 28524544 1129 33554432000 4194304 5224696 140721253708432 140721253707448 4363306 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1129 661 252 0 510 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4516 KiB
################
# More data... #
################
Current children cumulated memory: 4580 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/189 8876
/proc/meminfo: memFree=23523596/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4588 CPUtime=2082.36 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 11407 0 0 0 207938 298 0 0 20 0 1 0 102249705 28524544 1147 33554432000 4194304 5224696 140721253708432 140721253707448 4300843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1147 661 252 0 510 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4588 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/189 8877
/proc/meminfo: memFree=23523432/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4596 CPUtime=2142.36 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 11682 0 0 0 213932 304 0 0 20 0 1 0 102249705 28524544 1149 33554432000 4194304 5224696 140721253708432 140721253707448 4363250 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1149 661 252 0 510 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4596 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/189 8878
/proc/meminfo: memFree=23524060/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4596 CPUtime=2202.37 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 11956 0 0 0 219926 311 0 0 20 0 1 0 102249705 28524544 1149 33554432000 4194304 5224696 140721253708432 140721253707448 4305708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1149 661 252 0 510 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4596 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8880
/proc/meminfo: memFree=23523232/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4596 CPUtime=2262.37 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 12223 0 0 0 225921 316 0 0 20 0 1 0 102249705 28524544 1149 33554432000 4194304 5224696 140721253708432 140721253707448 4300896 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1149 661 252 0 510 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4596 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8881
/proc/meminfo: memFree=23523644/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4596 CPUtime=2322.37 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 12494 0 0 0 231916 321 0 0 20 0 1 0 102249705 28524544 1149 33554432000 4194304 5224696 140721253708432 140721253707448 4305676 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1149 661 252 0 510 0
Current children cumulated CPU time: 2322.37 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4596 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8882
/proc/meminfo: memFree=23523892/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4596 CPUtime=2382.37 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 12768 0 0 0 237909 328 0 0 20 0 1 0 102249705 28524544 1149 33554432000 4194304 5224696 140721253708432 140721253707448 4443872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1149 661 252 0 510 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4596 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8884
/proc/meminfo: memFree=23524204/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4596 CPUtime=2442.37 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13049 0 0 0 243900 337 0 0 20 0 1 0 102249705 28524544 1149 33554432000 4194304 5224696 140721253708432 140721253707448 4305658 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1149 661 252 0 510 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4596 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524064/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2502.38 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13327 0 0 0 249881 357 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4363224 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2502.38 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.92 s]
# the end of solver process 8784 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.37 s, system=3.63213 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524064/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2508.87 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13327 0 0 0 250528 359 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4305731 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2508.87 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524188/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2515.28 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13330 0 0 0 251166 362 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4363241 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2515.28 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524188/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2518.48 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13594 0 0 0 251485 363 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4305800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2518.48 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524188/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2519.28 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13594 0 0 0 251565 363 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4363245 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2519.28 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524188/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2519.68 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13594 0 0 0 251605 363 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4363224 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2519.68 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.8 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524188/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2519.88 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13594 0 0 0 251625 363 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 4305325 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
[startup+2519.9 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 8885
/proc/meminfo: memFree=23524188/32770624 swapFree=67108404/67108860
[pid=8784] ppid=8781 vsize=27856 memory=4600 CPUtime=2519.98 cores=0,2,4,6
/proc/8784/stat : 8784 (miniBTD) R 8781 8784 8463 0 -1 4202496 13594 0 0 0 251635 363 0 0 20 0 1 0 102249705 28524544 1150 33554432000 4194304 5224696 140721253708432 140721253707448 140624764670332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 24465408 140721253717173 140721253717255 140721253717255 140721253720013 0
/proc/8784/statm: 6964 1150 661 252 0 510 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 27856 KiB
Current children cumulated memory: 4600 KiB
Child status: 0
Real time (s): 2519.92
CPU time (s): 2520
CPU user time (s): 2516.37
CPU system time (s): 3.63213
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27856
Max. memory (cumulated for all children) (KiB): 4600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.63213
maximum resident set size= 4624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13765
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= 6
involuntary context switches= 816
# summary of solver processes directly reported to runsolver:
# pid: 8784
# total CPU time (s): 2520
# total CPU user time (s): 2516.37
# total CPU system time (s): 3.63213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.06222 second user time and 15.6566 second system time
The end