Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | SAT (TO) | 64 | 3600.04 | 3609.7 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | 01f07e427327757fda434ad4b1d2038d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3584.69 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.03 c Converting 4626 PB-constraints to clauses... 0.00/0.03 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 0.00/0.08 o 88 0.00/0.08 c ============================[ Problem Statistics ]============================ 0.00/0.08 c | Number of variables: 1632 | 0.00/0.08 c | Number of clauses: 14562 (incl. 72 soft in queue) | 0.00/0.08 c =============================================================================== 0.00/0.08 c Starting SCIP solver (with time-limit: 900s) ... 0.00/0.08 c SCIP start delayed for at least 300s 49.30/49.54 o 64 300.00/301.08 c SCIP started with lower and upper bounds: [30, 64] 1197.60/1201.08 c SCIP timeout with lower and upper bounds: [48, 64] 1784.32/1789.39 c Switching to binary search ... (after 1784.01 s and 6814501 conflicts) with 180 goal literals and 0 assumptions 3600.03/3609.70 c *** TERMINATED by signal 15 *** 3600.03/3609.70 c _______________________________________________________________________________ 3600.03/3609.70 c 3600.03/3609.70 c _______________________________________________________________________________ 3600.03/3609.70 c 3600.03/3609.70 c =======================[ UWrMaxSat resources usage ]=========================== 3600.03/3609.70 c Memory used : 402.00 MB 3600.03/3609.70 c CPU time : 3599.61 s 3600.03/3609.70 c Constr Enc: Srt/BDD/Add: 1944 0 0 3600.03/3609.70 c OptExp Enc: Srt/BDD/Add: 50 0 0 3600.03/3609.70 c _______________________________________________________________________________ 3600.03/3609.70 c _______________________________________________________________________________ 3600.03/3609.70 3600.03/3609.70 v 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 -x2 -x38 -x74 x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 -x221 -x257 x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 -x222 -x258 -x294 x330 -x7 -x43 -x79 -x115 -x151 -x187 x223 -x259 -x295 -x331 x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 -x10 x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 x83 -x119 -x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 x192 -x228 -x264 -x300 -x336 -x13 x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 x338 -x16 -x52 -x88 -x124 -x160 x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 x125 -x161 -x197 -x233 -x269 -x305 -x341 -x18 -x54 x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 x309 -x345 x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 x132 -x168 -x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 -x242 x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 x250 -x286 -x322 -x358 -x35 -x71 -x107 -x143 x179 -x215 -x251 -x287 -x323 -x359 -x8 -x44 -x80 x116 x152 -x188 -x224 x260 x296 x332 x15 -x51 -x87 -x123 x159 -x195 x231 x267 x303 -x339 -x22 x58 -x94 -x130 -x166 x202 x238 x274 -x310 x346 x29 -x65 x101 x137 x173 -x209 -x245 -x281 x317 -x353 -x36 x72 x108 x144 -x180 x216 -x252 -x288 -x324 x360 x1 x37 x73 -x109 -x145 x181 x217 -x253 -x289 -x325 3600.03/3609.70 s SATISFIABLE
OK 64
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61859 MiB free)
memory of node 1: 64465 MiB (63908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486440-1751324634/watcher-4486440-1751324634 -o /tmp/evaluation-result-4486440-1751324634/solver-4486440-1751324634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751324634-53928 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4486440-1751324634.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53977, runsolver pid=53968
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 5.64 7.51 7.89 5/261 53986
/proc/meminfo: memFree=128755368/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=39844 memory=29852 CPUtime=0.09 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 5629 0 0 0 9 0 0 0 20 0 1 0 48140975 40800256 7463 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 9961 7463 2720 3139 0 6249 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 29852 KiB
[startup+0.204593 s]*
/proc/loadavg: 5.64 7.51 7.89 5/262 53994
/proc/meminfo: memFree=128719296/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=41064 memory=31132 CPUtime=0.19 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 5934 0 0 0 19 0 0 0 20 0 1 0 48140975 42049536 7783 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 10266 7783 2720 3139 0 6554 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41064 KiB
Current children cumulated memory: 31132 KiB
[startup+0.304787 s]*
/proc/loadavg: 5.64 7.51 7.89 6/259 53994
/proc/meminfo: memFree=128687912/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=41064 memory=31132 CPUtime=0.3 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 5935 0 0 0 29 1 0 0 20 0 1 0 48140975 42049536 7783 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 10266 7783 2720 3139 0 6554 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41064 KiB
Current children cumulated memory: 31132 KiB
[startup+0.70013 s]
/proc/loadavg: 5.64 7.51 7.89 5/259 53994
/proc/meminfo: memFree=128630452/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=41520 memory=31516 CPUtime=0.67 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 6049 0 0 0 66 1 0 0 20 0 1 0 48140975 42516480 7879 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 10380 7879 2720 3139 0 6668 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41520 KiB
Current children cumulated memory: 31516 KiB
[startup+1.50014 s]
/proc/loadavg: 5.64 7.51 7.89 5/259 53994
/proc/meminfo: memFree=128540484/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=40536 memory=30672 CPUtime=1.47 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 7247 0 0 0 144 3 0 0 20 0 1 0 48140975 41508864 7668 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 10134 7668 2720 3139 0 6422 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 40536 KiB
Current children cumulated memory: 30672 KiB
[startup+3.1045 s]
/proc/loadavg: 5.51 7.45 7.87 6/263 54031
/proc/meminfo: memFree=128374700/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=43128 memory=33156 CPUtime=3.05 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 9390 0 0 0 301 4 0 0 20 0 1 0 48140975 44163072 8289 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 10782 8289 2720 3139 0 7070 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 43128 KiB
Current children cumulated memory: 33156 KiB
[startup+6.30012 s]
/proc/loadavg: 5.51 7.45 7.87 6/263 54031
/proc/meminfo: memFree=128368848/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=45648 memory=35716 CPUtime=6.24 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 10020 0 0 0 619 5 0 0 20 0 1 0 48140975 46743552 8929 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 11412 8929 2720 3139 0 7700 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 45648 KiB
Current children cumulated memory: 35716 KiB
[startup+12.7001 s]
/proc/loadavg: 5.28 7.33 7.83 6/263 54031
/proc/meminfo: memFree=128353648/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=44684 memory=34740 CPUtime=12.62 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 15511 0 0 0 1256 6 0 0 20 0 1 0 48140975 45756416 8685 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 11171 8685 2720 3139 0 7459 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 34740 KiB
[startup+25.5001 s]
/proc/loadavg: 5.16 7.24 7.80 6/263 54031
/proc/meminfo: memFree=128346104/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=55812 memory=45868 CPUtime=25.38 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 17290 0 0 0 2532 6 0 0 20 0 1 0 48140975 57151488 11467 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 13953 11467 2720 3139 0 10241 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 55812 KiB
Current children cumulated memory: 45868 KiB
[startup+51.1047 s]
/proc/loadavg: 4.76 6.98 7.69 6/263 54032
/proc/meminfo: memFree=128314624/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=59940 memory=49528 CPUtime=50.9 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 19826 0 0 0 5083 7 0 0 20 0 1 0 48140975 61378560 12382 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 14985 12382 2720 3139 0 11273 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 59940 KiB
Current children cumulated memory: 49528 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 6.50 7.49 6/263 54034
/proc/meminfo: memFree=128234348/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=61788 memory=51916 CPUtime=101.94 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 24319 0 0 0 10185 9 0 0 20 0 1 0 48140975 63270912 12979 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 15447 12979 2720 3139 0 11735 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 61788 KiB
Current children cumulated memory: 51916 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 6.06 7.27 6/263 54036
/proc/meminfo: memFree=128241780/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=74904 memory=65020 CPUtime=161.75 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 29446 0 0 0 16164 11 0 0 20 0 1 0 48140975 76701696 16255 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 18726 16255 2720 3139 0 15014 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 74904 KiB
Current children cumulated memory: 65020 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 5.70 7.07 6/264 54045
/proc/meminfo: memFree=128211056/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=83076 memory=73132 CPUtime=221.56 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 30971 0 0 0 22144 12 0 0 20 0 1 0 48140975 85069824 18283 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 20769 18283 2720 3139 0 17057 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 83076 KiB
Current children cumulated memory: 73132 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 5.42 6.89 6/265 54048
/proc/meminfo: memFree=128214704/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=80992 memory=70608 CPUtime=281.36 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 36702 0 0 0 28122 14 0 0 20 0 1 0 48140975 82935808 17652 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 20248 17652 2720 3139 0 16536 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 80992 KiB
Current children cumulated memory: 70608 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 5.17 6.71 6/265 54050
/proc/meminfo: memFree=127505740/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=278204 memory=261696 CPUtime=341.19 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 83606 0 0 0 34095 24 0 0 20 0 1 0 48140975 284880896 65424 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 69551 65424 3296 3139 0 65839 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 278204 KiB
Current children cumulated memory: 261696 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 4.96 6.54 6/265 54052
/proc/meminfo: memFree=127384788/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=278204 memory=268480 CPUtime=401.02 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 83795 0 0 0 40078 24 0 0 20 0 1 0 48140975 284880896 67120 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 69551 67120 3360 3139 0 65839 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 278204 KiB
Current children cumulated memory: 268480 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.81 6.38 6/265 54055
/proc/meminfo: memFree=127331080/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=327548 memory=318272 CPUtime=460.86 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 96250 0 0 0 46060 26 0 0 20 0 1 0 48140975 335409152 79568 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 81887 79568 3360 3139 0 78175 0
################
# More data... #
################
Current children cumulated memory: 400020 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.28 6/263 54180
/proc/meminfo: memFree=127075880/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=2914.43 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 118922 0 0 0 291401 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 2914.43 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.27 6/264 54183
/proc/meminfo: memFree=127076952/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=2974.27 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 118922 0 0 0 297385 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.26 6/264 54185
/proc/meminfo: memFree=127075404/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3034.12 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 118992 0 0 0 303370 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.25 6/264 54187
/proc/meminfo: memFree=127077188/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3093.96 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119000 0 0 0 309354 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.24 6/264 54189
/proc/meminfo: memFree=127075804/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3153.8 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119084 0 0 0 315338 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.23 6/264 54198
/proc/meminfo: memFree=127076960/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3213.65 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119097 0 0 0 321323 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.21 6/264 54201
/proc/meminfo: memFree=127075868/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3273.49 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119100 0 0 0 327307 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.21 6/265 54204
/proc/meminfo: memFree=127075844/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3333.33 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119180 0 0 0 333291 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3333.33 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.20 6/265 54206
/proc/meminfo: memFree=127075868/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3393.17 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119180 0 0 0 339275 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.18 6/265 54223
/proc/meminfo: memFree=127078188/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3453.02 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119251 0 0 0 345260 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.18 6/264 54225
/proc/meminfo: memFree=127076904/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3512.86 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119262 0 0 0 351244 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.17 6/264 54228
/proc/meminfo: memFree=127068624/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3572.7 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119263 0 0 0 357228 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.18 4.12 4.18 6/263 54230
/proc/meminfo: memFree=127068196/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3600.03 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119317 0 0 0 359961 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 53977 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.61 s, system=0.42911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.18 4.12 4.18 6/263 54230
/proc/meminfo: memFree=127068196/131250000 swapFree=33010684/33010684
[pid=53977] ppid=53968 vsize=407252 memory=400020 CPUtime=3600.03 cores=4,6
/proc/53977/stat : 53977 (uwrmaxsat-scip) R 53968 53977 53917 0 -1 4194304 119317 0 0 0 359961 42 0 0 20 0 1 0 48140975 417026048 100005 18446744073709551615 4198400 17051741 140728625418416 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 55169024 140728625424698 140728625424868 140728625424868 140728625430470 0
/proc/53977/statm: 101813 100005 3360 3139 0 98101 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 407252 KiB
Current children cumulated memory: 400020 KiB
Child status: 10
Real time (s): 3609.7
CPU time (s): 3600.04
CPU user time (s): 3599.61
CPU system time (s): 0.42911
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 411740
Max. memory (cumulated for all children) (KiB): 404288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.42911
maximum resident set size= 404288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119318
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= 61
involuntary context switches= 2115
# summary of solver processes directly reported to runsolver:
# pid: 53977
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.61
# total CPU system time (s): 0.42911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70783 second user time and 12.4857 second system time
The end
Begin job on nodeC016 at 2025-07-01 01:03:54 IDJOB=4486440 IDBENCH=147020 IDSOLVER=3373 FILE ID=nodeC016/4486440-1751324634 RUNJOBID= nodeC016-1751324634-53928 SLURM_JOB_ID= 9594347 Free space on /tmp= 433060 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486440-1751324634/watcher-4486440-1751324634 -o /tmp/evaluation-result-4486440-1751324634/solver-4486440-1751324634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751324634-53928 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4486440-1751324634.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=353890033 nodeC016 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 : 3515.569 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.48 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 : 3600.938 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.718 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.499 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.061 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.48 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 : 3599.662 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.733 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.48 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 : 3604.614 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128774500 kB MemAvailable: 129735684 kB Buffers: 3280 kB Cached: 1764212 kB SwapCached: 0 kB Active: 344748 kB Inactive: 1494056 kB Active(anon): 89384 kB Inactive(anon): 0 kB Active(file): 255364 kB Inactive(file): 1494056 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 69996 kB Writeback: 4 kB AnonPages: 74340 kB Mapped: 102996 kB Shmem: 18072 kB KReclaimable: 102008 kB Slab: 190380 kB SReclaimable: 102008 kB SUnreclaim: 88372 kB KernelStack: 3956 kB PageTables: 2492 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 333852 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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= 432996 MiB End job on nodeC016 at 2025-07-01 02:04:04