Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toulbar2 2025-06-13 | SAT (TO) | -32 | 3600.07 | 3610.61 |
| 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 |
0.67/0.72 o -23 0.77/0.84 o -24 0.97/1.02 o -26 2.97/3.03 o -27 3.07/3.14 o -28 3.56/3.63 o -29 4.16/4.24 o -30 45.11/45.31 o -31 896.38/899.38 o -32 3600.05/3610.60 o -32 3600.05/3610.60 s SATISFIABLE 3600.05/3610.60 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 -32
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: 63665 MiB (61101 MiB free)
memory of node 1: 64507 MiB (63549 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485058-1751295247/watcher-4485058-1751295247 -o /tmp/evaluation-result-4485058-1751295247/solver-4485058-1751295247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751291633-44333 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4485058-1751295247.opb -timer=3600 -hve=512 -f=3 -n: -precision=0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=44767, runsolver pid=44764
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=127344432/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=55380 memory=45696 CPUtime=0.09 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 10617 0 0 0 7 2 0 0 20 0 1 0 45202571 56709120 11424 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 7 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 13845 11424 928 1162 0 12454 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59572 KiB
Current children cumulated memory: 48768 KiB
[startup+0.205927 s]*
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=127117380/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=99100 memory=89472 CPUtime=0.18 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 21568 0 0 0 15 3 0 0 20 0 1 0 45202571 101478400 22368 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 7 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 24775 22368 928 1162 0 23384 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 103292 KiB
Current children cumulated memory: 92544 KiB
[startup+0.305821 s]*
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=127021116/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=175456 memory=165564 CPUtime=0.28 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 40760 0 0 0 22 6 0 0 20 0 1 0 45202571 179666944 41391 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 43864 41391 992 1162 0 42473 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 179648 KiB
Current children cumulated memory: 168636 KiB
[startup+0.70023 s]
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=127004988/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=178564 memory=168764 CPUtime=0.67 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 41532 0 0 0 61 6 0 0 20 0 1 0 45202571 182849536 42191 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 44641 42191 1024 1162 0 43250 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 182756 KiB
Current children cumulated memory: 171836 KiB
[startup+1.50023 s]
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=127003224/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=179588 memory=171464 CPUtime=1.47 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 42309 0 0 0 141 6 0 0 20 0 1 0 45202571 183898112 42866 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 44897 42866 1184 1162 0 43506 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 183780 KiB
Current children cumulated memory: 174536 KiB
[startup+3.10582 s]
/proc/loadavg: 4.18 4.11 4.04 5/269 44769
/proc/meminfo: memFree=126987448/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=179852 memory=171592 CPUtime=3.07 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 42357 0 0 0 301 6 0 0 20 0 1 0 45202571 184168448 42898 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 44963 42898 1184 1162 0 43572 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 184044 KiB
Current children cumulated memory: 174664 KiB
[startup+6.30022 s]
/proc/loadavg: 4.25 4.12 4.05 5/269 44769
/proc/meminfo: memFree=126987576/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=179852 memory=171720 CPUtime=6.25 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 42371 0 0 0 619 6 0 0 20 0 1 0 45202571 184168448 42930 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 44963 42930 1184 1162 0 43572 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 184044 KiB
Current children cumulated memory: 174792 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.12 4.05 5/269 44769
/proc/meminfo: memFree=126974628/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=181032 memory=172488 CPUtime=12.62 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 42567 0 0 0 1256 6 0 0 20 0 1 0 45202571 185376768 43122 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 45258 43122 1184 1162 0 43867 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 185224 KiB
Current children cumulated memory: 175560 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.11 4.05 5/269 44769
/proc/meminfo: memFree=126968208/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=181804 memory=173384 CPUtime=25.38 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 42793 0 0 0 2532 6 0 0 20 0 1 0 45202571 186167296 43346 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 45451 43346 1184 1162 0 44060 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 185996 KiB
Current children cumulated memory: 176456 KiB
[startup+51.1058 s]
/proc/loadavg: 4.20 4.12 4.05 5/269 44769
/proc/meminfo: memFree=126964132/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=184112 memory=175180 CPUtime=50.89 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 43446 0 0 0 5083 6 0 0 20 0 1 0 45202571 188530688 43795 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 46028 43795 1184 1162 0 44637 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 188304 KiB
Current children cumulated memory: 178252 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/269 44771
/proc/meminfo: memFree=126965704/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=187184 memory=178124 CPUtime=101.92 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 44453 0 0 0 10185 7 0 0 20 0 1 0 45202571 191676416 44531 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 46796 44531 1184 1162 0 45405 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 191376 KiB
Current children cumulated memory: 181196 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/270 44774
/proc/meminfo: memFree=126956672/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=193328 memory=182752 CPUtime=161.73 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 45084 0 0 0 16165 8 0 0 20 0 1 0 45202571 197967872 45688 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 48332 45688 1184 1162 0 46941 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 197520 KiB
Current children cumulated memory: 185824 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/269 44777
/proc/meminfo: memFree=126965436/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=193328 memory=183776 CPUtime=221.54 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 45368 0 0 0 22146 8 0 0 20 0 1 0 45202571 197967872 45944 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 48332 45944 1184 1162 0 46941 0
Current children cumulated CPU time: 221.54 s
################
# More data... #
################
/proc/44769/statm: 94412 82607 1184 1162 0 93021 0
Current children cumulated CPU time: 3033.32 s
Current children cumulated vsize: 381840 KiB
Current children cumulated memory: 333500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.12 4.13 5/268 44931
/proc/meminfo: memFree=126625892/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=377648 memory=332488 CPUtime=3093.16 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 49764 0 0 0 309298 18 0 0 20 0 1 0 45202571 386711552 83122 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 94412 83122 1184 1162 0 93021 0
Current children cumulated CPU time: 3093.16 s
Current children cumulated vsize: 381840 KiB
Current children cumulated memory: 335560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/268 44934
/proc/meminfo: memFree=126621320/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=377648 memory=336588 CPUtime=3152.99 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 49844 0 0 0 315281 18 0 0 20 0 1 0 45202571 386711552 84147 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 94412 84147 1184 1162 0 93021 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 381840 KiB
Current children cumulated memory: 339660 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/268 44936
/proc/meminfo: memFree=126616112/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=377648 memory=340692 CPUtime=3212.82 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 49882 0 0 0 321264 18 0 0 20 0 1 0 45202571 386711552 85173 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 94412 85173 1184 1162 0 93021 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 381840 KiB
Current children cumulated memory: 343764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/268 44938
/proc/meminfo: memFree=126612080/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=377648 memory=344800 CPUtime=3272.66 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 49923 0 0 0 327248 18 0 0 20 0 1 0 45202571 386711552 86200 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 94412 86200 1184 1162 0 93021 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 381840 KiB
Current children cumulated memory: 347872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/268 44940
/proc/meminfo: memFree=126609032/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=377648 memory=348912 CPUtime=3332.5 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 49940 0 0 0 333231 19 0 0 20 0 1 0 45202571 386711552 87228 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 94412 87228 1184 1162 0 93021 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 381840 KiB
Current children cumulated memory: 351984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/268 44943
/proc/meminfo: memFree=126583092/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=475952 memory=353020 CPUtime=3392.33 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 50507 0 0 0 339212 21 0 0 20 0 1 0 45202571 487374848 88255 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 118988 88255 1184 1162 0 117597 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 480144 KiB
Current children cumulated memory: 356092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/268 44946
/proc/meminfo: memFree=126584116/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=475952 memory=357124 CPUtime=3452.16 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 50591 0 0 0 345195 21 0 0 20 0 1 0 45202571 487374848 89281 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 118988 89281 1184 1162 0 117597 0
Current children cumulated CPU time: 3452.16 s
Current children cumulated vsize: 480144 KiB
Current children cumulated memory: 360196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/268 44951
/proc/meminfo: memFree=126578796/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=475952 memory=361228 CPUtime=3512 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 50599 0 0 0 351179 21 0 0 20 0 1 0 45202571 487374848 90307 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 118988 90307 1184 1162 0 117597 0
Current children cumulated CPU time: 3512 s
Current children cumulated vsize: 480144 KiB
Current children cumulated memory: 364300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/269 44958
/proc/meminfo: memFree=126580236/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=476180 memory=364824 CPUtime=3571.83 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 50804 0 0 0 357162 21 0 0 20 0 1 0 45202571 487608320 91206 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 119045 91206 1184 1162 0 117654 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 480372 KiB
Current children cumulated memory: 367896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.16 4.13 4.11 4/264 44967
/proc/meminfo: memFree=127133480/131250000 swapFree=33010684/33010684
[pid=44767] ppid=44764 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/44767/stat : 44767 (toulbar2.sh) S 44764 44767 44320 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 45202570 4292608 768 18446744073709551615 94907907952640 94907908847173 140722565856352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94907909086224 94907909133968 94907916263424 140722565863735 140722565863911 140722565863911 140722565869513 0
/proc/44767/statm: 1048 768 704 219 0 110 0
[pid=44769] ppid=44767 vsize=476180 memory=364824 CPUtime=3600.05 cores=5,7
/proc/44769/stat : 44769 (toulbar2) R 44767 44767 44320 0 -1 4194304 50805 0 0 0 359984 21 0 0 20 0 1 0 45202571 487608320 91206 18446744073709551615 4198400 8956741 140735169773008 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 43323392 140735169780085 140735169780204 140735169780204 140735169785804 0
/proc/44769/statm: 119045 91206 1184 1162 0 117654 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 480372 KiB
Current children cumulated memory: 367896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 44767 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000994 s, system=0.000992 s
[startup+3610.61 s]
# the end of solver process 44769 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.85 s, system=0.221241 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.07
CPU user time (s): 3599.85
CPU system time (s): 0.221241
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 480372
Max. memory (cumulated for all children) (KiB): 367896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.85
system time used= 0.221241
maximum resident set size= 449280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51014
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 1975
# summary of solver processes directly reported to runsolver:
# pid: 44767,44769
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.85
# total CPU system time (s): 0.221241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28588 second user time and 18.5915 second system time
The end
Begin job on nodeC018 at 2025-06-30 16:54:07 IDJOB=4485058 IDBENCH=146691 IDSOLVER=3371 FILE ID=nodeC018/4485058-1751295247 RUNJOBID= nodeC018-1751291633-44333 SLURM_JOB_ID= 9594253 Free space on /tmp= 433036 MiB SOLVER NAME= toulbar2 2025-06-13 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= toulbar2.sh toulbar2 BENCHNAME -timer=TIMELIMIT -hve=512 -f=3 -n: -precision=0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485058-1751295247/watcher-4485058-1751295247 -o /tmp/evaluation-result-4485058-1751295247/solver-4485058-1751295247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751291633-44333 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4485058-1751295247.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2 RANDOM SEED=1377791792 nodeC018 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 : 0xb00002a cpu MHz : 3600.030 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 pti ibrs ibpb stibp 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 : 6999.66 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 : 3599.856 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 pti ibrs ibpb stibp 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 : 6999.66 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 : 3596.908 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 pti ibrs ibpb stibp 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 : 6999.66 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 : 3626.502 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 pti ibrs ibpb stibp 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 : 6999.66 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 : 3599.822 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 pti ibrs ibpb stibp 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 : 6999.66 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 : 3571.302 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 pti ibrs ibpb stibp 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 : 6999.66 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 : 3787.372 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 pti ibrs ibpb stibp 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 : 6999.66 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.825 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 pti ibrs ibpb stibp 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 : 6999.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127781288 kB MemAvailable: 128778560 kB Buffers: 3280 kB Cached: 1798740 kB SwapCached: 0 kB Active: 1284600 kB Inactive: 1541572 kB Active(anon): 1042228 kB Inactive(anon): 0 kB Active(file): 242372 kB Inactive(file): 1541572 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33292 kB Writeback: 0 kB AnonPages: 1026788 kB Mapped: 114560 kB Shmem: 18076 kB KReclaimable: 104736 kB Slab: 192396 kB SReclaimable: 104736 kB SUnreclaim: 87660 kB KernelStack: 4272 kB PageTables: 4568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1383124 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433028 MiB End job on nodeC018 at 2025-06-30 17:54:18