Trace number 4517737

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
WMaxCDCL-SCIP 2025-06-21? 3596.28 3606.86

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
MD5SUMbf082a5f314776883f0e32420df0edd0
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 benchmark6
Best CPU time to get the best result obtained on this benchmark21.8846
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables351
Total number of constraints12753
Number of constraints which are clauses12740
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
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 13
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c Presolving by SCIP...
498.48/500.15	c Encoding OPB into MaxSAT...
498.48/500.15	c This is the PBCProcessor based on SCIP solver.
498.48/500.18	c Solving by WMaxCDCL...
3596.21/3606.85	c Rebuilding OPB solution...
3596.21/3606.85	c This is the PBCProcessor based on SCIP solver.
3596.21/3606.85	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517737-1751530614/watcher-4517737-1751530614 -o /tmp/evaluation-result-4517737-1751530614/solver-4517737-1751530614 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751525281-76241 --watchdog 3760 HOME/opbsolver HOME/instance-4517737-1751530614.opb 3600 31000 HOME HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77465, runsolver pid=77462
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.11 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127306140/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=52244 memory=40280 CPUtime=0.08 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 7958 0 0 0 7 1 0 0 20 0 1 0 68683949 53497856 10070 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 13061 10070 2432 2826 0 9673 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 56436 KiB
Current children cumulated memory: 43224 KiB

[startup+0.205769 s]*
/proc/loadavg: 4.11 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127280876/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=104940 memory=84224 CPUtime=0.18 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 14813 0 0 0 16 2 0 0 20 0 1 0 68683949 107458560 21056 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 26235 21056 2464 2826 0 22847 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 109132 KiB
Current children cumulated memory: 87168 KiB

[startup+0.305704 s]*
/proc/loadavg: 4.11 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127248744/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=127284 memory=107908 CPUtime=0.28 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 20701 0 0 0 25 3 0 0 20 0 1 0 68683949 130338816 26977 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 31821 26977 2560 2826 0 28433 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 131476 KiB
Current children cumulated memory: 110852 KiB

[startup+0.70016 s]
/proc/loadavg: 4.11 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127248744/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=128180 memory=109316 CPUtime=0.67 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 20967 0 0 0 64 3 0 0 20 0 1 0 68683949 131256320 27329 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 32045 27329 2656 2826 0 28657 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 132372 KiB
Current children cumulated memory: 112260 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127248744/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=134144 memory=113028 CPUtime=1.47 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 21912 0 0 0 143 4 0 0 20 0 1 0 68683949 137363456 28257 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 33536 28257 2656 2826 0 30148 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 138336 KiB
Current children cumulated memory: 115972 KiB

[startup+3.10557 s]
/proc/loadavg: 4.10 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127224552/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=160020 memory=130436 CPUtime=3.06 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 26260 0 0 0 302 4 0 0 20 0 1 0 68683949 163860480 32609 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 40005 32609 2656 2826 0 36617 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 164212 KiB
Current children cumulated memory: 133380 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.15 4.11 5/271 77469
/proc/meminfo: memFree=127200368/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=193988 memory=157828 CPUtime=6.26 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 33053 0 0 0 620 6 0 0 20 0 1 0 68683949 198643712 39457 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 48497 39457 2688 2826 0 45109 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 198180 KiB
Current children cumulated memory: 160772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.16 4.11 5/271 77469
/proc/meminfo: memFree=127203668/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=207684 memory=172728 CPUtime=12.63 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 37865 0 0 0 1256 7 0 0 20 0 1 0 68683949 212668416 43182 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 51921 43182 2688 2826 0 48533 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 211876 KiB
Current children cumulated memory: 175672 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.11 5/270 77469
/proc/meminfo: memFree=127196108/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=220068 memory=185000 CPUtime=25.39 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 41560 0 0 0 2531 8 0 0 20 0 1 0 68683949 225349632 46250 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 55017 46250 2688 2826 0 51629 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 224260 KiB
Current children cumulated memory: 187944 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.14 4.11 5/270 77470
/proc/meminfo: memFree=127163968/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=263596 memory=225192 CPUtime=50.9 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 51621 0 0 0 5081 9 0 0 20 0 1 0 68683949 269922304 56298 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 65899 56298 2688 2826 0 62511 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 267788 KiB
Current children cumulated memory: 228136 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/271 77476
/proc/meminfo: memFree=127123540/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=308128 memory=268392 CPUtime=101.93 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 62959 0 0 0 10182 11 0 0 20 0 1 0 68683949 315523072 67098 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 77032 67098 2688 2826 0 73644 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 312320 KiB
Current children cumulated memory: 271336 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.22 4.14 5/270 77478
/proc/meminfo: memFree=127056780/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=360348 memory=337464 CPUtime=161.72 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 74531 0 0 0 16159 13 0 0 20 0 1 0 68683949 368996352 84366 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 90087 84366 2688 2826 0 86699 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 364540 KiB
Current children cumulated memory: 340408 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/268 77480
/proc/meminfo: memFree=126996492/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 259 233 0 0 0 0 0 0 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77469] ppid=77465 vsize=403084 memory=383252 CPUtime=221.53 cores=0,2
/proc/77469/stat : 77469 (pbcpreprocessor) R 77465 77465 76231 0 -1 4194304 81728 0 0 0 22138 15 0 0 20 0 1 0 68683949 412758016 95813 18446744073709551615 4198400 15773533 140723638596304 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 17968456 18061744 41635840 140723638602052 140723638602206 140723638602206 140723638607813 0
/proc/77469/statm: 100771 95813 2688 2826 0 97383 0
Current children cumulated CPU time: 221.53 s

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

