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 (8363 MiB free)
memory of node 1: 16384 MiB (11519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296085-1532600863/watcher-4296085-1532600863 -o /tmp/evaluation-result-4296085-1532600863/solver-4296085-1532600863 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532598327-8113 --watchdog 2580 BTD 3 2520 HOME/instance-4296085-1532600863.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=8924, runsolver pid=8921
Current StackSize limit: 8192 KiB
[startup+0.100666 s]*
/proc/loadavg: 1.93 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358736/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33472 memory=3660 CPUtime=0.1 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1043 0 0 0 10 0 0 0 20 0 1 0 77649495 34275328 915 33554432000 4194304 36388972 140721615870528 140721615869368 4356651 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8368 915 511 7861 0 472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3660 KiB
[startup+0.209367 s]*
/proc/loadavg: 1.93 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358736/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33472 memory=3660 CPUtime=0.21 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1048 0 0 0 21 0 0 0 20 0 1 0 77649495 34275328 915 33554432000 4194304 36388972 140721615870528 140721615869368 4356616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8368 915 511 7861 0 472 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3660 KiB
[startup+0.308823 s]*
/proc/loadavg: 1.93 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358364/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33472 memory=3660 CPUtime=0.31 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1050 0 0 0 31 0 0 0 20 0 1 0 77649495 34275328 915 33554432000 4194304 36388972 140721615870528 140721615869368 6663895 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8368 915 511 7861 0 472 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3660 KiB
[startup+0.700267 s]
/proc/loadavg: 1.94 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358364/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33472 memory=3660 CPUtime=0.69 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1054 0 0 0 69 0 0 0 20 0 1 0 77649495 34275328 915 33554432000 4194304 36388972 140721615870528 140721615869368 4356656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8368 915 511 7861 0 472 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3660 KiB
[startup+1.50027 s]
/proc/loadavg: 1.94 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358116/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33472 memory=3660 CPUtime=1.49 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1059 0 0 0 149 0 0 0 20 0 1 0 77649495 34275328 915 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8368 915 511 7861 0 472 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3660 KiB
[startup+3.10895 s]
/proc/loadavg: 1.94 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20337488/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3732 CPUtime=3.1 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1374 0 0 0 310 0 0 0 20 0 1 0 77649495 34410496 933 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 933 511 7861 0 505 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3732 KiB
[startup+6.30025 s]
/proc/loadavg: 1.95 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358240/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3740 CPUtime=6.29 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 1695 0 0 0 628 1 0 0 20 0 1 0 77649495 34410496 935 33554432000 4194304 36388972 140721615870528 140721615869368 4356628 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 935 511 7861 0 505 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3740 KiB
[startup+12.7003 s]
/proc/loadavg: 1.95 2.02 2.04 3/187 8925
/proc/meminfo: memFree=20358372/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3752 CPUtime=12.7 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 2020 0 0 0 1268 2 0 0 20 0 1 0 77649495 34410496 938 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 938 511 7861 0 505 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3752 KiB
[startup+25.5089 s]
/proc/loadavg: 1.96 2.02 2.04 3/187 8926
/proc/meminfo: memFree=20358004/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3788 CPUtime=25.5 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 2678 0 0 0 2547 3 0 0 20 0 1 0 77649495 34410496 947 33554432000 4194304 36388972 140721615870528 140721615869368 4356616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 947 511 7861 0 505 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3788 KiB
[startup+51.1002 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 8926
/proc/meminfo: memFree=20357976/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3800 CPUtime=51.09 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 3014 0 0 0 5102 7 0 0 20 0 1 0 77649495 34410496 950 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 950 511 7861 0 505 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3800 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 8927
/proc/meminfo: memFree=20357276/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3816 CPUtime=102.3 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 3354 0 0 0 10215 15 0 0 20 0 1 0 77649495 34410496 954 33554432000 4194304 36388972 140721615870528 140721615869368 4356616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 954 511 7861 0 505 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3816 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8935
/proc/meminfo: memFree=20355960/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3828 CPUtime=162.3 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 3695 0 0 0 16205 25 0 0 20 0 1 0 77649495 34410496 957 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 957 511 7861 0 505 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3828 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8936
/proc/meminfo: memFree=20356084/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3840 CPUtime=222.31 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 4040 0 0 0 22197 34 0 0 20 0 1 0 77649495 34410496 960 33554432000 4194304 36388972 140721615870528 140721615869368 6663859 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 960 511 7861 0 505 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3840 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8937
/proc/meminfo: memFree=20356508/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3840 CPUtime=282.31 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 4042 0 0 0 28189 42 0 0 20 0 1 0 77649495 34410496 960 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 960 511 7861 0 505 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3840 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8938
/proc/meminfo: memFree=20356148/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33604 memory=3856 CPUtime=342.31 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 4385 0 0 0 34181 50 0 0 20 0 1 0 77649495 34410496 964 33554432000 4194304 36388972 140721615870528 140721615869368 4356656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8401 964 511 7861 0 505 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3856 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 8939
/proc/meminfo: memFree=20356288/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3856 CPUtime=402.32 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 4387 0 0 0 40174 58 0 0 20 0 1 0 77649495 34545664 964 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 964 511 7861 0 538 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3856 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8940
/proc/meminfo: memFree=20356660/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3868 CPUtime=462.33 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 4737 0 0 0 46164 69 0 0 20 0 1 0 77649495 34545664 967 33554432000 4194304 36388972 140721615870528 140721615869368 4658325 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 967 511 7861 0 538 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3868 KiB
################
# More data... #
################
Current children cumulated memory: 3896 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8958
/proc/meminfo: memFree=20355584/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3896 CPUtime=1062.37 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 6485 0 0 0 106078 159 0 0 20 0 1 0 77649495 34545664 974 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 974 511 7861 0 538 0
Current children cumulated CPU time: 1062.37 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3896 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8959
/proc/meminfo: memFree=20355568/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3896 CPUtime=1122.37 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 6492 0 0 0 112069 168 0 0 20 0 1 0 77649495 34545664 974 33554432000 4194304 36388972 140721615870528 140721615869368 4356628 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 974 511 7861 0 538 0
Current children cumulated CPU time: 1122.37 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3896 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8960
/proc/meminfo: memFree=20355568/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3900 CPUtime=1182.38 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 6835 0 0 0 118060 178 0 0 20 0 1 0 77649495 34545664 975 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 975 511 7861 0 538 0
Current children cumulated CPU time: 1182.38 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3900 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8961
/proc/meminfo: memFree=20355600/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3900 CPUtime=1242.39 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 6844 0 0 0 124051 188 0 0 20 0 1 0 77649495 34545664 975 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 975 511 7861 0 538 0
Current children cumulated CPU time: 1242.39 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3900 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8962
/proc/meminfo: memFree=20355848/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3904 CPUtime=1302.39 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7192 0 0 0 130040 199 0 0 20 0 1 0 77649495 34545664 976 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 976 511 7861 0 538 0
Current children cumulated CPU time: 1302.39 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3904 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8971
/proc/meminfo: memFree=20354344/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3904 CPUtime=1362.4 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7193 0 0 0 136031 209 0 0 20 0 1 0 77649495 34545664 976 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 976 511 7861 0 538 0
Current children cumulated CPU time: 1362.4 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3904 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8972
/proc/meminfo: memFree=20354984/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1422.4 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7545 0 0 0 142022 218 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 4626225 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1422.4 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8973
/proc/meminfo: memFree=20354992/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1482.41 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7545 0 0 0 148015 226 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 4356687 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1482.41 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1502.9 s]
# the end of solver process 8924 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1500.71 s, system=2.30318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1485.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8973
/proc/meminfo: memFree=20354992/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1485.31 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7545 0 0 0 148304 227 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1485.31 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1491.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8973
/proc/meminfo: memFree=20354992/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1491.7 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7545 0 0 0 148943 227 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 4356683 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1491.7 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1498 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8973
/proc/meminfo: memFree=20355116/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1498.11 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7875 0 0 0 149582 229 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 4356578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1498.11 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1501.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8973
/proc/meminfo: memFree=20355116/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1501.31 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7875 0 0 0 149901 230 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 4356628 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1501.31 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1502 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8973
/proc/meminfo: memFree=20355116/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1502.11 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7877 0 0 0 149981 230 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1502.11 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1502.4 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 8974
/proc/meminfo: memFree=20355116/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1502.52 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7877 0 0 0 150022 230 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 4356616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1502.52 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1502.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8974
/proc/meminfo: memFree=20355116/32770624 swapFree=67108860/67108860
[pid=8924] ppid=8921 vsize=33736 memory=3908 CPUtime=1502.91 cores=1,3,5,7
/proc/8924/stat : 8924 (BTD) R 8921 8924 8081 0 -1 4202496 7877 0 0 0 150061 230 0 0 20 0 1 0 77649495 34545664 977 33554432000 4194304 36388972 140721615870528 140721615869368 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 47759360 140721615877309 140721615877387 140721615877387 140721615880145 0
/proc/8924/statm: 8434 977 511 7861 0 538 0
Current children cumulated CPU time: 1502.91 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
Child status: 0
Real time (s): 1502.9
CPU time (s): 1503.01
CPU user time (s): 1500.71
CPU system time (s): 2.30318
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 33736
Max. memory (cumulated for all children) (KiB): 3908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1500.71
system time used= 2.30318
maximum resident set size= 3928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7992
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= 2
involuntary context switches= 459
# summary of solver processes directly reported to runsolver:
# pid: 8924
# total CPU time (s): 1503.01
# total CPU user time (s): 1500.71
# total CPU system time (s): 2.30318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63218 second user time and 9.07456 second system time
The end