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 (10707 MiB free)
memory of node 1: 16384 MiB (12650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298565-1532776576/watcher-4298565-1532776576 -o /tmp/evaluation-result-4298565-1532776576/solver-4298565-1532776576 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27430 --watchdog 2580 nacre_mini_release HOME/instance-4298565-1532776576.xml -ca -l100 -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27676, runsolver pid=27671
[startup+0.10008 s]*
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23913660/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=27712 memory=4380 CPUtime=0.1 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 1294 0 0 0 10 0 0 0 20 0 1 0 95220733 28377088 1095 33554432000 4194304 4933779 140725694627904 140725694624904 140412393958373 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 6928 1095 610 181 0 545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4380 KiB
[startup+0.209309 s]*
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23913288/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=27844 memory=4380 CPUtime=0.21 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 1318 0 0 0 21 0 0 0 20 0 1 0 95220733 28512256 1095 33554432000 4194304 4933779 140725694627904 140725694624904 4367567 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 6961 1095 610 181 0 578 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4380 KiB
[startup+0.308901 s]*
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23913288/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=27976 memory=4644 CPUtime=0.31 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 1346 0 0 0 31 0 0 0 20 0 1 0 95220733 28647424 1161 33554432000 4194304 4933779 140725694627904 140725694624904 140412393950956 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 6994 1161 610 181 0 611 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27976 KiB
Current children cumulated memory: 4644 KiB
[startup+0.700272 s]
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23912912/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=28240 memory=4908 CPUtime=0.69 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 1434 0 0 0 69 0 0 0 20 0 1 0 95220733 28917760 1227 33554432000 4194304 4933779 140725694627904 140725694624904 140412400251764 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 7060 1227 610 181 0 677 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28240 KiB
Current children cumulated memory: 4908 KiB
[startup+1.50028 s]
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23911796/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=28896 memory=5616 CPUtime=1.49 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 1583 0 0 0 149 0 0 0 20 0 1 0 95220733 29589504 1404 33554432000 4194304 4933779 140725694627904 140725694625448 4369075 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 7224 1404 610 181 0 841 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 5616 KiB
[startup+3.10892 s]
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23909440/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=29816 memory=6392 CPUtime=3.1 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 2629 0 0 0 310 0 0 0 20 0 1 0 95220733 30531584 1598 33554432000 4194304 4933779 140725694627904 140725694625448 140412393957462 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 7454 1598 610 181 0 1071 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29816 KiB
Current children cumulated memory: 6392 KiB
[startup+6.30027 s]
/proc/loadavg: 2.04 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23904688/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=32092 memory=8628 CPUtime=6.29 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 4277 0 0 0 629 0 0 0 20 0 1 0 95220733 32862208 2157 33554432000 4194304 4933779 140725694627904 140725694625672 140412393950752 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 8023 2157 610 181 0 1640 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32092 KiB
Current children cumulated memory: 8628 KiB
[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 1.92 3/187 27681
/proc/meminfo: memFree=23894172/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=36892 memory=13552 CPUtime=12.68 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 6213 0 0 0 1268 0 0 0 20 0 1 0 95220733 37777408 3388 33554432000 4194304 4933779 140725694627904 140725694625672 140412393967640 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 9223 3388 610 181 0 2840 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 36892 KiB
Current children cumulated memory: 13552 KiB
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 1.92 3/187 27681
/proc/meminfo: memFree=23875132/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=47620 memory=24016 CPUtime=25.49 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 14489 0 0 0 2548 1 0 0 20 0 1 0 95220733 48762880 6004 33554432000 4194304 4933779 140725694627904 140725694625656 4372844 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 11905 6004 610 181 0 5522 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 47620 KiB
Current children cumulated memory: 24016 KiB
[startup+51.1091 s]
/proc/loadavg: 2.02 2.02 1.93 3/187 27681
/proc/meminfo: memFree=23852312/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=58212 memory=34924 CPUtime=51.1 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 23321 0 0 0 5108 2 0 0 20 0 1 0 95220733 59609088 8731 33554432000 4194304 4933779 140725694627904 140725694625608 4482277 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 14553 8731 610 181 0 8170 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 58212 KiB
Current children cumulated memory: 34924 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/187 27682
/proc/meminfo: memFree=23817344/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=74852 memory=51160 CPUtime=102.27 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 36343 0 0 0 10224 3 0 0 20 0 1 0 95220733 76648448 12790 33554432000 4194304 4933779 140725694627904 140725694625608 4367245 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 18713 12790 610 181 0 12330 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 74852 KiB
Current children cumulated memory: 51160 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/187 27683
/proc/meminfo: memFree=23792924/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=87416 memory=63604 CPUtime=162.26 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 41204 0 0 0 16222 4 0 0 20 0 1 0 95220733 89513984 15901 33554432000 4194304 4933779 140725694627904 140725694625608 140412393955878 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 21854 15901 610 181 0 15471 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 87416 KiB
Current children cumulated memory: 63604 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 1.95 3/187 27684
/proc/meminfo: memFree=23770780/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=96648 memory=72960 CPUtime=222.26 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 48123 0 0 0 22221 5 0 0 20 0 1 0 95220733 98967552 18240 33554432000 4194304 4933779 140725694627904 140725694625592 4365836 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 24162 18240 610 181 0 17779 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 96648 KiB
Current children cumulated memory: 72960 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 1.95 3/188 27693
/proc/meminfo: memFree=23753312/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=102228 memory=78724 CPUtime=282.25 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 50538 0 0 0 28220 5 0 0 20 0 1 0 95220733 104681472 19681 33554432000 4194304 4933779 140725694627904 140725694625608 4437564 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 25557 19681 610 181 0 19174 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 102228 KiB
Current children cumulated memory: 78724 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/188 27694
/proc/meminfo: memFree=23737232/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=109632 memory=86276 CPUtime=342.25 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 54370 0 0 0 34219 6 0 0 20 0 1 0 95220733 112263168 21569 33554432000 4194304 4933779 140725694627904 140725694625608 4316876 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 27408 21569 610 181 0 21025 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 109632 KiB
Current children cumulated memory: 86276 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 27695
/proc/meminfo: memFree=23723504/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=116036 memory=92556 CPUtime=402.25 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 60009 0 0 0 40218 7 0 0 20 0 1 0 95220733 118820864 23139 33554432000 4194304 4933779 140725694627904 140725694625592 4472640 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 29009 23139 610 181 0 22626 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 116036 KiB
Current children cumulated memory: 92556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 27696
/proc/meminfo: memFree=23709632/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=121508 memory=98208 CPUtime=462.24 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 62566 0 0 0 46217 7 0 0 20 0 1 0 95220733 124424192 24552 33554432000 4194304 4933779 140725694627904 140725694625656 140412393955930 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 30377 24552 610 181 0 23994 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 121508 KiB
Current children cumulated memory: 98208 KiB
################
# More data... #
################
/proc/27676/statm: 48349 42385 610 181 0 41966 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 193396 KiB
Current children cumulated memory: 169540 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/187 27736
/proc/meminfo: memFree=23529252/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=196804 memory=172792 CPUtime=1782.18 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 136833 0 0 0 178201 17 0 0 20 0 1 0 95220733 201527296 43198 33554432000 4194304 4933779 140725694627904 140725694625608 4368768 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 49201 43198 610 181 0 42818 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 196804 KiB
Current children cumulated memory: 172792 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/187 27737
/proc/meminfo: memFree=23523796/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=200548 memory=176560 CPUtime=1842.17 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 141171 0 0 0 184200 17 0 0 20 0 1 0 95220733 205361152 44140 33554432000 4194304 4933779 140725694627904 140725694625608 4437558 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 50137 44140 610 181 0 43754 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 200548 KiB
Current children cumulated memory: 176560 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/187 27738
/proc/meminfo: memFree=23517336/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=204152 memory=180208 CPUtime=1902.16 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 143700 0 0 0 190199 17 0 0 20 0 1 0 95220733 209051648 45052 33554432000 4194304 4933779 140725694627904 140725694625608 140412400251769 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 51038 45052 610 181 0 44655 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 204152 KiB
Current children cumulated memory: 180208 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27739
/proc/meminfo: memFree=23513372/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=205936 memory=182108 CPUtime=1962.16 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 145791 0 0 0 196199 17 0 0 20 0 1 0 95220733 210878464 45527 33554432000 4194304 4933779 140725694627904 140725694625592 4437479 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 51484 45527 610 181 0 45101 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 205936 KiB
Current children cumulated memory: 182108 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27740
/proc/meminfo: memFree=23505924/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=206780 memory=182836 CPUtime=2022.16 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 147937 0 0 0 202199 17 0 0 20 0 1 0 95220733 211742720 45709 33554432000 4194304 4933779 140725694627904 140725694625656 140412400252192 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 51695 45709 610 181 0 45312 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 206780 KiB
Current children cumulated memory: 182836 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27749
/proc/meminfo: memFree=23498276/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=209700 memory=185900 CPUtime=2082.16 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 151020 0 0 0 208198 18 0 0 20 0 1 0 95220733 214732800 46475 33554432000 4194304 4933779 140725694627904 140725694625608 140412393951022 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 52425 46475 610 181 0 46042 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 209700 KiB
Current children cumulated memory: 185900 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27750
/proc/meminfo: memFree=23491180/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=212044 memory=188220 CPUtime=2142.15 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 154793 0 0 0 214197 18 0 0 20 0 1 0 95220733 217133056 47055 33554432000 4194304 4933779 140725694627904 140725694625608 4482568 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 53011 47055 610 181 0 46628 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 212044 KiB
Current children cumulated memory: 188220 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27751
/proc/meminfo: memFree=23486036/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=214380 memory=190628 CPUtime=2202.15 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 158000 0 0 0 220196 19 0 0 20 0 1 0 95220733 219525120 47657 33554432000 4194304 4933779 140725694627904 140725694625656 140412394881878 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 53595 47657 610 181 0 47212 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 214380 KiB
Current children cumulated memory: 190628 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27752
/proc/meminfo: memFree=23481584/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=216860 memory=193012 CPUtime=2262.14 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 160268 0 0 0 226195 19 0 0 20 0 1 0 95220733 222064640 48253 33554432000 4194304 4933779 140725694627904 140725694625592 140412394878897 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 54215 48253 610 181 0 47832 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 216860 KiB
Current children cumulated memory: 193012 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 27753
/proc/meminfo: memFree=23478484/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=217116 memory=193452 CPUtime=2322.14 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 162445 0 0 0 232194 20 0 0 20 0 1 0 95220733 222326784 48363 33554432000 4194304 4933779 140725694627904 140725694625592 4482144 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 54279 48363 610 181 0 47896 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 217116 KiB
Current children cumulated memory: 193452 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27755
/proc/meminfo: memFree=23473536/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=218720 memory=194908 CPUtime=2382.14 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 165013 0 0 0 238194 20 0 0 20 0 1 0 95220733 223969280 48727 33554432000 4194304 4933779 140725694627904 140725694625608 140412394884503 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 54680 48727 610 181 0 48297 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 194908 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 27756
/proc/meminfo: memFree=23466208/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=221944 memory=198248 CPUtime=2442.13 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 168613 0 0 0 244193 20 0 0 20 0 1 0 95220733 227270656 49562 33554432000 4194304 4933779 140725694627904 140725694625656 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 55486 49562 610 181 0 49103 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 221944 KiB
Current children cumulated memory: 198248 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 27757
/proc/meminfo: memFree=23461372/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=223300 memory=199744 CPUtime=2502.14 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 172294 0 0 0 250193 21 0 0 20 0 1 0 95220733 228659200 49936 33554432000 4194304 4933779 140725694627904 140725694625608 4513136 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 55825 49936 610 181 0 49442 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 223300 KiB
Current children cumulated memory: 199744 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.98 3/186 27758
/proc/meminfo: memFree=23459432/32770624 swapFree=67108860/67108860
[pid=27676] ppid=27671 vsize=224224 memory=200632 CPUtime=2519.85 cores=1,3,5,7
/proc/27676/stat : 27676 (nacre_mini_rele) R 27671 27676 27398 0 -1 4202496 174356 0 0 0 251964 21 0 0 20 0 1 0 95220733 229605376 50158 33554432000 4194304 4933779 140725694627904 140725694625608 140412393957468 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 21803008 140725694629016 140725694629116 140725694629116 140725694631874 0
/proc/27676/statm: 56056 50158 610 181 0 49673 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 224224 KiB
Current children cumulated memory: 200632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.64 s, system=0.212992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.85
CPU user time (s): 2519.64
CPU system time (s): 0.212992
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 224224
Max. memory (cumulated for all children) (KiB): 200632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.212992
maximum resident set size= 200708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174399
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= 73
involuntary context switches= 1861
# summary of solver processes directly reported to runsolver:
# pid: 27676
# total CPU time (s): 2519.85
# total CPU user time (s): 2519.64
# total CPU system time (s): 0.212992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3465 second user time and 16.278 second system time
The end