Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | SAT (TO) | -26 | 3600.03 | 3609.21 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
| MD5SUM | 42524e858f098b79daaad844b6e2f59d |
| 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 | 16.6529 |
| 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 | 27842 |
| Number of constraints which are clauses | 27842 |
| 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.09/0.17 o 0 0.09/0.17 o -1 0.09/0.17 o -2 0.09/0.17 o -3 0.20/0.22 o -23 0.20/0.22 o -24 3.87/3.97 o -25 158.39/158.85 o -26 3600.01/3609.20 c Program interrupted by user. 3600.01/3609.20 s SATISFIABLE 3600.01/3609.20 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 -26
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 (62624 MiB free)
memory of node 1: 64507 MiB (60922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485108-1751309422/watcher-4485108-1751309422 -o /tmp/evaluation-result-4485108-1751309422/solver-4485108-1751309422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751302193-44637 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2011676745 --ls=0 --inp-dombreaklim=0 HOME/instance-4485108-1751309422.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45556, runsolver pid=45553
[startup+0.100059 s]*
/proc/loadavg: 4.16 4.12 4.09 4/262 45571
/proc/meminfo: memFree=126492336/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=58564 memory=37212 CPUtime=0.09 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 7486 0 0 0 8 1 0 0 20 0 1 0 46619929 59969536 9303 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 14641 9303 1184 1200 0 13121 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58564 KiB
Current children cumulated memory: 37212 KiB
[startup+0.205716 s]*
/proc/loadavg: 4.16 4.12 4.09 5/262 45571
/proc/meminfo: memFree=126483648/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=58564 memory=37596 CPUtime=0.2 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 7493 0 0 0 19 1 0 0 20 0 1 0 46619929 59969536 9399 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 14641 9399 1280 1200 0 13121 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58564 KiB
Current children cumulated memory: 37596 KiB
[startup+0.304578 s]*
/proc/loadavg: 4.16 4.12 4.09 6/262 45571
/proc/meminfo: memFree=126483648/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=58564 memory=39648 CPUtime=0.29 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 7494 0 0 0 28 1 0 0 20 0 1 0 46619929 59969536 9912 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 14641 9912 1280 1200 0 13121 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58564 KiB
Current children cumulated memory: 39648 KiB
[startup+0.700094 s]
/proc/loadavg: 4.16 4.12 4.09 5/261 45583
/proc/meminfo: memFree=126497492/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=58564 memory=43744 CPUtime=0.68 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 7496 0 0 0 67 1 0 0 20 0 1 0 46619929 59969536 10936 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 14641 10936 1280 1200 0 13121 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58564 KiB
Current children cumulated memory: 43744 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 45603
/proc/meminfo: memFree=126474644/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=63712 memory=52844 CPUtime=1.48 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 8749 0 0 0 147 1 0 0 20 0 1 0 46619929 65241088 13211 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 15928 13211 1280 1200 0 14408 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63712 KiB
Current children cumulated memory: 52844 KiB
[startup+3.10547 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 45603
/proc/meminfo: memFree=126408696/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=79452 memory=60984 CPUtime=3.08 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 10016 0 0 0 306 2 0 0 20 0 1 0 46619929 81358848 15246 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 19863 15246 1280 1200 0 18343 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 60984 KiB
[startup+6.30013 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 45603
/proc/meminfo: memFree=126403588/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=86088 memory=77072 CPUtime=6.27 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 11491 0 0 0 624 3 0 0 20 0 1 0 46619929 88154112 19268 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 21522 19268 1280 1200 0 20002 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86088 KiB
Current children cumulated memory: 77072 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 45648
/proc/meminfo: memFree=126111156/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=93648 memory=83600 CPUtime=12.65 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 13126 0 0 0 1261 4 0 0 20 0 1 0 46619929 95895552 20900 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 23412 20900 1280 1200 0 21892 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93648 KiB
Current children cumulated memory: 83600 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/265 45651
/proc/meminfo: memFree=125517460/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=124412 memory=95136 CPUtime=25.43 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 15899 0 0 0 2535 8 0 0 20 0 1 0 46619929 127397888 23784 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 31103 23784 1280 1200 0 29583 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 124412 KiB
Current children cumulated memory: 95136 KiB
[startup+51.1056 s]
/proc/loadavg: 4.38 4.18 4.11 5/265 45651
/proc/meminfo: memFree=124207428/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=129472 memory=106312 CPUtime=50.97 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 17163 0 0 0 5086 11 0 0 20 0 1 0 46619929 132579328 26578 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 32368 26578 1280 1200 0 30848 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 129472 KiB
Current children cumulated memory: 106312 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/265 45653
/proc/meminfo: memFree=123375772/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=135944 memory=112840 CPUtime=102.03 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 18846 0 0 0 10185 18 0 0 20 0 1 0 46619929 139206656 28210 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 33986 28210 1280 1200 0 32466 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 135944 KiB
Current children cumulated memory: 112840 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/267 45659
/proc/meminfo: memFree=121517324/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=138008 memory=114888 CPUtime=161.88 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 19364 0 0 0 16162 26 0 0 20 0 1 0 46619929 141320192 28722 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 34502 28722 1280 1200 0 32982 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 138008 KiB
Current children cumulated memory: 114888 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/267 45665
/proc/meminfo: memFree=119941392/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=140352 memory=117448 CPUtime=221.73 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 20012 0 0 0 22139 34 0 0 20 0 1 0 46619929 143720448 29362 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 35088 29362 1280 1200 0 33568 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 140352 KiB
Current children cumulated memory: 117448 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/267 45667
/proc/meminfo: memFree=118752132/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=143056 memory=120136 CPUtime=281.57 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 20728 0 0 0 28115 42 0 0 20 0 1 0 46619929 146489344 30034 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 35764 30034 1280 1200 0 34244 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 143056 KiB
Current children cumulated memory: 120136 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 45669
/proc/meminfo: memFree=118083580/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=144772 memory=123592 CPUtime=341.4 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 21179 0 0 0 34089 51 0 0 20 0 1 0 46619929 148246528 30898 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 36193 30898 1280 1200 0 34673 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 144772 KiB
Current children cumulated memory: 123592 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 45671
/proc/meminfo: memFree=117794372/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=146204 memory=129844 CPUtime=401.25 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 21570 0 0 0 40066 59 0 0 20 0 1 0 46619929 149712896 32461 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 36551 32461 1280 1200 0 35031 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 146204 KiB
Current children cumulated memory: 129844 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 45674
/proc/meminfo: memFree=116823624/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=146780 memory=130356 CPUtime=461.1 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 21714 0 0 0 46045 65 0 0 20 0 1 0 46619929 150302720 32589 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 36695 32589 1280 1200 0 35175 0
################
# More data... #
################
Current children cumulated memory: 180556 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 45847
/proc/meminfo: memFree=107822688/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=224476 memory=180556 CPUtime=2854.98 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 31896 0 0 0 285159 339 0 0 20 0 1 0 46619929 229863424 45139 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 56119 45139 1280 1200 0 54599 0
Current children cumulated CPU time: 2854.98 s
Current children cumulated vsize: 224476 KiB
Current children cumulated memory: 180556 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/265 45849
/proc/meminfo: memFree=107797628/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=224868 memory=180940 CPUtime=2914.83 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 31992 0 0 0 291138 345 0 0 20 0 1 0 46619929 230264832 45235 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 56217 45235 1280 1200 0 54697 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 224868 KiB
Current children cumulated memory: 180940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 45851
/proc/meminfo: memFree=107607368/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=225472 memory=181452 CPUtime=2974.68 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 32118 0 0 0 297116 352 0 0 20 0 1 0 46619929 230883328 45363 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 56368 45363 1280 1200 0 54848 0
Current children cumulated CPU time: 2974.68 s
Current children cumulated vsize: 225472 KiB
Current children cumulated memory: 181452 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 45853
/proc/meminfo: memFree=107615768/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=225932 memory=181964 CPUtime=3034.53 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 32230 0 0 0 303095 358 0 0 20 0 1 0 46619929 231354368 45491 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 56483 45491 1280 1200 0 54963 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 225932 KiB
Current children cumulated memory: 181964 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 45855
/proc/meminfo: memFree=107651736/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=225932 memory=181964 CPUtime=3094.38 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 32233 0 0 0 309073 365 0 0 20 0 1 0 46619929 231354368 45491 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 56483 45491 1280 1200 0 54963 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 225932 KiB
Current children cumulated memory: 181964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 45861
/proc/meminfo: memFree=107649276/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=225932 memory=182092 CPUtime=3154.23 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 32284 0 0 0 315051 372 0 0 20 0 1 0 46619929 231354368 45523 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 56483 45523 1280 1200 0 54963 0
Current children cumulated CPU time: 3154.23 s
Current children cumulated vsize: 225932 KiB
Current children cumulated memory: 182092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 45868
/proc/meminfo: memFree=107602216/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=228860 memory=184396 CPUtime=3214.08 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 32864 0 0 0 321029 379 0 0 20 0 1 0 46619929 234352640 46099 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 57215 46099 1280 1200 0 55695 0
Current children cumulated CPU time: 3214.08 s
Current children cumulated vsize: 228860 KiB
Current children cumulated memory: 184396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 45870
/proc/meminfo: memFree=107613988/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=229440 memory=184908 CPUtime=3273.93 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 33009 0 0 0 327009 384 0 0 20 0 1 0 46619929 234946560 46227 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 57360 46227 1280 1200 0 55840 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 229440 KiB
Current children cumulated memory: 184908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 45872
/proc/meminfo: memFree=107599496/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=231092 memory=186572 CPUtime=3333.78 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 33422 0 0 0 332988 390 0 0 20 0 1 0 46619929 236638208 46643 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 57773 46643 1280 1200 0 56253 0
Current children cumulated CPU time: 3333.78 s
Current children cumulated vsize: 231092 KiB
Current children cumulated memory: 186572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 45874
/proc/meminfo: memFree=107592624/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=232276 memory=187724 CPUtime=3393.62 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 33718 0 0 0 338966 396 0 0 20 0 1 0 46619929 237850624 46931 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 58069 46931 1280 1200 0 56549 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 232276 KiB
Current children cumulated memory: 187724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 45876
/proc/meminfo: memFree=107592228/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=233068 memory=188620 CPUtime=3453.47 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 33937 0 0 0 344946 401 0 0 20 0 1 0 46619929 238661632 47155 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 58267 47155 1280 1200 0 56747 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 233068 KiB
Current children cumulated memory: 188620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 45878
/proc/meminfo: memFree=107575796/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=233476 memory=189004 CPUtime=3513.32 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 34040 0 0 0 350925 407 0 0 20 0 1 0 46619929 239079424 47251 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 58369 47251 1280 1200 0 56849 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 233476 KiB
Current children cumulated memory: 189004 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 45880
/proc/meminfo: memFree=107575960/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=233476 memory=189004 CPUtime=3573.17 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 34052 0 0 0 356904 413 0 0 20 0 1 0 46619929 239079424 47251 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 58369 47251 1280 1200 0 56849 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 233476 KiB
Current children cumulated memory: 189004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.14 4.10 4.09 4/259 45888
/proc/meminfo: memFree=107764012/131249996 swapFree=33010684/33010684
[pid=45556] ppid=45553 vsize=233476 memory=189004 CPUtime=3600.01 cores=1,3
/proc/45556/stat : 45556 (Exact) R 45553 45556 44625 0 -1 4194304 34052 0 0 0 359585 416 0 0 20 0 1 0 46619929 239079424 47251 18446744073709551615 4198400 9112445 140733443485312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 22654976 140733443488040 140733443488237 140733443488237 140733443493839 0
/proc/45556/statm: 58369 47251 1280 1200 0 56849 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 233476 KiB
Current children cumulated memory: 189004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 45556 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.86 s, system=4.16785 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.21
CPU time (s): 3600.03
CPU user time (s): 3595.86
CPU system time (s): 4.16785
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 233476
Max. memory (cumulated for all children) (KiB): 189004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.86
system time used= 4.16785
maximum resident set size= 224696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34056
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= 37
involuntary context switches= 5562
# summary of solver processes directly reported to runsolver:
# pid: 45556
# total CPU time (s): 3600.03
# total CPU user time (s): 3595.86
# total CPU system time (s): 4.16785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88587 second user time and 16.1283 second system time
The end
Begin job on nodeC017 at 2025-06-30 20:50:22 IDJOB=4485108 IDBENCH=146694 IDSOLVER=3318 FILE ID=nodeC017/4485108-1751309422 RUNJOBID= nodeC017-1751302193-44637 SLURM_JOB_ID= 9594283 Free space on /tmp= 432988 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485108-1751309422/watcher-4485108-1751309422 -o /tmp/evaluation-result-4485108-1751309422/solver-4485108-1751309422 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751302193-44637 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2011676745 --ls=0 --inp-dombreaklim=0 HOME/instance-4485108-1751309422.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d RANDOM SEED=2011676745 nodeC017 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 : 3599.973 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 : 7000.12 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.015 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 : 7000.12 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 : 3595.877 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 : 7000.12 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 : 3600.048 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 : 7000.12 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 : 3600.050 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 : 7000.12 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 : 3601.868 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 : 7000.12 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 : 3597.141 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 : 7000.12 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 : 2785.461 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 : 7000.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 126527832 kB MemAvailable: 129380652 kB Buffers: 2380 kB Cached: 3623884 kB SwapCached: 0 kB Active: 725068 kB Inactive: 3318340 kB Active(anon): 435212 kB Inactive(anon): 12 kB Active(file): 289856 kB Inactive(file): 3318328 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15904 kB Writeback: 28 kB AnonPages: 420260 kB Mapped: 113604 kB Shmem: 18080 kB KReclaimable: 167348 kB Slab: 256520 kB SReclaimable: 167348 kB SUnreclaim: 89172 kB KernelStack: 4256 kB PageTables: 3712 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 770760 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 311296 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: 176852 kB DirectMap2M: 6934528 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432976 MiB End job on nodeC017 at 2025-06-30 21:50:31