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.07 | 3657.84 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
| MD5SUM | 6f27158fc75cdb45f11467b416377039 |
| 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 | 2.23031 |
| 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 | 17794 |
| Number of constraints which are clauses | 17794 |
| 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.00/0.09 o -4 0.00/0.09 o -5 0.00/0.09 o -6 0.09/0.10 o -7 0.09/0.10 o -8 0.09/0.11 o -9 0.09/0.12 o -10 0.09/0.14 o -11 0.09/0.16 o -12 0.30/0.39 o -13 0.59/0.64 o -14 0.59/0.65 o -15 0.68/0.71 o -16 5.27/5.30 o -17 5.27/5.32 o -18 7.07/7.16 o -19 9.36/9.40 o -20 9.36/9.40 o -21 20.62/20.71 o -22 26.60/26.72 o -23 29.20/29.34 o -24 49.21/49.47 o -25 1498.19/1506.06 o -26 1533.09/1541.27 o -27 3600.05/3657.80 c Program interrupted by user. 3600.05/3657.80 s SATISFIABLE 3600.05/3657.80 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 (47068 MiB free)
memory of node 1: 64510 MiB (53858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441159-1721751780/watcher-4441159-1721751780 -o /tmp/evaluation-result-4441159-1721751780/solver-4441159-1721751780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721751755-110581 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441159-1721751780 --seed=1307356791 HOME/instance-4441159-1721751780.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=110786, runsolver pid=110783
[startup+0.100634 s]*
/proc/loadavg: 2.85 2.32 2.19 5/263 110787
/proc/meminfo: memFree=103329324/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=40748 memory=19132 CPUtime=0.09 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 4263 0 0 0 8 1 0 0 20 0 1 0 11708253 41725952 4783 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 10187 4783 1043 1006 0 8948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40748 KiB
Current children cumulated memory: 19132 KiB
[startup+0.205662 s]*
/proc/loadavg: 2.85 2.32 2.19 5/263 110787
/proc/meminfo: memFree=103324768/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=40748 memory=22128 CPUtime=0.2 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 4337 0 0 0 19 1 0 0 20 0 1 0 11708253 41725952 5532 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 10187 5532 1155 1006 0 8948 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40748 KiB
Current children cumulated memory: 22128 KiB
[startup+0.30564 s]*
/proc/loadavg: 2.85 2.32 2.19 5/263 110787
/proc/meminfo: memFree=103321940/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=40748 memory=22128 CPUtime=0.3 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 4337 0 0 0 29 1 0 0 20 0 1 0 11708253 41725952 5532 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 10187 5532 1155 1006 0 8948 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40748 KiB
Current children cumulated memory: 22128 KiB
[startup+0.700239 s]
/proc/loadavg: 2.85 2.32 2.19 5/263 110787
/proc/meminfo: memFree=103308492/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=42608 memory=26016 CPUtime=0.68 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 4833 0 0 0 67 1 0 0 20 0 1 0 11708253 43630592 6504 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 10652 6504 1155 1006 0 9413 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42608 KiB
Current children cumulated memory: 26016 KiB
[startup+1.50025 s]
/proc/loadavg: 2.95 2.35 2.20 5/263 110787
/proc/meminfo: memFree=103287652/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=43672 memory=28852 CPUtime=1.48 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 5029 0 0 0 146 2 0 0 20 0 1 0 11708253 44720128 7213 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 10918 7213 1155 1006 0 9679 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43672 KiB
Current children cumulated memory: 28852 KiB
[startup+3.10565 s]
/proc/loadavg: 2.95 2.35 2.20 5/263 110789
/proc/meminfo: memFree=103215588/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=44828 memory=36288 CPUtime=3.08 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 5326 0 0 0 305 3 0 0 20 0 1 0 11708253 45903872 9072 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 11207 9072 1155 1006 0 9968 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 36288 KiB
[startup+6.30021 s]
/proc/loadavg: 3.03 2.38 2.21 5/263 110789
/proc/meminfo: memFree=103029012/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=62332 memory=46060 CPUtime=6.27 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 6989 0 0 0 623 4 0 0 20 0 1 0 11708253 63827968 11515 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 15583 11515 1155 1006 0 14344 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62332 KiB
Current children cumulated memory: 46060 KiB
[startup+12.7002 s]
/proc/loadavg: 3.11 2.41 2.22 4/263 110790
/proc/meminfo: memFree=102833744/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=63112 memory=52948 CPUtime=12.65 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 7218 0 0 0 1259 6 0 0 20 0 1 0 11708253 64626688 13237 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 15778 13237 1155 1006 0 14539 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 63112 KiB
Current children cumulated memory: 52948 KiB
[startup+25.5002 s]
/proc/loadavg: 3.25 2.46 2.24 5/258 110819
/proc/meminfo: memFree=102302896/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=64532 memory=54660 CPUtime=25.41 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 7666 0 0 0 2532 9 0 0 20 0 1 0 11708253 66080768 13665 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 16133 13665 1155 1006 0 14894 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64532 KiB
Current children cumulated memory: 54660 KiB
[startup+51.1056 s]
/proc/loadavg: 3.61 2.62 2.30 5/264 110843
/proc/meminfo: memFree=101950640/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=66748 memory=58952 CPUtime=50.91 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 8231 0 0 0 5074 17 0 0 20 0 1 0 11708253 68349952 14738 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 16687 14738 1155 1006 0 15448 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 66748 KiB
Current children cumulated memory: 58952 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 2.85 2.40 5/264 110853
/proc/meminfo: memFree=100627424/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=72012 memory=63860 CPUtime=101.91 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 9514 0 0 0 10155 36 0 0 20 0 1 0 11708253 73740288 15965 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 8 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 18003 15965 1155 1006 0 16764 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 72012 KiB
Current children cumulated memory: 63860 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.10 2.51 5/265 111251
/proc/meminfo: memFree=98725804/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=77636 memory=69576 CPUtime=161.61 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 10981 0 0 0 16098 63 0 0 20 0 1 0 11708253 79499264 17394 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 19 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 19409 17394 1155 1006 0 18170 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 77636 KiB
Current children cumulated memory: 69576 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.29 2.62 3/263 111262
/proc/meminfo: memFree=96824444/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=105836 memory=78776 CPUtime=221.32 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 12676 0 0 0 22045 87 0 0 20 0 1 0 11708253 108376064 19694 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 32 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 26459 19694 1155 1006 0 25220 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 105836 KiB
Current children cumulated memory: 78776 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.44 2.71 5/260 111273
/proc/meminfo: memFree=94728244/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=109164 memory=82416 CPUtime=281.04 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 13552 0 0 0 27989 115 0 0 20 0 1 0 11708253 111783936 20604 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 42 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 27291 20604 1155 1006 0 26052 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 109164 KiB
Current children cumulated memory: 82416 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.58 2.80 5/260 111452
/proc/meminfo: memFree=92811664/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=111964 memory=84996 CPUtime=340.78 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 14226 0 0 0 33936 142 0 0 20 0 1 0 11708253 114651136 21249 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 52 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 27991 21249 1155 1006 0 26752 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 111964 KiB
Current children cumulated memory: 84996 KiB
[startup+402.3 s]
/proc/loadavg: 4.27 3.70 2.90 5/261 111464
/proc/meminfo: memFree=90801484/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=114748 memory=89620 CPUtime=400.47 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 14931 0 0 0 39881 166 0 0 20 0 1 0 11708253 117501952 22405 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 63 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 28687 22405 1155 1006 0 27448 0
Current children cumulated CPU time: 400.47 s
Current children cumulated vsize: 114748 KiB
Current children cumulated memory: 89620 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.78 2.97 5/263 111534
/proc/meminfo: memFree=89064060/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=117948 memory=92988 CPUtime=460.23 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 15738 0 0 0 45835 188 0 0 20 0 1 0 11708253 120778752 23247 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 71 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 29487 23247 1155 1006 0 28248 0
################
# More data... #
################
Current children cumulated memory: 134564 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.13 4.09 3/260 112569
/proc/meminfo: memFree=16807360/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=150868 memory=134644 CPUtime=2877.47 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 25738 0 0 0 286475 1272 0 0 20 0 1 0 11708253 154488832 33661 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3685 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 37717 33661 1155 1006 0 36478 0
Current children cumulated CPU time: 2877.47 s
Current children cumulated vsize: 150868 KiB
Current children cumulated memory: 134644 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/260 112580
/proc/meminfo: memFree=15612656/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=151280 memory=134808 CPUtime=2928.67 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 25867 0 0 0 291575 1292 0 0 20 0 1 0 11708253 154910720 33702 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4551 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 37820 33702 1155 1006 0 36581 0
Current children cumulated CPU time: 2928.67 s
Current children cumulated vsize: 151280 KiB
Current children cumulated memory: 134808 KiB
[startup+3042.3 s]
/proc/loadavg: 4.40 4.20 4.11 5/260 112592
/proc/meminfo: memFree=14016788/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=151800 memory=135380 CPUtime=2988.39 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26052 0 0 0 297520 1319 0 0 20 0 1 0 11708253 155443200 33845 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4562 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 37950 33845 1155 1006 0 36711 0
Current children cumulated CPU time: 2988.39 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 135380 KiB
[startup+3102.3 s]
/proc/loadavg: 4.41 4.24 4.13 5/261 112603
/proc/meminfo: memFree=12345776/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=151944 memory=135632 CPUtime=3048.12 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26145 0 0 0 303468 1344 0 0 20 0 1 0 11708253 155590656 33908 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4572 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 37986 33908 1155 1006 0 36747 0
Current children cumulated CPU time: 3048.12 s
Current children cumulated vsize: 151944 KiB
Current children cumulated memory: 135632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.21 4.13 5/259 112614
/proc/meminfo: memFree=10568344/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=152328 memory=135980 CPUtime=3107.88 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26306 0 0 0 309418 1370 0 0 20 0 1 0 11708253 155983872 33995 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4581 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38082 33995 1155 1006 0 36843 0
Current children cumulated CPU time: 3107.88 s
Current children cumulated vsize: 152328 KiB
Current children cumulated memory: 135980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.22 4.13 5/260 112626
/proc/meminfo: memFree=8510440/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=152840 memory=136288 CPUtime=3166.99 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26481 0 0 0 315301 1398 0 0 20 0 1 0 11708253 156508160 34072 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4654 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38210 34072 1155 1006 0 36971 0
Current children cumulated CPU time: 3166.99 s
Current children cumulated vsize: 152840 KiB
Current children cumulated memory: 136288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/260 112636
/proc/meminfo: memFree=6697704/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=153108 memory=136620 CPUtime=3226.55 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26604 0 0 0 321231 1424 0 0 20 0 1 0 11708253 156782592 34155 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4682 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38277 34155 1155 1006 0 37038 0
Current children cumulated CPU time: 3226.55 s
Current children cumulated vsize: 153108 KiB
Current children cumulated memory: 136620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/260 112647
/proc/meminfo: memFree=4968220/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=153108 memory=136852 CPUtime=3286.18 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26673 0 0 0 327168 1450 0 0 20 0 1 0 11708253 156782592 34213 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4703 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38277 34213 1155 1006 0 37038 0
Current children cumulated CPU time: 3286.18 s
Current children cumulated vsize: 153108 KiB
Current children cumulated memory: 136852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/260 112657
/proc/meminfo: memFree=3235552/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=153312 memory=137048 CPUtime=3345.8 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 26785 0 0 0 333105 1475 0 0 20 0 1 0 11708253 156991488 34262 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4726 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38328 34262 1155 1006 0 37089 0
Current children cumulated CPU time: 3345.8 s
Current children cumulated vsize: 153312 KiB
Current children cumulated memory: 137048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/261 112672
/proc/meminfo: memFree=1420628/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=154104 memory=137792 CPUtime=3405.57 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 27032 0 0 0 339054 1503 0 0 20 0 1 0 11708253 157802496 34448 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4732 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38526 34448 1155 1006 0 37287 0
Current children cumulated CPU time: 3405.57 s
Current children cumulated vsize: 154104 KiB
Current children cumulated memory: 137792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/260 112684
/proc/meminfo: memFree=679016/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=154412 memory=138124 CPUtime=3465.28 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 27164 0 0 0 345005 1523 0 0 20 0 1 0 11708253 158117888 34531 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4743 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38603 34531 1155 1006 0 37364 0
Current children cumulated CPU time: 3465.28 s
Current children cumulated vsize: 154412 KiB
Current children cumulated memory: 138124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/260 112694
/proc/meminfo: memFree=544964/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=155032 memory=138636 CPUtime=3525.07 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 27371 0 0 0 350963 1544 0 0 20 0 1 0 11708253 158752768 34659 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4747 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38758 34659 1155 1006 0 37519 0
Current children cumulated CPU time: 3525.07 s
Current children cumulated vsize: 155032 KiB
Current children cumulated memory: 138636 KiB
[startup+3642.3 s]
/proc/loadavg: 4.09 4.14 4.11 4/260 112705
/proc/meminfo: memFree=630756/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=155708 memory=139164 CPUtime=3584.86 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 27601 0 0 0 356914 1572 0 0 20 0 1 0 11708253 159444992 34791 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4751 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38927 34791 1155 1006 0 37688 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 155708 KiB
Current children cumulated memory: 139164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3657.8 s]
/proc/loadavg: 4.14 4.15 4.12 5/260 112707
/proc/meminfo: memFree=496880/131524600 swapFree=131071996/131071996
[pid=110786] ppid=110783 vsize=155708 memory=139164 CPUtime=3600.05 cores=5,7
/proc/110786/stat : 110786 (Exact_veripb2) R 110783 110786 110568 0 -1 4194304 27601 0 0 0 358427 1578 0 0 20 0 1 0 11708253 159444992 34791 134679101440 4194304 8311665 140721513715696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 4777 0 0 9173656 9252184 13926400 140721513722696 140721513722976 140721513722976 140721513729991 0
/proc/110786/statm: 38927 34791 1155 1006 0 37688 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 155708 KiB
Current children cumulated memory: 139164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3657.84 s]
# the end of solver process 110786 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3584.28 s, system=15.7902 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3657.84
CPU time (s): 3600.07
CPU user time (s): 3584.28
CPU system time (s): 15.7902
CPU usage (%): 98.4208
Max. virtual memory (cumulated for all children) (KiB): 155708
Max. memory (cumulated for all children) (KiB): 139164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.28
system time used= 15.7902
maximum resident set size= 139164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15037816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247
involuntary context switches= 4853
# summary of solver processes directly reported to runsolver:
# pid: 110786
# total CPU time (s): 3600.07
# total CPU user time (s): 3584.28
# total CPU system time (s): 15.7902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54811 second user time and 16.1099 second system time
The end
Begin job on nodeC035 at 2024-07-23 18:23:00 IDJOB=4441159 IDBENCH=146688 IDSOLVER=3081 FILE ID=nodeC035/4441159-1721751780 RUNJOBID= nodeC035-1721751755-110581 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-5.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-4441159-1721751780/watcher-4441159-1721751780 -o /tmp/evaluation-result-4441159-1721751780/solver-4441159-1721751780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721751755-110581 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441159-1721751780 --seed=1307356791 HOME/instance-4441159-1721751780.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039 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 : 3667.070 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 : 3670.135 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.939 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 : 3669.387 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 : 3667.140 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 : 3661.700 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.108 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 : 3654.441 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: 103349852 kB MemAvailable: 129068700 kB Buffers: 171652 kB Cached: 26275736 kB SwapCached: 0 kB Active: 1067412 kB Inactive: 26320348 kB Active(anon): 1572 kB Inactive(anon): 976548 kB Active(file): 1065840 kB Inactive(file): 25343800 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 712496 kB Writeback: 24 kB AnonPages: 939816 kB Mapped: 117212 kB Shmem: 37720 kB KReclaimable: 297708 kB Slab: 430920 kB SReclaimable: 297708 kB SUnreclaim: 133212 kB KernelStack: 4240 kB PageTables: 11160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1462036 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20608 kB HardwareCorrupted: 0 kB AnonHugePages: 481280 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:23:58