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 (10785 MiB free)
memory of node 1: 16384 MiB (7091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306327-1534132795/watcher-4306327-1534132795 -o /tmp/evaluation-result-4306327-1534132795/solver-4306327-1534132795 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534132748-8939 --watchdog 2580 BTD 3 2520 HOME/instance-4306327-1534132795.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=9158, runsolver pid=9155
[startup+0.100505 s]*
/proc/loadavg: 1.59 1.13 1.02 3/187 9159
/proc/meminfo: memFree=18304736/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33472 memory=3656 CPUtime=0.1 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1046 0 0 0 10 0 0 0 20 0 1 0 230842727 34275328 914 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8368 914 514 7861 0 472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3656 KiB
[startup+0.209273 s]*
/proc/loadavg: 1.59 1.13 1.02 3/187 9159
/proc/meminfo: memFree=18304736/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33472 memory=3656 CPUtime=0.2 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1051 0 0 0 20 0 0 0 20 0 1 0 230842727 34275328 914 33554432000 4194304 36388936 140721534986160 140721534985000 4420648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8368 914 514 7861 0 472 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3656 KiB
[startup+0.308618 s]*
/proc/loadavg: 1.59 1.13 1.02 3/187 9159
/proc/meminfo: memFree=18304736/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33472 memory=3656 CPUtime=0.3 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1053 0 0 0 30 0 0 0 20 0 1 0 230842727 34275328 914 33554432000 4194304 36388936 140721534986160 140721534985000 4420674 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8368 914 514 7861 0 472 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3656 KiB
[startup+0.700223 s]
/proc/loadavg: 1.59 1.13 1.02 3/187 9159
/proc/meminfo: memFree=18304256/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33472 memory=3656 CPUtime=0.69 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1059 0 0 0 69 0 0 0 20 0 1 0 230842727 34275328 914 33554432000 4194304 36388936 140721534986160 140721534985000 4420660 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8368 914 514 7861 0 472 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3656 KiB
[startup+1.50023 s]
/proc/loadavg: 1.59 1.13 1.02 3/187 9159
/proc/meminfo: memFree=18304256/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33472 memory=3656 CPUtime=1.49 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1062 0 0 0 149 0 0 0 20 0 1 0 230842727 34275328 914 33554432000 4194304 36388936 140721534986160 140721534985000 6663917 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8368 914 514 7861 0 472 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33472 KiB
Current children cumulated memory: 3656 KiB
[startup+3.10871 s]
/proc/loadavg: 1.59 1.13 1.02 3/187 9159
/proc/meminfo: memFree=18304388/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3744 CPUtime=3.1 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1378 0 0 0 309 1 0 0 20 0 1 0 230842727 34410496 936 33554432000 4194304 36388936 140721534986160 140721534985000 4420648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 936 514 7861 0 505 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3744 KiB
[startup+6.30022 s]
/proc/loadavg: 1.62 1.15 1.02 3/188 9167
/proc/meminfo: memFree=18302676/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3760 CPUtime=6.29 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 1703 0 0 0 625 4 0 0 20 0 1 0 230842727 34410496 940 33554432000 4194304 36388936 140721534986160 140721534985000 6663917 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 940 514 7861 0 505 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3760 KiB
[startup+12.7002 s]
/proc/loadavg: 1.65 1.16 1.03 3/188 9167
/proc/meminfo: memFree=18302580/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3768 CPUtime=12.68 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 2031 0 0 0 1263 5 0 0 20 0 1 0 230842727 34410496 942 33554432000 4194304 36388936 140721534986160 140721534985000 4420610 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 942 514 7861 0 505 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3768 KiB
[startup+25.5002 s]
/proc/loadavg: 1.73 1.20 1.05 3/188 9167
/proc/meminfo: memFree=18302444/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3800 CPUtime=25.48 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 2689 0 0 0 2540 8 0 0 20 0 1 0 230842727 34410496 950 33554432000 4194304 36388936 140721534986160 140721534985000 6663865 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 950 514 7861 0 505 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3800 KiB
[startup+51.1089 s]
/proc/loadavg: 1.74 1.25 1.06 3/188 9167
/proc/meminfo: memFree=18302728/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3816 CPUtime=51.09 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 3030 0 0 0 5096 13 0 0 20 0 1 0 230842727 34410496 954 33554432000 4194304 36388936 140721534986160 140721534985000 4420719 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 954 514 7861 0 505 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3816 KiB
[startup+102.3 s]
/proc/loadavg: 1.89 1.37 1.11 3/188 9190
/proc/meminfo: memFree=18301128/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3828 CPUtime=102.27 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 3371 0 0 0 10205 22 0 0 20 0 1 0 230842727 34410496 957 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 957 514 7861 0 505 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3828 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.48 1.17 3/188 9191
/proc/meminfo: memFree=18300180/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3844 CPUtime=162.27 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 3716 0 0 0 16195 32 0 0 20 0 1 0 230842727 34410496 961 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 961 514 7861 0 505 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3844 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.58 1.22 3/188 9192
/proc/meminfo: memFree=18300280/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3856 CPUtime=222.27 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 4063 0 0 0 22185 42 0 0 20 0 1 0 230842727 34410496 964 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 964 514 7861 0 505 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3856 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.27 3/188 9193
/proc/meminfo: memFree=18300076/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33604 memory=3868 CPUtime=282.26 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 4410 0 0 0 28172 54 0 0 20 0 1 0 230842727 34410496 967 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8401 967 514 7861 0 505 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 3868 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.72 1.32 3/187 9194
/proc/meminfo: memFree=18300380/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3872 CPUtime=342.26 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 4756 0 0 0 34159 67 0 0 20 0 1 0 230842727 34545664 968 33554432000 4194304 36388936 140721534986160 140721534985000 6663926 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 968 514 7861 0 538 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3872 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.77 1.36 3/187 9195
/proc/meminfo: memFree=18300260/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3880 CPUtime=402.26 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 5107 0 0 0 40149 77 0 0 20 0 1 0 230842727 34545664 970 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 970 514 7861 0 538 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3880 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.40 3/187 9196
/proc/meminfo: memFree=18300448/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3880 CPUtime=462.25 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 5445 0 0 0 46136 89 0 0 20 0 1 0 230842727 34545664 970 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 970 514 7861 0 538 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3880 KiB
################
# More data... #
################
Current children cumulated memory: 3908 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 1.96 1.64 3/187 9211
/proc/meminfo: memFree=18301512/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3908 CPUtime=942.22 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 8232 0 0 0 94045 177 0 0 20 0 1 0 230842727 34545664 977 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 977 514 7861 0 538 0
Current children cumulated CPU time: 942.22 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3908 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/187 9212
/proc/meminfo: memFree=18301304/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3912 CPUtime=1002.21 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 8590 0 0 0 100033 188 0 0 20 0 1 0 230842727 34545664 978 33554432000 4194304 36388936 140721534986160 140721534985000 4420564 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 978 514 7861 0 538 0
Current children cumulated CPU time: 1002.21 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3912 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.69 3/187 9213
/proc/meminfo: memFree=18301304/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3916 CPUtime=1062.21 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 8932 0 0 0 106021 200 0 0 20 0 1 0 230842727 34545664 979 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 979 514 7861 0 538 0
Current children cumulated CPU time: 1062.21 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3916 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.71 3/187 9214
/proc/meminfo: memFree=18301492/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3916 CPUtime=1122.2 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 9282 0 0 0 112008 212 0 0 20 0 1 0 230842727 34545664 979 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 979 514 7861 0 538 0
Current children cumulated CPU time: 1122.2 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3916 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/187 9215
/proc/meminfo: memFree=18301376/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1182.2 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 9623 0 0 0 117998 222 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1182.2 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/187 9223
/proc/meminfo: memFree=18300736/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1242.19 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 9970 0 0 0 123985 234 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1242.19 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1294.12 s]
# the end of solver process 9158 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1291.59 s, system=2.43082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.00 1.99 1.74 3/187 9223
/proc/meminfo: memFree=18300860/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1254.29 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 9970 0 0 0 125193 236 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1254.29 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1280 s]*
/proc/loadavg: 2.00 1.99 1.75 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1279.9 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10302 0 0 0 127749 241 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 4420648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1279.9 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1286.4 s]
/proc/loadavg: 2.00 1.99 1.75 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1286.29 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10302 0 0 0 128388 241 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1286.29 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1289.6 s]
/proc/loadavg: 2.00 1.99 1.75 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1289.49 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10302 0 0 0 128707 242 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1289.49 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1291.2 s]
/proc/loadavg: 2.00 1.99 1.76 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1291.09 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10302 0 0 0 128867 242 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1291.09 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1292.8 s]
/proc/loadavg: 2.00 1.99 1.76 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1292.69 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10302 0 0 0 129027 242 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1292.69 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1293.6 s]
/proc/loadavg: 2.00 1.99 1.76 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1293.49 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10303 0 0 0 129107 242 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 4420648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1293.49 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1294 s]*
/proc/loadavg: 2.00 1.99 1.76 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1293.89 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10303 0 0 0 129147 242 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 4420665 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1293.89 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
[startup+1294.11 s]
/proc/loadavg: 2.00 1.99 1.76 3/187 9224
/proc/meminfo: memFree=18301232/32770624 swapFree=67108796/67108860
[pid=9158] ppid=9155 vsize=33736 memory=3920 CPUtime=1294 cores=0,2,4,6
/proc/9158/stat : 9158 (BTD) R 9155 9158 8908 0 -1 4202496 10303 0 0 0 129158 242 0 0 20 0 1 0 230842727 34545664 980 33554432000 4194304 36388936 140721534986160 140721534985000 4575106 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 41943040 140721534993597 140721534993675 140721534993675 140721534996433 0
/proc/9158/statm: 8434 980 514 7861 0 538 0
Current children cumulated CPU time: 1294 s
Current children cumulated vsize: 33736 KiB
Current children cumulated memory: 3920 KiB
Child status: 0
Real time (s): 1294.12
CPU time (s): 1294.02
CPU user time (s): 1291.59
CPU system time (s): 2.43082
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 33736
Max. memory (cumulated for all children) (KiB): 3920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1291.59
system time used= 2.43082
maximum resident set size= 3944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10419
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= 1626
# summary of solver processes directly reported to runsolver:
# pid: 9158
# total CPU time (s): 1294.02
# total CPU user time (s): 1291.59
# total CPU system time (s): 2.43082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23806 second user time and 8.55969 second system time
The end