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) | 66 | 3513.91 | 3700.18 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | 01f07e427327757fda434ad4b1d2038d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| 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.09/0.13 o 88 0.09/0.14 o 84 0.09/0.15 o 80 0.09/0.16 o 78 0.09/0.17 o 74 2.28/2.39 o 72 21.23/21.40 o 70 34.79/38.49 o 68 72.26/77.57 o 66 3513.90/3700.00 c Program interrupted by user. 3513.90/3700.00 s SATISFIABLE 3513.90/3700.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 -x451 -x452 x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 x539 -x540
OK 66
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: 63968 MiB (42368 MiB free)
memory of node 1: 64473 MiB (41942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441077-1721755502/watcher-4441077-1721755502 -o /tmp/evaluation-result-4441077-1721755502/solver-4441077-1721755502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721751755-112388 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441077-1721755502 --seed=433366526 HOME/instance-4441077-1721755502.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=114571, runsolver pid=114568
[startup+0.100086 s]*
/proc/loadavg: 4.18 4.19 4.12 5/261 114572
/proc/meminfo: memFree=86327548/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=32212 memory=10248 CPUtime=0.09 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 1957 0 0 0 9 0 0 0 20 0 1 0 12078118 32985088 2562 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 8053 2562 1059 1006 0 6814 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32212 KiB
Current children cumulated memory: 10248 KiB
[startup+0.205586 s]*
/proc/loadavg: 4.18 4.19 4.12 5/261 114572
/proc/meminfo: memFree=86326008/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=32212 memory=11136 CPUtime=0.19 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 2075 0 0 0 19 0 0 0 20 0 1 0 12078118 32985088 2784 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 8053 2784 1155 1006 0 6814 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 32212 KiB
Current children cumulated memory: 11136 KiB
[startup+0.305528 s]*
/proc/loadavg: 4.18 4.19 4.12 5/261 114572
/proc/meminfo: memFree=86324888/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=32212 memory=11400 CPUtime=0.29 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 2178 0 0 0 29 0 0 0 20 0 1 0 12078118 32985088 2850 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 8053 2850 1155 1006 0 6814 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32212 KiB
Current children cumulated memory: 11400 KiB
[startup+0.700195 s]
/proc/loadavg: 4.18 4.19 4.12 5/261 114572
/proc/meminfo: memFree=86319872/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=33928 memory=15556 CPUtime=0.68 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 2655 0 0 0 68 0 0 0 20 0 1 0 12078118 34742272 3889 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 8482 3889 1155 1006 0 7243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33928 KiB
Current children cumulated memory: 15556 KiB
[startup+1.50018 s]
/proc/loadavg: 4.18 4.19 4.12 5/261 114572
/proc/meminfo: memFree=86293224/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=33928 memory=17604 CPUtime=1.48 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 2658 0 0 0 147 1 0 0 20 0 1 0 12078118 34742272 4401 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 8482 4401 1155 1006 0 7243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33928 KiB
Current children cumulated memory: 17604 KiB
[startup+3.10537 s]
/proc/loadavg: 4.16 4.18 4.12 5/261 114572
/proc/meminfo: memFree=86243588/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=36004 memory=21484 CPUtime=3.08 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 3149 0 0 0 305 3 0 0 20 0 1 0 12078118 36868096 5371 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 9001 5371 1155 1006 0 7762 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36004 KiB
Current children cumulated memory: 21484 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.18 4.12 6/261 114620
/proc/meminfo: memFree=94777220/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=37688 memory=23068 CPUtime=6.26 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 3535 0 0 0 621 5 0 0 20 0 1 0 12078118 38592512 5767 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 9422 5767 1155 1006 0 8183 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 37688 KiB
Current children cumulated memory: 23068 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.20 4.12 6/261 114620
/proc/meminfo: memFree=94575312/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=38680 memory=24088 CPUtime=12.65 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 3797 0 0 0 1255 10 0 0 20 0 1 0 12078118 39608320 6022 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 9670 6022 1155 1006 0 8431 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38680 KiB
Current children cumulated memory: 24088 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.19 4.12 5/262 115052
/proc/meminfo: memFree=103217200/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=40312 memory=27708 CPUtime=25.41 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 4220 0 0 0 2521 20 0 0 20 0 1 0 12078118 41279488 6927 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 10078 6927 1155 1006 0 8839 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 40312 KiB
Current children cumulated memory: 27708 KiB
[startup+51.1057 s]
/proc/loadavg: 4.19 4.19 4.12 5/259 115056
/proc/meminfo: memFree=102498888/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=41848 memory=29236 CPUtime=47.47 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 4602 0 0 0 4711 36 0 0 20 0 1 0 12078118 42852352 7309 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 348 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 10462 7309 1155 1006 0 9223 0
Current children cumulated CPU time: 47.47 s
Current children cumulated vsize: 41848 KiB
Current children cumulated memory: 29236 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/259 115066
/proc/meminfo: memFree=101110824/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=42636 memory=30484 CPUtime=95.39 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 4848 0 0 0 9469 70 0 0 20 0 1 0 12078118 43659264 7621 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 660 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 10659 7621 1155 1006 0 9420 0
Current children cumulated CPU time: 95.39 s
Current children cumulated vsize: 42636 KiB
Current children cumulated memory: 30484 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.19 4.12 2/259 115076
/proc/meminfo: memFree=99301964/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=43232 memory=31188 CPUtime=150.86 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) D 114568 114571 112377 0 -1 4194304 5023 0 0 0 14975 111 0 0 20 0 1 0 12078118 44269568 7797 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 854 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 10808 7797 1155 1006 0 9569 0
Current children cumulated CPU time: 150.86 s
Current children cumulated vsize: 43232 KiB
Current children cumulated memory: 31188 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.22 4.14 3/260 115257
/proc/meminfo: memFree=97556208/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=43952 memory=31672 CPUtime=208.04 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) D 114568 114571 112377 0 -1 4194304 5215 0 0 0 20650 154 0 0 20 0 1 0 12078118 45006848 7918 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1259 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 10988 7918 1155 1006 0 9749 0
Current children cumulated CPU time: 208.04 s
Current children cumulated vsize: 43952 KiB
Current children cumulated memory: 31672 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/260 115267
/proc/meminfo: memFree=95810136/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=44268 memory=32156 CPUtime=263.31 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 5292 0 0 0 26135 196 0 0 20 0 1 0 12078118 45330432 8039 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1812 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 11067 8039 1155 1006 0 9828 0
Current children cumulated CPU time: 263.31 s
Current children cumulated vsize: 44268 KiB
Current children cumulated memory: 32156 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.17 4.13 5/260 115620
/proc/meminfo: memFree=96267876/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=44872 memory=32640 CPUtime=322.08 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 5435 0 0 0 31974 234 0 0 20 0 1 0 12078118 45948928 8160 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1918 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 11218 8160 1155 1006 0 9979 0
Current children cumulated CPU time: 322.08 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 32640 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/260 115631
/proc/meminfo: memFree=94625592/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=45380 memory=35168 CPUtime=380.83 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 5574 0 0 0 37810 273 0 0 20 0 1 0 12078118 46469120 8792 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2027 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 11345 8792 1155 1006 0 10106 0
Current children cumulated CPU time: 380.83 s
Current children cumulated vsize: 45380 KiB
Current children cumulated memory: 35168 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/260 115641
/proc/meminfo: memFree=92944572/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=45520 memory=35388 CPUtime=437.13 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 5638 0 0 0 43402 311 0 0 20 0 1 0 12078118 46612480 8847 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2378 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 11380 8847 1155 1006 0 10141 0
################
# More data... #
################
Current children cumulated memory: 41312 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.17 4.11 4/259 116677
/proc/meminfo: memFree=24651368/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51436 memory=41312 CPUtime=2808.93 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7693 0 0 0 279024 1869 0 0 20 0 1 0 12078118 52670464 10328 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16430 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12859 10328 1155 1006 0 11620 0
Current children cumulated CPU time: 2808.93 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 41312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/258 116688
/proc/meminfo: memFree=23081152/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51436 memory=41312 CPUtime=2868.47 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7709 0 0 0 284940 1907 0 0 20 0 1 0 12078118 52670464 10328 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16460 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12859 10328 1155 1006 0 11620 0
Current children cumulated CPU time: 2868.47 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 41312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/259 116700
/proc/meminfo: memFree=21499356/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51436 memory=41364 CPUtime=2927.75 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7734 0 0 0 290833 1942 0 0 20 0 1 0 12078118 52670464 10341 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16515 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12859 10341 1155 1006 0 11620 0
Current children cumulated CPU time: 2927.75 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 41364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 116710
/proc/meminfo: memFree=19700188/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51436 memory=41364 CPUtime=2986.99 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7759 0 0 0 296716 1983 0 0 20 0 1 0 12078118 52670464 10341 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16575 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12859 10341 1155 1006 0 11620 0
Current children cumulated CPU time: 2986.99 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 41364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 116721
/proc/meminfo: memFree=18002352/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51436 memory=41364 CPUtime=3046.13 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7775 0 0 0 302596 2017 0 0 20 0 1 0 12078118 52670464 10341 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16645 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12859 10341 1155 1006 0 11620 0
Current children cumulated CPU time: 3046.13 s
Current children cumulated vsize: 51436 KiB
Current children cumulated memory: 41364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/258 116732
/proc/meminfo: memFree=16422620/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51568 memory=41484 CPUtime=3105.31 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7803 0 0 0 308475 2056 0 0 20 0 1 0 12078118 52805632 10371 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16682 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12892 10371 1155 1006 0 11653 0
Current children cumulated CPU time: 3105.31 s
Current children cumulated vsize: 51568 KiB
Current children cumulated memory: 41484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/260 116746
/proc/meminfo: memFree=14786572/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51568 memory=41484 CPUtime=3163.87 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7843 0 0 0 314287 2100 0 0 20 0 1 0 12078118 52805632 10371 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16809 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12892 10371 1155 1006 0 11653 0
Current children cumulated CPU time: 3163.87 s
Current children cumulated vsize: 51568 KiB
Current children cumulated memory: 41484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 116759
/proc/meminfo: memFree=13151584/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51716 memory=41632 CPUtime=3223.26 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7875 0 0 0 320185 2141 0 0 20 0 1 0 12078118 52957184 10408 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16849 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12929 10408 1155 1006 0 11690 0
Current children cumulated CPU time: 3223.26 s
Current children cumulated vsize: 51716 KiB
Current children cumulated memory: 41632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 116771
/proc/meminfo: memFree=11283564/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51716 memory=41632 CPUtime=3282.69 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7898 0 0 0 326094 2175 0 0 20 0 1 0 12078118 52957184 10408 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16889 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12929 10408 1155 1006 0 11690 0
Current children cumulated CPU time: 3282.69 s
Current children cumulated vsize: 51716 KiB
Current children cumulated memory: 41632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/260 116781
/proc/meminfo: memFree=9712584/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51716 memory=41632 CPUtime=3340.89 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7914 0 0 0 331874 2215 0 0 20 0 1 0 12078118 52957184 10408 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 17040 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12929 10408 1155 1006 0 11690 0
Current children cumulated CPU time: 3340.89 s
Current children cumulated vsize: 51716 KiB
Current children cumulated memory: 41632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/259 116791
/proc/meminfo: memFree=7993364/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51716 memory=41672 CPUtime=3399.28 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7930 0 0 0 337675 2253 0 0 20 0 1 0 12078118 52957184 10418 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 17147 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12929 10418 1155 1006 0 11690 0
Current children cumulated CPU time: 3399.28 s
Current children cumulated vsize: 51716 KiB
Current children cumulated memory: 41672 KiB
[startup+3642.3 s]
/proc/loadavg: 4.15 4.17 4.12 4/260 117188
/proc/meminfo: memFree=6459060/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51716 memory=41672 CPUtime=3457.85 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7946 0 0 0 343491 2294 0 0 20 0 1 0 12078118 52957184 10418 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 17263 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12929 10418 1155 1006 0 11690 0
Current children cumulated CPU time: 3457.85 s
Current children cumulated vsize: 51716 KiB
Current children cumulated memory: 41672 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.10 4.16 4.11 4/259 117199
/proc/meminfo: memFree=4959716/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=51868 memory=41784 CPUtime=3513.9 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) R 114568 114571 112377 0 -1 4194304 7996 0 0 0 349059 2331 0 0 20 0 1 0 12078118 53112832 10446 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 4 0 0 17411 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 12967 10446 1155 1006 0 11728 0
Current children cumulated CPU time: 3513.9 s
Current children cumulated vsize: 51868 KiB
Current children cumulated memory: 41784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.18 s]
# the end of solver process 114571 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3490.6 s, system=23.3178 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.11 s]
/proc/loadavg: 4.10 4.16 4.11 4/259 117199
/proc/meminfo: memFree=4959716/131524600 swapFree=131071996/131071996
[pid=114571] ppid=114568 vsize=33640 memory=29204 CPUtime=3513.9 cores=4,6
/proc/114571/stat : 114571 (Exact_veripb2) D 114568 114571 112377 0 -1 4194304 7997 0 0 0 349059 2331 0 0 20 0 1 0 12078118 34447360 7301 134679101440 4194304 8311665 140733972062112 0 0 0 0 0 8404994 0 0 0 17 6 0 0 17422 0 0 9173656 9252184 24350720 140733972067149 140733972067428 140733972067428 140733972074439 0
/proc/114571/statm: 8410 7301 1170 1006 0 7171 0
Current children cumulated CPU time: 3513.9 s
Current children cumulated vsize: 33640 KiB
Current children cumulated memory: 29204 KiB
Child status: 10
Real time (s): 3700.18
CPU time (s): 3513.91
CPU user time (s): 3490.6
CPU system time (s): 23.3178
CPU usage (%): 94.9661
Max. virtual memory (cumulated for all children) (KiB): 51868
Max. memory (cumulated for all children) (KiB): 41784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.6
system time used= 23.3178
maximum resident set size= 41784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30247640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 633
involuntary context switches= 7916
# summary of solver processes directly reported to runsolver:
# pid: 114571
# total CPU time (s): 3513.91
# total CPU user time (s): 3490.6
# total CPU system time (s): 23.3178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95704 second user time and 15.8545 second system time
The end
Begin job on nodeC014 at 2024-07-23 19:25:02 IDJOB=4441077 IDBENCH=147020 IDSOLVER=3081 FILE ID=nodeC014/4441077-1721755502 RUNJOBID= nodeC014-1721751755-112388 SLURM_JOB_ID= 7770648 Free space on /tmp= 890016 MiB SOLVER NAME= Exact_veripb2 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.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-4441077-1721755502/watcher-4441077-1721755502 -o /tmp/evaluation-result-4441077-1721755502/solver-4441077-1721755502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721751755-112388 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441077-1721755502 --seed=433366526 HOME/instance-4441077-1721755502.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=433366526 nodeC014.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 : 3659.686 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.45 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 : 3689.071 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 : 7005.48 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 : 3624.034 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.45 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 : 3599.778 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 : 7005.48 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 : 3646.613 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.45 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 : 3689.024 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 : 7005.48 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 : 3650.147 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.45 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 : 3599.846 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 86334528 kB MemAvailable: 129301660 kB Buffers: 184360 kB Cached: 43474452 kB SwapCached: 0 kB Active: 1112812 kB Inactive: 43228992 kB Active(anon): 1524 kB Inactive(anon): 719292 kB Active(file): 1111288 kB Inactive(file): 42509700 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 24724 kB Writeback: 0 kB AnonPages: 681968 kB Mapped: 116708 kB Shmem: 37712 kB KReclaimable: 371932 kB Slab: 487196 kB SReclaimable: 371932 kB SUnreclaim: 115264 kB KernelStack: 4212 kB PageTables: 10568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1078776 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20992 kB HardwareCorrupted: 0 kB AnonHugePages: 518144 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: 303828 kB DirectMap2M: 31975424 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890012 MiB End job on nodeC014 at 2024-07-23 20:26:42