/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 45876 0 0 0 283342 55 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/268 78018
/proc/meminfo: memFree=102946828/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=2893.79 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 47467 0 0 0 289322 57 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3392.35 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/268 78020
/proc/meminfo: memFree=102946872/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=2953.61 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 52585 0 0 0 295297 64 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/268 78022
/proc/meminfo: memFree=102945792/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3013.42 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 58720 0 0 0 301270 72 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/267 78024
/proc/meminfo: memFree=102973536/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3073.23 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 60775 0 0 0 307248 75 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3606.86 s]
# the end of solver process 77465 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3595.23 s, system=1.05052 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.10 5/267 78025
/proc/meminfo: memFree=102995100/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3074.93 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 60775 0 0 0 307418 75 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.14 4.10 5/267 78025
/proc/meminfo: memFree=102983064/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=192660 memory=172628 CPUtime=3087.68 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 61286 0 0 0 308692 76 0 0 20 0 1 0 68733966 197283840 43157 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 48165 43157 448 424 0 47620 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 196852 KiB
Current children cumulated memory: 175572 KiB

[startup+3603.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/267 78025
/proc/meminfo: memFree=102995368/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3094.06 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 61289 0 0 0 309330 76 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3592.62 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3604.8 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 78025
/proc/meminfo: memFree=102991272/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3095.65 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 61289 0 0 0 309489 76 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3594.21 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3605.6 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 78025
/proc/meminfo: memFree=102991272/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3096.45 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 61289 0 0 0 309569 76 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3595.01 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3606.4 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 78025
/proc/meminfo: memFree=102991272/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=143340 memory=139924 CPUtime=3097.25 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 61289 0 0 0 309649 76 0 0 20 0 1 0 68733966 146780160 34981 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 35835 34981 448 424 0 35290 0
Current children cumulated CPU time: 3595.81 s
Current children cumulated vsize: 147532 KiB
Current children cumulated memory: 142868 KiB

[startup+3606.8 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 78025
/proc/meminfo: memFree=102991272/131250000 swapFree=33010684/33010684
[pid=77465] ppid=77462 vsize=4192 memory=2944 CPUtime=498.56 cores=0,2
/proc/77465/stat : 77465 (opbsolver) S 77462 77465 76231 0 -1 4194304 408 122395 0 0 0 0 49829 27 20 0 1 0 68683947 4292608 736 18446744073709551615 94667860549632 94667861444165 140735850851456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94667861683216 94667861730960 94667873890304 140735850854686 140735850854889 140735850854889 140735850860491 0
/proc/77465/statm: 1048 736 672 219 0 110 0
[pid=77497] ppid=77465 vsize=192660 memory=172628 CPUtime=3097.65 cores=0,2
/proc/77497/stat : 77497 (wmaxcdcl) R 77465 77465 76231 0 -1 4194304 61800 0 0 0 309688 77 0 0 20 0 1 0 68733966 197283840 43157 18446744073709551615 4198400 5932793 140732457031280 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 6359800 6411760 25104384 140732457040219 140732457040364 140732457040364 140732457045964 0
/proc/77497/statm: 48165 43157 448 424 0 47620 0
Current children cumulated CPU time: 3596.21 s
Current children cumulated vsize: 196852 KiB
Current children cumulated memory: 175572 KiB

Child status: 0

Real time (s): 3606.86
CPU time (s): 3596.28
CPU user time (s): 3595.23
CPU system time (s): 1.05052
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 677812
Max. memory (cumulated for all children) (KiB): 641028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.23
system time used= 1.05052
maximum resident set size= 638084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 530
involuntary context switches= 5114


# summary of solver processes directly reported to runsolver:
#   pid: 77465
#   total CPU time (s): 3596.28
#   total CPU user time (s): 3595.23
#   total CPU system time (s): 1.05052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24992 second user time and 16.3299 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-03 10:16:54
IDJOB=4517737
IDBENCH=176167
IDSOLVER=3374
FILE ID=nodeC028/4517737-1751530614
RUNJOBID= nodeC028-1751525281-76241
SLURM_JOB_ID= 9598655
Free space on /tmp= 431432 MiB

SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=7.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517737-1751530614/watcher-4517737-1751530614 -o /tmp/evaluation-result-4517737-1751530614/solver-4517737-1751530614 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751525281-76241 --watchdog 3760  HOME/opbsolver HOME/instance-4517737-1751530614.opb 3600 31000 HOME HOME

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

MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0
RANDOM SEED=1219595036

nodeC028 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		: 3591.358
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.121
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.102
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3605.906
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.149
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.092
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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.553
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127337780 kB
MemAvailable:   129225040 kB
Buffers:            3280 kB
Cached:          2689328 kB
SwapCached:            0 kB
Active:           903008 kB
Inactive:        2380080 kB
Active(anon):     608548 kB
Inactive(anon):        0 kB
Active(file):     294460 kB
Inactive(file):  2380080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20708 kB
Writeback:            28 kB
AnonPages:        591260 kB
Mapped:           109760 kB
Shmem:             18068 kB
KReclaimable:     103916 kB
Slab:             192660 kB
SReclaimable:     103916 kB
SUnreclaim:        88744 kB
KernelStack:        4300 kB
PageTables:         4016 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     987452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150728 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    434176 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429908 MiB
End job on nodeC028 at 2025-07-03 11:17:01