Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_proof 2025-06-02 | SAT (TO) | 64 | 3600.05 | 3628.57 |
| 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 | 3584.69 |
| 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 |
359.29/360.16 o 84 359.29/360.16 o 78 359.29/360.18 o 76 359.38/360.29 o 74 359.88/360.70 o 72 369.85/370.72 o 70 415.60/416.77 o 68 754.73/758.25 o 66 2013.34/2029.51 o 64 3600.01/3628.40 c Program interrupted by user. 3600.01/3628.40 s SATISFIABLE 3600.01/3628.40 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 64
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: 63837 MiB (39782 MiB free)
memory of node 1: 64465 MiB (58238 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486402-1751322367/watcher-4486402-1751322367 -o /tmp/evaluation-result-4486402-1751322367/solver-4486402-1751322367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751317975-45293 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4486402-1751322367 --seed=1168136760 HOME/instance-4486402-1751322367.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46096, runsolver pid=46093
[startup+0.100066 s]*
/proc/loadavg: 4.13 4.23 4.21 5/258 46097
/proc/meminfo: memFree=100362860/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=0.09 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 9 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+0.215573 s]*
/proc/loadavg: 4.13 4.23 4.21 5/258 46097
/proc/meminfo: memFree=100362860/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=0.19 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 19 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+0.313307 s]*
/proc/loadavg: 4.13 4.23 4.21 5/258 46097
/proc/meminfo: memFree=100354796/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=0.28 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 28 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+0.700229 s]
/proc/loadavg: 4.13 4.23 4.21 5/258 46097
/proc/meminfo: memFree=100346732/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=0.65 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 65 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+1.50031 s]
/proc/loadavg: 4.13 4.23 4.21 6/258 46097
/proc/meminfo: memFree=100338700/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=1.45 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 145 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+3.11317 s]
/proc/loadavg: 4.13 4.23 4.21 6/259 46098
/proc/meminfo: memFree=100297812/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=3.06 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 306 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 4.22 4.21 6/259 46098
/proc/meminfo: memFree=100172372/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=6.24 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 624 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.22 4.20 6/259 46098
/proc/meminfo: memFree=99978608/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=12.63 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 1263 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.21 4.20 6/259 46098
/proc/meminfo: memFree=99559048/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=25.4 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 2540 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+51.1133 s]
/proc/loadavg: 4.13 4.21 4.20 6/261 46102
/proc/meminfo: memFree=98525908/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=50.97 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 5097 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.19 6/261 46103
/proc/meminfo: memFree=96552044/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=102.06 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 10206 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.18 6/261 46105
/proc/meminfo: memFree=94626888/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=161.92 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 16192 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.17 6/261 46107
/proc/meminfo: memFree=92128052/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=221.79 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 22179 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.17 6/261 46111
/proc/meminfo: memFree=90122520/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=281.66 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 28166 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.14 4.17 6/258 46116
/proc/meminfo: memFree=87739568/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=30028 memory=7080 CPUtime=341.52 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 1165 0 0 0 34152 0 0 0 20 0 1 0 47916082 30748672 1770 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 7507 1770 1024 1201 0 5985 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 30028 KiB
Current children cumulated memory: 7080 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.17 6/258 46122
/proc/meminfo: memFree=86026488/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=50176 memory=33040 CPUtime=401.24 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 5916 0 0 0 40088 36 0 0 20 0 1 0 47916082 51380224 8260 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 12544 8260 1280 1201 0 11022 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 50176 KiB
Current children cumulated memory: 33040 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.16 6/258 46124
/proc/meminfo: memFree=83524612/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=54540 memory=39348 CPUtime=460.93 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 6989 0 0 0 46005 88 0 0 20 0 1 0 47916082 55848960 9837 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 13635 9837 1280 1201 0 12113 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
Current children cumulated memory: 78620 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/267 46437
/proc/meminfo: memFree=66947736/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=88424 memory=78620 CPUtime=2900.53 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15113 0 0 0 287955 2098 0 0 20 0 1 0 47916082 90546176 19655 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22106 19655 1280 1201 0 20584 0
Current children cumulated CPU time: 2900.53 s
Current children cumulated vsize: 88424 KiB
Current children cumulated memory: 78620 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.18 4.14 5/269 46441
/proc/meminfo: memFree=65218164/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=88616 memory=78876 CPUtime=2960.31 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15175 0 0 0 293879 2152 0 0 20 0 1 0 47916082 90742784 19719 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22154 19719 1280 1201 0 20632 0
Current children cumulated CPU time: 2960.31 s
Current children cumulated vsize: 88616 KiB
Current children cumulated memory: 78876 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.16 4.14 5/268 46443
/proc/meminfo: memFree=63360708/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=88888 memory=79132 CPUtime=3020.08 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15232 0 0 0 299804 2204 0 0 20 0 1 0 47916082 91021312 19783 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22222 19783 1280 1201 0 20700 0
Current children cumulated CPU time: 3020.08 s
Current children cumulated vsize: 88888 KiB
Current children cumulated memory: 79132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.13 4.13 5/267 46445
/proc/meminfo: memFree=61419084/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=89132 memory=79388 CPUtime=3079.86 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15293 0 0 0 305731 2255 0 0 20 0 1 0 47916082 91271168 19847 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22283 19847 1280 1201 0 20761 0
Current children cumulated CPU time: 3079.86 s
Current children cumulated vsize: 89132 KiB
Current children cumulated memory: 79388 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/270 46454
/proc/meminfo: memFree=59610080/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=89264 memory=79516 CPUtime=3139.34 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15325 0 0 0 311623 2311 0 0 20 0 1 0 47916082 91406336 19879 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22316 19879 1280 1201 0 20794 0
Current children cumulated CPU time: 3139.34 s
Current children cumulated vsize: 89264 KiB
Current children cumulated memory: 79516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/270 46456
/proc/meminfo: memFree=57679128/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=89264 memory=79516 CPUtime=3198.05 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15333 0 0 0 317443 2362 0 0 20 0 1 0 47916082 91406336 19879 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22316 19879 1280 1201 0 20794 0
Current children cumulated CPU time: 3198.05 s
Current children cumulated vsize: 89264 KiB
Current children cumulated memory: 79516 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/267 46503
/proc/meminfo: memFree=99635108/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=90180 memory=80284 CPUtime=3257.83 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15558 0 0 0 323371 2412 0 0 20 0 1 0 47916082 92344320 20071 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22545 20071 1280 1201 0 21023 0
Current children cumulated CPU time: 3257.83 s
Current children cumulated vsize: 90180 KiB
Current children cumulated memory: 80284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/265 46505
/proc/meminfo: memFree=97818924/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=90180 memory=80412 CPUtime=3316.97 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15587 0 0 0 329232 2465 0 0 20 0 1 0 47916082 92344320 20103 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22545 20103 1280 1201 0 21023 0
Current children cumulated CPU time: 3316.97 s
Current children cumulated vsize: 90180 KiB
Current children cumulated memory: 80412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.13 5/268 46512
/proc/meminfo: memFree=96263424/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=90596 memory=80668 CPUtime=3376.29 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15663 0 0 0 335110 2519 0 0 20 0 1 0 47916082 92770304 20167 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22649 20167 1280 1201 0 21127 0
Current children cumulated CPU time: 3376.29 s
Current children cumulated vsize: 90596 KiB
Current children cumulated memory: 80668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/270 46522
/proc/meminfo: memFree=94277724/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=90768 memory=81052 CPUtime=3435.63 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15738 0 0 0 340996 2567 0 0 20 0 1 0 47916082 92946432 20263 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22692 20263 1280 1201 0 21170 0
Current children cumulated CPU time: 3435.63 s
Current children cumulated vsize: 90768 KiB
Current children cumulated memory: 81052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/270 46524
/proc/meminfo: memFree=92588748/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=91100 memory=81180 CPUtime=3494.97 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15798 0 0 0 346877 2620 0 0 20 0 1 0 47916082 93286400 20295 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22775 20295 1280 1201 0 21253 0
Current children cumulated CPU time: 3494.97 s
Current children cumulated vsize: 91100 KiB
Current children cumulated memory: 81180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/270 46526
/proc/meminfo: memFree=90855896/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=91100 memory=81308 CPUtime=3554.28 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15816 0 0 0 352759 2669 0 0 20 0 1 0 47916082 93286400 20327 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22775 20327 1280 1201 0 21253 0
Current children cumulated CPU time: 3554.28 s
Current children cumulated vsize: 91100 KiB
Current children cumulated memory: 81308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3628.4 s]
/proc/loadavg: 4.15 4.14 4.12 5/270 46528
/proc/meminfo: memFree=89285848/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=91408 memory=81564 CPUtime=3600.01 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) R 46093 46096 45282 0 -1 4194304 15886 0 0 0 357292 2709 0 0 20 0 1 0 47916082 93601792 20391 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 22852 20391 1280 1201 0 21330 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 91408 KiB
Current children cumulated memory: 81564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3628.57 s]
# the end of solver process 46096 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3572.93 s, system=27.1197 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3628.5 s]
/proc/loadavg: 4.15 4.14 4.12 5/270 46528
/proc/meminfo: memFree=89285848/131382112 swapFree=33010684/33010684
[pid=46096] ppid=46093 vsize=73180 memory=67948 CPUtime=3600.03 cores=4,6
/proc/46096/stat : 46096 (Exact_proof) D 46093 46096 45282 0 -1 4194304 15887 0 0 0 357292 2711 0 0 20 0 1 0 47916082 74936320 16987 18446744073709551615 4198400 9115581 140726109320304 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 10325008 10415428 28905472 140726109325512 140726109325799 140726109325799 140726109331401 0
/proc/46096/statm: 18295 16987 1280 1201 0 16773 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 73180 KiB
Current children cumulated memory: 67948 KiB
Child status: 10
Real time (s): 3628.57
CPU time (s): 3600.05
CPU user time (s): 3572.93
CPU system time (s): 27.1197
CPU usage (%): 99.214
Max. virtual memory (cumulated for all children) (KiB): 91408
Max. memory (cumulated for all children) (KiB): 81564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.93
system time used= 27.1197
maximum resident set size= 81564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38742064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3670
involuntary context switches= 22273
# summary of solver processes directly reported to runsolver:
# pid: 46096
# total CPU time (s): 3600.05
# total CPU user time (s): 3572.93
# total CPU system time (s): 27.1197
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1315 second user time and 34.5493 second system time
The end
Begin job on nodeC005 at 2025-07-01 00:26:07 IDJOB=4486402 IDBENCH=147020 IDSOLVER=3325 FILE ID=nodeC005/4486402-1751322367 RUNJOBID= nodeC005-1751317975-45293 SLURM_JOB_ID= 9594342 Free space on /tmp= 430668 MiB SOLVER NAME= Exact_proof 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486402-1751322367/watcher-4486402-1751322367 -o /tmp/evaluation-result-4486402-1751322367/solver-4486402-1751322367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751317975-45293 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4486402-1751322367 --seed=1168136760 HOME/instance-4486402-1751322367.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=1168136760 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.379 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.732 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.445 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1198.225 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3292.418 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.653 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.572 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.166 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 100373444 kB MemAvailable: 129427124 kB Buffers: 2752 kB Cached: 29826144 kB SwapCached: 0 kB Active: 819624 kB Inactive: 29484576 kB Active(anon): 485044 kB Inactive(anon): 8316 kB Active(file): 334580 kB Inactive(file): 29476260 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 3999888 kB Writeback: 4 kB AnonPages: 478492 kB Mapped: 118816 kB Shmem: 17960 kB KReclaimable: 164936 kB Slab: 374916 kB SReclaimable: 164936 kB SUnreclaim: 209980 kB KernelStack: 4176 kB PageTables: 3840 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 852272 kB VmallocTotal: 34359738367 kB VmallocUsed: 149528 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 301056 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430660 MiB End job on nodeC005 at 2025-07-01 01:26:36