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 (10307 MiB free)
memory of node 1: 16384 MiB (15757 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300737-1532889112/watcher-4300737-1532889112 -o /tmp/evaluation-result-4300737-1532889112/solver-4300737-1532889112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532889112-15647 --watchdog 2580 minimacht 2520 HOME/instance-4300737-1532889112.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=15676, runsolver pid=15672
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 0.97 1.61 2.13 3/191 15681
/proc/meminfo: memFree=26681476/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=33604 memory=9800 CPUtime=0.1 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 2662 0 0 0 10 0 0 0 20 0 1 0 106474410 34410496 2450 33554432000 4194304 5224576 140724586266176 140724586263176 140484701613056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 8401 2450 593 252 0 1947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 9800 KiB
[startup+0.209822 s]*
/proc/loadavg: 0.97 1.61 2.13 4/191 15681
/proc/meminfo: memFree=26679492/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=35784 memory=12000 CPUtime=0.21 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 3218 0 0 0 21 0 0 0 20 0 1 0 106474410 36642816 3000 33554432000 4194304 5224576 140724586266176 140724586263176 140484701174757 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 8946 3000 639 252 0 2492 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35784 KiB
Current children cumulated memory: 12000 KiB
[startup+0.309671 s]*
/proc/loadavg: 0.97 1.61 2.13 4/191 15681
/proc/meminfo: memFree=26679492/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=35916 memory=12000 CPUtime=0.31 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 3226 0 0 0 31 0 0 0 20 0 1 0 106474410 36777984 3000 33554432000 4194304 5224576 140724586266176 140724586263176 4363080 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 8979 3000 639 252 0 2525 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35916 KiB
Current children cumulated memory: 12000 KiB
[startup+0.70025 s]
/proc/loadavg: 0.97 1.61 2.13 3/191 15681
/proc/meminfo: memFree=26678856/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=35916 memory=12264 CPUtime=0.69 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 3240 0 0 0 69 0 0 0 20 0 1 0 106474410 36777984 3066 33554432000 4194304 5224576 140724586266176 140724586261672 4363092 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 8979 3066 642 252 0 2525 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35916 KiB
Current children cumulated memory: 12264 KiB
[startup+1.50024 s]
/proc/loadavg: 0.97 1.61 2.13 3/191 15681
/proc/meminfo: memFree=26678808/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=35916 memory=12264 CPUtime=1.49 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 3242 0 0 0 149 0 0 0 20 0 1 0 106474410 36777984 3066 33554432000 4194304 5224576 140724586266176 140724586261672 4363106 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 8979 3066 642 252 0 2525 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35916 KiB
Current children cumulated memory: 12264 KiB
[startup+3.10955 s]
/proc/loadavg: 0.97 1.61 2.13 3/191 15681
/proc/meminfo: memFree=26677744/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=35916 memory=12488 CPUtime=3.09 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 4669 0 0 0 309 0 0 0 20 0 1 0 106474410 36777984 3122 33554432000 4194304 5224576 140724586266176 140724586261672 4363106 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 8979 3122 642 252 0 2525 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35916 KiB
Current children cumulated memory: 12488 KiB
[startup+6.30024 s]
/proc/loadavg: 1.06 1.61 2.13 3/191 15681
/proc/meminfo: memFree=26676540/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36180 memory=12788 CPUtime=6.28 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 5082 0 0 0 626 2 0 0 20 0 1 0 106474410 37048320 3197 33554432000 4194304 5224576 140724586266176 140724586261672 4363101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9045 3197 653 252 0 2591 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 36180 KiB
Current children cumulated memory: 12788 KiB
[startup+12.7002 s]
/proc/loadavg: 1.13 1.62 2.13 3/191 15681
/proc/meminfo: memFree=26676540/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36312 memory=12900 CPUtime=12.68 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 5507 0 0 0 1266 2 0 0 20 0 1 0 106474410 37183488 3225 33554432000 4194304 5224576 140724586266176 140724586261672 4363097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9078 3225 653 252 0 2624 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36312 KiB
Current children cumulated memory: 12900 KiB
[startup+25.5003 s]
/proc/loadavg: 1.32 1.64 2.13 3/191 15681
/proc/meminfo: memFree=26676116/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36444 memory=13068 CPUtime=25.49 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 6319 0 0 0 2546 3 0 0 20 0 1 0 106474410 37318656 3267 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9111 3267 653 252 0 2657 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 36444 KiB
Current children cumulated memory: 13068 KiB
[startup+51.1092 s]
/proc/loadavg: 1.55 1.67 2.13 3/191 15681
/proc/meminfo: memFree=26675868/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36576 memory=13144 CPUtime=51.09 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 6905 0 0 0 5106 3 0 0 20 0 1 0 106474410 37453824 3286 33554432000 4194304 5224576 140724586266176 140724586261672 4363092 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9144 3286 653 252 0 2690 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 36576 KiB
Current children cumulated memory: 13144 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.72 2.12 3/191 15682
/proc/meminfo: memFree=26675712/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36708 memory=13224 CPUtime=102.28 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 7429 0 0 0 10225 3 0 0 20 0 1 0 106474410 37588992 3306 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9177 3306 653 252 0 2723 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 36708 KiB
Current children cumulated memory: 13224 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.77 2.12 3/191 15683
/proc/meminfo: memFree=26675336/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36708 memory=13320 CPUtime=162.28 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 7960 0 0 0 16224 4 0 0 20 0 1 0 106474410 37588992 3330 33554432000 4194304 5224576 140724586266176 140724586261672 4363071 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9177 3330 653 252 0 2723 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 36708 KiB
Current children cumulated memory: 13320 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.81 2.11 3/190 15684
/proc/meminfo: memFree=26674736/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36840 memory=13364 CPUtime=222.27 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 8503 0 0 0 22223 4 0 0 20 0 1 0 106474410 37724160 3341 33554432000 4194304 5224576 140724586266176 140724586261672 4363092 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9210 3341 653 252 0 2756 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 36840 KiB
Current children cumulated memory: 13364 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.85 2.10 3/190 15685
/proc/meminfo: memFree=26674676/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36840 memory=13428 CPUtime=282.26 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 9047 0 0 0 28222 4 0 0 20 0 1 0 106474410 37724160 3357 33554432000 4194304 5224576 140724586266176 140724586261672 4363097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9210 3357 653 252 0 2756 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 36840 KiB
Current children cumulated memory: 13428 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.87 2.10 3/188 15686
/proc/meminfo: memFree=26674760/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36840 memory=13460 CPUtime=342.26 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 9602 0 0 0 34222 4 0 0 20 0 1 0 106474410 37724160 3365 33554432000 4194304 5224576 140724586266176 140724586261672 4363151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9210 3365 653 252 0 2756 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 36840 KiB
Current children cumulated memory: 13460 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.90 2.09 3/188 15687
/proc/meminfo: memFree=26674516/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36968 memory=13488 CPUtime=402.26 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 10168 0 0 0 40221 5 0 0 20 0 1 0 106474410 37855232 3372 33554432000 4194304 5224576 140724586266176 140724586261672 4363101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9242 3372 653 252 0 2788 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 36968 KiB
Current children cumulated memory: 13488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.91 2.09 3/187 15688
/proc/meminfo: memFree=26674404/32770624 swapFree=67028804/67108860
[pid=15676] ppid=15672 vsize=36968 memory=13504 CPUtime=462.25 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 10713 0 0 0 46220 5 0 0 20 0 1 0 106474410 37855232 3376 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9242 3376 653 252 0 2788 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 36968 KiB
Current children cumulated memory: 13504 KiB
################
# More data... #
################
/proc/15676/statm: 9275 3421 653 252 0 2821 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13684 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.32 2/182 15806
/proc/meminfo: memFree=26696200/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13684 CPUtime=1782.21 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 22617 0 0 0 178209 12 0 0 20 0 1 0 106474410 37990400 3421 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3421 653 252 0 2821 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13684 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/182 15807
/proc/meminfo: memFree=26696596/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13684 CPUtime=1842.21 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 23106 0 0 0 184208 13 0 0 20 0 1 0 106474410 37990400 3421 33554432000 4194304 5224576 140724586266176 140724586261672 4363056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3421 653 252 0 2821 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13684 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/182 15808
/proc/meminfo: memFree=26696872/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13684 CPUtime=1902.21 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 23681 0 0 0 190207 14 0 0 20 0 1 0 106474410 37990400 3421 33554432000 4194304 5224576 140724586266176 140724586261672 4363083 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3421 653 252 0 2821 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13684 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/182 15809
/proc/meminfo: memFree=26696872/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13696 CPUtime=1962.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 24153 0 0 0 196206 14 0 0 20 0 1 0 106474410 37990400 3424 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3424 653 252 0 2821 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13696 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/181 15810
/proc/meminfo: memFree=26697020/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13696 CPUtime=2022.21 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 24634 0 0 0 202206 15 0 0 20 0 1 0 106474410 37990400 3424 33554432000 4194304 5224576 140724586266176 140724586261672 4363097 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3424 653 252 0 2821 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13696 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/180 15811
/proc/meminfo: memFree=26697068/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13712 CPUtime=2082.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 25233 0 0 0 208205 15 0 0 20 0 1 0 106474410 37990400 3428 33554432000 4194304 5224576 140724586266176 140724586261672 4363151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3428 653 252 0 2821 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13712 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/180 15812
/proc/meminfo: memFree=26696828/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13712 CPUtime=2142.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 25717 0 0 0 214205 15 0 0 20 0 1 0 106474410 37990400 3428 33554432000 4194304 5224576 140724586266176 140724586261672 4363056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3428 653 252 0 2821 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13712 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/180 15813
/proc/meminfo: memFree=26696704/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13712 CPUtime=2202.21 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 26208 0 0 0 220205 16 0 0 20 0 1 0 106474410 37990400 3428 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3428 653 252 0 2821 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13712 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/180 15814
/proc/meminfo: memFree=26696576/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13728 CPUtime=2262.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 26808 0 0 0 226204 16 0 0 20 0 1 0 106474410 37990400 3432 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3432 653 252 0 2821 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13728 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/180 15822
/proc/meminfo: memFree=26696212/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13728 CPUtime=2322.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 27305 0 0 0 232204 16 0 0 20 0 1 0 106474410 37990400 3432 33554432000 4194304 5224576 140724586266176 140724586261672 4363097 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3432 653 252 0 2821 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13728 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/180 15823
/proc/meminfo: memFree=26696832/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13728 CPUtime=2382.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 27778 0 0 0 238203 17 0 0 20 0 1 0 106474410 37990400 3432 33554432000 4194304 5224576 140724586266176 140724586261672 4362996 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3432 653 252 0 2821 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13728 KiB
[startup+2442.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/180 15824
/proc/meminfo: memFree=26697196/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13736 CPUtime=2442.19 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 28358 0 0 0 244202 17 0 0 20 0 1 0 106474410 37990400 3434 33554432000 4194304 5224576 140724586266176 140724586261672 4363080 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3434 653 252 0 2821 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13736 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/180 15825
/proc/meminfo: memFree=26697112/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13736 CPUtime=2502.2 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 28861 0 0 0 250202 18 0 0 20 0 1 0 106474410 37990400 3434 33554432000 4194304 5224576 140724586266176 140724586261672 4363128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3434 653 252 0 2821 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13736 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.15 2/180 15825
/proc/meminfo: memFree=26697112/32770624 swapFree=67028820/67108860
[pid=15676] ppid=15672 vsize=37100 memory=13736 CPUtime=2519.91 cores=0,2,4,6
/proc/15676/stat : 15676 (minimacht) R 15672 15676 10029 0 -1 4202496 29304 0 0 0 251973 18 0 0 20 0 1 0 106474410 37990400 3434 33554432000 4194304 5224576 140724586266176 140724586261672 140484707467825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7325440 7329888 19841024 140724586271923 140724586272005 140724586272005 140724586274763 0
/proc/15676/statm: 9275 3434 653 252 0 2821 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 37100 KiB
Current children cumulated memory: 13736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 15676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.73 s, system=0.185993 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.92
CPU user time (s): 2519.73
CPU system time (s): 0.185993
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 37100
Max. memory (cumulated for all children) (KiB): 13736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.185993
maximum resident set size= 13736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29304
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= 15
involuntary context switches= 3109
# summary of solver processes directly reported to runsolver:
# pid: 15676
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.73
# total CPU system time (s): 0.185993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24779 second user time and 16.2545 second system time
The end