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 (14524 MiB free)
memory of node 1: 16384 MiB (13504 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306455-1534074502/watcher-4306455-1534074502 -o /tmp/evaluation-result-4306455-1534074502/solver-4306455-1534074502 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534061432-19466 --watchdog 2580 BTD 3 2520 HOME/instance-4306455-1534074502.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=21910, runsolver pid=21907
Current StackSize limit: 8192 KiB
[startup+0.101096 s]*
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28696908/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=37416 memory=6844 CPUtime=0.1 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 1902 0 0 0 10 0 0 0 20 0 1 0 225013374 38313984 1711 33554432000 4194304 36388936 140727366759920 140727366753544 4212725 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 9354 1711 443 7861 0 1458 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 6844 KiB
[startup+0.209479 s]*
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28696908/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=37944 memory=7372 CPUtime=0.21 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 2010 0 0 0 21 0 0 0 20 0 1 0 225013374 38854656 1843 33554432000 4194304 36388936 140727366759920 140727366753544 4212832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 9486 1843 443 7861 0 1590 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37944 KiB
Current children cumulated memory: 7372 KiB
[startup+0.308794 s]*
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28696196/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=38472 memory=7900 CPUtime=0.3 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 2147 0 0 0 30 0 0 0 20 0 1 0 225013374 39395328 1975 33554432000 4194304 36388936 140727366759920 140727366753544 4212725 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 9618 1975 443 7861 0 1722 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38472 KiB
Current children cumulated memory: 7900 KiB
[startup+0.700229 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28694336/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=40716 memory=10276 CPUtime=0.69 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 2713 0 0 0 69 0 0 0 20 0 1 0 225013374 41693184 2569 33554432000 4194304 36388936 140727366759920 140727366753544 7752736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 10179 2569 444 7861 0 2283 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40716 KiB
Current children cumulated memory: 10276 KiB
[startup+1.50028 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28691608/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=44808 memory=14236 CPUtime=1.48 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 3730 0 0 0 148 0 0 0 20 0 1 0 225013374 45883392 3559 33554432000 4194304 36388936 140727366759920 140727366753512 7934425 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 11202 3559 444 7861 0 3306 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44808 KiB
Current children cumulated memory: 14236 KiB
[startup+3.10949 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28624028/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=110308 memory=79872 CPUtime=3.09 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 22830 0 0 0 305 4 0 0 20 0 1 0 225013374 112955392 19968 33554432000 4194304 36388936 140727366759920 140727366758760 4658381 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 27577 19968 497 7861 0 19681 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 79872 KiB
[startup+6.30025 s]
/proc/loadavg: 2.06 2.06 2.06 3/187 21911
/proc/meminfo: memFree=28622540/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=111516 memory=81208 CPUtime=6.29 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 26444 0 0 0 624 5 0 0 20 0 1 0 225013374 114192384 20302 33554432000 4194304 36388936 140727366759920 140727366758760 4658359 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 27879 20302 499 7861 0 19983 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 111516 KiB
Current children cumulated memory: 81208 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 2.06 3/187 21911
/proc/meminfo: memFree=28622748/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=111788 memory=81380 CPUtime=12.69 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 29692 0 0 0 1263 6 0 0 20 0 1 0 225013374 114470912 20345 33554432000 4194304 36388936 140727366759920 140727366758760 4658349 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 27947 20345 499 7861 0 20051 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 111788 KiB
Current children cumulated memory: 81380 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 21911
/proc/meminfo: memFree=28622376/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=112068 memory=81644 CPUtime=25.48 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 36155 0 0 0 2540 8 0 0 20 0 1 0 225013374 114757632 20411 33554432000 4194304 36388936 140727366759920 140727366758760 4658359 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 28017 20411 499 7861 0 20121 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 112068 KiB
Current children cumulated memory: 81644 KiB
[startup+51.1092 s]
/proc/loadavg: 2.03 2.05 2.05 3/187 21911
/proc/meminfo: memFree=28621260/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=113080 memory=82560 CPUtime=51.09 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 39748 0 0 0 5097 12 0 0 20 0 1 0 225013374 115793920 20640 33554432000 4194304 36388936 140727366759920 140727366758760 4658339 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 28270 20640 499 7861 0 20374 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 113080 KiB
Current children cumulated memory: 82560 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 21920
/proc/meminfo: memFree=28617148/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=114048 memory=83676 CPUtime=102.27 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 43386 0 0 0 10206 21 0 0 20 0 1 0 225013374 116785152 20919 33554432000 4194304 36388936 140727366759920 140727366758760 4658331 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 28512 20919 499 7861 0 20616 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 114048 KiB
Current children cumulated memory: 83676 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 21921
/proc/meminfo: memFree=28617488/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=115412 memory=85280 CPUtime=162.26 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 44410 0 0 0 16190 36 0 0 20 0 1 0 225013374 118181888 21320 33554432000 4194304 36388936 140727366759920 140727366758760 4658339 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 28853 21320 499 7861 0 20957 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 115412 KiB
Current children cumulated memory: 85280 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 21922
/proc/meminfo: memFree=28615940/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=116540 memory=86188 CPUtime=222.25 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 45059 0 0 0 22173 52 0 0 20 0 1 0 225013374 119336960 21547 33554432000 4194304 36388936 140727366759920 140727366758760 4658341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29135 21547 499 7861 0 21239 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 116540 KiB
Current children cumulated memory: 86188 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 21923
/proc/meminfo: memFree=28615988/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=117084 memory=86900 CPUtime=282.25 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 45696 0 0 0 28153 72 0 0 20 0 1 0 225013374 119894016 21725 33554432000 4194304 36388936 140727366759920 140727366758760 4658388 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29271 21725 499 7861 0 21375 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 86900 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 21924
/proc/meminfo: memFree=28614444/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=117500 memory=87408 CPUtime=342.24 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 46201 0 0 0 34136 88 0 0 20 0 1 0 225013374 120320000 21852 33554432000 4194304 36388936 140727366759920 140727366758760 6663879 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29375 21852 499 7861 0 21479 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 87408 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21926
/proc/meminfo: memFree=28613784/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=117632 memory=87488 CPUtime=402.23 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 46865 0 0 0 40121 102 0 0 20 0 1 0 225013374 120455168 21872 33554432000 4194304 36388936 140727366759920 140727366758760 4658397 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29408 21872 499 7861 0 21512 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 117632 KiB
Current children cumulated memory: 87488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21927
/proc/meminfo: memFree=28613732/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=117632 memory=87488 CPUtime=462.23 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 47127 0 0 0 46110 113 0 0 20 0 1 0 225013374 120455168 21872 33554432000 4194304 36388936 140727366759920 140727366758760 4251296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29408 21872 499 7861 0 21512 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 117632 KiB
Current children cumulated memory: 87488 KiB
################
# More data... #
################
/proc/21910/statm: 29621 22109 499 7861 0 21725 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 88436 KiB
[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 2.07 3/187 22050
/proc/meminfo: memFree=28828824/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=118628 memory=88508 CPUtime=1782.12 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 50858 0 0 0 177825 387 0 0 20 0 1 0 225013374 121475072 22127 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29657 22127 499 7861 0 21761 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 118628 KiB
Current children cumulated memory: 88508 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 22051
/proc/meminfo: memFree=28828704/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=118904 memory=88804 CPUtime=1842.12 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 51081 0 0 0 183800 412 0 0 20 0 1 0 225013374 121757696 22201 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29726 22201 499 7861 0 21830 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 118904 KiB
Current children cumulated memory: 88804 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 22059
/proc/meminfo: memFree=28828212/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=118904 memory=88808 CPUtime=1902.12 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 51256 0 0 0 189787 425 0 0 20 0 1 0 225013374 121757696 22202 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29726 22202 499 7861 0 21830 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 118904 KiB
Current children cumulated memory: 88808 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 22060
/proc/meminfo: memFree=28828988/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119040 memory=89000 CPUtime=1962.12 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 51532 0 0 0 195763 449 0 0 20 0 1 0 225013374 121896960 22250 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29760 22250 499 7861 0 21864 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 119040 KiB
Current children cumulated memory: 89000 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 22061
/proc/meminfo: memFree=28829048/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119040 memory=89000 CPUtime=2022.13 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 51648 0 0 0 201747 466 0 0 20 0 1 0 225013374 121896960 22250 33554432000 4194304 36388936 140727366759920 140727366758760 4247121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29760 22250 499 7861 0 21864 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 119040 KiB
Current children cumulated memory: 89000 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 22062
/proc/meminfo: memFree=28829144/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119304 memory=89156 CPUtime=2082.12 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 52007 0 0 0 207726 486 0 0 20 0 1 0 225013374 122167296 22289 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29826 22289 499 7861 0 21930 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 119304 KiB
Current children cumulated memory: 89156 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 22063
/proc/meminfo: memFree=28829084/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119304 memory=89156 CPUtime=2142.13 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 52127 0 0 0 213705 508 0 0 20 0 1 0 225013374 122167296 22289 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29826 22289 499 7861 0 21930 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 119304 KiB
Current children cumulated memory: 89156 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 22065
/proc/meminfo: memFree=28828596/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119448 memory=89340 CPUtime=2202.13 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 52505 0 0 0 219683 530 0 0 20 0 1 0 225013374 122314752 22335 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29862 22335 499 7861 0 21966 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 119448 KiB
Current children cumulated memory: 89340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 22066
/proc/meminfo: memFree=28828976/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119448 memory=89340 CPUtime=2262.13 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 52624 0 0 0 225660 553 0 0 20 0 1 0 225013374 122314752 22335 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29862 22335 499 7861 0 21966 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 119448 KiB
Current children cumulated memory: 89340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22067
/proc/meminfo: memFree=28828732/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119584 memory=89448 CPUtime=2322.13 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 52815 0 0 0 231640 573 0 0 20 0 1 0 225013374 122454016 22362 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29896 22362 499 7861 0 22000 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 119584 KiB
Current children cumulated memory: 89448 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 22069
/proc/meminfo: memFree=28827952/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119584 memory=89532 CPUtime=2382.14 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 52983 0 0 0 237617 597 0 0 20 0 1 0 225013374 122454016 22383 33554432000 4194304 36388936 140727366759920 140727366758760 4247121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29896 22383 499 7861 0 22000 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 119584 KiB
Current children cumulated memory: 89532 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22070
/proc/meminfo: memFree=28828476/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119584 memory=89532 CPUtime=2442.13 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 53141 0 0 0 243597 616 0 0 20 0 1 0 225013374 122454016 22383 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29896 22383 499 7861 0 22000 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 119584 KiB
Current children cumulated memory: 89532 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22079
/proc/meminfo: memFree=28827788/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119728 memory=89672 CPUtime=2502.14 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 53432 0 0 0 249578 636 0 0 20 0 1 0 225013374 122601472 22418 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29932 22418 499 7861 0 22036 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 89672 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22079
/proc/meminfo: memFree=28827912/32770624 swapFree=67030652/67108860
[pid=21910] ppid=21907 vsize=119728 memory=89672 CPUtime=2519.84 cores=0,2,4,6
/proc/21910/stat : 21910 (BTD) R 21907 21910 19435 0 -1 4202496 53556 0 0 0 251343 641 0 0 20 0 1 0 225013374 122601472 22418 33554432000 4194304 36388936 140727366759920 140727366758760 8047831 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 62070784 140727366763709 140727366763787 140727366763787 140727366766545 0
/proc/21910/statm: 29932 22418 499 7861 0 22036 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 119728 KiB
Current children cumulated memory: 89672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21910 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.44 s, system=6.41864 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.86
CPU user time (s): 2513.44
CPU system time (s): 6.41864
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 119728
Max. memory (cumulated for all children) (KiB): 89672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.44
system time used= 6.41864
maximum resident set size= 89672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53556
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= 12
involuntary context switches= 1931
# summary of solver processes directly reported to runsolver:
# pid: 21910
# total CPU time (s): 2519.86
# total CPU user time (s): 2513.44
# total CPU system time (s): 6.41864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52701 second user time and 17.38 second system time
The end