Trace number 4517466

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSATDisjCom-S 2025-06-01SAT (TO)18 3600.05 3610.11

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
MD5SUM06b87d46bf38d4b028e9a0f41f22c2e8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark3.31113
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables650
Total number of constraints72640
Number of constraints which are clauses72620
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint21
Number of terms in the objective function 20
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 20
Number of bits of the sum of numbers in the objective function 5
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.40/0.51	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.40/0.51	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.40/0.51	o 19
0.40/0.51	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.50/0.56	c Starting SCIP solver  (with time-limit = 1800s) ...
1795.45/1800.56	c SCIP timeout with lower and upper bounds: [0, 18]
1795.45/1800.56	o 18
3600.04/3610.10	
3600.04/3610.10	v x191 x192 x193 x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 -x206 x207 x208 x209 x210 -x211 -x231 -x251 -x271 -x291 -x311 -x331 -x351 -x371 -x391 -x411 -x431 -x451 -x471 -x491 -x511 -x531 -x551 -x571 -x591 -x212 -x232 -x252 -x272 -x292 -x312 -x332 -x352 -x372 -x392 -x412 -x432 -x452 -x472 -x492 -x512 -x532 -x552 -x572 -x592 -x213 -x233 -x253 -x273 -x293 -x313 -x333 -x353 -x373 -x393 -x413 -x433 -x453 -x473 -x493 -x513 -x533 -x553 -x573 -x593 -x214 -x234 -x254 -x274 -x294 -x314 -x334 -x354 -x374 -x394 -x414 -x434 -x454 -x474 -x494 -x514 -x534 -x554 -x574 -x594 -x215 -x235 -x255 -x275 x295 -x315 -x335 -x355 x375 -x395 -x415 -x435 -x455 -x475 -x495 -x515 -x535 x555 -x575 -x595 -x216 -x236 -x256 -x276 -x296 -x316 -x336 -x356 -x376 -x396 -x416 -x436 -x456 -x476 -x496 -x516 -x536 -x556 -x576 -x596 -x217 -x237 -x257 -x277 -x297 -x317 -x337 -x357 -x377 -x397 -x417 -x437 -x457 -x477 -x497 -x517 -x537 -x557 -x577 -x597 -x218 -x238 -x258 -x278 -x298 -x318 -x338 -x358 -x378 -x398 -x418 -x438 -x458 -x478 -x498 -x518 -x538 -x558 -x578 -x598 -x219 -x239 -x259 -x279 -x299 -x319 -x339 -x359 -x379 -x399 -x419 -x439 -x459 -x479 -x499 -x519 -x539 -x559 -x579 -x599 -x220 -x240 -x260 -x280 -x300 -x320 -x340 -x360 -x380 -x400 -x420 -x440 -x460 -x480 -x500 -x520 -x540 -x560 -x580 -x600 -x221 -x241 -x261 -x281 -x301 -x321 -x341 -x361 -x381 -x401 -x421 -x441 -x461 -x481 -x501 -x521 -x541 -x561 -x581 -x601 -x222 -x242 -x262 -x282 -x302 -x322 -x342 -x362 -x382 -x402 -x422 -x442 -x462 -x482 -x502 -x522 -x542 -x562 -x582 -x602 -x223 -x243 -x263 -x283 -x303 -x323 -x343 -x363 -x383 -x403 -x423 -x443 -x463 -x483 -x503 -x523 -x543 -x563 -x583 -x603 -x224 -x244 -x264 -x284 -x304 -x324 -x344 -x364 -x384 -x404 -x424 -x444 -x464 -x484 -x504 -x524 -x544 -x564 -x584 -x604 -x225 -x245 -x265 -x285 -x305 -x325 -x345 -x365 -x385 -x405 -x425 -x445 -x465 -x485 -x505 -x525 -x545 -x565 -x585 -x605 -x226 -x246 -x266 -x286 -x306 -x326 -x346 -x366 -x386 -x406 x426 -x446 -x466 -x486 -x506 -x526 -x546 -x566 -x586 -x606 -x227 -x247 -x267 -x287 -x307 -x327 -x347 -x367 -x387 -x407 -x427 -x447 -x467 -x487 -x507 -x527 -x547 -x567 -x587 -x607 -x228 -x248 -x268 -x288 -x308 -x328 -x348 -x368 -x388 -x408 -x428 -x448 -x468 -x488 -x508 -x528 -x548 -x568 -x588 -x608 -x229 -x249 -x269 -x289 -x309 -x329 -x349 -x369 -x389 -x409 -x429 -x449 -x469 -x489 -x509 -x529 -x549 -x569 -x589 -x609 -x230 -x250 -x270 -x290 -x310 -x330 -x350 -x370 -x390 -x410 -x430 -x450 -x470 -x490 -x510 -x530 -x550 -x570 -x590 -x610 -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 -x611 x612 -x613 x614 x615 -x616 -x617 x618 x619 -x620 x621 -x622 x623 -x624 -x625 x626 x627 -x628 x629 -x630 -x631 x632 x633 -x634 x635 -x636 -x637 x638 x639 -x640 x641 -x642 x643 -x644 x645 -x646 -x647 x648 x649 -x650
3600.04/3610.10	s SATISFIABLE

