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 (9634 MiB free)
memory of node 1: 16384 MiB (10145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295653-1532597383/watcher-4295653-1532597383 -o /tmp/evaluation-result-4295653-1532597383/solver-4295653-1532597383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532594862-3690 --watchdog 2580 BTD 12 2520 HOME/instance-4295653-1532597383.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
Current StackSize limit: 8192 KiB
solver pid=3945, runsolver pid=3942
[startup+0.100204 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250880/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34468 memory=4468 CPUtime=0.1 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 1265 0 0 0 10 0 0 0 20 0 1 0 77301511 35295232 1117 33554432000 4194304 36388972 140732662993376 140732662990552 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8617 1117 485 7861 0 721 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34468 KiB
Current children cumulated memory: 4468 KiB
[startup+0.209316 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250880/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34468 memory=4468 CPUtime=0.21 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 1290 0 0 0 21 0 0 0 20 0 1 0 77301511 35295232 1117 33554432000 4194304 36388972 140732662993376 140732662990552 4467110 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8617 1117 485 7861 0 721 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34468 KiB
Current children cumulated memory: 4468 KiB
[startup+0.309029 s]*
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250880/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34468 memory=4468 CPUtime=0.31 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 1296 0 0 0 31 0 0 0 20 0 1 0 77301511 35295232 1117 33554432000 4194304 36388972 140732662993376 140732662990552 4458652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8617 1117 485 7861 0 721 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34468 KiB
Current children cumulated memory: 4468 KiB
[startup+0.700335 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250880/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34600 memory=4732 CPUtime=0.69 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 1313 0 0 0 69 0 0 0 20 0 1 0 77301511 35430400 1183 33554432000 4194304 36388972 140732662993376 140732662992216 4458219 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8650 1183 499 7861 0 754 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34600 KiB
Current children cumulated memory: 4732 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250308/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34600 memory=4732 CPUtime=1.49 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 77301511 35430400 1183 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8650 1183 499 7861 0 754 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34600 KiB
Current children cumulated memory: 4732 KiB
[startup+3.10893 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250424/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34600 memory=4784 CPUtime=3.1 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 1900 0 0 0 309 1 0 0 20 0 1 0 77301511 35430400 1196 33554432000 4194304 36388972 140732662993376 140732662992216 4458649 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8650 1196 499 7861 0 754 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 34600 KiB
Current children cumulated memory: 4784 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250056/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34600 memory=4788 CPUtime=6.29 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 2478 0 0 0 628 1 0 0 20 0 1 0 77301511 35430400 1197 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8650 1197 499 7861 0 754 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34600 KiB
Current children cumulated memory: 4788 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3946
/proc/meminfo: memFree=20250056/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34600 memory=4788 CPUtime=12.69 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 3057 0 0 0 1267 2 0 0 20 0 1 0 77301511 35430400 1197 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8650 1197 499 7861 0 754 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34600 KiB
Current children cumulated memory: 4788 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3953
/proc/meminfo: memFree=20248984/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4828 CPUtime=25.5 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 4227 0 0 0 2544 6 0 0 20 0 1 0 77301511 35598336 1207 33554432000 4194304 36388972 140732662993376 140732662992216 4467015 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1207 499 7861 0 795 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4828 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3953
/proc/meminfo: memFree=20248372/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4828 CPUtime=51.1 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 4815 0 0 0 5098 12 0 0 20 0 1 0 77301511 35598336 1207 33554432000 4194304 36388972 140732662993376 140732662992216 4458640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1207 499 7861 0 795 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4828 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3954
/proc/meminfo: memFree=20248964/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4828 CPUtime=102.3 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 5405 0 0 0 10203 27 0 0 20 0 1 0 77301511 35598336 1207 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1207 499 7861 0 795 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4828 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3955
/proc/meminfo: memFree=20248912/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4836 CPUtime=162.29 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 6002 0 0 0 16188 41 0 0 20 0 1 0 77301511 35598336 1209 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1209 499 7861 0 795 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4836 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3956
/proc/meminfo: memFree=20248516/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4856 CPUtime=222.3 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 6601 0 0 0 22171 59 0 0 20 0 1 0 77301511 35598336 1214 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1214 499 7861 0 795 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4856 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.96 4/187 3957
/proc/meminfo: memFree=20248484/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4868 CPUtime=282.3 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 7203 0 0 0 28155 75 0 0 20 0 1 0 77301511 35598336 1217 33554432000 4194304 36388972 140732662993376 140732662992216 4458640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1217 499 7861 0 795 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4868 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3958
/proc/meminfo: memFree=20247716/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4876 CPUtime=342.3 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 7806 0 0 0 34138 92 0 0 20 0 1 0 77301511 35598336 1219 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1219 499 7861 0 795 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4876 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3959
/proc/meminfo: memFree=20247940/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4884 CPUtime=402.31 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 8411 0 0 0 40122 109 0 0 20 0 1 0 77301511 35598336 1221 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1221 499 7861 0 795 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4884 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 3960
/proc/meminfo: memFree=20247824/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4896 CPUtime=462.3 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 9019 0 0 0 46106 124 0 0 20 0 1 0 77301511 35598336 1224 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1224 499 7861 0 795 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4896 KiB
################
# More data... #
################
Current children cumulated memory: 4956 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 4036
/proc/meminfo: memFree=20247968/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4960 CPUtime=2082.35 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 25601 0 0 0 207657 578 0 0 20 0 1 0 77301511 35598336 1240 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1240 501 7861 0 795 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4960 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 4037
/proc/meminfo: memFree=20247636/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4960 CPUtime=2142.36 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 26219 0 0 0 213641 595 0 0 20 0 1 0 77301511 35598336 1240 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1240 501 7861 0 795 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4960 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 4038
/proc/meminfo: memFree=20248032/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4960 CPUtime=2202.35 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 26841 0 0 0 219623 612 0 0 20 0 1 0 77301511 35598336 1240 33554432000 4194304 36388972 140732662993376 140732662992216 4458654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1240 501 7861 0 795 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4960 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 4039
/proc/meminfo: memFree=20248016/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4964 CPUtime=2262.36 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 27460 0 0 0 225610 626 0 0 20 0 1 0 77301511 35598336 1241 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1241 501 7861 0 795 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4964 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 4040
/proc/meminfo: memFree=20248000/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4968 CPUtime=2322.36 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 28083 0 0 0 231595 641 0 0 20 0 1 0 77301511 35598336 1242 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1242 501 7861 0 795 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4968 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 4041
/proc/meminfo: memFree=20247736/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4968 CPUtime=2382.36 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 28703 0 0 0 237581 655 0 0 20 0 1 0 77301511 35598336 1242 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1242 501 7861 0 795 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4968 KiB
[startup+2442.3 s]
/proc/loadavg: 2.16 2.05 1.97 3/188 4050
/proc/meminfo: memFree=20246548/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2442.36 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 29326 0 0 0 243565 671 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 4458654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2502.3 s]
/proc/loadavg: 2.45 2.17 2.02 3/188 4051
/proc/meminfo: memFree=20246796/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2502.36 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 29946 0 0 0 249549 687 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 4458652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2519.97 s]
# the end of solver process 3945 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.12 s, system=6.9182 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.41 2.17 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2508.87 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 29947 0 0 0 250198 689 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 4458652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2508.87 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2515.2 s]
/proc/loadavg: 2.35 2.16 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2515.26 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 29947 0 0 0 250836 690 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2515.26 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2518.4 s]
/proc/loadavg: 2.35 2.16 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2518.47 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 30562 0 0 0 251156 691 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2518.47 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2519.2 s]
/proc/loadavg: 2.35 2.16 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2519.26 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 30562 0 0 0 251235 691 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2519.26 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2519.6 s]
/proc/loadavg: 2.35 2.16 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2519.66 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 30562 0 0 0 251275 691 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2519.66 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2519.8 s]
/proc/loadavg: 2.35 2.16 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2519.86 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 30562 0 0 0 251295 691 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
[startup+2519.9 s]
/proc/loadavg: 2.35 2.16 2.02 3/188 4051
/proc/meminfo: memFree=20247168/32770624 swapFree=67108860/67108860
[pid=3945] ppid=3942 vsize=34764 memory=4972 CPUtime=2519.96 cores=0,2,4,6
/proc/3945/stat : 3945 (BTD) R 3942 3945 2022 0 -1 4202496 30562 0 0 0 251305 691 0 0 20 0 1 0 77301511 35598336 1243 33554432000 4194304 36388972 140732662993376 140732662992216 4458640 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 65638400 140732662998204 140732662998283 140732662998283 140732663001041 0
/proc/3945/statm: 8691 1243 501 7861 0 795 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 34764 KiB
Current children cumulated memory: 4972 KiB
Child status: 0
Real time (s): 2519.97
CPU time (s): 2520.04
CPU user time (s): 2513.12
CPU system time (s): 6.9182
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34764
Max. memory (cumulated for all children) (KiB): 4972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.12
system time used= 6.9182
maximum resident set size= 4988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30671
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= 654
# summary of solver processes directly reported to runsolver:
# pid: 3945
# total CPU time (s): 2520.04
# total CPU user time (s): 2513.12
# total CPU system time (s): 6.9182
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68956 second user time and 16.3845 second system time
The end