113.16/118.94 s SATISFIABLE
113.16/118.94 v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 -x200 -x201 x202 -x203 x204 x205 -x206 x207 -x208 x209 -x210 -x211 x212 -x213 x214 x215 -x216 x217 -x218 x219 -x220 -x221 x222 -x223 x224 -x225 x226 -x227 x228 -x229 x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 -x249 x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 -x271 x272 -x273 x274 -x275 x276 -x277 x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316
runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (35616 MiB free)
memory of node 1: 64473 MiB (28333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443364-1721801555/watcher-4443364-1721801555 -o /tmp/evaluation-result-4443364-1721801555/solver-4443364-1721801555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721801548-158672 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4443364-1721801555 --seed=1851059070 HOME/instance-4443364-1721801555.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=159092, runsolver pid=159089
[startup+0.100766 s]*
/proc/loadavg: 2.29 1.98 1.99 5/242 159093
/proc/meminfo: memFree=65481928/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=27916 memory=5836 CPUtime=0.1 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 522 0 0 0 10 0 0 0 20 0 1 0 16145417 28585984 1459 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 6979 1459 1075 1006 0 5740 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27916 KiB
Current children cumulated memory: 5836 KiB
[startup+0.213555 s]*
/proc/loadavg: 2.29 1.98 1.99 5/242 159093
/proc/meminfo: memFree=65479196/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=28032 memory=6668 CPUtime=0.21 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 661 0 0 0 21 0 0 0 20 0 1 0 16145417 28704768 1667 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 7008 1667 1155 1006 0 5769 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28032 KiB
Current children cumulated memory: 6668 KiB
[startup+0.313142 s]*
/proc/loadavg: 2.29 1.98 1.99 5/242 159093
/proc/meminfo: memFree=65476544/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=28244 memory=7108 CPUtime=0.3 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 779 0 0 0 30 0 0 0 20 0 1 0 16145417 28921856 1777 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 7061 1777 1155 1006 0 5822 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28244 KiB
Current children cumulated memory: 7108 KiB
[startup+0.700256 s]
/proc/loadavg: 2.29 1.98 1.99 5/242 159093
/proc/meminfo: memFree=65472336/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=28536 memory=10120 CPUtime=0.68 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 1052 0 0 0 66 2 0 0 20 0 1 0 16145417 29220864 2530 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 7134 2530 1155 1006 0 5895 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28536 KiB
Current children cumulated memory: 10120 KiB
[startup+1.50026 s]
/proc/loadavg: 2.29 1.98 1.99 6/247 159113
/proc/meminfo: memFree=65483516/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=29868 memory=13608 CPUtime=1.48 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 1356 0 0 0 145 3 0 0 20 0 1 0 16145417 30584832 3402 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 7467 3402 1155 1006 0 6228 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29868 KiB
Current children cumulated memory: 13608 KiB
[startup+3.11224 s]
/proc/loadavg: 2.29 1.98 1.99 5/247 159113
/proc/meminfo: memFree=65433588/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=31044 memory=16704 CPUtime=3.09 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 1643 0 0 0 304 5 0 0 20 0 1 0 16145417 31789056 4176 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 7761 4176 1155 1006 0 6522 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31044 KiB
Current children cumulated memory: 16704 KiB
[startup+6.3003 s]
/proc/loadavg: 2.43 2.02 2.01 5/247 159114
/proc/meminfo: memFree=65380768/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=33092 memory=22572 CPUtime=6.27 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 2114 0 0 0 617 10 0 0 20 0 1 0 16145417 33886208 5643 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 8273 5643 1155 1006 0 7034 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 33092 KiB
Current children cumulated memory: 22572 KiB
[startup+12.7003 s]
/proc/loadavg: 2.72 2.08 2.03 5/247 159114
/proc/meminfo: memFree=65310964/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=34244 memory=25688 CPUtime=12.65 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 2428 0 0 0 1246 19 0 0 20 0 1 0 16145417 35065856 6422 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 8561 6422 1155 1006 0 7322 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 34244 KiB
Current children cumulated memory: 25688 KiB
[startup+25.5003 s]
/proc/loadavg: 3.00 2.18 2.06 5/247 159117
/proc/meminfo: memFree=65176860/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=36388 memory=27580 CPUtime=25.41 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 2999 0 0 0 2502 39 0 0 20 0 1 0 16145417 37261312 6895 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 9097 6895 1155 1006 0 7858 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 27580 KiB
[startup+51.1126 s]
/proc/loadavg: 3.34 2.32 2.11 5/247 159120
/proc/meminfo: memFree=64995896/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=38544 memory=31244 CPUtime=46.54 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 3531 0 0 0 4582 72 0 0 20 0 1 0 16145417 39469056 7811 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 444 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 9636 7811 1155 1006 0 8397 0
Current children cumulated CPU time: 46.54 s
Current children cumulated vsize: 38544 KiB
Current children cumulated memory: 31244 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.62 2.22 5/248 159130
/proc/meminfo: memFree=64587900/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=40648 memory=33428 CPUtime=96.61 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4264 0 0 0 9509 152 0 0 20 0 1 0 16145417 41623552 8357 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10162 8357 1155 1006 0 8923 0
Current children cumulated CPU time: 96.61 s
Current children cumulated vsize: 40648 KiB
Current children cumulated memory: 33428 KiB
[startup+119.009 s]
# the end of solver process 159092 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=111.435 s, system=1.79309 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.83 2.62 2.22 5/248 159130
/proc/meminfo: memFree=64587900/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=40648 memory=33428 CPUtime=96.71 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4264 0 0 0 9519 152 0 0 20 0 1 0 16145417 41623552 8357 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10162 8357 1155 1006 0 8923 0
Current children cumulated CPU time: 96.71 s
Current children cumulated vsize: 40648 KiB
Current children cumulated memory: 33428 KiB
[startup+108.8 s]
/proc/loadavg: 3.85 2.64 2.23 5/248 159131
/proc/meminfo: memFree=64542752/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=40840 memory=33456 CPUtime=103.1 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4304 0 0 0 10148 162 0 0 20 0 1 0 16145417 41820160 8364 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10210 8364 1155 1006 0 8971 0
Current children cumulated CPU time: 103.1 s
Current children cumulated vsize: 40840 KiB
Current children cumulated memory: 33456 KiB
[startup+115.2 s]
/proc/loadavg: 3.87 2.68 2.25 5/248 159133
/proc/meminfo: memFree=64485532/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=41104 memory=33640 CPUtime=109.47 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4390 0 0 0 10775 172 0 0 20 0 1 0 16145417 42090496 8410 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10276 8410 1155 1006 0 9037 0
Current children cumulated CPU time: 109.47 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 33640 KiB
[startup+116.8 s]
/proc/loadavg: 3.87 2.68 2.25 5/248 159133
/proc/meminfo: memFree=64477908/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=41104 memory=33640 CPUtime=111.06 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4391 0 0 0 10932 174 0 0 20 0 1 0 16145417 42090496 8410 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10276 8410 1155 1006 0 9037 0
Current children cumulated CPU time: 111.06 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 33640 KiB
[startup+117.6 s]
/proc/loadavg: 3.87 2.68 2.25 5/248 159133
/proc/meminfo: memFree=64470432/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=41104 memory=33640 CPUtime=111.86 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4394 0 0 0 11010 176 0 0 20 0 1 0 16145417 42090496 8410 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10276 8410 1155 1006 0 9037 0
Current children cumulated CPU time: 111.86 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 33640 KiB
[startup+118.4 s]
/proc/loadavg: 3.87 2.68 2.25 5/248 159133
/proc/meminfo: memFree=64463648/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=41096 memory=33916 CPUtime=112.66 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4443 0 0 0 11089 177 0 0 20 0 1 0 16145417 42082304 8479 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10274 8479 1155 1006 0 9035 0
Current children cumulated CPU time: 112.66 s
Current children cumulated vsize: 41096 KiB
Current children cumulated memory: 33916 KiB
[startup+118.8 s]
/proc/loadavg: 3.87 2.68 2.25 5/248 159133
/proc/meminfo: memFree=64463648/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=41096 memory=33916 CPUtime=113.06 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4443 0 0 0 11128 178 0 0 20 0 1 0 16145417 42082304 8479 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10274 8479 1155 1006 0 9035 0
Current children cumulated CPU time: 113.06 s
Current children cumulated vsize: 41096 KiB
Current children cumulated memory: 33916 KiB
[startup+118.9 s]
/proc/loadavg: 3.87 2.68 2.25 5/248 159133
/proc/meminfo: memFree=64463648/131655788 swapFree=131067352/131071996
[pid=159092] ppid=159089 vsize=41096 memory=33916 CPUtime=113.16 cores=4,6
/proc/159092/stat : 159092 (Exact_veripb2) R 159089 159092 158661 0 -1 4194304 4443 0 0 0 11138 178 0 0 20 0 1 0 16145417 42082304 8479 134679101440 4194304 8311665 140721715178080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 541 0 0 9173656 9252184 34996224 140721715180360 140721715180640 140721715180640 140721715187655 0
/proc/159092/statm: 10274 8479 1155 1006 0 9035 0
Current children cumulated CPU time: 113.16 s
Current children cumulated vsize: 41096 KiB
Current children cumulated memory: 33916 KiB
Child status: 30
Real time (s): 119.009
CPU time (s): 113.228
CPU user time (s): 111.435
CPU system time (s): 1.79309
CPU usage (%): 95.1423
Max. virtual memory (cumulated for all children) (KiB): 41104
Max. memory (cumulated for all children) (KiB): 33916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.435
system time used= 1.79309
maximum resident set size= 33916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 465864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1795
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 159092
# total CPU time (s): 113.228
# total CPU user time (s): 111.435
# total CPU system time (s): 1.79309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.600153 second user time and 1.12373 second system time
The end
Begin job on nodeC009 at 2024-07-24 08:12:35
IDJOB=4443364
IDBENCH=147871
IDSOLVER=3081
FILE ID=nodeC009/4443364-1721801555
RUNJOBID= nodeC009-1721801548-158672
SLURM_JOB_ID= 7770688
Free space on /tmp= 723748 MiB
SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443364-1721801555/watcher-4443364-1721801555 -o /tmp/evaluation-result-4443364-1721801555/solver-4443364-1721801555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721801548-158672 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4443364-1721801555 --seed=1851059070 HOME/instance-4443364-1721801555.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 531481e7cf3d0451843bb4aa5119dd25
RANDOM SEED=1851059070
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.412
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.876
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2095.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.343
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.256
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.250
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 65486008 kB
MemAvailable: 129830772 kB
Buffers: 236916 kB
Cached: 64821172 kB
SwapCached: 2884 kB
Active: 2374908 kB
Inactive: 63023340 kB
Active(anon): 1572 kB
Inactive(anon): 384048 kB
Active(file): 2373336 kB
Inactive(file): 62639292 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131067352 kB
Dirty: 31424 kB
Writeback: 0 kB
AnonPages: 336348 kB
Mapped: 104600 kB
Shmem: 45700 kB
KReclaimable: 344672 kB
Slab: 456240 kB
SReclaimable: 344672 kB
SUnreclaim: 111568 kB
KernelStack: 3820 kB
PageTables: 9808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 733416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 18848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 367432 kB
DirectMap2M: 44625920 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC009 at 2024-07-24 08:14:35