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 (14343 MiB free)
memory of node 1: 16384 MiB (15495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265560-1502796084/watcher-4265560-1502796084 -o /tmp/evaluation-result-4265560-1502796084/solver-4265560-1502796084 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265560-1502796084.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29289, runsolver pid=29286
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 29290
/proc/meminfo: memFree=30554280/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=31528 memory=1828 CPUtime=0.01 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 614 0 0 0 1 0 0 0 20 0 1 0 81801621 32284672 457 18446744073709551615 4194304 35031035 140736145408384 140736145408384 4641213 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 7882 457 240 7529 0 329 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 31528 KiB
Current children cumulated memory: 1828 KiB
[startup+0.209225 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 29290
/proc/meminfo: memFree=30550560/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=35908 memory=5880 CPUtime=0.11 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1982 0 0 0 11 0 0 0 20 0 1 0 81801621 36769792 1470 18446744073709551615 4194304 35031035 140736145408384 140736145408384 7408826 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 8977 1470 240 7529 0 1424 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 35908 KiB
Current children cumulated memory: 5880 KiB
[startup+0.309326 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 29290
/proc/meminfo: memFree=30527556/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=61408 memory=31104 CPUtime=0.21 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 8138 0 0 0 20 1 0 0 20 0 1 0 81801621 62881792 7776 18446744073709551615 4194304 35031035 140736145408384 140736145408384 7408826 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 15352 7776 252 7529 0 7799 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 61408 KiB
Current children cumulated memory: 31104 KiB
[startup+0.700385 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29290
/proc/meminfo: memFree=30474360/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=162692 memory=131160 CPUtime=0.59 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 33143 0 0 0 55 4 0 0 20 0 1 0 81801621 166596608 32790 18446744073709551615 4194304 35031035 140736145408384 140736145408384 7408826 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 40673 32790 257 7529 0 33120 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 162692 KiB
Current children cumulated memory: 131160 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29290
/proc/meminfo: memFree=30346764/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=369140 memory=337608 CPUtime=1.4 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 84767 0 0 0 128 12 0 0 20 0 1 0 81801621 377999360 84402 18446744073709551615 4194304 35031035 140736145408384 140736145408384 7408826 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 92318 84402 257 7529 0 84765 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 369140 KiB
Current children cumulated memory: 337608 KiB
[startup+3.10968 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 29290
/proc/meminfo: memFree=29954936/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=3 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 211239 0 0 0 277 23 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145408384 7416186 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+6.3004 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 29290
/proc/meminfo: memFree=29953672/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=6.2 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 318638 0 0 0 592 28 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376532 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 29291
/proc/meminfo: memFree=29953936/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=12.59 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 485896 0 0 0 1224 35 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 29291
/proc/meminfo: memFree=29953936/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=25.4 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 639647 0 0 0 2497 43 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 29291
/proc/meminfo: memFree=29954336/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=51 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 848315 0 0 0 5048 52 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4346776 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 29293
/proc/meminfo: memFree=29953984/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=102.19 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1019903 0 0 0 10160 59 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 6444272 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 29295
/proc/meminfo: memFree=29953984/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=162.19 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1168681 0 0 0 16153 66 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4213184 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29312
/proc/meminfo: memFree=29949500/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=222.18 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1311612 0 0 0 22146 72 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376535 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 29314
/proc/meminfo: memFree=29952908/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=282.19 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1465826 0 0 0 28139 80 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4346776 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 29316
/proc/meminfo: memFree=29953136/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=342.19 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1613437 0 0 0 34131 88 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 6440521 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 29318
/proc/meminfo: memFree=29953604/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=402.18 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1761927 0 0 0 40123 95 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 29320
/proc/meminfo: memFree=29952860/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=462.18 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 1911606 0 0 0 46116 102 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
################
# More data... #
################
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 29766
/proc/meminfo: memFree=30664296/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=1782.11 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2258590 0 0 0 178090 121 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376535 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29768
/proc/meminfo: memFree=30664280/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=1842.12 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2259401 0 0 0 184090 122 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29770
/proc/meminfo: memFree=30664420/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=1902.12 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2260159 0 0 0 190090 122 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376535 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29772
/proc/meminfo: memFree=30664476/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=1962.11 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2261022 0 0 0 196089 122 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29789
/proc/meminfo: memFree=30659808/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2022.11 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2261850 0 0 0 202089 122 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 7405921 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29791
/proc/meminfo: memFree=30663828/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2082.11 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2262666 0 0 0 208088 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 7398326 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29793
/proc/meminfo: memFree=30663980/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2142.11 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2263467 0 0 0 214088 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 7405901 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29795
/proc/meminfo: memFree=30663856/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2202.1 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2264281 0 0 0 220087 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 6458032 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29797
/proc/meminfo: memFree=30663864/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2262.1 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2265095 0 0 0 226087 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 6440512 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29799
/proc/meminfo: memFree=30664020/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2322.09 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2265924 0 0 0 232086 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29801
/proc/meminfo: memFree=30664276/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2382.09 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2266709 0 0 0 238086 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 6440512 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29803
/proc/meminfo: memFree=30664400/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2442.09 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2267562 0 0 0 244086 123 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376535 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29805
/proc/meminfo: memFree=30664524/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2502.09 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2268382 0 0 0 250085 124 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376729 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 29805
/proc/meminfo: memFree=30664524/32770624 swapFree=67108860/67108860
[pid=29289] ppid=29286 vsize=628836 memory=599560 CPUtime=2519.8 cores=1,3,5,7
/proc/29289/stat : 29289 (BTD) R 29286 29289 17093 0 -1 4202496 2268395 0 0 0 251856 124 0 0 20 0 1 0 81801621 643928064 149890 18446744073709551615 4194304 35031035 140736145408384 140736145407384 4376480 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 70324224 140736145416671 140736145416747 140736145416747 140736145420241 0
/proc/29289/statm: 157209 149890 296 7529 0 149656 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 628836 KiB
Current children cumulated memory: 599560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 29289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.56 s, system=1.24395 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.81
CPU user time (s): 2518.56
CPU system time (s): 1.24395
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 628836
Max. memory (cumulated for all children) (KiB): 599560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.56
system time used= 1.24395
maximum resident set size= 603512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2268395
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= 19
involuntary context switches= 713
# summary of solver processes directly reported to runsolver:
# pid: 29289
# total CPU time (s): 2519.81
# total CPU user time (s): 2518.56
# total CPU system time (s): 1.24395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.066 second user time and 18.9051 second system time
The end