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 (10658 MiB free)
memory of node 1: 16384 MiB (13571 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306122-1534123863/watcher-4306122-1534123863 -o /tmp/evaluation-result-4306122-1534123863/solver-4306122-1534123863 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534100983-28908 --watchdog 2580 BTD 12 2520 HOME/instance-4306122-1534123863.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31814, runsolver pid=31811
[startup+0.100689 s]*
/proc/loadavg: 1.92 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24808792/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35188 memory=5260 CPUtime=0.1 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 1472 0 0 0 10 0 0 0 20 0 1 0 229949534 36032512 1315 33554432000 4194304 36388936 140726017153008 140726017151848 7657254 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8797 1315 488 7861 0 901 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35188 KiB
Current children cumulated memory: 5260 KiB
[startup+0.209433 s]*
/proc/loadavg: 1.92 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24808420/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35320 memory=5260 CPUtime=0.21 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 1479 0 0 0 21 0 0 0 20 0 1 0 229949534 36167680 1315 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8830 1315 488 7861 0 934 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35320 KiB
Current children cumulated memory: 5260 KiB
[startup+0.308809 s]*
/proc/loadavg: 1.92 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24808420/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35320 memory=5260 CPUtime=0.31 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 1485 0 0 0 31 0 0 0 20 0 1 0 229949534 36167680 1315 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8830 1315 488 7861 0 934 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35320 KiB
Current children cumulated memory: 5260 KiB
[startup+0.700272 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24808420/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35320 memory=5260 CPUtime=0.69 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 1503 0 0 0 69 0 0 0 20 0 1 0 229949534 36167680 1315 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8830 1315 488 7861 0 934 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35320 KiB
Current children cumulated memory: 5260 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24808420/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35452 memory=5524 CPUtime=1.49 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 1518 0 0 0 148 1 0 0 20 0 1 0 229949534 36302848 1381 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8863 1381 502 7861 0 967 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35452 KiB
Current children cumulated memory: 5524 KiB
[startup+3.10891 s]
/proc/loadavg: 1.92 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24808136/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35452 memory=5616 CPUtime=3.1 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 2040 0 0 0 308 2 0 0 20 0 1 0 229949534 36302848 1404 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8863 1404 502 7861 0 967 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35452 KiB
Current children cumulated memory: 5616 KiB
[startup+6.30026 s]
/proc/loadavg: 1.93 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24807420/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35584 memory=5664 CPUtime=6.29 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 2568 0 0 0 625 4 0 0 20 0 1 0 229949534 36438016 1416 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8896 1416 502 7861 0 1000 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35584 KiB
Current children cumulated memory: 5664 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24807552/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35584 memory=5688 CPUtime=12.69 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 3111 0 0 0 1261 8 0 0 20 0 1 0 229949534 36438016 1422 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8896 1422 502 7861 0 1000 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 35584 KiB
Current children cumulated memory: 5688 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24807552/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35584 memory=5764 CPUtime=25.49 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 4205 0 0 0 2531 18 0 0 20 0 1 0 229949534 36438016 1441 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8896 1441 502 7861 0 1000 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 35584 KiB
Current children cumulated memory: 5764 KiB
[startup+51.1089 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 31815
/proc/meminfo: memFree=24807212/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35716 memory=5844 CPUtime=51.1 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 4792 0 0 0 5074 36 0 0 20 0 1 0 229949534 36573184 1461 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8929 1461 504 7861 0 1033 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 35716 KiB
Current children cumulated memory: 5844 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 31816
/proc/meminfo: memFree=24807104/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35716 memory=5912 CPUtime=102.29 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 5204 0 0 0 10158 71 0 0 20 0 1 0 229949534 36573184 1478 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8929 1478 504 7861 0 1033 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 35716 KiB
Current children cumulated memory: 5912 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 31939
/proc/meminfo: memFree=24807860/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35848 memory=5948 CPUtime=162.29 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 5626 0 0 0 16120 109 0 0 20 0 1 0 229949534 36708352 1487 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8962 1487 504 7861 0 1066 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 35848 KiB
Current children cumulated memory: 5948 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31940
/proc/meminfo: memFree=24808688/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35848 memory=5992 CPUtime=222.3 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 6050 0 0 0 22073 157 0 0 20 0 1 0 229949534 36708352 1498 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8962 1498 504 7861 0 1066 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 35848 KiB
Current children cumulated memory: 5992 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31941
/proc/meminfo: memFree=24808448/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35848 memory=6044 CPUtime=282.29 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 6496 0 0 0 28028 201 0 0 20 0 1 0 229949534 36708352 1511 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8962 1511 504 7861 0 1066 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 35848 KiB
Current children cumulated memory: 6044 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31942
/proc/meminfo: memFree=24809768/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35980 memory=6064 CPUtime=342.29 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 6913 0 0 0 33994 235 0 0 20 0 1 0 229949534 36843520 1516 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8995 1516 504 7861 0 1099 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 35980 KiB
Current children cumulated memory: 6064 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31944
/proc/meminfo: memFree=24808148/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35980 memory=6080 CPUtime=402.29 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 7334 0 0 0 39959 270 0 0 20 0 1 0 229949534 36843520 1520 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8995 1520 504 7861 0 1099 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 35980 KiB
Current children cumulated memory: 6080 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31945
/proc/meminfo: memFree=24808148/32770624 swapFree=67058916/67108860
[pid=31814] ppid=31811 vsize=35980 memory=6100 CPUtime=462.3 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 7764 0 0 0 45926 304 0 0 20 0 1 0 229949534 36843520 1525 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 8995 1525 504 7861 0 1099 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 35980 KiB
Current children cumulated memory: 6100 KiB
################
# More data... #
################
Current children cumulated memory: 6272 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32059
/proc/meminfo: memFree=24790744/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6272 CPUtime=2082.33 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 19379 0 0 0 206838 1395 0 0 20 0 1 0 229949534 36978688 1568 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1568 504 7861 0 1132 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6272 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32060
/proc/meminfo: memFree=24790496/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6272 CPUtime=2142.34 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 19764 0 0 0 212799 1435 0 0 20 0 1 0 229949534 36978688 1568 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1568 504 7861 0 1132 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6272 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32061
/proc/meminfo: memFree=24790744/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6288 CPUtime=2202.33 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 20261 0 0 0 218760 1473 0 0 20 0 1 0 229949534 36978688 1572 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1572 504 7861 0 1132 0
Current children cumulated CPU time: 2202.33 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32062
/proc/meminfo: memFree=24790612/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6288 CPUtime=2262.34 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 20679 0 0 0 224722 1512 0 0 20 0 1 0 229949534 36978688 1572 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1572 504 7861 0 1132 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6288 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32063
/proc/meminfo: memFree=24790496/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6288 CPUtime=2322.33 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 21096 0 0 0 230683 1550 0 0 20 0 1 0 229949534 36978688 1572 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1572 504 7861 0 1132 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6288 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32072
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6288 CPUtime=2382.34 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 21563 0 0 0 236642 1592 0 0 20 0 1 0 229949534 36978688 1572 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1572 504 7861 0 1132 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6288 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32073
/proc/meminfo: memFree=24790728/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2442.34 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 21980 0 0 0 242596 1638 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2502.35 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22390 0 0 0 248551 1684 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2519.97 s]
# the end of solver process 31814 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.04 s, system=16.9814 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2508.85 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22390 0 0 0 249196 1689 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2508.85 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2515.24 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22390 0 0 0 249830 1694 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2515.24 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2518.44 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22776 0 0 0 250148 1696 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2518.44 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2519.24 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22776 0 0 0 250227 1697 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2519.24 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2519.64 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22783 0 0 0 250267 1697 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2519.85 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22783 0 0 0 250287 1698 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32074
/proc/meminfo: memFree=24790596/32770624 swapFree=67058920/67108860
[pid=31814] ppid=31811 vsize=36112 memory=6296 CPUtime=2519.95 cores=1,3,5,7
/proc/31814/stat : 31814 (BTD) R 31811 31814 28876 0 -1 4202496 22783 0 0 0 250297 1698 0 0 20 0 1 0 229949534 36978688 1574 33554432000 4194304 36388936 140726017153008 140726017151848 8047831 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 63807488 140726017160380 140726017160459 140726017160459 140726017163217 0
/proc/31814/statm: 9028 1574 504 7861 0 1132 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 36112 KiB
Current children cumulated memory: 6296 KiB
Child status: 0
Real time (s): 2519.97
CPU time (s): 2520.02
CPU user time (s): 2503.04
CPU system time (s): 16.9814
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 36112
Max. memory (cumulated for all children) (KiB): 6296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.04
system time used= 16.9814
maximum resident set size= 6312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22923
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= 3
involuntary context switches= 700
# summary of solver processes directly reported to runsolver:
# pid: 31814
# total CPU time (s): 2520.02
# total CPU user time (s): 2503.04
# total CPU system time (s): 16.9814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.22263 second user time and 16.273 second system time
The end