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 (4958 MiB free)
memory of node 1: 16384 MiB (4630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296183-1532614507/watcher-4296183-1532614507 -o /tmp/evaluation-result-4296183-1532614507/solver-4296183-1532614507 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532614507-428 --watchdog 2580 BTD 12 2520 HOME/instance-4296183-1532614507.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
solver pid=463, runsolver pid=456
Current StackSize limit: 8192 KiB
[startup+0.100241 s]*
/proc/loadavg: 1.00 1.21 1.63 4/190 465
/proc/meminfo: memFree=9809504/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=39296 memory=8956 CPUtime=0.09 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 2428 0 0 0 9 0 0 0 20 0 1 0 79013962 40239104 2239 33554432000 4194304 36388972 140730342529872 140730342527048 4777616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 9824 2239 438 7861 0 1928 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39296 KiB
Current children cumulated memory: 8956 KiB
[startup+0.209728 s]*
/proc/loadavg: 1.00 1.21 1.63 4/190 465
/proc/meminfo: memFree=9805912/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=42728 memory=12652 CPUtime=0.2 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 3304 0 0 0 20 0 0 0 20 0 1 0 79013962 43753472 3163 33554432000 4194304 36388972 140730342529872 140730342525672 6663905 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10682 3163 509 7861 0 2786 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 12652 KiB
[startup+0.309693 s]*
/proc/loadavg: 1.00 1.21 1.63 4/190 465
/proc/meminfo: memFree=9805912/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=42860 memory=12652 CPUtime=0.3 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 3314 0 0 0 30 0 0 0 20 0 1 0 79013962 43888640 3163 33554432000 4194304 36388972 140730342529872 140730342525672 4356687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10715 3163 509 7861 0 2819 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42860 KiB
Current children cumulated memory: 12652 KiB
[startup+0.700235 s]
/proc/loadavg: 1.00 1.21 1.63 4/190 465
/proc/meminfo: memFree=9805648/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=42860 memory=12652 CPUtime=0.68 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 3327 0 0 0 68 0 0 0 20 0 1 0 79013962 43888640 3163 33554432000 4194304 36388972 140730342529872 140730342528712 4356628 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10715 3163 509 7861 0 2819 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42860 KiB
Current children cumulated memory: 12652 KiB
[startup+1.50028 s]
/proc/loadavg: 1.00 1.21 1.63 4/190 465
/proc/meminfo: memFree=9805648/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=42860 memory=12652 CPUtime=1.48 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 3334 0 0 0 148 0 0 0 20 0 1 0 79013962 43888640 3163 33554432000 4194304 36388972 140730342529872 140730342528712 4356633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10715 3163 509 7861 0 2819 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42860 KiB
Current children cumulated memory: 12652 KiB
[startup+3.10968 s]
/proc/loadavg: 1.00 1.21 1.63 4/190 465
/proc/meminfo: memFree=9805388/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=42992 memory=12848 CPUtime=3.09 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 4822 0 0 0 307 2 0 0 20 0 1 0 79013962 44023808 3212 33554432000 4194304 36388972 140730342529872 140730342528712 4356640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10748 3212 509 7861 0 2852 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42992 KiB
Current children cumulated memory: 12848 KiB
[startup+6.30024 s]
/proc/loadavg: 1.08 1.22 1.63 4/190 465
/proc/meminfo: memFree=9804796/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43256 memory=13144 CPUtime=6.29 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 6887 0 0 0 624 5 0 0 20 0 1 0 79013962 44294144 3286 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10814 3286 511 7861 0 2918 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 13144 KiB
[startup+12.7003 s]
/proc/loadavg: 1.16 1.24 1.64 4/190 465
/proc/meminfo: memFree=9804372/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43256 memory=13240 CPUtime=12.68 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 8937 0 0 0 1263 5 0 0 20 0 1 0 79013962 44294144 3310 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10814 3310 521 7861 0 2918 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 13240 KiB
[startup+25.5003 s]
/proc/loadavg: 1.34 1.27 1.64 4/190 465
/proc/meminfo: memFree=9802460/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43388 memory=13332 CPUtime=25.48 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 9934 0 0 0 2543 5 0 0 20 0 1 0 79013962 44429312 3333 33554432000 4194304 36388972 140730342529872 140730342528712 4356633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10847 3333 521 7861 0 2951 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 43388 KiB
Current children cumulated memory: 13332 KiB
[startup+51.1092 s]
/proc/loadavg: 1.57 1.33 1.65 3/190 465
/proc/meminfo: memFree=9802336/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43520 memory=13512 CPUtime=51.08 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 10508 0 0 0 5103 5 0 0 20 0 1 0 79013962 44564480 3378 33554432000 4194304 36388972 140730342529872 140730342528712 4356633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10880 3378 521 7861 0 2984 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 13512 KiB
[startup+102.3 s]
/proc/loadavg: 1.81 1.44 1.67 3/190 466
/proc/meminfo: memFree=9801716/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43652 memory=13592 CPUtime=102.27 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 11103 0 0 0 10222 5 0 0 20 0 1 0 79013962 44699648 3398 33554432000 4194304 36388972 140730342529872 140730342528712 4356687 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10913 3398 521 7861 0 3017 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 43652 KiB
Current children cumulated memory: 13592 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.54 1.69 3/190 467
/proc/meminfo: memFree=9802140/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43784 memory=13660 CPUtime=162.28 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 11708 0 0 0 16222 6 0 0 20 0 1 0 79013962 44834816 3415 33554432000 4194304 36388972 140730342529872 140730342528712 4356628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10946 3415 521 7861 0 3050 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 13660 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.62 1.71 3/190 468
/proc/meminfo: memFree=9801676/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43784 memory=13748 CPUtime=222.27 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 12314 0 0 0 22221 6 0 0 20 0 1 0 79013962 44834816 3437 33554432000 4194304 36388972 140730342529872 140730342528712 4356628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10946 3437 521 7861 0 3050 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 13748 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.69 1.73 3/190 469
/proc/meminfo: memFree=9801616/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43784 memory=14060 CPUtime=282.27 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 12928 0 0 0 28220 7 0 0 20 0 1 0 79013962 44834816 3515 33554432000 4194304 36388972 140730342529872 140730342528712 4356656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10946 3515 521 7861 0 3050 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 14060 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.75 1.74 3/189 480
/proc/meminfo: memFree=9800604/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43784 memory=14068 CPUtime=342.26 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 13264 0 0 0 34219 7 0 0 20 0 1 0 79013962 44834816 3517 33554432000 4194304 36388972 140730342529872 140730342528712 4356656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10946 3517 521 7861 0 3050 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 43784 KiB
Current children cumulated memory: 14068 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.76 3/189 481
/proc/meminfo: memFree=9800772/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43916 memory=14140 CPUtime=402.26 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 13629 0 0 0 40219 7 0 0 20 0 1 0 79013962 44969984 3535 33554432000 4194304 36388972 140730342529872 140730342528712 6663868 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10979 3535 521 7861 0 3083 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 43916 KiB
Current children cumulated memory: 14140 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.78 3/189 482
/proc/meminfo: memFree=9800792/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=43916 memory=14144 CPUtime=462.26 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 13978 0 0 0 46218 8 0 0 20 0 1 0 79013962 44969984 3536 33554432000 4194304 36388972 140730342529872 140730342528712 4356623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 10979 3536 521 7861 0 3083 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 43916 KiB
Current children cumulated memory: 14144 KiB
################
# More data... #
################
/proc/463/statm: 11012 3581 521 7861 0 3116 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14324 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 522
/proc/meminfo: memFree=9801084/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44048 memory=14340 CPUtime=1782.21 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 21931 0 0 0 178205 16 0 0 20 0 1 0 79013962 45105152 3585 33554432000 4194304 36388972 140730342529872 140730342528712 4356628 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11012 3585 521 7861 0 3116 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14340 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 523
/proc/meminfo: memFree=9800776/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44048 memory=14340 CPUtime=1842.21 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 22268 0 0 0 184204 17 0 0 20 0 1 0 79013962 45105152 3585 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11012 3585 521 7861 0 3116 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14340 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 524
/proc/meminfo: memFree=9800836/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44048 memory=14340 CPUtime=1902.21 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 22647 0 0 0 190204 17 0 0 20 0 1 0 79013962 45105152 3585 33554432000 4194304 36388972 140730342529872 140730342528712 4356633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11012 3585 521 7861 0 3116 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14340 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 527
/proc/meminfo: memFree=9800892/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44048 memory=14352 CPUtime=1962.21 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 23000 0 0 0 196203 18 0 0 20 0 1 0 79013962 45105152 3588 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11012 3588 521 7861 0 3116 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14352 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 528
/proc/meminfo: memFree=9800788/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44048 memory=14352 CPUtime=2022.2 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 23359 0 0 0 202202 18 0 0 20 0 1 0 79013962 45105152 3588 33554432000 4194304 36388972 140730342529872 140730342528712 4356637 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11012 3588 521 7861 0 3116 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 44048 KiB
Current children cumulated memory: 14352 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 529
/proc/meminfo: memFree=9800784/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14352 CPUtime=2082.2 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 23743 0 0 0 208201 19 0 0 20 0 1 0 79013962 45240320 3588 33554432000 4194304 36388972 140730342529872 140730342528712 4356675 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3588 521 7861 0 3149 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14352 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.00 1.96 3/187 539
/proc/meminfo: memFree=9800540/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14368 CPUtime=2142.2 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 24089 0 0 0 214201 19 0 0 20 0 1 0 79013962 45240320 3592 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3592 521 7861 0 3149 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14368 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.00 1.96 3/187 540
/proc/meminfo: memFree=9800724/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14368 CPUtime=2202.2 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 24440 0 0 0 220201 19 0 0 20 0 1 0 79013962 45240320 3592 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3592 521 7861 0 3149 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14368 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/187 541
/proc/meminfo: memFree=9800648/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14368 CPUtime=2262.19 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 24782 0 0 0 226200 19 0 0 20 0 1 0 79013962 45240320 3592 33554432000 4194304 36388972 140730342529872 140730342528712 4356633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3592 521 7861 0 3149 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14368 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/187 542
/proc/meminfo: memFree=9800588/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14388 CPUtime=2322.2 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 25183 0 0 0 232200 20 0 0 20 0 1 0 79013962 45240320 3597 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3597 521 7861 0 3149 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14388 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/187 543
/proc/meminfo: memFree=9800516/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14388 CPUtime=2382.19 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 25547 0 0 0 238199 20 0 0 20 0 1 0 79013962 45240320 3597 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3597 521 7861 0 3149 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14388 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/187 545
/proc/meminfo: memFree=9800460/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14388 CPUtime=2442.19 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 25906 0 0 0 244199 20 0 0 20 0 1 0 79013962 45240320 3597 33554432000 4194304 36388972 140730342529872 140730342528712 4356619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3597 521 7861 0 3149 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14388 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/186 547
/proc/meminfo: memFree=9801168/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14388 CPUtime=2502.19 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 26272 0 0 0 250199 20 0 0 20 0 1 0 79013962 45240320 3597 33554432000 4194304 36388972 140730342529872 140730342528712 4356616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3597 521 7861 0 3149 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14388 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 1.96 2/185 548
/proc/meminfo: memFree=9802696/32770624 swapFree=67108860/67108860
[pid=463] ppid=456 vsize=44180 memory=14388 CPUtime=2519.89 cores=0,2,4,6
/proc/463/stat : 463 (BTD) R 456 463 29512 0 -1 4202496 26615 0 0 0 251969 20 0 0 20 0 1 0 79013962 45240320 3597 33554432000 4194304 36388972 140730342529872 140730342528712 4356656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 70029312 140730342536380 140730342536459 140730342536459 140730342539217 0
/proc/463/statm: 11045 3597 521 7861 0 3149 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 14388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 463 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.7 s, system=0.210992 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.91
CPU user time (s): 2519.7
CPU system time (s): 0.210992
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 44180
Max. memory (cumulated for all children) (KiB): 14388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.7
system time used= 0.210992
maximum resident set size= 14388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26615
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= 7
involuntary context switches= 3202
# summary of solver processes directly reported to runsolver:
# pid: 463
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.7
# total CPU system time (s): 0.210992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22047 second user time and 16.1075 second system time
The end