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 (15096 MiB free)
memory of node 1: 16384 MiB (15520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265182-1502699620/watcher-4265182-1502699620 -o /tmp/evaluation-result-4265182-1502699620/solver-4265182-1502699620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265182-1502699620.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=3661, runsolver pid=3658
[startup+0.100153 s]*
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31351240/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=32180 memory=2748 CPUtime=0.03 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 855 0 0 0 3 0 0 0 20 0 1 0 72155319 32952320 687 18446744073709551615 4194304 35031035 140735563340256 140735563340256 4389897 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8045 687 292 7529 0 492 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 32180 KiB
Current children cumulated memory: 2748 KiB
[startup+0.209056 s]*
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31351240/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=32444 memory=3012 CPUtime=0.14 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 905 0 0 0 14 0 0 0 20 0 1 0 72155319 33222656 753 18446744073709551615 4194304 35031035 140735563340256 140735563340256 4389856 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8111 753 300 7529 0 558 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 32444 KiB
Current children cumulated memory: 3012 KiB
[startup+0.308803 s]*
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31350180/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34332 memory=4840 CPUtime=0.24 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 1378 0 0 0 24 0 0 0 20 0 1 0 72155319 35155968 1210 18446744073709551615 4194304 35031035 140735563340256 140735563340256 4390071 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8583 1210 311 7529 0 1030 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 34332 KiB
Current children cumulated memory: 4840 KiB
[startup+0.700275 s]
/proc/loadavg: 1.99 2.01 2.04 4/181 3662
/proc/meminfo: memFree=31348832/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34460 memory=5136 CPUtime=0.62 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 1412 0 0 0 62 0 0 0 20 0 1 0 72155319 35287040 1284 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8615 1284 316 7529 0 1062 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 5136 KiB
[startup+1.50027 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31348832/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34460 memory=5136 CPUtime=1.43 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 1417 0 0 0 142 1 0 0 20 0 1 0 72155319 35287040 1284 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8615 1284 316 7529 0 1062 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 5136 KiB
[startup+3.10874 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31348760/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34460 memory=5204 CPUtime=3.03 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 1873 0 0 0 302 1 0 0 20 0 1 0 72155319 35287040 1301 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4545774 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8615 1301 316 7529 0 1062 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 34460 KiB
Current children cumulated memory: 5204 KiB
[startup+6.30026 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31348364/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34592 memory=5276 CPUtime=6.23 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 2407 0 0 0 620 3 0 0 20 0 1 0 72155319 35422208 1319 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390156 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8648 1319 316 7529 0 1095 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 34592 KiB
Current children cumulated memory: 5276 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31348232/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34592 memory=5360 CPUtime=12.62 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 2933 0 0 0 1257 5 0 0 20 0 1 0 72155319 35422208 1340 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390071 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8648 1340 316 7529 0 1095 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 34592 KiB
Current children cumulated memory: 5360 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 3662
/proc/meminfo: memFree=31347804/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34724 memory=5460 CPUtime=25.42 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 3881 0 0 0 2532 10 0 0 20 0 1 0 72155319 35557376 1365 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8681 1365 316 7529 0 1128 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 34724 KiB
Current children cumulated memory: 5460 KiB
[startup+51.1089 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 3677
/proc/meminfo: memFree=31342580/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34856 memory=5548 CPUtime=51.03 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 4358 0 0 0 5076 27 0 0 20 0 1 0 72155319 35692544 1387 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8714 1387 316 7529 0 1161 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 5548 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 3679
/proc/meminfo: memFree=31342892/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34856 memory=5580 CPUtime=102.22 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 4818 0 0 0 10169 53 0 0 20 0 1 0 72155319 35692544 1395 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4389983 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8714 1395 316 7529 0 1161 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 5580 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3681
/proc/meminfo: memFree=31346148/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34988 memory=5660 CPUtime=162.21 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 5293 0 0 0 16131 90 0 0 20 0 1 0 72155319 35827712 1415 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8747 1415 316 7529 0 1194 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 5660 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3683
/proc/meminfo: memFree=31346140/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34988 memory=5708 CPUtime=222.21 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 5763 0 0 0 22094 127 0 0 20 0 1 0 72155319 35827712 1427 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390071 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8747 1427 316 7529 0 1194 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 5708 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3685
/proc/meminfo: memFree=31346504/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34988 memory=5732 CPUtime=282.21 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 6250 0 0 0 28063 158 0 0 20 0 1 0 72155319 35827712 1433 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8747 1433 316 7529 0 1194 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 5732 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3688
/proc/meminfo: memFree=31346140/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34988 memory=5740 CPUtime=342.2 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 6739 0 0 0 34019 201 0 0 20 0 1 0 72155319 35827712 1435 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390000 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8747 1435 316 7529 0 1194 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 5740 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 3690
/proc/meminfo: memFree=31346588/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34988 memory=5760 CPUtime=402.19 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 7217 0 0 0 39978 241 0 0 20 0 1 0 72155319 35827712 1440 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8747 1440 316 7529 0 1194 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 5760 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 2/176 4105
/proc/meminfo: memFree=31387624/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=34988 memory=5776 CPUtime=462.2 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 7729 0 0 0 45937 283 0 0 20 0 1 0 72155319 35827712 1444 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390458 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8747 1444 316 7529 0 1194 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 34988 KiB
Current children cumulated memory: 5776 KiB
################
# More data... #
################
Current children cumulated memory: 6460 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 4210
/proc/meminfo: memFree=30772912/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35644 memory=6460 CPUtime=1902.12 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 20959 0 0 0 189328 884 0 0 20 0 1 0 72155319 36499456 1615 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8911 1615 316 7529 0 1358 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 35644 KiB
Current children cumulated memory: 6460 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4212
/proc/meminfo: memFree=30775512/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6484 CPUtime=1962.12 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 21578 0 0 0 195281 931 0 0 20 0 1 0 72155319 36634624 1621 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4389560 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1621 316 7529 0 1391 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6484 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4214
/proc/meminfo: memFree=30775512/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6484 CPUtime=2022.12 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 22093 0 0 0 201239 973 0 0 20 0 1 0 72155319 36634624 1621 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4389893 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1621 316 7529 0 1391 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6484 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4216
/proc/meminfo: memFree=30775636/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6516 CPUtime=2082.12 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 22790 0 0 0 207177 1035 0 0 20 0 1 0 72155319 36634624 1629 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1629 316 7529 0 1391 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6516 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 4219
/proc/meminfo: memFree=30775148/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6532 CPUtime=2142.11 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 23386 0 0 0 213133 1078 0 0 20 0 1 0 72155319 36634624 1633 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1633 316 7529 0 1391 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6532 KiB
[startup+2202.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 4221
/proc/meminfo: memFree=30775468/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6532 CPUtime=2202.11 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 23901 0 0 0 219111 1100 0 0 20 0 1 0 72155319 36634624 1633 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390373 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1633 316 7529 0 1391 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6532 KiB
[startup+2262.3 s]
/proc/loadavg: 2.38 2.15 2.09 3/181 4223
/proc/meminfo: memFree=30775716/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6532 CPUtime=2262.1 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 24416 0 0 0 225086 1124 0 0 20 0 1 0 72155319 36634624 1633 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1633 316 7529 0 1391 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6532 KiB
[startup+2322.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/181 4226
/proc/meminfo: memFree=30775220/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6532 CPUtime=2322.11 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 24925 0 0 0 231066 1145 0 0 20 0 1 0 72155319 36634624 1633 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1633 316 7529 0 1391 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6532 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/181 4228
/proc/meminfo: memFree=30775504/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6532 CPUtime=2382.1 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 25455 0 0 0 237042 1168 0 0 20 0 1 0 72155319 36634624 1633 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1633 316 7529 0 1391 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6532 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/184 4244
/proc/meminfo: memFree=30772140/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6548 CPUtime=2442.1 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 26098 0 0 0 243004 1206 0 0 20 0 1 0 72155319 36634624 1637 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4389995 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1637 316 7529 0 1391 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6548 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/184 4269
/proc/meminfo: memFree=30770224/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6548 CPUtime=2502.09 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 26642 0 0 0 248950 1259 0 0 20 0 1 0 72155319 36634624 1637 18446744073709551615 4194304 35031035 140735563340256 140735563339256 7760122 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1637 316 7529 0 1391 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6548 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.09 2.08 2.07 3/185 4271
/proc/meminfo: memFree=30770332/32770624 swapFree=67108860/67108860
[pid=3661] ppid=3658 vsize=35776 memory=6548 CPUtime=2519.8 cores=1,3,5,7
/proc/3661/stat : 3661 (BTD) R 3658 3661 17093 0 -1 4202496 27126 0 0 0 250711 1269 0 0 20 0 1 0 72155319 36634624 1637 18446744073709551615 4194304 35031035 140735563340256 140735563339256 4390529 0 0 1 0 0 0 0 17 5 0 0 6 0 0 37130264 37226188 67620864 140735563342303 140735563342379 140735563342379 140735563345873 0
/proc/3661/statm: 8944 1637 316 7529 0 1391 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 35776 KiB
Current children cumulated memory: 6548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2522.81 s]
# the end of solver process 3661 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.12 s, system=12.6964 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2520.8 s]
/proc/loadavg: 2.09 2.08 2.07 2/185 4271
/proc/meminfo: memFree=30775428/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2521.6 s]
/proc/loadavg: 2.09 2.08 2.07 2/185 4271
/proc/meminfo: memFree=30775604/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2522 s]*
/proc/loadavg: 2.16 2.10 2.07 2/185 4271
/proc/meminfo: memFree=30775604/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2522.81
CPU time (s): 2519.81
CPU user time (s): 2507.12
CPU system time (s): 12.6964
CPU usage (%): 99.8814
Max. virtual memory (cumulated for all children) (KiB): 35776
Max. memory (cumulated for all children) (KiB): 6548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.12
system time used= 12.6964
maximum resident set size= 6548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27126
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= 5
involuntary context switches= 871
# summary of solver processes directly reported to runsolver:
# pid: 3661
# total CPU time (s): 2519.81
# total CPU user time (s): 2507.12
# total CPU system time (s): 12.6964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30562 second user time and 14.9242 second system time
The end