Verifier Data

OK	18

Watcher Data

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 (59655 MiB free)
  memory of node 1: 64465 MiB (61373 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517466-1751526306/watcher-4517466-1751526306 -o /tmp/evaluation-result-4517466-1751526306/solver-4517466-1751526306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751517541-72048 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517466-1751526306.opb -total-t=3600 -no-par -v0 

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
Current StackSize limit: 8192 KiB

solver pid=73677, runsolver pid=73674

[startup+0.10006 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123920640/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=40008 memory=21504 CPUtime=0.09 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 4769 0 0 0 9 0 0 0 20 0 1 0 68309051 40968192 5376 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 10002 5376 736 2416 0 7104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40008 KiB
Current children cumulated memory: 21504 KiB

[startup+0.205425 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123896700/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=58344 memory=39808 CPUtime=0.2 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 9342 0 0 0 19 1 0 0 20 0 1 0 68309051 59744256 9952 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 14586 9952 736 2416 0 11688 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58344 KiB
Current children cumulated memory: 39808 KiB

[startup+0.305304 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123876636/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=75600 memory=57088 CPUtime=0.3 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 13656 0 0 0 28 2 0 0 20 0 1 0 68309051 77414400 14272 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 18900 14272 736 2416 0 16002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75600 KiB
Current children cumulated memory: 57088 KiB

[startup+0.700193 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123874668/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=185148 memory=174516 CPUtime=0.69 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 41562 0 0 0 63 6 0 0 20 0 1 0 68309051 189591552 43629 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 46287 43629 2336 2416 0 43389 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 185148 KiB
Current children cumulated memory: 174516 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123729388/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=301888 memory=281604 CPUtime=1.48 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 58747 0 0 0 139 9 0 0 20 0 1 0 68309051 309133312 70401 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 75472 70401 2400 2416 0 72574 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 301888 KiB
Current children cumulated memory: 281604 KiB

[startup+3.10533 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123326072/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=457244 memory=431920 CPUtime=3.09 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 96946 0 0 0 294 15 0 0 20 0 1 0 68309051 468217856 107980 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 114311 107980 2496 2416 0 111413 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 457244 KiB
Current children cumulated memory: 431920 KiB

[startup+6.30015 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 73678
/proc/meminfo: memFree=123500248/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=457244 memory=431920 CPUtime=6.27 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 96950 0 0 0 612 15 0 0 20 0 1 0 68309051 468217856 107980 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 114311 107980 2496 2416 0 111413 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 457244 KiB
Current children cumulated memory: 431920 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 73678
/proc/meminfo: memFree=123447996/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=457244 memory=431920 CPUtime=12.65 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 96951 0 0 0 1250 15 0 0 20 0 1 0 68309051 468217856 107980 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 114311 107980 2496 2416 0 111413 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 457244 KiB
Current children cumulated memory: 431920 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 73679
/proc/meminfo: memFree=123486516/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=510036 memory=440324 CPUtime=25.42 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 98609 0 0 0 2527 15 0 0 20 0 1 0 68309051 522276864 110081 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 127509 110081 2496 2416 0 124611 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 510036 KiB
Current children cumulated memory: 440324 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 73679
/proc/meminfo: memFree=123357072/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=603840 memory=536752 CPUtime=50.95 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 134080 0 0 0 5075 20 0 0 20 0 1 0 68309051 618332160 134188 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 150960 134188 2528 2416 0 148062 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 603840 KiB
Current children cumulated memory: 536752 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/262 73681
/proc/meminfo: memFree=123300128/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=674736 memory=607224 CPUtime=102.01 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 172654 0 0 0 10175 26 0 0 20 0 1 0 68309051 690929664 151806 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 168684 151806 2528 2416 0 165786 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 674736 KiB
Current children cumulated memory: 607224 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 73686
/proc/meminfo: memFree=123210716/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=717104 memory=649124 CPUtime=161.85 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 187727 0 0 0 16156 29 0 0 20 0 1 0 68309051 734314496 162281 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 179276 162281 2528 2416 0 176378 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 717104 KiB
Current children cumulated memory: 649124 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 73689
/proc/meminfo: memFree=123175216/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=825600 memory=647548 CPUtime=221.68 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 195794 0 0 0 22138 30 0 0 20 0 1 0 68309051 845414400 161887 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 206400 161887 2528 2416 0 203502 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 825600 KiB
Current children cumulated memory: 647548 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 73691
/proc/meminfo: memFree=123136228/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=881308 memory=651836 CPUtime=281.51 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 205620 0 0 0 28120 31 0 0 20 0 1 0 68309051 902459392 162959 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 220327 162959 2528 2416 0 217429 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 881308 KiB
Current children cumulated memory: 651836 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 73694
/proc/meminfo: memFree=123062424/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=934992 memory=689532 CPUtime=341.35 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 206895 0 0 0 34103 32 0 0 20 0 1 0 68309051 957431808 172383 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 233748 172383 2528 2416 0 230850 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 934992 KiB
Current children cumulated memory: 689532 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 73696
/proc/meminfo: memFree=123004600/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=957508 memory=712060 CPUtime=401.18 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 222218 0 0 0 40082 36 0 0 20 0 1 0 68309051 980488192 178015 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 239377 178015 2528 2416 0 236479 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 957508 KiB
Current children cumulated memory: 712060 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 73698
/proc/meminfo: memFree=122910388/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=963556 memory=717100 CPUtime=461.02 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 227680 0 0 0 46065 37 0 0 20 0 1 0 68309051 986681344 179275 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 240889 179275 2528 2416 0 237991 0

################
# More data... #
################

Current children cumulated memory: 1208760 KiB

[startup+2922.3 s]
/proc/loadavg: 2.10 2.22 2.89 3/250 73874
/proc/meminfo: memFree=125043120/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1437628 CPUtime=2914.13 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 455460 0 0 0 291312 101 0 0 20 0 1 0 68309051 1635233792 359407 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 359407 2528 2416 0 396329 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1437628 KiB

[startup+2982.3 s]
/proc/loadavg: 2.08 2.19 2.83 3/250 73876
/proc/meminfo: memFree=125081960/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1423292 CPUtime=2973.95 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 456177 0 0 0 297290 105 0 0 20 0 1 0 68309051 1635233792 355823 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 355823 2528 2416 0 396329 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1423292 KiB

[startup+3042.3 s]
/proc/loadavg: 2.13 2.18 2.79 3/251 73883
/proc/meminfo: memFree=125049444/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1454012 CPUtime=3033.76 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 456268 0 0 0 303270 106 0 0 20 0 1 0 68309051 1635233792 363503 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 363503 2528 2416 0 396329 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1454012 KiB

[startup+3102.3 s]
/proc/loadavg: 2.10 2.16 2.74 3/251 73885
/proc/meminfo: memFree=125069092/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1435580 CPUtime=3093.57 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 456980 0 0 0 309247 110 0 0 20 0 1 0 68309051 1635233792 358895 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 358895 2528 2416 0 396329 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1435580 KiB

[startup+3162.3 s]
/proc/loadavg: 2.14 2.16 2.71 3/251 73887
/proc/meminfo: memFree=125284780/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1253032 memory=1208760 CPUtime=3153.39 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 457233 0 0 0 315228 111 0 0 20 0 1 0 68309051 1283104768 302190 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 313258 302190 2528 2416 0 310360 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 1253032 KiB
Current children cumulated memory: 1208760 KiB

[startup+3222.3 s]
/proc/loadavg: 2.11 2.15 2.66 3/251 73891
/proc/meminfo: memFree=125055184/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1449916 CPUtime=3213.2 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 457852 0 0 0 321205 115 0 0 20 0 1 0 68309051 1635233792 362479 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 362479 2528 2416 0 396329 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1449916 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.13 2.63 3/250 73907
/proc/meminfo: memFree=125430792/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1425152 CPUtime=3273.02 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 458522 0 0 0 327182 120 0 0 20 0 1 0 68309051 1635233792 356288 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 356288 2528 2416 0 396329 0
Current children cumulated CPU time: 3273.02 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1425152 KiB

[startup+3342.3 s]
/proc/loadavg: 1.49 1.95 2.53 2/245 73925
/proc/meminfo: memFree=125454180/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1455872 CPUtime=3332.87 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 458666 0 0 0 333166 121 0 0 20 0 1 0 68309051 1635233792 363968 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 363968 2528 2416 0 396329 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1455872 KiB

[startup+3402.3 s]
/proc/loadavg: 1.23 1.79 2.44 2/245 73938
/proc/meminfo: memFree=125425820/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1484544 CPUtime=3392.72 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 458840 0 0 0 339151 121 0 0 20 0 1 0 68309051 1635233792 371136 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 371136 2528 2416 0 396329 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1484544 KiB

[startup+3462.3 s]
/proc/loadavg: 1.20 1.68 2.36 2/245 73940
/proc/meminfo: memFree=125443820/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1456060 CPUtime=3452.59 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 459542 0 0 0 345132 127 0 0 20 0 1 0 68309051 1635233792 364015 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 364015 2528 2416 0 396329 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1456060 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.57 2.27 2/245 73941
/proc/meminfo: memFree=125419368/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1488828 CPUtime=3512.45 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 459685 0 0 0 351117 128 0 0 20 0 1 0 68309051 1635233792 372207 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 372207 2528 2416 0 396329 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1488828 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.48 2.20 2/245 73943
/proc/meminfo: memFree=125430052/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1457920 CPUtime=3572.29 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 460347 0 0 0 357097 132 0 0 20 0 1 0 68309051 1635233792 364480 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 364480 2528 2416 0 396329 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1457920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.1 s]
/proc/loadavg: 1.12 1.45 2.17 2/245 73949
/proc/meminfo: memFree=125430504/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1472256 CPUtime=3600.04 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 460451 0 0 0 359871 133 0 0 20 0 1 0 68309051 1635233792 368064 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 368064 2528 2416 0 396329 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1472256 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.11 s]
# the end of solver process 73677 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.72 s, system=1.33531 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.1 s]
/proc/loadavg: 1.12 1.45 2.17 2/245 73949
/proc/meminfo: memFree=125430504/131249996 swapFree=33010160/33010684
[pid=73677] ppid=73674 vsize=1596908 memory=1472256 CPUtime=3600.04 cores=5,7
/proc/73677/stat : 73677 (CASHWMaxSAT-Dis) R 73674 73677 72033 0 -1 4194304 460451 0 0 0 359871 133 0 0 20 0 1 0 68309051 1635233792 368064 18446744073709551615 4198400 14093885 140733274306176 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 33894400 140733274315114 140733274315229 140733274315229 140733274320831 0
/proc/73677/statm: 399227 368064 2528 2416 0 396329 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1596908 KiB
Current children cumulated memory: 1472256 KiB

Child status: 10

Real time (s): 3610.11
CPU time (s): 3600.05
CPU user time (s): 3598.72
CPU system time (s): 1.33531
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 1940784
Max. memory (cumulated for all children) (KiB): 1752324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.33531
maximum resident set size= 1752324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460452
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= 86
involuntary context switches= 2726


# summary of solver processes directly reported to runsolver:
#   pid: 73677
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.72
#   total CPU system time (s): 1.33531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68322 second user time and 15.0177 second system time

The end

Launcher Data

Begin job on nodeC029 at 2025-07-03 09:05:06
IDJOB=4517466
IDBENCH=176097
IDSOLVER=3323
FILE ID=nodeC029/4517466-1751526306
RUNJOBID= nodeC029-1751517541-72048
SLURM_JOB_ID= 9598634
Free space on /tmp= 432216 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517466-1751526306/watcher-4517466-1751526306 -o /tmp/evaluation-result-4517466-1751526306/solver-4517466-1751526306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751517541-72048 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4517466-1751526306.opb -total-t=3600 -no-par -v0

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8
RANDOM SEED=1391582996

nodeC029 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.717
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.46
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.824
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.46
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		: 3600.155
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.46
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		: 3606.711
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.46
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.749
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.46
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		: 3684.484
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.46
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		: 3692.592
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.46
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.742
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123933000 kB
MemAvailable:   126809652 kB
Buffers:            2128 kB
Cached:          3670140 kB
SwapCached:           40 kB
Active:          3446760 kB
Inactive:        3230612 kB
Active(anon):    3018356 kB
Inactive(anon):     4768 kB
Active(file):     428404 kB
Inactive(file):  3225844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14792 kB
Writeback:            64 kB
AnonPages:       3005576 kB
Mapped:           128828 kB
Shmem:             18020 kB
KReclaimable:     123288 kB
Slab:             212476 kB
SReclaimable:     123288 kB
SUnreclaim:        89188 kB
KernelStack:        4208 kB
PageTables:         9064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3628544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1183744 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432252 MiB
End job on nodeC029 at 2025-07-03 10:05:16