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 (3145 MiB free)
memory of node 1: 16384 MiB (12938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386765-1568280962/watcher-4386765-1568280962 -o /tmp/evaluation-result-4386765-1568280962/solver-4386765-1568280962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568280857-499 --watchdog 2580 BTD 2520 HOME/instance-4386765-1568280962.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=745, runsolver pid=742
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 1.21 0.37 0.17 3/199 746
/proc/meminfo: memFree=16377624/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=103172 memory=72056 CPUtime=0.09 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 18143 0 0 0 7 2 0 0 20 0 1 0 404033736 105648128 18014 33554432000 4194304 36700936 140724015071392 140724015071392 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 25793 18014 253 7937 0 17821 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103172 KiB
Current children cumulated memory: 72056 KiB
[startup+0.209872 s]*
/proc/loadavg: 1.21 0.37 0.17 4/199 746
/proc/meminfo: memFree=16334472/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=118324 memory=86476 CPUtime=0.21 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 22355 0 0 0 18 3 0 0 20 0 1 0 404033736 121163776 21619 33554432000 4194304 36700936 140724015071392 140724015071392 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 29581 21619 418 7937 0 21609 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 118324 KiB
Current children cumulated memory: 86476 KiB
[startup+0.309548 s]*
/proc/loadavg: 1.21 0.37 0.17 3/199 746
/proc/meminfo: memFree=16297024/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=129464 memory=96492 CPUtime=0.3 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 25500 0 0 0 27 3 0 0 20 0 1 0 404033736 132571136 24123 33554432000 4194304 36700936 140724015071392 140724015071392 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 32366 24123 418 7937 0 24394 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 129464 KiB
Current children cumulated memory: 96492 KiB
[startup+0.700337 s]
/proc/loadavg: 1.21 0.37 0.17 3/199 746
/proc/meminfo: memFree=16219140/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=168244 memory=135980 CPUtime=0.69 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 35115 0 0 0 64 5 0 0 20 0 1 0 404033736 172281856 33995 33554432000 4194304 36700936 140724015071392 140724015071392 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 42061 33995 418 7937 0 34089 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 168244 KiB
Current children cumulated memory: 135980 KiB
[startup+1.50037 s]
/proc/loadavg: 1.28 0.40 0.18 3/199 746
/proc/meminfo: memFree=16044108/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=248708 memory=217868 CPUtime=1.49 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 54051 0 0 0 141 8 0 0 20 0 1 0 404033736 254676992 54467 33554432000 4194304 36700936 140724015071392 140724015068648 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 62177 54467 418 7937 0 54205 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 248708 KiB
Current children cumulated memory: 217868 KiB
[startup+3.1098 s]
/proc/loadavg: 1.28 0.40 0.18 3/199 746
/proc/meminfo: memFree=15285600/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=400264 memory=368388 CPUtime=3.1 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 88804 0 0 0 296 14 0 0 20 0 1 0 404033736 409870336 92097 33554432000 4194304 36700936 140724015071392 140724015068648 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 100066 92097 450 7937 0 92094 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 400264 KiB
Current children cumulated memory: 368388 KiB
[startup+6.30028 s]
/proc/loadavg: 1.33 0.42 0.19 3/199 746
/proc/meminfo: memFree=14409672/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=530292 memory=498436 CPUtime=6.29 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 123109 0 0 0 609 20 0 0 20 0 1 0 404033736 543019008 124609 33554432000 4194304 36700936 140724015071392 140724015064968 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 132573 124609 452 7937 0 124601 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 530292 KiB
Current children cumulated memory: 498436 KiB
[startup+12.7003 s]
/proc/loadavg: 1.39 0.45 0.20 3/200 748
/proc/meminfo: memFree=12674184/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=684096 memory=652144 CPUtime=12.69 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 199949 0 0 0 1240 29 0 0 20 0 1 0 404033736 700514304 163036 33554432000 4194304 36700936 140724015071392 140724015063528 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 171024 163036 452 7937 0 163052 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 684096 KiB
Current children cumulated memory: 652144 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.50 0.22 3/199 748
/proc/meminfo: memFree=9271236/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=828796 memory=796708 CPUtime=25.49 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 271830 0 0 0 2507 42 0 0 20 0 1 0 404033736 848687104 199177 33554432000 4194304 36700936 140724015071392 140724015063704 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 207199 199177 452 7937 0 199227 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 828796 KiB
Current children cumulated memory: 796708 KiB
[startup+51.1099 s]
/proc/loadavg: 1.69 0.65 0.27 3/200 751
/proc/meminfo: memFree=8723772/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=992476 memory=960472 CPUtime=51.1 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 345284 0 0 0 5049 61 0 0 20 0 1 0 404033736 1016295424 240118 33554432000 4194304 36700936 140724015071392 140724015064968 4227444 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 248119 240118 452 7937 0 240147 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 992476 KiB
Current children cumulated memory: 960472 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 0.85 0.36 3/200 754
/proc/meminfo: memFree=8244896/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=1215104 memory=1182740 CPUtime=102.29 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 492844 0 0 0 10139 90 0 0 20 0 1 0 404033736 1244266496 295685 33554432000 4194304 36700936 140724015071392 140724015063528 4227444 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 303776 295685 452 7937 0 295804 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1215104 KiB
Current children cumulated memory: 1182740 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.06 0.47 3/199 758
/proc/meminfo: memFree=7823868/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=1416932 memory=1384580 CPUtime=162.28 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 618820 0 0 0 16116 112 0 0 20 0 1 0 404033736 1450938368 346145 33554432000 4194304 36700936 140724015071392 140724015063656 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 354233 346145 452 7937 0 346261 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1416932 KiB
Current children cumulated memory: 1384580 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.23 0.56 3/199 762
/proc/meminfo: memFree=7470156/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=1587476 memory=1555476 CPUtime=222.27 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 778151 0 0 0 22093 134 0 0 20 0 1 0 404033736 1625575424 388869 33554432000 4194304 36700936 140724015071392 140724015065784 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 396869 388869 452 7937 0 388897 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1587476 KiB
Current children cumulated memory: 1555476 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/201 776
/proc/meminfo: memFree=7157204/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=1738748 memory=1706684 CPUtime=282.27 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 947608 0 0 0 28073 154 0 0 20 0 1 0 404033736 1780477952 426671 33554432000 4194304 36700936 140724015071392 140724015062872 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 434687 426671 452 7937 0 426715 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 1738748 KiB
Current children cumulated memory: 1706684 KiB
[startup+342.3 s]
/proc/loadavg: 1.87 1.46 0.72 3/200 841
/proc/meminfo: memFree=21961784/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=1879328 memory=1847432 CPUtime=342.27 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 1107173 0 0 0 34051 176 0 0 20 0 1 0 404033736 1924431872 461858 33554432000 4194304 36700936 140724015071392 140724015063656 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 469832 461858 452 7937 0 461860 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 1879328 KiB
Current children cumulated memory: 1847432 KiB
[startup+402.3 s]
/proc/loadavg: 1.95 1.55 0.80 3/200 845
/proc/meminfo: memFree=21825624/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=2016184 memory=1983332 CPUtime=402.25 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 1264038 0 0 0 40027 198 0 0 20 0 1 0 404033736 2064572416 495833 33554432000 4194304 36700936 140724015071392 140724015064968 4227444 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 504046 495833 452 7937 0 496074 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2016184 KiB
Current children cumulated memory: 1983332 KiB
[startup+462.3 s]
/proc/loadavg: 1.98 1.64 0.88 3/201 851
/proc/meminfo: memFree=21699312/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=2142376 memory=2109396 CPUtime=462.24 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 1458272 0 0 0 46004 220 0 0 20 0 1 0 404033736 2193793024 527349 33554432000 4194304 36700936 140724015071392 140724015063000 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 535594 527349 452 7937 0 527622 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2142376 KiB
Current children cumulated memory: 2109396 KiB
################
# More data... #
################
/proc/745/statm: 1021887 1013566 452 7937 0 1013915 0
Current children cumulated CPU time: 1721.67 s
Current children cumulated vsize: 4087548 KiB
Current children cumulated memory: 4054264 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 1.74 3/199 1001
/proc/meminfo: memFree=19671628/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4165164 memory=4131988 CPUtime=1781.64 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 5540073 0 0 0 177525 639 0 0 20 0 1 0 404033736 4265127936 1032997 33554432000 4194304 36700936 140724015071392 140724015065784 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1041291 1032997 452 7937 0 1033319 0
Current children cumulated CPU time: 1781.64 s
Current children cumulated vsize: 4165164 KiB
Current children cumulated memory: 4131988 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.00 1.75 3/199 1005
/proc/meminfo: memFree=19594288/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4241988 memory=4208804 CPUtime=1841.61 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 5707343 0 0 0 183508 653 0 0 20 0 1 0 404033736 4343795712 1052201 33554432000 4194304 36700936 140724015071392 140724015064968 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1060497 1052201 452 7937 0 1052525 0
Current children cumulated CPU time: 1841.61 s
Current children cumulated vsize: 4241988 KiB
Current children cumulated memory: 4208804 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/200 1011
/proc/meminfo: memFree=19517152/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4317888 memory=4284600 CPUtime=1901.58 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 5872666 0 0 0 189490 668 0 0 20 0 1 0 404033736 4421517312 1071150 33554432000 4194304 36700936 140724015071392 140724015063656 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1079472 1071150 452 7937 0 1071500 0
Current children cumulated CPU time: 1901.58 s
Current children cumulated vsize: 4317888 KiB
Current children cumulated memory: 4284600 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/199 1015
/proc/meminfo: memFree=19442456/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4393260 memory=4360184 CPUtime=1961.56 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6032540 0 0 0 195471 685 0 0 20 0 1 0 404033736 4498698240 1090046 33554432000 4194304 36700936 140724015071392 140724015065688 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1098315 1090046 452 7937 0 1090343 0
Current children cumulated CPU time: 1961.56 s
Current children cumulated vsize: 4393260 KiB
Current children cumulated memory: 4360184 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/199 1019
/proc/meminfo: memFree=19367772/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4467840 memory=4434472 CPUtime=2021.54 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6189806 0 0 0 201452 702 0 0 20 0 1 0 404033736 4575068160 1108618 33554432000 4194304 36700936 140724015071392 140724015064968 4227518 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1116960 1108618 452 7937 0 1108988 0
Current children cumulated CPU time: 2021.54 s
Current children cumulated vsize: 4467840 KiB
Current children cumulated memory: 4434472 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/201 1033
/proc/meminfo: memFree=19293044/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4541892 memory=4508664 CPUtime=2081.51 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6343709 0 0 0 207433 718 0 0 20 0 1 0 404033736 4650897408 1127166 33554432000 4194304 36700936 140724015071392 140724015065272 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1135473 1127166 452 7937 0 1127501 0
Current children cumulated CPU time: 2081.51 s
Current children cumulated vsize: 4541892 KiB
Current children cumulated memory: 4508664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/200 1037
/proc/meminfo: memFree=19219836/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4615152 memory=4581896 CPUtime=2141.48 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6492787 0 0 0 213416 732 0 0 20 0 1 0 404033736 4725915648 1145474 33554432000 4194304 36700936 140724015071392 140724015063656 4227536 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1153788 1145474 452 7937 0 1145816 0
Current children cumulated CPU time: 2141.48 s
Current children cumulated vsize: 4615152 KiB
Current children cumulated memory: 4581896 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/200 1041
/proc/meminfo: memFree=19147004/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4687884 memory=4654584 CPUtime=2201.46 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6639388 0 0 0 219399 747 0 0 20 0 1 0 404033736 4800393216 1163646 33554432000 4194304 36700936 140724015071392 140724015063000 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1171971 1163646 452 7937 0 1163999 0
Current children cumulated CPU time: 2201.46 s
Current children cumulated vsize: 4687884 KiB
Current children cumulated memory: 4654584 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/201 1047
/proc/meminfo: memFree=19074332/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4760088 memory=4726700 CPUtime=2261.45 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6783154 0 0 0 225384 761 0 0 20 0 1 0 404033736 4874330112 1181675 33554432000 4194304 36700936 140724015071392 140724015063000 4227533 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1190022 1181675 452 7937 0 1182050 0
Current children cumulated CPU time: 2261.45 s
Current children cumulated vsize: 4760088 KiB
Current children cumulated memory: 4726700 KiB
[startup+2322.3 s]
/proc/loadavg: 2.16 2.03 1.87 3/200 1051
/proc/meminfo: memFree=19002372/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4831632 memory=4798496 CPUtime=2321.44 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 6922882 0 0 0 231369 775 0 0 20 0 1 0 404033736 4947591168 1199624 33554432000 4194304 36700936 140724015071392 140724015065336 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1207908 1199624 452 7937 0 1199936 0
Current children cumulated CPU time: 2321.44 s
Current children cumulated vsize: 4831632 KiB
Current children cumulated memory: 4798496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.41 2.15 1.91 3/199 1055
/proc/meminfo: memFree=18931528/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4902780 memory=4869508 CPUtime=2381.41 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 7056955 0 0 0 237352 789 0 0 20 0 1 0 404033736 5020446720 1217377 33554432000 4194304 36700936 140724015071392 140724015065272 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1225695 1217377 452 7937 0 1217723 0
Current children cumulated CPU time: 2381.41 s
Current children cumulated vsize: 4902780 KiB
Current children cumulated memory: 4869508 KiB
[startup+2442.3 s]
/proc/loadavg: 2.15 2.12 1.92 3/200 1063
/proc/meminfo: memFree=18860232/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=4973268 memory=4940092 CPUtime=2441.39 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 7189211 0 0 0 243335 804 0 0 20 0 1 0 404033736 5092626432 1235023 33554432000 4194304 36700936 140724015071392 140724015066024 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1243317 1235023 452 7937 0 1235345 0
Current children cumulated CPU time: 2441.39 s
Current children cumulated vsize: 4973268 KiB
Current children cumulated memory: 4940092 KiB
[startup+2502.3 s]
/proc/loadavg: 2.05 2.10 1.93 3/199 1067
/proc/meminfo: memFree=18790528/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=5043492 memory=5010344 CPUtime=2501.37 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 7318749 0 0 0 249317 820 0 0 20 0 1 0 404033736 5164535808 1252586 33554432000 4194304 36700936 140724015071392 140724015065336 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1260873 1252586 452 7937 0 1252901 0
Current children cumulated CPU time: 2501.37 s
Current children cumulated vsize: 5043492 KiB
Current children cumulated memory: 5010344 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.04 2.09 1.93 3/199 1068
/proc/meminfo: memFree=18768924/32770624 swapFree=67108848/67108860
[pid=745] ppid=742 vsize=5064084 memory=5030848 CPUtime=2519.06 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 466 0 -1 4202496 7330456 0 0 0 251085 821 0 0 20 0 1 0 404033736 5185622016 1257712 33554432000 4194304 36700936 140724015071392 140724015065336 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 72523776 140724015076392 140724015076468 140724015076468 140724015079377 0
/proc/745/statm: 1266021 1257712 452 7937 0 1258049 0
Current children cumulated CPU time: 2519.06 s
Current children cumulated vsize: 5064084 KiB
Current children cumulated memory: 5030848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.11 s]
# the end of solver process 745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.85 s, system=8.31554 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.11
CPU time (s): 2519.17
CPU user time (s): 2510.85
CPU system time (s): 8.31554
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 5064084
Max. memory (cumulated for all children) (KiB): 5030848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.86
system time used= 8.31554
maximum resident set size= 5030964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7330456
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= 1289
involuntary context switches= 2507
# summary of solver processes directly reported to runsolver:
# pid: 745
# total CPU time (s): 2519.17
# total CPU user time (s): 2510.85
# total CPU system time (s): 8.31554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0968 second user time and 18.6038 second system time
The end