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 (12507 MiB free)
memory of node 1: 16384 MiB (14693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300878-1532855610/watcher-4300878-1532855610 -o /tmp/evaluation-result-4300878-1532855610/solver-4300878-1532855610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532843003-16947 --watchdog 2580 miniBTD 12 2520 HOME/instance-4300878-1532855610.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=18245, runsolver pid=18242
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18246
/proc/meminfo: memFree=27851860/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27452 memory=3988 CPUtime=0.1 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1216 0 0 0 10 0 0 0 20 0 1 0 103124227 28110848 997 33554432000 4194304 5224696 140723535133232 140723535130232 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6863 997 661 252 0 409 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 3988 KiB
[startup+0.209341 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18246
/proc/meminfo: memFree=27851860/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27452 memory=3988 CPUtime=0.21 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1222 0 0 0 21 0 0 0 20 0 1 0 103124227 28110848 997 33554432000 4194304 5224696 140723535133232 140723535130232 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6863 997 661 252 0 409 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 3988 KiB
[startup+0.308781 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18246
/proc/meminfo: memFree=27851860/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27452 memory=4252 CPUtime=0.31 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1227 0 0 0 31 0 0 0 20 0 1 0 103124227 28110848 1063 33554432000 4194304 5224696 140723535133232 140723535130232 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6863 1063 679 252 0 409 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 4252 KiB
[startup+0.700268 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18246
/proc/meminfo: memFree=27851480/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27452 memory=4252 CPUtime=0.69 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1240 0 0 0 68 1 0 0 20 0 1 0 103124227 28110848 1063 33554432000 4194304 5224696 140723535133232 140723535132248 4634366 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6863 1063 679 252 0 409 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27452 KiB
Current children cumulated memory: 4252 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18246
/proc/meminfo: memFree=27851480/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27584 memory=4252 CPUtime=1.49 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1257 0 0 0 147 2 0 0 20 0 1 0 103124227 28246016 1063 33554432000 4194304 5224696 140723535133232 140723535132248 4568766 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6896 1063 679 252 0 442 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4252 KiB
[startup+3.10904 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 18336
/proc/meminfo: memFree=27997732/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27584 memory=4404 CPUtime=3.1 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1507 0 0 0 305 5 0 0 20 0 1 0 103124227 28246016 1101 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6896 1101 679 252 0 442 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27584 KiB
Current children cumulated memory: 4404 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18368
/proc/meminfo: memFree=28009724/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27716 memory=4468 CPUtime=6.29 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 1786 0 0 0 618 11 0 0 20 0 1 0 103124227 28381184 1117 33554432000 4194304 5224696 140723535133232 140723535132248 4566303 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6929 1117 679 252 0 475 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 4468 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18368
/proc/meminfo: memFree=28009444/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27848 memory=4632 CPUtime=12.69 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 2103 0 0 0 1242 27 0 0 20 0 1 0 103124227 28516352 1158 33554432000 4194304 5224696 140723535133232 140723535132248 4566244 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6962 1158 679 252 0 508 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27848 KiB
Current children cumulated memory: 4632 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18368
/proc/meminfo: memFree=28009072/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=27980 memory=4804 CPUtime=25.49 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 2772 0 0 0 2489 60 0 0 20 0 1 0 103124227 28651520 1201 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 6995 1201 679 252 0 541 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27980 KiB
Current children cumulated memory: 4804 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18368
/proc/meminfo: memFree=28008832/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28112 memory=4864 CPUtime=51.09 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 3061 0 0 0 4975 134 0 0 20 0 1 0 103124227 28786688 1216 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7028 1216 679 252 0 574 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28112 KiB
Current children cumulated memory: 4864 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18369
/proc/meminfo: memFree=28008600/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28244 memory=5004 CPUtime=102.28 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 3538 0 0 0 9954 274 0 0 20 0 1 0 103124227 28921856 1251 33554432000 4194304 5224696 140723535133232 140723535132248 4257561 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7061 1251 684 252 0 607 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28244 KiB
Current children cumulated memory: 5004 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18370
/proc/meminfo: memFree=28008468/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28244 memory=5104 CPUtime=162.28 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 3962 0 0 0 15768 460 0 0 20 0 1 0 103124227 28921856 1276 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7061 1276 684 252 0 607 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28244 KiB
Current children cumulated memory: 5104 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18371
/proc/meminfo: memFree=28008828/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28376 memory=5132 CPUtime=222.28 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 4379 0 0 0 21589 639 0 0 20 0 1 0 103124227 29057024 1283 33554432000 4194304 5224696 140723535133232 140723535132248 4634382 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7094 1283 684 252 0 640 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28376 KiB
Current children cumulated memory: 5132 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18372
/proc/meminfo: memFree=28008440/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28376 memory=5192 CPUtime=282.28 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 4801 0 0 0 27411 817 0 0 20 0 1 0 103124227 29057024 1298 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7094 1298 684 252 0 640 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28376 KiB
Current children cumulated memory: 5192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18373
/proc/meminfo: memFree=28008208/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28376 memory=5220 CPUtime=342.27 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 5203 0 0 0 33233 994 0 0 20 0 1 0 103124227 29057024 1305 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7094 1305 684 252 0 640 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 28376 KiB
Current children cumulated memory: 5220 KiB
[startup+402.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/187 18381
/proc/meminfo: memFree=28007440/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28376 memory=5252 CPUtime=402.27 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 5670 0 0 0 39055 1172 0 0 20 0 1 0 103124227 29057024 1313 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7094 1313 684 252 0 640 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 28376 KiB
Current children cumulated memory: 5252 KiB
[startup+462.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/187 18382
/proc/meminfo: memFree=28007936/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28508 memory=5276 CPUtime=462.27 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 6105 0 0 0 44871 1356 0 0 20 0 1 0 103124227 29192192 1319 33554432000 4194304 5224696 140723535133232 140723535132248 4634377 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7127 1319 684 252 0 673 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 28508 KiB
Current children cumulated memory: 5276 KiB
################
# More data... #
################
/proc/18245/statm: 7193 1396 684 252 0 739 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5584 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18423
/proc/meminfo: memFree=28007352/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5584 CPUtime=1782.22 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 12941 0 0 0 171859 6363 0 0 20 0 1 0 103124227 29462528 1396 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1396 684 252 0 739 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5584 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18424
/proc/meminfo: memFree=28007708/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5596 CPUtime=1842.22 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 13271 0 0 0 177624 6598 0 0 20 0 1 0 103124227 29462528 1399 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1399 684 252 0 739 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5596 KiB
[startup+1902.3 s]
/proc/loadavg: 2.20 2.06 2.06 3/187 18425
/proc/meminfo: memFree=28007608/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5596 CPUtime=1902.22 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 13524 0 0 0 183378 6844 0 0 20 0 1 0 103124227 29462528 1399 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1399 684 252 0 739 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5596 KiB
[startup+1962.3 s]
/proc/loadavg: 2.36 2.15 2.09 3/187 18426
/proc/meminfo: memFree=28007484/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5616 CPUtime=1962.21 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 13830 0 0 0 189132 7089 0 0 20 0 1 0 103124227 29462528 1404 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1404 684 252 0 739 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5616 KiB
[startup+2022.3 s]
/proc/loadavg: 2.13 2.12 2.08 3/187 18427
/proc/meminfo: memFree=28007360/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5616 CPUtime=2022.21 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 14070 0 0 0 194890 7331 0 0 20 0 1 0 103124227 29462528 1404 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1404 684 252 0 739 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5616 KiB
[startup+2082.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 18428
/proc/meminfo: memFree=28007360/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5616 CPUtime=2082.21 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 14446 0 0 0 200670 7551 0 0 20 0 1 0 103124227 29462528 1404 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1404 684 252 0 739 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5616 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 18429
/proc/meminfo: memFree=28007476/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5636 CPUtime=2142.21 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 14723 0 0 0 206459 7762 0 0 20 0 1 0 103124227 29462528 1409 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1409 684 252 0 739 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5636 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 18437
/proc/meminfo: memFree=28006200/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5636 CPUtime=2202.2 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 15033 0 0 0 212206 8014 0 0 20 0 1 0 103124227 29462528 1409 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1409 684 252 0 739 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5636 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 18438
/proc/meminfo: memFree=28006236/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28772 memory=5636 CPUtime=2262.2 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 15287 0 0 0 217982 8238 0 0 20 0 1 0 103124227 29462528 1409 33554432000 4194304 5224696 140723535133232 140723535132248 4568766 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7193 1409 684 252 0 739 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 28772 KiB
Current children cumulated memory: 5636 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18439
/proc/meminfo: memFree=28006608/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28904 memory=5656 CPUtime=2322.2 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 15594 0 0 0 223748 8472 0 0 20 0 1 0 103124227 29597696 1414 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7226 1414 684 252 0 772 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 28904 KiB
Current children cumulated memory: 5656 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 18440
/proc/meminfo: memFree=28006768/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28904 memory=5656 CPUtime=2382.2 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 15910 0 0 0 229508 8712 0 0 20 0 1 0 103124227 29597696 1414 33554432000 4194304 5224696 140723535133232 140723535132248 4568766 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7226 1414 684 252 0 772 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 28904 KiB
Current children cumulated memory: 5656 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 18441
/proc/meminfo: memFree=28007264/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28904 memory=5656 CPUtime=2442.19 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 16294 0 0 0 235294 8925 0 0 20 0 1 0 103124227 29597696 1414 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7226 1414 684 252 0 772 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 28904 KiB
Current children cumulated memory: 5656 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.05 2.05 4/187 18443
/proc/meminfo: memFree=28006536/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28904 memory=5656 CPUtime=2502.2 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 16586 0 0 0 241077 9143 0 0 20 0 1 0 103124227 29597696 1414 33554432000 4194304 5224696 140723535133232 140723535132248 4568766 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7226 1414 684 252 0 772 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 28904 KiB
Current children cumulated memory: 5656 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.05 2.05 3/187 18443
/proc/meminfo: memFree=28006660/32770624 swapFree=67108792/67108860
[pid=18245] ppid=18242 vsize=28904 memory=5680 CPUtime=2519.9 cores=1,3,5,7
/proc/18245/stat : 18245 (miniBTD) R 18242 18245 16915 0 -1 4202496 16825 0 0 0 242778 9212 0 0 20 0 1 0 103124227 29597696 1420 33554432000 4194304 5224696 140723535133232 140723535132248 140640617488764 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 27652096 140723535140020 140723535140103 140723535140103 140723535142861 0
/proc/18245/statm: 7226 1420 684 252 0 772 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 28904 KiB
Current children cumulated memory: 5680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18245 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2427.79 s, system=92.1265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.91
CPU user time (s): 2427.79
CPU system time (s): 92.1265
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 28904
Max. memory (cumulated for all children) (KiB): 5680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2427.79
system time used= 92.1265
maximum resident set size= 5680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16825
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= 762
# summary of solver processes directly reported to runsolver:
# pid: 18245
# total CPU time (s): 2519.91
# total CPU user time (s): 2427.79
# total CPU system time (s): 92.1265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11914 second user time and 18.4585 second system time
The end