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 (9592 MiB free)
memory of node 1: 16384 MiB (10167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298000-1532775163/watcher-4298000-1532775163 -o /tmp/evaluation-result-4298000-1532775163/solver-4298000-1532775163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532775163-27028 --watchdog 2580 nacre_mini_release HOME/instance-4298000-1532775163.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
solver pid=27058, runsolver pid=27055
Current StackSize limit: 8192 KiB
[startup+0.100609 s]*
/proc/loadavg: 0.61 0.65 0.77 3/188 27059
/proc/meminfo: memFree=20230684/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=28384 memory=4860 CPUtime=0.1 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 1414 0 0 0 10 0 0 0 20 0 1 0 95079478 29065216 1215 33554432000 4194304 4933779 140733241969888 140733241967656 4423391 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 7096 1215 600 181 0 713 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28384 KiB
Current children cumulated memory: 4860 KiB
[startup+0.209328 s]*
/proc/loadavg: 0.61 0.65 0.77 3/188 27059
/proc/meminfo: memFree=20229312/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=29308 memory=5916 CPUtime=0.21 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 1654 0 0 0 21 0 0 0 20 0 1 0 95079478 30011392 1479 33554432000 4194304 4933779 140733241969888 140733241967656 139713695886309 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 7327 1479 600 181 0 944 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29308 KiB
Current children cumulated memory: 5916 KiB
[startup+0.309124 s]*
/proc/loadavg: 0.61 0.65 0.77 3/188 27059
/proc/meminfo: memFree=20227452/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=30260 memory=6708 CPUtime=0.31 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 1890 0 0 0 31 0 0 0 20 0 1 0 95079478 30986240 1677 33554432000 4194304 4933779 140733241969888 140733241967656 4475923 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 7565 1677 600 181 0 1182 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30260 KiB
Current children cumulated memory: 6708 KiB
[startup+0.70029 s]
/proc/loadavg: 0.72 0.67 0.78 3/188 27059
/proc/meminfo: memFree=20223732/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=33756 memory=10140 CPUtime=0.69 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 2755 0 0 0 69 0 0 0 20 0 1 0 95079478 34566144 2535 33554432000 4194304 4933779 140733241969888 140733241967656 139713695886309 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 8439 2535 600 181 0 2056 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33756 KiB
Current children cumulated memory: 10140 KiB
[startup+1.5003 s]
/proc/loadavg: 0.72 0.67 0.78 3/188 27059
/proc/meminfo: memFree=20215188/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=40200 memory=16504 CPUtime=1.49 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 4372 0 0 0 149 0 0 0 20 0 1 0 95079478 41164800 4126 33554432000 4194304 4933779 140733241969888 140733241967640 4332823 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 10050 4126 600 181 0 3667 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40200 KiB
Current children cumulated memory: 16504 KiB
[startup+3.10921 s]
/proc/loadavg: 0.72 0.67 0.78 3/188 27059
/proc/meminfo: memFree=20196388/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=46780 memory=23188 CPUtime=3.1 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 10137 0 0 0 309 1 0 0 20 0 1 0 95079478 47902720 5797 33554432000 4194304 4933779 140733241969888 140733241967640 139713695886309 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 11695 5797 600 181 0 5312 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46780 KiB
Current children cumulated memory: 23188 KiB
[startup+6.30031 s]
/proc/loadavg: 0.82 0.70 0.79 3/188 27059
/proc/meminfo: memFree=20179296/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=56384 memory=32484 CPUtime=6.29 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 18441 0 0 0 628 1 0 0 20 0 1 0 95079478 57737216 8121 33554432000 4194304 4933779 140733241969888 140733241967448 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 14096 8121 600 181 0 7713 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 56384 KiB
Current children cumulated memory: 32484 KiB
[startup+12.7003 s]
/proc/loadavg: 0.92 0.72 0.79 3/188 27059
/proc/meminfo: memFree=20155272/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=70140 memory=46440 CPUtime=12.69 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 30027 0 0 0 1266 3 0 0 20 0 1 0 95079478 71823360 11610 33554432000 4194304 4933779 140733241969888 140733241967640 139713702077140 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 17535 11610 600 181 0 11152 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 70140 KiB
Current children cumulated memory: 46440 KiB
[startup+25.5004 s]
/proc/loadavg: 1.08 0.76 0.80 3/188 27059
/proc/meminfo: memFree=20118372/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=87972 memory=64252 CPUtime=25.49 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 60185 0 0 0 2543 6 0 0 20 0 1 0 95079478 90083328 16063 33554432000 4194304 4933779 140733241969888 140733241967576 139713702077674 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 21993 16063 600 181 0 15610 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 87972 KiB
Current children cumulated memory: 64252 KiB
[startup+51.1094 s]
/proc/loadavg: 1.44 0.88 0.84 3/188 27059
/proc/meminfo: memFree=20066496/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=114408 memory=89964 CPUtime=51.1 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 86019 0 0 0 5101 9 0 0 20 0 1 0 95079478 117153792 22491 33554432000 4194304 4933779 140733241969888 140733241967576 4437581 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 28602 22491 600 181 0 22219 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 114408 KiB
Current children cumulated memory: 89964 KiB
[startup+102.3 s]
/proc/loadavg: 1.76 1.05 0.90 3/188 27060
/proc/meminfo: memFree=19996720/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=152016 memory=127916 CPUtime=102.26 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 111070 0 0 0 10214 12 0 0 20 0 1 0 95079478 155664384 31979 33554432000 4194304 4933779 140733241969888 140733241967576 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 38004 31979 600 181 0 31621 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 152016 KiB
Current children cumulated memory: 127916 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.22 0.97 3/188 27062
/proc/meminfo: memFree=19940704/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=181760 memory=157864 CPUtime=162.25 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 121611 0 0 0 16210 15 0 0 20 0 1 0 95079478 186122240 39466 33554432000 4194304 4933779 140733241969888 140733241967592 139713695886309 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 45440 39466 600 181 0 39057 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 181760 KiB
Current children cumulated memory: 157864 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.36 1.04 3/188 27063
/proc/meminfo: memFree=19890452/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=209448 memory=185648 CPUtime=222.25 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 135816 0 0 0 22207 18 0 0 20 0 1 0 95079478 214474752 46412 33554432000 4194304 4933779 140733241969888 140733241967400 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 52362 46412 600 181 0 45979 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 209448 KiB
Current children cumulated memory: 185648 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 1.50 1.10 3/188 27064
/proc/meminfo: memFree=19844224/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=234416 memory=210868 CPUtime=282.24 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 156061 0 0 0 28202 22 0 0 20 0 1 0 95079478 240041984 52717 33554432000 4194304 4933779 140733241969888 140733241967592 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 58604 52717 600 181 0 52221 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 234416 KiB
Current children cumulated memory: 210868 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 1.59 1.16 3/187 27066
/proc/meminfo: memFree=19816796/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=246320 memory=222796 CPUtime=342.24 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 178357 0 0 0 34199 25 0 0 20 0 1 0 95079478 252231680 55699 33554432000 4194304 4933779 140733241969888 140733241967640 4437538 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 61580 55699 600 181 0 55197 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 246320 KiB
Current children cumulated memory: 222796 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.66 1.21 3/187 27067
/proc/meminfo: memFree=19788900/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=262664 memory=236656 CPUtime=402.22 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 203692 0 0 0 40194 28 0 0 20 0 1 0 95079478 268967936 59164 33554432000 4194304 4933779 140733241969888 140733241967592 4475786 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 65666 59164 600 181 0 59283 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 262664 KiB
Current children cumulated memory: 236656 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.72 1.26 3/188 27076
/proc/meminfo: memFree=19756456/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=278264 memory=253024 CPUtime=462.21 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 211943 0 0 0 46190 31 0 0 20 0 1 0 95079478 284942336 63256 33554432000 4194304 4933779 140733241969888 140733241967592 4388454 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 69566 63256 600 181 0 63183 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 278264 KiB
Current children cumulated memory: 253024 KiB
################
# More data... #
################
/proc/27058/statm: 119055 112925 600 181 0 112672 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 476220 KiB
Current children cumulated memory: 451700 KiB
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 1.83 3/188 27138
/proc/meminfo: memFree=19367020/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=482420 memory=457944 CPUtime=1782.16 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 472634 0 0 0 178143 73 0 0 20 0 1 0 95079478 493998080 114486 33554432000 4194304 4933779 140733241969888 140733241967592 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 120605 114486 600 181 0 114222 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 482420 KiB
Current children cumulated memory: 457944 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/188 27139
/proc/meminfo: memFree=19355128/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=488972 memory=464448 CPUtime=1842.16 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 489342 0 0 0 184142 74 0 0 20 0 1 0 95079478 500707328 116112 33554432000 4194304 4933779 140733241969888 140733241967576 4437466 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 122243 116112 600 181 0 115860 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 488972 KiB
Current children cumulated memory: 464448 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.86 3/188 27140
/proc/meminfo: memFree=19341848/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=495376 memory=471312 CPUtime=1902.14 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 494090 0 0 0 190139 75 0 0 20 0 1 0 95079478 507265024 117828 33554432000 4194304 4933779 140733241969888 140733241967592 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 123844 117828 600 181 0 117461 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 495376 KiB
Current children cumulated memory: 471312 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 27142
/proc/meminfo: memFree=19330224/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=501940 memory=477856 CPUtime=1962.14 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 498308 0 0 0 196137 77 0 0 20 0 1 0 95079478 513986560 119464 33554432000 4194304 4933779 140733241969888 140733241967576 4437547 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 125485 119464 600 181 0 119102 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 501940 KiB
Current children cumulated memory: 477856 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 27143
/proc/meminfo: memFree=19319684/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=507296 memory=483252 CPUtime=2022.15 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 503796 0 0 0 202137 78 0 0 20 0 1 0 95079478 519471104 120813 33554432000 4194304 4933779 140733241969888 140733241967592 139713696741795 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 126824 120813 600 181 0 120441 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 507296 KiB
Current children cumulated memory: 483252 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/187 27144
/proc/meminfo: memFree=19308664/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=512256 memory=488220 CPUtime=2082.14 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 510428 0 0 0 208136 78 0 0 20 0 1 0 95079478 524550144 122055 33554432000 4194304 4933779 140733241969888 140733241967592 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 128064 122055 600 181 0 121681 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 512256 KiB
Current children cumulated memory: 488220 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/187 27146
/proc/meminfo: memFree=19297876/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=518604 memory=494560 CPUtime=2142.14 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 518876 0 0 0 214134 80 0 0 20 0 1 0 95079478 531050496 123640 33554432000 4194304 4933779 140733241969888 140733241967576 4437820 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 129651 123640 600 181 0 123268 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 518604 KiB
Current children cumulated memory: 494560 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 27147
/proc/meminfo: memFree=19287744/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=524452 memory=500268 CPUtime=2202.15 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 528452 0 0 0 220134 81 0 0 20 0 1 0 95079478 537038848 125067 33554432000 4194304 4933779 140733241969888 140733241967592 4437393 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 131113 125067 600 181 0 124730 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 524452 KiB
Current children cumulated memory: 500268 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/187 27155
/proc/meminfo: memFree=19278220/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=529236 memory=505176 CPUtime=2262.14 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 537956 0 0 0 226132 82 0 0 20 0 1 0 95079478 541937664 126294 33554432000 4194304 4933779 140733241969888 140733241967592 4437416 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 132309 126294 600 181 0 125926 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 529236 KiB
Current children cumulated memory: 505176 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 1.91 3/187 27156
/proc/meminfo: memFree=19270904/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=533456 memory=509164 CPUtime=2322.15 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 549944 0 0 0 232131 84 0 0 20 0 1 0 95079478 546258944 127291 33554432000 4194304 4933779 140733241969888 140733241967592 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 133364 127291 600 181 0 126981 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 533456 KiB
Current children cumulated memory: 509164 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/187 27157
/proc/meminfo: memFree=19264688/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=536240 memory=511808 CPUtime=2382.15 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 560993 0 0 0 238130 85 0 0 20 0 1 0 95079478 549109760 127952 33554432000 4194304 4933779 140733241969888 140733241967576 4437536 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 134060 127952 600 181 0 127677 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 536240 KiB
Current children cumulated memory: 511808 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 27158
/proc/meminfo: memFree=19256272/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=541536 memory=517084 CPUtime=2442.16 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 572107 0 0 0 244129 87 0 0 20 0 1 0 95079478 554532864 129271 33554432000 4194304 4933779 140733241969888 140733241967592 4437839 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 135384 129271 600 181 0 129001 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 541536 KiB
Current children cumulated memory: 517084 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 27159
/proc/meminfo: memFree=19247516/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=546812 memory=522360 CPUtime=2502.15 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 586619 0 0 0 250126 89 0 0 20 0 1 0 95079478 559935488 130590 33554432000 4194304 4933779 140733241969888 140733241967592 4437564 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 136703 130590 600 181 0 130320 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 546812 KiB
Current children cumulated memory: 522360 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.93 2/185 27159
/proc/meminfo: memFree=19711368/32770624 swapFree=67108860/67108860
[pid=27058] ppid=27055 vsize=548060 memory=523956 CPUtime=2519.85 cores=1,3,5,7
/proc/27058/stat : 27058 (nacre_mini_rele) R 27055 27058 26996 0 -1 4202496 588005 0 0 0 251895 90 0 0 20 0 1 0 95079478 561213440 130989 33554432000 4194304 4933779 140733241969888 140733241967576 4437389 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 17334272 140733241971864 140733241971964 140733241971964 140733241974722 0
/proc/27058/statm: 137015 130989 600 181 0 130632 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 548060 KiB
Current children cumulated memory: 523956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27058 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.95 s, system=0.907005 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.86
CPU user time (s): 2518.95
CPU system time (s): 0.907005
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 548060
Max. memory (cumulated for all children) (KiB): 523956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.95
system time used= 0.907005
maximum resident set size= 524032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588047
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= 251
involuntary context switches= 1839
# summary of solver processes directly reported to runsolver:
# pid: 27058
# total CPU time (s): 2519.86
# total CPU user time (s): 2518.95
# total CPU system time (s): 0.907005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1284 second user time and 18.0516 second system time
The end