Trace number 4529017

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
mixed-bag-2024 2025-07-10? (TO) 3600.07 3609.24

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUMdbdf528b135cde252d8c4b9633a10d5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3600.21
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
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 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
Number of bits of the biggest sum of numbers12
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 RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.88/0.92	c [STEP] preprocessing with Papilo
1.48/1.57	c [STEP] solving with SCIP
302.36/303.21	c [STEP] preprocessing done, loading into solver
302.96/303.89	c [STEP] solving
302.96/303.89	c #variables 99759 #constraints 388869
302.96/303.89	c SMALL=int, LARGE=long long
302.96/303.89	d SCIPUB 30
302.96/303.89	c bounds - >= 0 @ 301.913
302.96/303.89	c stratification level: 0
1530.91/1534.94	c bounds - >= 1 @ 302.729
1530.91/1534.94	c bounds - >= 2 @ 302.745
1530.91/1534.94	c bounds - >= 3 @ 302.755
1530.91/1534.94	c bounds - >= 4 @ 304.837
1530.91/1534.94	c bounds - >= 5 @ 304.856
1530.91/1534.94	c bounds - >= 6 @ 304.869
1530.91/1534.94	c #Conflicts:       1000 | #Constraints:     389878
1530.91/1534.94	c #Conflicts:       2000 | #Constraints:     390878
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:       3000 | #Constraints:     390885
1530.91/1534.94	c #Conflicts:       4000 | #Constraints:     391885
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:       5000 | #Constraints:     391293
1530.91/1534.94	c #Conflicts:       6000 | #Constraints:     392293
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:       7000 | #Constraints:     391311
1530.91/1534.94	c #Conflicts:       8000 | #Constraints:     392311
1530.91/1534.94	c #Conflicts:       9000 | #Constraints:     393311
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      10000 | #Constraints:     392010
1530.91/1534.94	c #Conflicts:      11000 | #Constraints:     393010
1530.91/1534.94	c #Conflicts:      12000 | #Constraints:     394010
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      13000 | #Constraints:     392453
1530.91/1534.94	c #Conflicts:      14000 | #Constraints:     393453
1530.91/1534.94	c #Conflicts:      15000 | #Constraints:     394453
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      16000 | #Constraints:     392686
1530.91/1534.94	c #Conflicts:      17000 | #Constraints:     393686
1530.91/1534.94	c #Conflicts:      18000 | #Constraints:     394686
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      19000 | #Constraints:     392721
1530.91/1534.94	c #Conflicts:      20000 | #Constraints:     393721
1530.91/1534.94	c #Conflicts:      21000 | #Constraints:     394721
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      22000 | #Constraints:     392510
1530.91/1534.94	c #Conflicts:      23000 | #Constraints:     393510
1530.91/1534.94	c #Conflicts:      24000 | #Constraints:     394510
1530.91/1534.94	c #Conflicts:      25000 | #Constraints:     395510
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      26000 | #Constraints:     393105
1530.91/1534.94	c #Conflicts:      27000 | #Constraints:     394105
1530.91/1534.94	c #Conflicts:      28000 | #Constraints:     395105
1530.91/1534.94	c #Conflicts:      29000 | #Constraints:     396105
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      30000 | #Constraints:     393506
1530.91/1534.94	c #Conflicts:      31000 | #Constraints:     394506
1530.91/1534.94	c #Conflicts:      32000 | #Constraints:     395506
1530.91/1534.94	c #Conflicts:      33000 | #Constraints:     396506
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      34000 | #Constraints:     393700
1530.91/1534.94	c #Conflicts:      35000 | #Constraints:     394700
1530.91/1534.94	c #Conflicts:      36000 | #Constraints:     395700
1530.91/1534.94	c #Conflicts:      37000 | #Constraints:     396700
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      38000 | #Constraints:     393711
1530.91/1534.94	c #Conflicts:      39000 | #Constraints:     394711
1530.91/1534.94	c #Conflicts:      40000 | #Constraints:     395711
1530.91/1534.94	c #Conflicts:      41000 | #Constraints:     396711
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      42000 | #Constraints:     393544
1530.91/1534.94	c #Conflicts:      43000 | #Constraints:     394544
1530.91/1534.94	c #Conflicts:      44000 | #Constraints:     395544
1530.91/1534.94	c #Conflicts:      45000 | #Constraints:     396544
1530.91/1534.94	c #Conflicts:      46000 | #Constraints:     397544
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      47000 | #Constraints:     394130
1530.91/1534.94	c #Conflicts:      48000 | #Constraints:     395130
1530.91/1534.94	c #Conflicts:      49000 | #Constraints:     396130
1530.91/1534.94	c #Conflicts:      50000 | #Constraints:     397130
1530.91/1534.94	c #Conflicts:      51000 | #Constraints:     398130
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      52000 | #Constraints:     394523
1530.91/1534.94	c #Conflicts:      53000 | #Constraints:     395523
1530.91/1534.94	c #Conflicts:      54000 | #Constraints:     396523
1530.91/1534.94	c #Conflicts:      55000 | #Constraints:     397523
1530.91/1534.94	c #Conflicts:      56000 | #Constraints:     398523
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      57000 | #Constraints:     394774
1530.91/1534.94	c #Conflicts:      58000 | #Constraints:     395774
1530.91/1534.94	c #Conflicts:      59000 | #Constraints:     396774
1530.91/1534.94	c #Conflicts:      60000 | #Constraints:     397774
1530.91/1534.94	c #Conflicts:      61000 | #Constraints:     398774
1530.91/1534.94	c INPROCESSING
1530.91/1534.94	c GARBAGE COLLECT
1530.91/1534.94	c #Conflicts:      62000 | #Constraints:     394753
1530.91/1534.94	c #Conflicts:      63000 | #Constraints:     395753
1530.91/1534.94	c #Conflicts:      64000 | #Constraints:     396753
1530.91/1534.94	c #Conflicts:      65000 | #Constraints:     397753
3600.03/3609.21	c #Conflicts:      66000 | #Constraints:     398753
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:      67000 | #Constraints:     394539
3600.03/3609.21	c #Conflicts:      68000 | #Constraints:     395539
3600.03/3609.21	c #Conflicts:      69000 | #Constraints:     396539
3600.03/3609.21	c #Conflicts:      70000 | #Constraints:     397539
3600.03/3609.21	c #Conflicts:      71000 | #Constraints:     398539
3600.03/3609.21	c #Conflicts:      72000 | #Constraints:     399539
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:      73000 | #Constraints:     395136
3600.03/3609.21	c #Conflicts:      74000 | #Constraints:     396136
3600.03/3609.21	c #Conflicts:      75000 | #Constraints:     397136
3600.03/3609.21	c #Conflicts:      76000 | #Constraints:     398136
3600.03/3609.21	c #Conflicts:      77000 | #Constraints:     399136
3600.03/3609.21	c #Conflicts:      78000 | #Constraints:     400136
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:      79000 | #Constraints:     395541
3600.03/3609.21	c #Conflicts:      80000 | #Constraints:     396541
3600.03/3609.21	c #Conflicts:      81000 | #Constraints:     397541
3600.03/3609.21	c #Conflicts:      82000 | #Constraints:     398541
3600.03/3609.21	c #Conflicts:      83000 | #Constraints:     399541
3600.03/3609.21	c #Conflicts:      84000 | #Constraints:     400541
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:      85000 | #Constraints:     395750
3600.03/3609.21	c #Conflicts:      86000 | #Constraints:     396750
3600.03/3609.21	c #Conflicts:      87000 | #Constraints:     397750
3600.03/3609.21	c #Conflicts:      88000 | #Constraints:     398750
3600.03/3609.21	c #Conflicts:      89000 | #Constraints:     399750
3600.03/3609.21	c #Conflicts:      90000 | #Constraints:     400750
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:      91000 | #Constraints:     395736
3600.03/3609.21	c #Conflicts:      92000 | #Constraints:     396736
3600.03/3609.21	c #Conflicts:      93000 | #Constraints:     397736
3600.03/3609.21	c #Conflicts:      94000 | #Constraints:     398736
3600.03/3609.21	c #Conflicts:      95000 | #Constraints:     399736
3600.03/3609.21	c #Conflicts:      96000 | #Constraints:     400736
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:      97000 | #Constraints:     395552
3600.03/3609.21	c #Conflicts:      98000 | #Constraints:     396552
3600.03/3609.21	c #Conflicts:      99000 | #Constraints:     397552
3600.03/3609.21	c #Conflicts:     100000 | #Constraints:     398552
3600.03/3609.21	c #Conflicts:     101000 | #Constraints:     399552
3600.03/3609.21	c #Conflicts:     102000 | #Constraints:     400552
3600.03/3609.21	c #Conflicts:     103000 | #Constraints:     401552
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:     104000 | #Constraints:     396145
3600.03/3609.21	c #Conflicts:     105000 | #Constraints:     397145
3600.03/3609.21	c #Conflicts:     106000 | #Constraints:     398145
3600.03/3609.21	c #Conflicts:     107000 | #Constraints:     399145
3600.03/3609.21	c #Conflicts:     108000 | #Constraints:     400145
3600.03/3609.21	c #Conflicts:     109000 | #Constraints:     401145
3600.03/3609.21	c #Conflicts:     110000 | #Constraints:     402145
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:     111000 | #Constraints:     396540
3600.03/3609.21	c #Conflicts:     112000 | #Constraints:     397540
3600.03/3609.21	c #Conflicts:     113000 | #Constraints:     398540
3600.03/3609.21	c #Conflicts:     114000 | #Constraints:     399540
3600.03/3609.21	c #Conflicts:     115000 | #Constraints:     400540
3600.03/3609.21	c #Conflicts:     116000 | #Constraints:     401540
3600.03/3609.21	c #Conflicts:     117000 | #Constraints:     402540
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:     118000 | #Constraints:     396746
3600.03/3609.21	c #Conflicts:     119000 | #Constraints:     397746
3600.03/3609.21	c #Conflicts:     120000 | #Constraints:     398746
3600.03/3609.21	c #Conflicts:     121000 | #Constraints:     399746
3600.03/3609.21	c #Conflicts:     122000 | #Constraints:     400746
3600.03/3609.21	c #Conflicts:     123000 | #Constraints:     401746
3600.03/3609.21	c #Conflicts:     124000 | #Constraints:     402746
3600.03/3609.21	c INPROCESSING
3600.03/3609.21	c GARBAGE COLLECT
3600.03/3609.21	c #Conflicts:     125000 | #Constraints:     396740
3600.03/3609.21	c #Conflicts:     126000 | #Constraints:     397740
3600.03/3609.21	c #Conflicts:     127000 | #Constraints:     398740
3600.03/3609.21	c #Conflicts:     128000 | #Constraints:     399740
3600.03/3609.21	c #Conflicts:     129000 | #Constraints:     400740
3600.03/3609.21	c Program interrupted by user.
3600.03/3609.21	c cpu time 3595.77 s
3600.03/3609.21	c deterministic time 1061722128016 1.06e+12
3600.03/3609.21	c optimization time 129.436 s
3600.03/3609.21	c total solve time 3164.42 s
3600.03/3609.21	c core-guided solve time 3164.42 s
3600.03/3609.21	c propagation time 1999.25 s
3600.03/3609.21	c conflict analysis time 1196.02 s
3600.03/3609.21	c propagations 445294797
3600.03/3609.21	c resolve steps 5686766
3600.03/3609.21	c decisions 2634127
3600.03/3609.21	c conflicts 129803
3600.03/3609.21	c restarts 348
3600.03/3609.21	c inprocessing phases 27
3600.03/3609.21	c input clauses 388869
3600.03/3609.21	c input cardinalities 7
3600.03/3609.21	c input general constraints 0
3600.03/3609.21	c input average constraint length 2.57
3600.03/3609.21	c input average constraint degree 1.02
3600.03/3609.21	c learned clauses 71723
3600.03/3609.21	c learned cardinalities 970
3600.03/3609.21	c learned general constraints 57112
3600.03/3609.21	c learned average constraint length 15860.07
3600.03/3609.21	c learned average constraint degree 19234123.17
3600.03/3609.21	c watched constraints 54396
3600.03/3609.21	c counting constraints 2716
3600.03/3609.21	c gcd simplifications 1305
3600.03/3609.21	c detected cardinalities 2
3600.03/3609.21	c weakened non-implied lits 183191420
3600.03/3609.21	c weakened non-implying lits 31635
3600.03/3609.21	c original variables 99789
3600.03/3609.21	c clausal propagations 426465158
3600.03/3609.21	c cardinality propagations 2798054
3600.03/3609.21	c watched propagations 10547500
3600.03/3609.21	c counting propagations 3796812
3600.03/3609.21	c watch lookups 2147238762
3600.03/3609.21	c watch backjump lookups 1419261422
3600.03/3609.21	c watch checks 901301648244
3600.03/3609.21	c propagation checks 150185380939
3600.03/3609.21	c constraint additions 5772706538
3600.03/3609.21	c trail pops 447963186
3600.03/3609.21	c formula constraints 388869
3600.03/3609.21	c learned constraints 129805
3600.03/3609.21	c bound constraints 7
3600.03/3609.21	c core-guided constraints 0
3600.03/3609.21	c encountered formula constraints 5375481
3600.03/3609.21	c encountered learned constraints 441081
3600.03/3609.21	c encountered bound constraints 7
3600.03/3609.21	c encountered core-guided constraints 0
3600.03/3609.21	c LP total time 0 s
3600.03/3609.21	c LP solve time 0 s
3600.03/3609.21	c LP constraints added 0
3600.03/3609.21	c LP constraints removed 0
3600.03/3609.21	c LP pivots internal 0
3600.03/3609.21	c LP pivots root 0
3600.03/3609.21	c LP calls 0
3600.03/3609.21	c LP optimalities 0
3600.03/3609.21	c LP no pivot count 0
3600.03/3609.21	c LP infeasibilities 0
3600.03/3609.21	c LP valid Farkas constraints 0
3600.03/3609.21	c LP learned Farkas constraints 0
3600.03/3609.21	c LP basis resets 0
3600.03/3609.21	c LP cycling count 0
3600.03/3609.21	c LP singular count 0
3600.03/3609.21	c LP no primal count 0
3600.03/3609.21	c LP no farkas count 0
3600.03/3609.21	c LP other issue count 0
3600.03/3609.21	c LP Gomory cuts 0
3600.03/3609.21	c LP learned cuts 0
3600.03/3609.21	c LP deleted cuts 0
3600.03/3609.21	c LP encountered Gomory constraints 0
3600.03/3609.21	c LP encountered Farkas constraints 0
3600.03/3609.21	c LP encountered learned Farkas constraints 0
3600.03/3609.21	c CG auxiliary variables introduced 0
3600.03/3609.21	c CG solutions found 0
3600.03/3609.21	c CG cores constructed 6
3600.03/3609.21	c CG core cardinality constraints returned 0
3600.03/3609.21	c CG unit cores 0
3600.03/3609.21	c CG single cores 6
3600.03/3609.21	c CG blocks removed during cardinality reduction 0
3600.03/3609.21	c CG first core best 0
3600.03/3609.21	c CG decision core best 0
3600.03/3609.21	c CG core reduction tie 0
3600.03/3609.21	c CG core degree average 1.00
3600.03/3609.21	c CG core slack average 150.33
3600.03/3609.21	c CG exhausted 0
3600.03/3609.21	c CG exhaust time 0 s
3600.03/3609.21	c CG trimmed 3
3600.03/3609.21	c CG trim time 1.09794 s
3600.03/3609.21	c CG minimized 0
3600.03/3609.21	c CG minimize time 0 s
3600.03/3609.21	c CG am1 prop time 0.027539 s
3600.03/3609.21	c CG # am1s reformulated 0
3600.03/3609.21	c CG lower bound derived from am1s 0
3600.03/3609.21	c CG # clausal cores 6
3600.03/3609.21	c CG # cardinality cores 0
3600.03/3609.21	c CG # pb cores 0
3600.03/3609.21	c CG # pb reforms 0
3600.03/3609.21	c CG # cores discarded because of pb reform 0
3600.03/3609.21	d LOWERBOUND 6
3600.03/3609.21	d NCORES 6
3600.03/3609.21	d NPBCORES 0
3600.03/3609.21	d NPBREFORM 0
3600.03/3609.21	d NTRIMMED 3
3600.03/3609.21	d NEXHAUSTED 0
3600.03/3609.21	d NAM1S 0
3600.03/3609.21	d AM1LB 0
3600.03/3609.21	c [Papilo Statistics]
3600.03/3609.21	c prepro time 0.654545s
3600.03/3609.21	c # tsx applied 86
3600.03/3609.21	c # tsx conflicts 0
3600.03/3609.21	c # bound changes 5
3600.03/3609.21	c # side changes 52
3600.03/3609.21	c # coef changes 186
3600.03/3609.21	c # rounds 2
3600.03/3609.21	c # deted vars 31
3600.03/3609.21	c # deted constrs 87
3600.03/3609.21	c # consecutive rounds of only bound changes 0
3600.03/3609.22	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 (59057 MiB free)
  memory of node 1: 64465 MiB (58837 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529017-1752258621/watcher-4529017-1752258621 -o /tmp/evaluation-result-4529017-1752258621/solver-4529017-1752258621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118201 --watchdog 3760 mixed-bag HOME/instance-4529017-1752258621.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=118586, runsolver pid=118583

[startup+0.100061 s]*
/proc/loadavg: 4.13 4.12 4.09 4/260 118587
/proc/meminfo: memFree=120687384/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=121764 memory=37428 CPUtime=0.09 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 6512 0 0 0 8 1 0 0 20 0 1 0 141541519 124686336 9357 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 30441 9357 2144 2834 0 13193 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 121764 KiB
Current children cumulated memory: 37428 KiB

[startup+0.2054 s]*
/proc/loadavg: 4.13 4.12 4.09 4/260 118587
/proc/meminfo: memFree=120640320/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=125860 memory=44084 CPUtime=0.19 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 7161 0 0 0 18 1 0 0 20 0 1 0 141541519 128880640 11021 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 31465 11021 2144 2834 0 14217 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 125860 KiB
Current children cumulated memory: 44084 KiB

[startup+0.305339 s]*
/proc/loadavg: 4.13 4.12 4.09 4/260 118587
/proc/meminfo: memFree=120632128/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=134052 memory=48512 CPUtime=0.3 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 7770 0 0 0 28 2 0 0 20 0 1 0 141541519 137269248 12128 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 33513 12128 2144 2834 0 16265 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134052 KiB
Current children cumulated memory: 48512 KiB

[startup+0.700141 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 118587
/proc/meminfo: memFree=120595836/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=150436 memory=73056 CPUtime=0.68 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 8805 0 0 0 65 3 0 0 20 0 1 0 141541519 154046464 18264 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 37609 18264 2144 2834 0 20361 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150436 KiB
Current children cumulated memory: 73056 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 118618
/proc/meminfo: memFree=120340060/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=346680 memory=268116 CPUtime=1.48 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 21446 0 0 0 139 9 0 0 20 0 1 0 141541519 355000320 67029 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 86670 67029 2304 2834 0 68875 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 346680 KiB
Current children cumulated memory: 268116 KiB

[startup+3.10527 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118624
/proc/meminfo: memFree=119207616/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=1079448 memory=957684 CPUtime=3.08 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 191489 0 0 0 272 36 0 0 20 0 1 0 141541519 1105354752 239421 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 269862 239421 3968 2834 0 252067 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1079448 KiB
Current children cumulated memory: 957684 KiB

[startup+6.30017 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 118625
/proc/meminfo: memFree=118764432/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=1285664 memory=1195564 CPUtime=6.26 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 248902 0 0 0 578 48 0 0 20 0 1 0 141541519 1316519936 298891 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 321416 298891 4032 2834 0 303621 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1285664 KiB
Current children cumulated memory: 1195564 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 118625
/proc/meminfo: memFree=118436308/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=1763024 memory=1534968 CPUtime=12.65 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 313088 0 0 0 1206 59 0 0 20 0 1 0 141541519 1805336576 383742 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 440756 383742 4128 2834 0 422961 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1763024 KiB
Current children cumulated memory: 1534968 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 118626
/proc/meminfo: memFree=118278976/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=1791728 memory=1557752 CPUtime=25.4 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 318782 0 0 0 2480 60 0 0 20 0 1 0 141541519 1834729472 389438 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 447932 389438 4128 2834 0 430137 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1791728 KiB
Current children cumulated memory: 1557752 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 118626
/proc/meminfo: memFree=117522236/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2488032 memory=2225596 CPUtime=50.93 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 484988 0 0 0 5010 83 0 0 20 0 1 0 141541519 2547744768 556399 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 622008 556399 4256 2834 0 604213 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2488032 KiB
Current children cumulated memory: 2225596 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 118628
/proc/meminfo: memFree=117500040/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2488032 memory=2230972 CPUtime=101.98 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 487136 0 0 0 10114 84 0 0 20 0 1 0 141541519 2547744768 557743 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 622008 557743 4256 2834 0 604213 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2488032 KiB
Current children cumulated memory: 2230972 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.16 4.10 5/265 118630
/proc/meminfo: memFree=117447148/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2488032 memory=2232380 CPUtime=161.83 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 487535 0 0 0 16098 85 0 0 20 0 1 0 141541519 2547744768 558095 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 622008 558095 4256 2834 0 604213 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2488032 KiB
Current children cumulated memory: 2232380 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 118632
/proc/meminfo: memFree=117221780/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2670524 memory=2247016 CPUtime=221.67 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 490245 0 0 0 22081 86 0 0 20 0 1 0 141541519 2734616576 561754 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 667631 561754 4256 2834 0 649836 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2670524 KiB
Current children cumulated memory: 2247016 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 118634
/proc/meminfo: memFree=117177664/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2693668 memory=2272568 CPUtime=281.52 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 493667 0 0 0 28064 88 0 0 20 0 1 0 141541519 2758316032 568142 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 673417 568142 4256 2834 0 655622 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2693668 KiB
Current children cumulated memory: 2272568 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/262 118636
/proc/meminfo: memFree=117050236/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2494128 memory=2347204 CPUtime=341.36 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 499063 0 0 0 34007 129 0 0 20 0 1 0 141541519 2553987072 586801 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 623532 586801 4416 2834 0 605737 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2494128 KiB
Current children cumulated memory: 2347204 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/262 118638
/proc/meminfo: memFree=116897544/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2626388 memory=2435328 CPUtime=401.21 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 499647 0 0 0 39982 139 0 0 20 0 1 0 141541519 2689421312 608832 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 656597 608832 4416 2834 0 638802 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2626388 KiB
Current children cumulated memory: 2435328 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 118641
/proc/meminfo: memFree=116855908/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=2626388 memory=2449664 CPUtime=461.06 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 499657 0 0 0 45954 152 0 0 20 0 1 0 141541519 2689421312 612416 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 656597 612416 4416 2834 0 638802 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 3085148 KiB

[startup+2862.3 s]
/proc/loadavg: 4.22 4.22 4.14 5/263 118770
/proc/meminfo: memFree=115570448/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3105628 CPUtime=2854.93 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 504619 0 0 0 285128 365 0 0 20 0 1 0 141541519 3267133440 776407 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776407 4416 2834 0 779845 0
Current children cumulated CPU time: 2854.93 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3105628 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/262 118772
/proc/meminfo: memFree=115573144/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3105628 CPUtime=2914.79 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505064 0 0 0 291106 373 0 0 20 0 1 0 141541519 3267133440 776407 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776407 4416 2834 0 779845 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3105628 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/262 118774
/proc/meminfo: memFree=115572808/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3105628 CPUtime=2974.64 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505155 0 0 0 297089 375 0 0 20 0 1 0 141541519 3267133440 776407 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776407 4416 2834 0 779845 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3105628 KiB

[startup+3042.3 s]
/proc/loadavg: 4.19 4.19 4.14 5/264 118784
/proc/meminfo: memFree=115543592/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3034.5 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505189 0 0 0 303068 382 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/265 118787
/proc/meminfo: memFree=115532288/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3094.35 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505189 0 0 0 309047 388 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/265 118789
/proc/meminfo: memFree=115454248/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3154.2 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505730 0 0 0 315027 393 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3154.2 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/265 118792
/proc/meminfo: memFree=115450136/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3214.06 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505796 0 0 0 321008 398 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/265 118794
/proc/meminfo: memFree=115456904/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3273.91 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505796 0 0 0 326989 402 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/263 118796
/proc/meminfo: memFree=115429932/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3333.77 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 505796 0 0 0 332972 405 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/262 118798
/proc/meminfo: memFree=115427656/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3393.62 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 506321 0 0 0 338954 408 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/263 118801
/proc/meminfo: memFree=115424964/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3453.48 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 506384 0 0 0 344935 413 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.12 5/263 118803
/proc/meminfo: memFree=115427116/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3513.34 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 506440 0 0 0 350912 422 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/263 118805
/proc/meminfo: memFree=115426988/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3573.19 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 506440 0 0 0 356893 426 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.14 4.13 4.11 5/264 118813
/proc/meminfo: memFree=115427020/131250000 swapFree=33009904/33010684
[pid=118586] ppid=118583 vsize=3190560 memory=3107548 CPUtime=3600.03 cores=1,3
/proc/118586/stat : 118586 (mixed-bag) R 118583 118586 118184 0 -1 4194304 506561 0 0 0 359575 428 0 0 20 0 1 0 141541519 3267133440 776887 18446744073709551615 4235264 15840557 140737398288096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 34009088 140737398294938 140737398295015 140737398295015 140737398300619 0
/proc/118586/statm: 797640 776887 4416 2834 0 779845 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3190560 KiB
Current children cumulated memory: 3107548 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.78 s, system=4.29139 s

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

Child status: 0

Real time (s): 3609.24
CPU time (s): 3600.07
CPU user time (s): 3595.78
CPU system time (s): 4.29139
CPU usage (%): 99.7461
Max. virtual memory (cumulated for all children) (KiB): 3190560
Max. memory (cumulated for all children) (KiB): 3107548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.78
system time used= 4.29139
maximum resident set size= 3108188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 506620
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= 180
involuntary context switches= 2170


# summary of solver processes directly reported to runsolver:
#   pid: 118586
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.78
#   total CPU system time (s): 4.29139

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.33221 second user time and 12.7205 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-11 20:30:21
IDJOB=4529017
IDBENCH=148190
IDSOLVER=3386
FILE ID=nodeC033/4529017-1752258621
RUNJOBID= nodeC033-1752255008-118201
SLURM_JOB_ID= 9682592
Free space on /tmp= 429704 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529017-1752258621/watcher-4529017-1752258621 -o /tmp/evaluation-result-4529017-1752258621/solver-4529017-1752258621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752255008-118201 --watchdog 3760  mixed-bag HOME/instance-4529017-1752258621.opb

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

MD5SUM BENCH= dbdf528b135cde252d8c4b9633a10d5c
RANDOM SEED=2074152350

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.058
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.13
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.068
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.13
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.067
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.13
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		: 3598.900
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.13
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.046
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.13
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		: 3700.000
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.13
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		: 3600.018
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.13
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		: 3600.191
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        120733420 kB
MemAvailable:   129364328 kB
Buffers:            2128 kB
Cached:          9352200 kB
SwapCached:           68 kB
Active:          1112360 kB
Inactive:        8630336 kB
Active(anon):     401008 kB
Inactive(anon):     5388 kB
Active(file):     711352 kB
Inactive(file):  8624948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             62328 kB
Writeback:             0 kB
AnonPages:        391460 kB
Mapped:           127128 kB
Shmem:             18028 kB
KReclaimable:     267692 kB
Slab:             363580 kB
SReclaimable:     267692 kB
SUnreclaim:        95888 kB
KernelStack:        4176 kB
PageTables:         3628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     753312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429692 MiB
End job on nodeC033 at 2025-07-11 21:30:30