Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2 2024-07-05 | SAT (TO) | -27 | 3600.1 | 3646.43 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
| MD5SUM | 3e791e4af881e2fe08ee2208e231d7f8 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 5.15888 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 450 |
| Total number of constraints | 17827 |
| Number of constraints which are clauses | 17827 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 450 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 o 0 0.00/0.09 o -1 0.00/0.09 o -2 0.00/0.09 o -3 0.09/0.10 o -4 0.09/0.10 o -5 0.09/0.10 o -6 0.09/0.10 o -7 0.09/0.11 o -8 0.09/0.11 o -9 0.09/0.13 o -10 0.09/0.14 o -11 1.18/1.20 o -12 7.07/7.13 o -13 7.07/7.14 o -14 8.27/8.33 o -15 9.85/9.93 o -16 9.85/9.93 o -17 17.13/17.26 o -18 17.13/17.27 o -19 17.23/17.32 o -20 30.79/30.98 o -21 38.36/38.59 o -22 38.46/38.69 o -23 54.72/54.95 o -24 97.16/97.54 o -25 448.60/450.72 o -26 1931.45/1942.57 o -27 3600.07/3646.00 c Program interrupted by user. 3600.07/3646.00 s SATISFIABLE 3600.07/3646.00 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 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
OK -27
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: 63931 MiB (46222 MiB free)
memory of node 1: 64510 MiB (54029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441158-1721751805/watcher-4441158-1721751805 -o /tmp/evaluation-result-4441158-1721751805/solver-4441158-1721751805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721751755-110580 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441158-1721751805 --seed=1307356791 HOME/instance-4441158-1721751805.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=110838, runsolver pid=110835
[startup+0.100156 s]*
/proc/loadavg: 3.25 2.46 2.24 5/263 110839
/proc/meminfo: memFree=102636144/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=40920 memory=21224 CPUtime=0.09 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 4569 0 0 0 9 0 0 0 20 0 1 0 11710801 41902080 5306 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 10230 5306 1043 1006 0 8991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40920 KiB
Current children cumulated memory: 21224 KiB
[startup+0.20586 s]*
/proc/loadavg: 3.25 2.46 2.24 5/263 110839
/proc/meminfo: memFree=102634128/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=40920 memory=21224 CPUtime=0.19 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 4569 0 0 0 19 0 0 0 20 0 1 0 11710801 41902080 5306 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 10230 5306 1043 1006 0 8991 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40920 KiB
Current children cumulated memory: 21224 KiB
[startup+0.30563 s]*
/proc/loadavg: 3.25 2.46 2.24 5/263 110839
/proc/meminfo: memFree=102628440/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=40920 memory=23272 CPUtime=0.29 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 4570 0 0 0 29 0 0 0 20 0 1 0 11710801 41902080 5818 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 10230 5818 1043 1006 0 8991 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40920 KiB
Current children cumulated memory: 23272 KiB
[startup+0.700229 s]
/proc/loadavg: 3.31 2.49 2.25 5/263 110839
/proc/meminfo: memFree=102623736/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=41720 memory=26528 CPUtime=0.68 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 4771 0 0 0 68 0 0 0 20 0 1 0 11710801 42721280 6632 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 10430 6632 1155 1006 0 9191 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41720 KiB
Current children cumulated memory: 26528 KiB
[startup+1.50024 s]
/proc/loadavg: 3.31 2.49 2.25 5/263 110839
/proc/meminfo: memFree=102605872/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=44128 memory=30680 CPUtime=1.48 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 5348 0 0 0 147 1 0 0 20 0 1 0 11710801 45187072 7670 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 11032 7670 1155 1006 0 9793 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44128 KiB
Current children cumulated memory: 30680 KiB
[startup+3.10581 s]
/proc/loadavg: 3.31 2.49 2.25 5/263 110839
/proc/meminfo: memFree=102537792/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=45072 memory=37848 CPUtime=3.09 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 5579 0 0 0 307 2 0 0 20 0 1 0 11710801 46153728 9462 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 11268 9462 1155 1006 0 10029 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45072 KiB
Current children cumulated memory: 37848 KiB
[startup+6.30022 s]
/proc/loadavg: 3.36 2.51 2.26 5/263 110839
/proc/meminfo: memFree=102452400/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=48076 memory=42768 CPUtime=6.27 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 6327 0 0 0 624 3 0 0 20 0 1 0 11710801 49229824 10692 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 12019 10692 1155 1006 0 10780 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48076 KiB
Current children cumulated memory: 42768 KiB
[startup+12.7002 s]
/proc/loadavg: 3.41 2.54 2.27 3/263 110840
/proc/meminfo: memFree=102323012/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=63564 memory=50592 CPUtime=12.65 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 7508 0 0 0 1260 5 0 0 20 0 1 0 11710801 65089536 12648 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 15891 12648 1155 1006 0 14652 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 50592 KiB
[startup+25.5002 s]
/proc/loadavg: 3.58 2.60 2.29 5/264 110843
/proc/meminfo: memFree=101964728/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=65364 memory=54672 CPUtime=25.41 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 8044 0 0 0 2532 9 0 0 20 0 1 0 11710801 66932736 13668 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 16341 13668 1155 1006 0 15102 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 65364 KiB
Current children cumulated memory: 54672 KiB
[startup+51.1058 s]
/proc/loadavg: 3.75 2.74 2.35 5/264 110847
/proc/meminfo: memFree=101308760/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=68448 memory=59524 CPUtime=50.93 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 8773 0 0 0 5076 17 0 0 20 0 1 0 11710801 70090752 14881 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 17112 14881 1155 1006 0 15873 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 68448 KiB
Current children cumulated memory: 59524 KiB
[startup+102.3 s]
/proc/loadavg: 4.01 2.96 2.44 6/263 110857
/proc/meminfo: memFree=99849684/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=72260 memory=63616 CPUtime=101.94 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 9792 0 0 0 10158 36 0 0 20 0 1 0 11710801 73994240 15904 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 6 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 18065 15904 1155 1006 0 16826 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 72260 KiB
Current children cumulated memory: 63616 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.19 2.56 5/264 111254
/proc/meminfo: memFree=97766068/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=77904 memory=71112 CPUtime=161.68 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 11157 0 0 0 16105 63 0 0 20 0 1 0 11710801 79773696 17778 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 19476 17778 1155 1006 0 18237 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 77904 KiB
Current children cumulated memory: 71112 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.35 2.65 5/261 111265
/proc/meminfo: memFree=96006968/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=107532 memory=81512 CPUtime=221.42 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 13716 0 0 0 22051 91 0 0 20 0 1 0 11710801 110112768 20378 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 22 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 26883 20378 1155 1006 0 25644 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 81512 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.50 2.75 5/260 111276
/proc/meminfo: memFree=93896404/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=113312 memory=87264 CPUtime=281.16 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 15153 0 0 0 27999 117 0 0 20 0 1 0 11710801 116031488 21816 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 31 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 28328 21816 1155 1006 0 27089 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 113312 KiB
Current children cumulated memory: 87264 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.61 2.84 5/260 111456
/proc/meminfo: memFree=91955652/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=115392 memory=89320 CPUtime=340.66 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 15688 0 0 0 33928 138 0 0 20 0 1 0 11710801 118161408 22330 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 63 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 28848 22330 1155 1006 0 27609 0
Current children cumulated CPU time: 340.66 s
Current children cumulated vsize: 115392 KiB
Current children cumulated memory: 89320 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 3.75 2.93 5/261 111467
/proc/meminfo: memFree=90117804/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=116804 memory=90840 CPUtime=400.4 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 16065 0 0 0 39875 165 0 0 20 0 1 0 11710801 119607296 22710 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 73 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 29201 22710 1155 1006 0 27962 0
Current children cumulated CPU time: 400.4 s
Current children cumulated vsize: 116804 KiB
Current children cumulated memory: 90840 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.83 3.01 5/263 111538
/proc/meminfo: memFree=88324600/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=120692 memory=94536 CPUtime=460.16 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 16979 0 0 0 45825 191 0 0 20 0 1 0 11710801 123588608 23634 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 78 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 30173 23634 1155 1006 0 28934 0
################
# More data... #
################
Current children cumulated memory: 133964 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.16 4.10 4/260 112583
/proc/meminfo: memFree=14957884/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=151720 memory=134536 CPUtime=2944.36 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 26383 0 0 0 293202 1234 0 0 20 0 1 0 11710801 155361280 33634 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2985 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 37930 33634 1155 1006 0 36691 0
Current children cumulated CPU time: 2944.36 s
Current children cumulated vsize: 151720 KiB
Current children cumulated memory: 134536 KiB
[startup+3042.3 s]
/proc/loadavg: 4.38 4.22 4.12 5/260 112595
/proc/meminfo: memFree=13419420/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=151720 memory=134776 CPUtime=3003.5 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 26437 0 0 0 299090 1260 0 0 20 0 1 0 11710801 155361280 33694 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3054 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 37930 33694 1155 1006 0 36691 0
Current children cumulated CPU time: 3003.5 s
Current children cumulated vsize: 151720 KiB
Current children cumulated memory: 134776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.22 4.13 5/261 112607
/proc/meminfo: memFree=11626080/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=152264 memory=135168 CPUtime=3062.92 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 26628 0 0 0 305005 1287 0 0 20 0 1 0 11710801 155918336 33792 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3096 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38066 33792 1155 1006 0 36827 0
Current children cumulated CPU time: 3062.92 s
Current children cumulated vsize: 152264 KiB
Current children cumulated memory: 135168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.22 4.13 5/259 112617
/proc/meminfo: memFree=9655500/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=152264 memory=135328 CPUtime=3122.12 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 26682 0 0 0 310898 1314 0 0 20 0 1 0 11710801 155918336 33832 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3160 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38066 33832 1155 1006 0 36827 0
Current children cumulated CPU time: 3122.12 s
Current children cumulated vsize: 152264 KiB
Current children cumulated memory: 135328 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.20 4.13 5/260 112629
/proc/meminfo: memFree=7669856/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=152816 memory=135800 CPUtime=3181.3 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 26869 0 0 0 316782 1348 0 0 20 0 1 0 11710801 156483584 33950 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3225 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38204 33950 1155 1006 0 36965 0
Current children cumulated CPU time: 3181.3 s
Current children cumulated vsize: 152816 KiB
Current children cumulated memory: 135800 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/260 112639
/proc/meminfo: memFree=5824152/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=152960 memory=136024 CPUtime=3239.87 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 26961 0 0 0 322613 1374 0 0 20 0 1 0 11710801 156631040 34006 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3350 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38240 34006 1155 1006 0 37001 0
Current children cumulated CPU time: 3239.87 s
Current children cumulated vsize: 152960 KiB
Current children cumulated memory: 136024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/260 112650
/proc/meminfo: memFree=3876768/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153108 memory=136112 CPUtime=3299.54 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 27045 0 0 0 328548 1406 0 0 20 0 1 0 11710801 156782592 34028 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3368 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38277 34028 1155 1006 0 37038 0
Current children cumulated CPU time: 3299.54 s
Current children cumulated vsize: 153108 KiB
Current children cumulated memory: 136112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.18 4.13 4/259 112661
/proc/meminfo: memFree=2650352/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153108 memory=136156 CPUtime=3358.39 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) D 110835 110838 110568 0 -1 4194304 27099 0 0 0 334404 1435 0 0 20 0 1 0 11710801 156782592 34039 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3380 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38277 34039 1155 1006 0 37038 0
Current children cumulated CPU time: 3358.39 s
Current children cumulated vsize: 153108 KiB
Current children cumulated memory: 136156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/261 112676
/proc/meminfo: memFree=852228/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153356 memory=136280 CPUtime=3417.47 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 27213 0 0 0 340286 1461 0 0 20 0 1 0 11710801 157036544 34070 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3544 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38339 34070 1155 1006 0 37100 0
Current children cumulated CPU time: 3417.47 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 136280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/260 112687
/proc/meminfo: memFree=512032/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153776 memory=136588 CPUtime=3477.09 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 27372 0 0 0 346220 1489 0 0 20 0 1 0 11710801 157466624 34147 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3566 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38444 34147 1155 1006 0 37205 0
Current children cumulated CPU time: 3477.09 s
Current children cumulated vsize: 153776 KiB
Current children cumulated memory: 136588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.12 6/260 112697
/proc/meminfo: memFree=695932/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153776 memory=136852 CPUtime=3536.67 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 27435 0 0 0 352151 1516 0 0 20 0 1 0 11710801 157466624 34213 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3592 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38444 34213 1155 1006 0 37205 0
Current children cumulated CPU time: 3536.67 s
Current children cumulated vsize: 153776 KiB
Current children cumulated memory: 136852 KiB
[startup+3642.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/260 112754
/proc/meminfo: memFree=7583000/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153776 memory=136856 CPUtime=3596.38 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 27499 0 0 0 358094 1544 0 0 20 0 1 0 11710801 157466624 34214 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3606 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38444 34214 1155 1006 0 37205 0
Current children cumulated CPU time: 3596.38 s
Current children cumulated vsize: 153776 KiB
Current children cumulated memory: 136856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3646 s]*
/proc/loadavg: 4.12 4.14 4.11 5/260 112754
/proc/meminfo: memFree=7357668/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=153776 memory=136856 CPUtime=3600.07 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) R 110835 110838 110568 0 -1 4194304 27499 0 0 0 358462 1545 0 0 20 0 1 0 11710801 157466624 34214 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3606 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 38444 34214 1155 1006 0 37205 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 153776 KiB
Current children cumulated memory: 136856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3646.43 s]
# the end of solver process 110838 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3584.63 s, system=15.4687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3646.4 s]
/proc/loadavg: 4.12 4.14 4.11 5/260 112754
/proc/meminfo: memFree=7357668/131524600 swapFree=131071996/131071996
[pid=110838] ppid=110835 vsize=97056 memory=92628 CPUtime=3600.08 cores=1,3
/proc/110838/stat : 110838 (Exact_veripb2) D 110835 110838 110568 0 -1 4194304 27500 0 0 0 358462 1546 0 0 20 0 1 0 11710801 99385344 23157 134679101440 4194304 8311665 140726508014320 0 0 0 0 0 8404994 0 0 0 17 3 0 0 3680 0 0 9173656 9252184 25640960 140726508020552 140726508020832 140726508020832 140726508027847 0
/proc/110838/statm: 24264 23157 1170 1006 0 23025 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 97056 KiB
Current children cumulated memory: 92628 KiB
Child status: 10
Real time (s): 3646.43
CPU time (s): 3600.1
CPU user time (s): 3584.63
CPU system time (s): 15.4687
CPU usage (%): 98.7295
Max. virtual memory (cumulated for all children) (KiB): 153776
Max. memory (cumulated for all children) (KiB): 136856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.63
system time used= 15.4687
maximum resident set size= 136856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13993760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1485
involuntary context switches= 4866
# summary of solver processes directly reported to runsolver:
# pid: 110838
# total CPU time (s): 3600.1
# total CPU user time (s): 3584.63
# total CPU system time (s): 15.4687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33036 second user time and 17.2974 second system time
The end
Begin job on nodeC035 at 2024-07-23 18:23:25 IDJOB=4441158 IDBENCH=146689 IDSOLVER=3081 FILE ID=nodeC035/4441158-1721751805 RUNJOBID= nodeC035-1721751755-110580 SLURM_JOB_ID= 7770650 Free space on /tmp= 890048 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.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-4441158-1721751805/watcher-4441158-1721751805 -o /tmp/evaluation-result-4441158-1721751805/solver-4441158-1721751805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721751755-110580 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441158-1721751805 --seed=1307356791 HOME/instance-4441158-1721751805.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8 RANDOM SEED=1307356791 nodeC035.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 : 0xb00002a cpu MHz : 3666.554 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.54 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 : 0xb00002a cpu MHz : 3665.712 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.93 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 : 0xb00002a cpu MHz : 3599.899 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.54 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 : 0xb00002a cpu MHz : 3658.092 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.93 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 : 0xb00002a cpu MHz : 3666.645 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.54 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 : 0xb00002a cpu MHz : 3667.431 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.93 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 : 0xb00002a cpu MHz : 3600.043 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.54 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 : 0xb00002a cpu MHz : 3600.262 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.93 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 102658400 kB MemAvailable: 128865740 kB Buffers: 171728 kB Cached: 26763244 kB SwapCached: 0 kB Active: 1068112 kB Inactive: 27012768 kB Active(anon): 1580 kB Inactive(anon): 1181884 kB Active(file): 1066532 kB Inactive(file): 25830884 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 567548 kB Writeback: 0 kB AnonPages: 1145072 kB Mapped: 117328 kB Shmem: 37720 kB KReclaimable: 299144 kB Slab: 428940 kB SReclaimable: 299144 kB SUnreclaim: 129796 kB KernelStack: 4156 kB PageTables: 11528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1720360 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20608 kB HardwareCorrupted: 0 kB AnonHugePages: 595968 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: 295636 kB DirectMap2M: 26740736 kB DirectMap1G: 109051904 kB Free space on /tmp at the end= 890040 MiB End job on nodeC035 at 2024-07-23 19:24:12