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 (6990 MiB free)
memory of node 1: 16384 MiB (4475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305860-1534133484/watcher-4305860-1534133484 -o /tmp/evaluation-result-4305860-1534133484/solver-4305860-1534133484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534133479-28775 --watchdog 2580 macht 2520 HOME/instance-4305860-1534133484.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
solver pid=28868, runsolver pid=28865
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11733004/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=40232 memory=10012 CPUtime=0.1 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 2654 0 0 0 10 0 0 0 20 0 1 0 230911542 41197568 2503 33554432000 4194304 36388816 140720398795312 140720398792488 6634158 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 10058 2503 440 7860 0 2163 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40232 KiB
Current children cumulated memory: 10012 KiB
[startup+0.209837 s]*
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11728556/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=44960 memory=14500 CPUtime=0.21 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 3783 0 0 0 21 0 0 0 20 0 1 0 230911542 46039040 3625 33554432000 4194304 36388816 140720398795312 140720398792488 4420264 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11240 3625 486 7860 0 3345 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44960 KiB
Current children cumulated memory: 14500 KiB
[startup+0.309719 s]*
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11728368/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=44960 memory=14500 CPUtime=0.31 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 3799 0 0 0 31 0 0 0 20 0 1 0 230911542 46039040 3625 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11240 3625 486 7860 0 3345 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44960 KiB
Current children cumulated memory: 14500 KiB
[startup+0.700259 s]
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11728368/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45112 memory=14500 CPUtime=0.69 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 3817 0 0 0 69 0 0 0 20 0 1 0 230911542 46194688 3625 33554432000 4194304 36388816 140720398795312 140720398790056 4420521 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11278 3625 486 7860 0 3383 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 14500 KiB
[startup+1.50024 s]
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11728144/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45112 memory=14764 CPUtime=1.49 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 3835 0 0 0 149 0 0 0 20 0 1 0 230911542 46194688 3691 33554432000 4194304 36388816 140720398795312 140720398790056 4420521 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11278 3691 488 7860 0 3383 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 14764 KiB
[startup+3.10934 s]
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11728324/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45112 memory=14848 CPUtime=3.1 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 5768 0 0 0 310 0 0 0 20 0 1 0 230911542 46194688 3712 33554432000 4194304 36388816 140720398795312 140720398790056 4420511 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11278 3712 489 7860 0 3383 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 14848 KiB
[startup+6.30022 s]
/proc/loadavg: 1.08 1.16 1.51 3/191 28869
/proc/meminfo: memFree=11727832/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45244 memory=14880 CPUtime=6.29 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 7718 0 0 0 629 0 0 0 20 0 1 0 230911542 46329856 3720 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11311 3720 489 7860 0 3416 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 45244 KiB
Current children cumulated memory: 14880 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 1.18 1.51 3/191 28869
/proc/meminfo: memFree=11727044/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45640 memory=15352 CPUtime=12.68 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 10432 0 0 0 1268 0 0 0 20 0 1 0 230911542 46735360 3838 33554432000 4194304 36388816 140720398795312 140720398790056 4420525 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11410 3838 500 7860 0 3515 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 45640 KiB
Current children cumulated memory: 15352 KiB
[startup+25.5002 s]
/proc/loadavg: 1.34 1.21 1.52 3/191 28869
/proc/meminfo: memFree=11727548/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45640 memory=15436 CPUtime=25.48 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 11732 0 0 0 2548 0 0 0 20 0 1 0 230911542 46735360 3859 33554432000 4194304 36388816 140720398795312 140720398790056 4420525 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11410 3859 501 7860 0 3515 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 45640 KiB
Current children cumulated memory: 15436 KiB
[startup+51.1092 s]
/proc/loadavg: 1.62 1.29 1.53 3/191 28869
/proc/meminfo: memFree=11728080/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45904 memory=15588 CPUtime=51.08 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 12612 0 0 0 5108 0 0 0 20 0 1 0 230911542 47005696 3897 33554432000 4194304 36388816 140720398795312 140720398790056 4420563 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11476 3897 501 7860 0 3581 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 45904 KiB
Current children cumulated memory: 15588 KiB
[startup+102.3 s]
/proc/loadavg: 1.85 1.41 1.56 3/190 28870
/proc/meminfo: memFree=11727900/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=45904 memory=15680 CPUtime=102.27 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 13392 0 0 0 10227 0 0 0 20 0 1 0 230911542 47005696 3920 33554432000 4194304 36388816 140720398795312 140720398790056 4420525 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11476 3920 501 7860 0 3581 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 45904 KiB
Current children cumulated memory: 15680 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.52 1.59 3/191 28872
/proc/meminfo: memFree=11727360/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46036 memory=15728 CPUtime=162.26 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 14185 0 0 0 16226 0 0 0 20 0 1 0 230911542 47140864 3932 33554432000 4194304 36388816 140720398795312 140720398790056 4420530 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11509 3932 501 7860 0 3614 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 46036 KiB
Current children cumulated memory: 15728 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.60 1.61 3/191 28873
/proc/meminfo: memFree=11727000/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46168 memory=15936 CPUtime=222.26 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 15046 0 0 0 22226 0 0 0 20 0 1 0 230911542 47276032 3984 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11542 3984 501 7860 0 3647 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 46168 KiB
Current children cumulated memory: 15936 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.68 1.64 3/191 28874
/proc/meminfo: memFree=11727140/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46168 memory=15948 CPUtime=282.27 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 15888 0 0 0 28226 1 0 0 20 0 1 0 230911542 47276032 3987 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11542 3987 501 7860 0 3647 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 46168 KiB
Current children cumulated memory: 15948 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.73 1.66 3/191 28875
/proc/meminfo: memFree=11728084/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46300 memory=15996 CPUtime=342.27 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 15902 0 0 0 34226 1 0 0 20 0 1 0 230911542 47411200 3999 33554432000 4194304 36388816 140720398795312 140720398790056 4420521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11575 3999 501 7860 0 3680 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 15996 KiB
[startup+402.3 s]
/proc/loadavg: 2.39 1.88 1.71 3/191 28876
/proc/meminfo: memFree=11728096/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46300 memory=16036 CPUtime=402.27 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 16746 0 0 0 40226 1 0 0 20 0 1 0 230911542 47411200 4009 33554432000 4194304 36388816 140720398795312 140720398790056 4420516 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11575 4009 501 7860 0 3680 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 16036 KiB
[startup+462.3 s]
/proc/loadavg: 2.25 1.94 1.75 3/190 28877
/proc/meminfo: memFree=11727976/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46300 memory=16068 CPUtime=462.28 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 16778 0 0 0 46227 1 0 0 20 0 1 0 230911542 47411200 4017 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11575 4017 501 7860 0 3680 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 46300 KiB
Current children cumulated memory: 16068 KiB
################
# More data... #
################
/proc/28868/statm: 11641 4073 501 7860 0 3746 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16292 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/191 28926
/proc/meminfo: memFree=11727364/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16292 CPUtime=1842.39 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 27375 0 0 0 184232 7 0 0 20 0 1 0 230911542 47681536 4073 33554432000 4194304 36388816 140720398795312 140720398790056 4420511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4073 501 7860 0 3746 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16292 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.00 1.95 3/191 28927
/proc/meminfo: memFree=11727376/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16300 CPUtime=1902.39 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 27412 0 0 0 190232 7 0 0 20 0 1 0 230911542 47681536 4075 33554432000 4194304 36388816 140720398795312 140720398790056 4420525 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4075 501 7860 0 3746 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16300 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.00 1.95 3/191 28928
/proc/meminfo: memFree=11727372/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16304 CPUtime=1962.39 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 28279 0 0 0 196232 7 0 0 20 0 1 0 230911542 47681536 4076 33554432000 4194304 36388816 140720398795312 140720398790056 4420521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4076 501 7860 0 3746 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16304 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/191 28929
/proc/meminfo: memFree=11726984/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16304 CPUtime=2022.4 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 28284 0 0 0 202232 8 0 0 20 0 1 0 230911542 47681536 4076 33554432000 4194304 36388816 140720398795312 140720398790056 4420521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4076 501 7860 0 3746 0
Current children cumulated CPU time: 2022.4 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16304 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/190 28930
/proc/meminfo: memFree=11727244/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16316 CPUtime=2082.41 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 29105 0 0 0 208233 8 0 0 20 0 1 0 230911542 47681536 4079 33554432000 4194304 36388816 140720398795312 140720398790056 4420521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4079 501 7860 0 3746 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16316 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 28932
/proc/meminfo: memFree=11727332/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16316 CPUtime=2142.41 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 29114 0 0 0 214233 8 0 0 20 0 1 0 230911542 47681536 4079 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4079 501 7860 0 3746 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16316 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 28933
/proc/meminfo: memFree=11727220/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16328 CPUtime=2202.42 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 29986 0 0 0 220234 8 0 0 20 0 1 0 230911542 47681536 4082 33554432000 4194304 36388816 140720398795312 140720398790056 4420158 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4082 501 7860 0 3746 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16328 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 28934
/proc/meminfo: memFree=11727336/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16328 CPUtime=2262.42 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 30024 0 0 0 226234 8 0 0 20 0 1 0 230911542 47681536 4082 33554432000 4194304 36388816 140720398795312 140720398790056 4420525 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4082 501 7860 0 3746 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16328 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/192 28943
/proc/meminfo: memFree=11725636/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16328 CPUtime=2322.42 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 30793 0 0 0 232234 8 0 0 20 0 1 0 230911542 47681536 4082 33554432000 4194304 36388816 140720398795312 140720398790056 4420575 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4082 501 7860 0 3746 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16328 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/192 28944
/proc/meminfo: memFree=11726576/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16328 CPUtime=2382.43 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 30806 0 0 0 238234 9 0 0 20 0 1 0 230911542 47681536 4082 33554432000 4194304 36388816 140720398795312 140720398790056 4420530 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4082 501 7860 0 3746 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 28945
/proc/meminfo: memFree=11726600/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16332 CPUtime=2442.44 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 31694 0 0 0 244235 9 0 0 20 0 1 0 230911542 47681536 4083 33554432000 4194304 36388816 140720398795312 140720398790056 4420586 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4083 501 7860 0 3746 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16332 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/191 28947
/proc/meminfo: memFree=11727368/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16332 CPUtime=2502.44 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 31711 0 0 0 250235 9 0 0 20 0 1 0 230911542 47681536 4083 33554432000 4194304 36388816 140720398795312 140720398790056 4420516 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4083 501 7860 0 3746 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.08 2.02 1.96 3/191 29072
/proc/meminfo: memFree=11717200/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16340 CPUtime=2520.04 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 32419 0 0 0 251995 9 0 0 20 0 1 0 230911542 47681536 4085 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4085 501 7860 0 3746 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 28868 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.95 s, system=0.099006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.08 2.02 1.96 3/191 29072
/proc/meminfo: memFree=11717200/32770624 swapFree=67108852/67108860
[pid=28868] ppid=28865 vsize=46564 memory=16340 CPUtime=2520.04 cores=1,3,5,7
/proc/28868/stat : 28868 (macht) R 28865 28868 28743 0 -1 4202496 32419 0 0 0 251995 9 0 0 20 0 1 0 230911542 47681536 4085 33554432000 4194304 36388816 140720398795312 140720398790056 4420504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 54554624 140720398800059 140720398800137 140720398800137 140720398802895 0
/proc/28868/statm: 11641 4085 501 7860 0 3746 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 46564 KiB
Current children cumulated memory: 16340 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2519.95
CPU system time (s): 0.099006
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 46564
Max. memory (cumulated for all children) (KiB): 16340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.099006
maximum resident set size= 16340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32419
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= 831
# summary of solver processes directly reported to runsolver:
# pid: 28868
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.95
# total CPU system time (s): 0.099006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.14062 second user time and 16.3797 second system time
The end