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) | -29 | 3600.09 | 3613.81 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
| MD5SUM | e50abc2725c4e3a238fbda7c772437b2 |
| 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 | -35 |
| Best CPU time to get the best result obtained on this benchmark | 2.90628 |
| 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 | 595 |
| Total number of constraints | 27931 |
| Number of constraints which are clauses | 27931 |
| 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 | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
359.54/360.26 o 0 359.54/360.27 o -27 359.54/360.27 o -28 422.14/423.08 o -29 3600.08/3613.80 c Program interrupted by user. 3600.08/3613.80 s SATISFIABLE 3600.08/3613.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 -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 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595
OK -29
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 (56997 MiB free)
memory of node 1: 64465 MiB (62096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485022-1751300384/watcher-4485022-1751300384 -o /tmp/evaluation-result-4485022-1751300384/solver-4485022-1751300384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751293133-43940 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4485022-1751300384 --seed=957792111 HOME/instance-4485022-1751300384.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44733, runsolver pid=44730
[startup+0.100104 s]*
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121948512/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=35780 memory=12144 CPUtime=0.1 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2534 0 0 0 9 1 0 0 20 0 1 0 45717580 36638720 3036 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8945 3036 992 1201 0 7423 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35780 KiB
Current children cumulated memory: 12144 KiB
[startup+0.212392 s]*
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121948512/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=0.21 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 20 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+0.313123 s]*
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121948512/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=0.31 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 30 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+0.700324 s]
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121948512/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=0.68 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 67 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+1.50024 s]
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121940448/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=1.48 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 147 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+3.11249 s]
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121940512/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=3.09 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 308 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+6.3003 s]
/proc/loadavg: 4.05 4.15 4.13 5/256 44734
/proc/meminfo: memFree=121940512/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=6.27 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 626 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.14 4.13 5/256 44734
/proc/meminfo: memFree=121932700/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=12.65 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 1264 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.14 4.13 5/256 44780
/proc/meminfo: memFree=123748908/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=25.43 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 2542 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+51.1121 s]
/proc/loadavg: 4.07 4.14 4.13 5/255 44780
/proc/meminfo: memFree=123777728/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=50.99 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 5098 1 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/255 44782
/proc/meminfo: memFree=123756776/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=102.1 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 10208 2 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.16 4.13 5/255 44784
/proc/meminfo: memFree=123711660/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=161.99 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 16197 2 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+222.3 s]
/proc/loadavg: 4.73 4.32 4.19 5/252 44786
/proc/meminfo: memFree=123659988/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=221.89 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 22187 2 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 221.89 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+282.3 s]
/proc/loadavg: 4.38 4.30 4.19 5/252 44789
/proc/meminfo: memFree=123626220/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=281.79 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2703 0 0 0 28176 3 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 281.79 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+342.3 s]
/proc/loadavg: 4.26 4.29 4.19 5/253 44839
/proc/meminfo: memFree=125954328/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=32192 memory=9884 CPUtime=341.67 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 2713 0 0 0 34164 3 0 0 20 0 1 0 45717580 32964608 2471 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 8048 2471 992 1201 0 6526 0
Current children cumulated CPU time: 341.67 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 9884 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.25 4.18 5/255 44847
/proc/meminfo: memFree=125550876/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=115676 memory=93868 CPUtime=401.49 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 13875 0 0 0 40132 17 0 0 20 0 1 0 45717580 118452224 23467 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 28919 23467 1248 1201 0 27397 0
Current children cumulated CPU time: 401.49 s
Current children cumulated vsize: 115676 KiB
Current children cumulated memory: 93868 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/255 44849
/proc/meminfo: memFree=125400896/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=123568 memory=102060 CPUtime=461.31 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 15956 0 0 0 46099 32 0 0 20 0 1 0 45717580 126533632 25515 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 30892 25515 1248 1201 0 29370 0
################
# More data... #
################
Current children cumulated memory: 196924 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/255 44982
/proc/meminfo: memFree=118403004/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=227716 memory=197564 CPUtime=2852.24 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 32792 0 0 0 284582 642 0 0 20 0 1 0 45717580 233181184 49391 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 56929 49391 1248 1201 0 55407 0
Current children cumulated CPU time: 2852.24 s
Current children cumulated vsize: 227716 KiB
Current children cumulated memory: 197564 KiB
[startup+2922.3 s]
/proc/loadavg: 4.69 4.27 4.19 5/255 44985
/proc/meminfo: memFree=118277412/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=227716 memory=197564 CPUtime=2911.94 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 32801 0 0 0 290539 655 0 0 20 0 1 0 45717580 233181184 49391 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 56929 49391 1248 1201 0 55407 0
Current children cumulated CPU time: 2911.94 s
Current children cumulated vsize: 227716 KiB
Current children cumulated memory: 197564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.33 4.25 4.18 5/254 44987
/proc/meminfo: memFree=118082844/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=228328 memory=198076 CPUtime=2971.71 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 32948 0 0 0 296502 669 0 0 20 0 1 0 45717580 233807872 49519 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57082 49519 1248 1201 0 55560 0
Current children cumulated CPU time: 2971.71 s
Current children cumulated vsize: 228328 KiB
Current children cumulated memory: 198076 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.23 4.18 5/254 44989
/proc/meminfo: memFree=117895236/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=229156 memory=199100 CPUtime=3031.15 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 33241 0 0 0 302432 683 0 0 20 0 1 0 45717580 234655744 49775 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57289 49775 1248 1201 0 55767 0
Current children cumulated CPU time: 3031.15 s
Current children cumulated vsize: 229156 KiB
Current children cumulated memory: 199100 KiB
[startup+3102.3 s]
/proc/loadavg: 4.35 4.26 4.19 4/254 44991
/proc/meminfo: memFree=117684484/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=229356 memory=199228 CPUtime=3090.8 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 33298 0 0 0 308380 700 0 0 20 0 1 0 45717580 234860544 49807 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57339 49807 1248 1201 0 55817 0
Current children cumulated CPU time: 3090.8 s
Current children cumulated vsize: 229356 KiB
Current children cumulated memory: 199228 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.23 4.18 5/253 44993
/proc/meminfo: memFree=117566608/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=230128 memory=199996 CPUtime=3150.58 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 33486 0 0 0 314342 716 0 0 20 0 1 0 45717580 235651072 49999 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57532 49999 1248 1201 0 56010 0
Current children cumulated CPU time: 3150.58 s
Current children cumulated vsize: 230128 KiB
Current children cumulated memory: 199996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/253 44996
/proc/meminfo: memFree=117370448/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=230128 memory=200124 CPUtime=3210.3 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 33493 0 0 0 320298 732 0 0 20 0 1 0 45717580 235651072 50031 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57532 50031 1248 1201 0 56010 0
Current children cumulated CPU time: 3210.3 s
Current children cumulated vsize: 230128 KiB
Current children cumulated memory: 200124 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/253 44998
/proc/meminfo: memFree=117211892/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=231692 memory=201660 CPUtime=3269.99 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 33902 0 0 0 326251 748 0 0 20 0 1 0 45717580 237252608 50415 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57923 50415 1248 1201 0 56401 0
Current children cumulated CPU time: 3269.99 s
Current children cumulated vsize: 231692 KiB
Current children cumulated memory: 201660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.16 4.16 5/252 45000
/proc/meminfo: memFree=117019780/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=231692 memory=201660 CPUtime=3329.81 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 33921 0 0 0 332220 761 0 0 20 0 1 0 45717580 237252608 50415 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 57923 50415 1248 1201 0 56401 0
Current children cumulated CPU time: 3329.81 s
Current children cumulated vsize: 231692 KiB
Current children cumulated memory: 201660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/253 45005
/proc/meminfo: memFree=116855508/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=233000 memory=202940 CPUtime=3389.55 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 34237 0 0 0 338181 774 0 0 20 0 1 0 45717580 238592000 50735 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 58250 50735 1248 1201 0 56728 0
Current children cumulated CPU time: 3389.55 s
Current children cumulated vsize: 233000 KiB
Current children cumulated memory: 202940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/254 45012
/proc/meminfo: memFree=116728296/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=233412 memory=203324 CPUtime=3449.28 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 34340 0 0 0 344140 788 0 0 20 0 1 0 45717580 239013888 50831 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 58353 50831 1248 1201 0 56831 0
Current children cumulated CPU time: 3449.28 s
Current children cumulated vsize: 233412 KiB
Current children cumulated memory: 203324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/253 45014
/proc/meminfo: memFree=116546428/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=234048 memory=203964 CPUtime=3508.99 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 34529 0 0 0 350099 800 0 0 20 0 1 0 45717580 239665152 50991 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 58512 50991 1248 1201 0 56990 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 234048 KiB
Current children cumulated memory: 203964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/253 45016
/proc/meminfo: memFree=116387236/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=234460 memory=204348 CPUtime=3568.71 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 34638 0 0 0 356056 815 0 0 20 0 1 0 45717580 240087040 51087 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 58615 51087 1248 1201 0 57093 0
Current children cumulated CPU time: 3568.71 s
Current children cumulated vsize: 234460 KiB
Current children cumulated memory: 204348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.8 s]
/proc/loadavg: 3.93 4.09 4.14 4/247 45048
/proc/meminfo: memFree=118397240/131382116 swapFree=33010160/33010684
[pid=44733] ppid=44730 vsize=234460 memory=204476 CPUtime=3600.08 cores=1,3
/proc/44733/stat : 44733 (Exact_proof) R 44730 44733 43928 0 -1 4194304 34644 0 0 0 359186 822 0 0 20 0 1 0 45717580 240087040 51119 18446744073709551615 4198400 9115581 140734326450176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10325008 10415428 22953984 140734326458569 140734326458855 140734326458855 140734326464457 0
/proc/44733/statm: 58615 51119 1248 1201 0 57093 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 234460 KiB
Current children cumulated memory: 204476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.81 s]
# the end of solver process 44733 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.86 s, system=8.22445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3613.81
CPU time (s): 3600.09
CPU user time (s): 3591.86
CPU system time (s): 8.22445
CPU usage (%): 99.6202
Max. virtual memory (cumulated for all children) (KiB): 234460
Max. memory (cumulated for all children) (KiB): 204476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.86
system time used= 8.22445
maximum resident set size= 204604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5106024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 451
involuntary context switches= 4774
# summary of solver processes directly reported to runsolver:
# pid: 44733
# total CPU time (s): 3600.09
# total CPU user time (s): 3591.86
# total CPU system time (s): 8.22445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9766 second user time and 33.5986 second system time
The end
Begin job on nodeC004 at 2025-06-30 18:19:44 IDJOB=4485022 IDBENCH=146691 IDSOLVER=3325 FILE ID=nodeC004/4485022-1751300384 RUNJOBID= nodeC004-1751293133-43940 SLURM_JOB_ID= 9594267 Free space on /tmp= 433032 MiB SOLVER NAME= Exact_proof 2025-06-02 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-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-4485022-1751300384/watcher-4485022-1751300384 -o /tmp/evaluation-result-4485022-1751300384/solver-4485022-1751300384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751293133-43940 --watchdog 3760 HOME/Exact_proof --ls=360 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4485022-1751300384 --seed=957792111 HOME/instance-4485022-1751300384.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2 RANDOM SEED=957792111 nodeC004 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 : 3630.138 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.473 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.74 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.762 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.74 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 : 1296.989 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.74 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 : 3630.165 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.74 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.771 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.74 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.479 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.74 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 : 1193.644 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 121952488 kB MemAvailable: 129238948 kB Buffers: 2720 kB Cached: 8047596 kB SwapCached: 20 kB Active: 1042828 kB Inactive: 7712400 kB Active(anon): 716756 kB Inactive(anon): 6188 kB Active(file): 326072 kB Inactive(file): 7706212 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 24928 kB Writeback: 0 kB AnonPages: 708336 kB Mapped: 117128 kB Shmem: 17956 kB KReclaimable: 187604 kB Slab: 272504 kB SReclaimable: 187604 kB SUnreclaim: 84900 kB KernelStack: 4128 kB PageTables: 4360 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 1145564 kB VmallocTotal: 34359738367 kB VmallocUsed: 149528 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 618496 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 433036 MiB End job on nodeC004 at 2025-06-30 19:19:58