Trace number 4529013

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.05 3610.63

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_10.opb
MD5SUMf414edaa70e04e6c4234549a55f077d1
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.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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.30/0.36	c [STEP] preprocessing with Papilo
0.49/0.57	c [STEP] solving with SCIP
300.26/301.26	c [STEP] preprocessing done, loading into solver
300.56/301.53	c [STEP] solving
300.56/301.53	c #variables 40337 #constraints 154248
300.56/301.53	c SMALL=int, LARGE=long long
300.56/301.53	d SCIPUB 28
300.56/301.53	c bounds - >= 0 @ 300.097
300.56/301.53	c stratification level: 0
1479.18/1483.58	c bounds - >= 1 @ 300.227
1479.18/1483.58	c bounds - >= 2 @ 300.232
1479.18/1483.58	c bounds - >= 3 @ 300.353
1479.18/1483.58	c bounds - >= 4 @ 300.356
1479.18/1483.58	c bounds - >= 5 @ 300.361
1479.18/1483.58	c bounds - >= 6 @ 300.368
1479.18/1483.58	c #Conflicts:       1000 | #Constraints:     155258
1479.18/1483.58	c #Conflicts:       2000 | #Constraints:     156258
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:       3000 | #Constraints:     156275
1479.18/1483.58	c #Conflicts:       4000 | #Constraints:     157275
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:       5000 | #Constraints:     156698
1479.18/1483.58	c #Conflicts:       6000 | #Constraints:     157698
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:       7000 | #Constraints:     156737
1479.18/1483.58	c #Conflicts:       8000 | #Constraints:     157737
1479.18/1483.58	c #Conflicts:       9000 | #Constraints:     158737
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      10000 | #Constraints:     157430
1479.18/1483.58	c #Conflicts:      11000 | #Constraints:     158430
1479.18/1483.58	c #Conflicts:      12000 | #Constraints:     159430
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      13000 | #Constraints:     157849
1479.18/1483.58	c #Conflicts:      14000 | #Constraints:     158849
1479.18/1483.58	c #Conflicts:      15000 | #Constraints:     159849
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      16000 | #Constraints:     158083
1479.18/1483.58	c #Conflicts:      17000 | #Constraints:     159083
1479.18/1483.58	c #Conflicts:      18000 | #Constraints:     160083
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      19000 | #Constraints:     158086
1479.18/1483.58	c #Conflicts:      20000 | #Constraints:     159086
1479.18/1483.58	c #Conflicts:      21000 | #Constraints:     160086
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      22000 | #Constraints:     157927
1479.18/1483.58	c #Conflicts:      23000 | #Constraints:     158927
1479.18/1483.58	c #Conflicts:      24000 | #Constraints:     159927
1479.18/1483.58	c #Conflicts:      25000 | #Constraints:     160927
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      26000 | #Constraints:     158522
1479.18/1483.58	c #Conflicts:      27000 | #Constraints:     159522
1479.18/1483.58	c #Conflicts:      28000 | #Constraints:     160522
1479.18/1483.58	c #Conflicts:      29000 | #Constraints:     161522
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      30000 | #Constraints:     158915
1479.18/1483.58	c #Conflicts:      31000 | #Constraints:     159915
1479.18/1483.58	c #Conflicts:      32000 | #Constraints:     160915
1479.18/1483.58	c #Conflicts:      33000 | #Constraints:     161915
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      34000 | #Constraints:     159146
1479.18/1483.58	c #Conflicts:      35000 | #Constraints:     160146
1479.18/1483.58	c #Conflicts:      36000 | #Constraints:     161146
1479.18/1483.58	c #Conflicts:      37000 | #Constraints:     162146
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      38000 | #Constraints:     159139
1479.18/1483.58	c #Conflicts:      39000 | #Constraints:     160139
1479.18/1483.58	c #Conflicts:      40000 | #Constraints:     161139
1479.18/1483.58	c #Conflicts:      41000 | #Constraints:     162139
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      42000 | #Constraints:     158965
1479.18/1483.58	c #Conflicts:      43000 | #Constraints:     159965
1479.18/1483.58	c #Conflicts:      44000 | #Constraints:     160965
1479.18/1483.58	c #Conflicts:      45000 | #Constraints:     161965
1479.18/1483.58	c #Conflicts:      46000 | #Constraints:     162965
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      47000 | #Constraints:     159579
1479.18/1483.58	c #Conflicts:      48000 | #Constraints:     160579
1479.18/1483.58	c #Conflicts:      49000 | #Constraints:     161579
1479.18/1483.58	c #Conflicts:      50000 | #Constraints:     162579
1479.18/1483.58	c #Conflicts:      51000 | #Constraints:     163579
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      52000 | #Constraints:     159978
1479.18/1483.58	c #Conflicts:      53000 | #Constraints:     160978
1479.18/1483.58	c #Conflicts:      54000 | #Constraints:     161978
1479.18/1483.58	c #Conflicts:      55000 | #Constraints:     162978
1479.18/1483.58	c #Conflicts:      56000 | #Constraints:     163978
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      57000 | #Constraints:     160206
1479.18/1483.58	c #Conflicts:      58000 | #Constraints:     161206
1479.18/1483.58	c #Conflicts:      59000 | #Constraints:     162206
1479.18/1483.58	c #Conflicts:      60000 | #Constraints:     163206
1479.18/1483.58	c #Conflicts:      61000 | #Constraints:     164206
1479.18/1483.58	c INPROCESSING
1479.18/1483.58	c GARBAGE COLLECT
1479.18/1483.58	c #Conflicts:      62000 | #Constraints:     160204
1479.18/1483.58	c #Conflicts:      63000 | #Constraints:     161204
1479.18/1483.58	c #Conflicts:      64000 | #Constraints:     162204
1479.18/1483.58	c #Conflicts:      65000 | #Constraints:     163204
3600.02/3610.61	c #Conflicts:      66000 | #Constraints:     164204
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:      67000 | #Constraints:     159995
3600.02/3610.61	c #Conflicts:      68000 | #Constraints:     160995
3600.02/3610.61	c #Conflicts:      69000 | #Constraints:     161995
3600.02/3610.61	c #Conflicts:      70000 | #Constraints:     162995
3600.02/3610.61	c #Conflicts:      71000 | #Constraints:     163995
3600.02/3610.61	c #Conflicts:      72000 | #Constraints:     164995
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:      73000 | #Constraints:     160705
3600.02/3610.61	c #Conflicts:      74000 | #Constraints:     161705
3600.02/3610.61	c #Conflicts:      75000 | #Constraints:     162705
3600.02/3610.61	c #Conflicts:      76000 | #Constraints:     163705
3600.02/3610.61	c #Conflicts:      77000 | #Constraints:     164705
3600.02/3610.61	c #Conflicts:      78000 | #Constraints:     165705
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:      79000 | #Constraints:     161073
3600.02/3610.61	c #Conflicts:      80000 | #Constraints:     162073
3600.02/3610.61	c #Conflicts:      81000 | #Constraints:     163073
3600.02/3610.61	c #Conflicts:      82000 | #Constraints:     164073
3600.02/3610.61	c #Conflicts:      83000 | #Constraints:     165073
3600.02/3610.61	c #Conflicts:      84000 | #Constraints:     166073
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:      85000 | #Constraints:     161414
3600.02/3610.61	c #Conflicts:      86000 | #Constraints:     162414
3600.02/3610.61	c #Conflicts:      87000 | #Constraints:     163414
3600.02/3610.61	c #Conflicts:      88000 | #Constraints:     164414
3600.02/3610.61	c #Conflicts:      89000 | #Constraints:     165414
3600.02/3610.61	c #Conflicts:      90000 | #Constraints:     166414
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:      91000 | #Constraints:     161457
3600.02/3610.61	c #Conflicts:      92000 | #Constraints:     162457
3600.02/3610.61	c #Conflicts:      93000 | #Constraints:     163457
3600.02/3610.61	c #Conflicts:      94000 | #Constraints:     164457
3600.02/3610.61	c #Conflicts:      95000 | #Constraints:     165457
3600.02/3610.61	c #Conflicts:      96000 | #Constraints:     166457
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:      97000 | #Constraints:     161351
3600.02/3610.61	c #Conflicts:      98000 | #Constraints:     162351
3600.02/3610.61	c #Conflicts:      99000 | #Constraints:     163351
3600.02/3610.61	c #Conflicts:     100000 | #Constraints:     164351
3600.02/3610.61	c #Conflicts:     101000 | #Constraints:     165351
3600.02/3610.61	c #Conflicts:     102000 | #Constraints:     166351
3600.02/3610.61	c #Conflicts:     103000 | #Constraints:     167351
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     104000 | #Constraints:     161927
3600.02/3610.61	c #Conflicts:     105000 | #Constraints:     162927
3600.02/3610.61	c #Conflicts:     106000 | #Constraints:     163927
3600.02/3610.61	c #Conflicts:     107000 | #Constraints:     164927
3600.02/3610.61	c #Conflicts:     108000 | #Constraints:     165927
3600.02/3610.61	c #Conflicts:     109000 | #Constraints:     166927
3600.02/3610.61	c #Conflicts:     110000 | #Constraints:     167927
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     111000 | #Constraints:     162282
3600.02/3610.61	c #Conflicts:     112000 | #Constraints:     163282
3600.02/3610.61	c #Conflicts:     113000 | #Constraints:     164282
3600.02/3610.61	c #Conflicts:     114000 | #Constraints:     165282
3600.02/3610.61	c #Conflicts:     115000 | #Constraints:     166282
3600.02/3610.61	c #Conflicts:     116000 | #Constraints:     167282
3600.02/3610.61	c #Conflicts:     117000 | #Constraints:     168282
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     118000 | #Constraints:     162397
3600.02/3610.61	c #Conflicts:     119000 | #Constraints:     163397
3600.02/3610.61	c #Conflicts:     120000 | #Constraints:     164397
3600.02/3610.61	c #Conflicts:     121000 | #Constraints:     165397
3600.02/3610.61	c #Conflicts:     122000 | #Constraints:     166397
3600.02/3610.61	c #Conflicts:     123000 | #Constraints:     167397
3600.02/3610.61	c #Conflicts:     124000 | #Constraints:     168397
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     125000 | #Constraints:     162459
3600.02/3610.61	c #Conflicts:     126000 | #Constraints:     163459
3600.02/3610.61	c #Conflicts:     127000 | #Constraints:     164459
3600.02/3610.61	c #Conflicts:     128000 | #Constraints:     165459
3600.02/3610.61	c #Conflicts:     129000 | #Constraints:     166459
3600.02/3610.61	c #Conflicts:     130000 | #Constraints:     167459
3600.02/3610.61	c #Conflicts:     131000 | #Constraints:     168459
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c Program interrupted by user.
3600.02/3610.61	c cpu time 3595.12 s
3600.02/3610.61	c deterministic time 1418631070904 1.42e+12
3600.02/3610.61	c optimization time 6.57127 s
3600.02/3610.61	c total solve time 3288.46 s
3600.02/3610.61	c core-guided solve time 3288.46 s
3600.02/3610.61	c propagation time 2479.33 s
3600.02/3610.61	c conflict analysis time 769.434 s
3600.02/3610.61	c propagations 473973040
3600.02/3610.61	c resolve steps 5034901
3600.02/3610.61	c decisions 4118933
3600.02/3610.61	c conflicts 131848
3600.02/3610.61	c restarts 362
3600.02/3610.61	c inprocessing phases 28
3600.02/3610.61	c input clauses 154248
3600.02/3610.61	c input cardinalities 7
3600.02/3610.61	c input general constraints 0
3600.02/3610.61	c input average constraint length 2.61
3600.02/3610.61	c input average constraint degree 1.02
3600.02/3610.61	c learned clauses 55574
3600.02/3610.61	c learned cardinalities 246
3600.02/3610.61	c learned general constraints 76031
3600.02/3610.61	c learned average constraint length 7630.87
3600.02/3610.61	c learned average constraint degree 12206174.05
3600.02/3610.61	c watched constraints 75720
3600.02/3610.61	c counting constraints 311
3600.02/3610.61	c gcd simplifications 667
3600.02/3610.61	c detected cardinalities 0
3600.02/3610.61	c weakened non-implied lits 81015755
3600.02/3610.61	c weakened non-implying lits 7746
3600.02/3610.61	c original variables 40363
3600.02/3610.61	c clausal propagations 437173803
3600.02/3610.61	c cardinality propagations 244612
3600.02/3610.61	c watched propagations 35530890
3600.02/3610.61	c counting propagations 402244
3600.02/3610.61	c watch lookups 1914514293
3600.02/3610.61	c watch backjump lookups 1082042248
3600.02/3610.61	c watch checks 901504526352
3600.02/3610.61	c propagation checks 506636087725
3600.02/3610.61	c constraint additions 6537622711
3600.02/3610.61	c trail pops 478185601
3600.02/3610.61	c formula constraints 154248
3600.02/3610.61	c learned constraints 131851
3600.02/3610.61	c bound constraints 7
3600.02/3610.61	c core-guided constraints 0
3600.02/3610.61	c encountered formula constraints 4089565
3600.02/3610.61	c encountered learned constraints 1077153
3600.02/3610.61	c encountered bound constraints 31
3600.02/3610.61	c encountered core-guided constraints 0
3600.02/3610.61	c LP total time 0 s
3600.02/3610.61	c LP solve time 0 s
3600.02/3610.61	c LP constraints added 0
3600.02/3610.61	c LP constraints removed 0
3600.02/3610.61	c LP pivots internal 0
3600.02/3610.61	c LP pivots root 0
3600.02/3610.61	c LP calls 0
3600.02/3610.61	c LP optimalities 0
3600.02/3610.61	c LP no pivot count 0
3600.02/3610.61	c LP infeasibilities 0
3600.02/3610.61	c LP valid Farkas constraints 0
3600.02/3610.61	c LP learned Farkas constraints 0
3600.02/3610.61	c LP basis resets 0
3600.02/3610.61	c LP cycling count 0
3600.02/3610.61	c LP singular count 0
3600.02/3610.61	c LP no primal count 0
3600.02/3610.61	c LP no farkas count 0
3600.02/3610.61	c LP other issue count 0
3600.02/3610.61	c LP Gomory cuts 0
3600.02/3610.61	c LP learned cuts 0
3600.02/3610.61	c LP deleted cuts 0
3600.02/3610.61	c LP encountered Gomory constraints 0
3600.02/3610.61	c LP encountered Farkas constraints 0
3600.02/3610.61	c LP encountered learned Farkas constraints 0
3600.02/3610.61	c CG auxiliary variables introduced 0
3600.02/3610.61	c CG solutions found 0
3600.02/3610.61	c CG cores constructed 6
3600.02/3610.61	c CG core cardinality constraints returned 0
3600.02/3610.61	c CG unit cores 0
3600.02/3610.61	c CG single cores 6
3600.02/3610.61	c CG blocks removed during cardinality reduction 0
3600.02/3610.61	c CG first core best 0
3600.02/3610.61	c CG decision core best 0
3600.02/3610.61	c CG core reduction tie 0
3600.02/3610.61	c CG core degree average 1.00
3600.02/3610.61	c CG core slack average 105.33
3600.02/3610.61	c CG exhausted 0
3600.02/3610.61	c CG exhaust time 0 s
3600.02/3610.61	c CG trimmed 0
3600.02/3610.61	c CG trim time 0.007165 s
3600.02/3610.61	c CG minimized 0
3600.02/3610.61	c CG minimize time 0 s
3600.02/3610.61	c CG am1 prop time 0.01124 s
3600.02/3610.61	c CG # am1s reformulated 0
3600.02/3610.61	c CG lower bound derived from am1s 0
3600.02/3610.61	c CG # clausal cores 6
3600.02/3610.61	c CG # cardinality cores 0
3600.02/3610.61	c CG # pb cores 0
3600.02/3610.61	c CG # pb reforms 0
3600.02/3610.61	c CG # cores discarded because of pb reform 0
3600.02/3610.61	d LOWERBOUND 6
3600.02/3610.61	d NCORES 6
3600.02/3610.61	d NPBCORES 0
3600.02/3610.61	d NPBREFORM 0
3600.02/3610.61	d NTRIMMED 0
3600.02/3610.61	d NEXHAUSTED 0
3600.02/3610.61	d NAM1S 0
3600.02/3610.61	d AM1LB 0
3600.02/3610.61	c [Papilo Statistics]
3600.02/3610.61	c prepro time 0.20848s
3600.02/3610.61	c # tsx applied 66
3600.02/3610.61	c # tsx conflicts 0
3600.02/3610.61	c # bound changes 5
3600.02/3610.61	c # side changes 44
3600.02/3610.61	c # coef changes 154
3600.02/3610.61	c # rounds 2
3600.02/3610.61	c # deted vars 27
3600.02/3610.61	c # deted constrs 71
3600.02/3610.61	c # consecutive rounds of only bound changes 0
3600.02/3610.62	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: 63665 MiB (58696 MiB free)
  memory of node 1: 64507 MiB (52858 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529013-1752258236/watcher-4529013-1752258236 -o /tmp/evaluation-result-4529013-1752258236/solver-4529013-1752258236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123321 --watchdog 3760 mixed-bag HOME/instance-4529013-1752258236.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=124507, runsolver pid=124504

[startup+0.100056 s]*
/proc/loadavg: 3.55 1.95 2.03 5/265 124508
/proc/meminfo: memFree=114220288/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=98836 memory=24608 CPUtime=0.08 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 4293 0 0 0 8 0 0 0 20 0 1 0 141501553 101208064 6152 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 24709 6152 2112 2834 0 7461 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 98836 KiB
Current children cumulated memory: 24608 KiB

[startup+0.205367 s]*
/proc/loadavg: 3.55 1.95 2.03 5/265 124508
/proc/meminfo: memFree=114216192/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=102932 memory=31760 CPUtime=0.2 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 5053 0 0 0 19 1 0 0 20 0 1 0 141501553 105402368 7940 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 25733 7940 2112 2834 0 8485 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102932 KiB
Current children cumulated memory: 31760 KiB

[startup+0.305256 s]*
/proc/loadavg: 3.55 1.95 2.03 5/265 124508
/proc/meminfo: memFree=114208000/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=111124 memory=36640 CPUtime=0.3 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 5767 0 0 0 29 1 0 0 20 0 1 0 141501553 113790976 9160 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 27781 9160 2112 2834 0 10533 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111124 KiB
Current children cumulated memory: 36640 KiB

[startup+0.700175 s]
/proc/loadavg: 3.55 1.95 2.03 5/265 124508
/proc/meminfo: memFree=114135288/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=314648 memory=240356 CPUtime=0.69 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 47321 0 0 0 61 8 0 0 20 0 1 0 141501553 322199552 60089 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 78662 60089 3904 2834 0 60867 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 314648 KiB
Current children cumulated memory: 240356 KiB

[startup+1.50017 s]
/proc/loadavg: 3.55 1.95 2.03 5/265 124508
/proc/meminfo: memFree=113877492/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=490328 memory=408552 CPUtime=1.48 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 91376 0 0 0 133 15 0 0 20 0 1 0 141501553 502095872 102138 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 122582 102138 3968 2834 0 104787 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 490328 KiB
Current children cumulated memory: 408552 KiB

[startup+3.10538 s]
/proc/loadavg: 3.58 1.98 2.04 5/265 124508
/proc/meminfo: memFree=113735972/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=563992 memory=482408 CPUtime=3.08 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 109796 0 0 0 290 18 0 0 20 0 1 0 141501553 577527808 120602 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 140998 120602 4032 2834 0 123203 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 563992 KiB
Current children cumulated memory: 482408 KiB

[startup+6.30017 s]
/proc/loadavg: 3.58 1.98 2.04 5/265 124508
/proc/meminfo: memFree=113598884/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=788208 memory=653024 CPUtime=6.26 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 147018 0 0 0 601 25 0 0 20 0 1 0 141501553 807124992 163256 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 197052 163256 4096 2834 0 179257 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 788208 KiB
Current children cumulated memory: 653024 KiB

[startup+12.7001 s]
/proc/loadavg: 3.62 2.01 2.05 5/265 124508
/proc/meminfo: memFree=113279752/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1059540 memory=912596 CPUtime=12.64 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 214954 0 0 0 1228 36 0 0 20 0 1 0 141501553 1084968960 228149 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 264885 228149 4256 2834 0 247090 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1059540 KiB
Current children cumulated memory: 912596 KiB

[startup+25.5002 s]
/proc/loadavg: 3.85 2.14 2.09 5/265 124508
/proc/meminfo: memFree=113274672/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1059540 memory=914772 CPUtime=25.4 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 215802 0 0 0 2504 36 0 0 20 0 1 0 141501553 1084968960 228693 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 264885 228693 4256 2834 0 247090 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1059540 KiB
Current children cumulated memory: 914772 KiB

[startup+51.1054 s]
/proc/loadavg: 3.90 2.29 2.14 5/265 124509
/proc/meminfo: memFree=113216828/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1119892 memory=935892 CPUtime=50.93 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 221075 0 0 0 5055 38 0 0 20 0 1 0 141501553 1146769408 233973 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 279973 233973 4256 2834 0 262178 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1119892 KiB
Current children cumulated memory: 935892 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 2.57 2.25 5/265 124511
/proc/meminfo: memFree=113156052/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1173520 memory=955684 CPUtime=101.96 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 225559 0 0 0 10158 38 0 0 20 0 1 0 141501553 1201684480 238921 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 293380 238921 4256 2834 0 275585 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1173520 KiB
Current children cumulated memory: 955684 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 2.85 2.37 5/265 124513
/proc/meminfo: memFree=113046316/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1178516 memory=960036 CPUtime=161.77 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 226644 0 0 0 16138 39 0 0 20 0 1 0 141501553 1206800384 240009 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 294629 240009 4256 2834 0 276834 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1178516 KiB
Current children cumulated memory: 960036 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.08 2.48 5/263 124515
/proc/meminfo: memFree=113049476/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1181676 memory=964388 CPUtime=221.6 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 227726 0 0 0 22121 39 0 0 20 0 1 0 141501553 1210036224 241097 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 295419 241097 4256 2834 0 277624 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1181676 KiB
Current children cumulated memory: 964388 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.28 2.59 5/262 124519
/proc/meminfo: memFree=113111512/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1184136 memory=966868 CPUtime=281.41 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 227862 0 0 0 28102 39 0 0 20 0 1 0 141501553 1212555264 241717 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 296034 241717 4256 2834 0 278239 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1184136 KiB
Current children cumulated memory: 966868 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.43 2.68 5/263 124526
/proc/meminfo: memFree=112585620/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1160840 memory=1041688 CPUtime=341.25 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 232718 0 0 0 34063 62 0 0 20 0 1 0 141501553 1188700160 260422 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 290210 260422 4416 2834 0 272415 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1160840 KiB
Current children cumulated memory: 1041688 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 3.57 2.78 5/264 124529
/proc/meminfo: memFree=112097592/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1242228 memory=1092924 CPUtime=401.08 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 233262 0 0 0 40035 73 0 0 20 0 1 0 141501553 1272041472 273231 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 310557 273231 4416 2834 0 292762 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1242228 KiB
Current children cumulated memory: 1092924 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.66 2.86 5/264 124531
/proc/meminfo: memFree=111225056/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1242228 memory=1111356 CPUtime=460.92 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 233340 0 0 0 46006 86 0 0 20 0 1 0 141501553 1272041472 277839 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 310557 277839 4416 2834 0 292762 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 1491404 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.16 4.08 5/264 124740
/proc/meminfo: memFree=111785180/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1491916 CPUtime=2853.9 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235816 0 0 0 284991 399 0 0 20 0 1 0 141501553 1985187840 372979 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 372979 4416 2834 0 466870 0
Current children cumulated CPU time: 2853.9 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1491916 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/264 124742
/proc/meminfo: memFree=111763704/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1492172 CPUtime=2913.72 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235818 0 0 0 290966 406 0 0 20 0 1 0 141501553 1985187840 373043 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 373043 4416 2834 0 466870 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1492172 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/263 124744
/proc/meminfo: memFree=111752756/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1493452 CPUtime=2973.54 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235820 0 0 0 296938 416 0 0 20 0 1 0 141501553 1985187840 373363 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 373363 4416 2834 0 466870 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1493452 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/262 124746
/proc/meminfo: memFree=111755056/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1494860 CPUtime=3033.36 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235831 0 0 0 302913 423 0 0 20 0 1 0 141501553 1985187840 373715 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 373715 4416 2834 0 466870 0
Current children cumulated CPU time: 3033.36 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1494860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/262 124747
/proc/meminfo: memFree=111755972/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1494860 CPUtime=3093.18 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235932 0 0 0 308887 431 0 0 20 0 1 0 141501553 1985187840 373715 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 373715 4416 2834 0 466870 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1494860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 124749
/proc/meminfo: memFree=111734284/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1514188 CPUtime=3153.01 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235937 0 0 0 314862 439 0 0 20 0 1 0 141501553 1985187840 378547 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 378547 4416 2834 0 466870 0
Current children cumulated CPU time: 3153.01 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1514188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.11 4.08 5/262 124751
/proc/meminfo: memFree=111730112/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3212.82 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235947 0 0 0 320836 446 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3212.82 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/263 124756
/proc/meminfo: memFree=111731412/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3272.65 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235962 0 0 0 326812 453 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 124762
/proc/meminfo: memFree=111732652/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3332.47 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235975 0 0 0 332787 460 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 124767
/proc/meminfo: memFree=111742512/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3392.29 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235995 0 0 0 338761 468 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 124769
/proc/meminfo: memFree=111754540/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3452.13 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 235995 0 0 0 344739 474 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/265 124816
/proc/meminfo: memFree=110322300/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3511.96 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 236280 0 0 0 350716 480 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 124818
/proc/meminfo: memFree=109352932/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3571.79 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 236360 0 0 0 356692 487 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 124865
/proc/meminfo: memFree=106584012/131249996 swapFree=33010684/33010684
[pid=124507] ppid=124504 vsize=1938660 memory=1519308 CPUtime=3600.02 cores=0,2
/proc/124507/stat : 124507 (mixed-bag) R 124504 124507 123311 0 -1 4194304 236397 0 0 0 359511 491 0 0 20 0 1 0 141501553 1985187840 379827 18446744073709551615 4235264 15840557 140726625914992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45719552 140726625921434 140726625921511 140726625921511 140726625927115 0
/proc/124507/statm: 484665 379827 4416 2834 0 466870 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1938660 KiB
Current children cumulated memory: 1519308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.13 s, system=4.91679 s

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

Child status: 0

Real time (s): 3610.63
CPU time (s): 3600.05
CPU user time (s): 3595.13
CPU system time (s): 4.91679
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 1938660
Max. memory (cumulated for all children) (KiB): 1519308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.13
system time used= 4.91679
maximum resident set size= 1520260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236431
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= 169
involuntary context switches= 8124


# summary of solver processes directly reported to runsolver:
#   pid: 124507
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3595.13
#   total CPU system time (s): 4.91679

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39821 second user time and 15.5673 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-11 20:23:57
IDJOB=4529013
IDBENCH=148186
IDSOLVER=3386
FILE ID=nodeC024/4529013-1752258236
RUNJOBID= nodeC024-1752258128-123321
SLURM_JOB_ID= 9682612
Free space on /tmp= 432292 MiB

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

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=618129898

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        114232636 kB
MemAvailable:   127341464 kB
Buffers:            2144 kB
Cached:         13872536 kB
SwapCached:            0 kB
Active:          2976008 kB
Inactive:       13291876 kB
Active(anon):    2411232 kB
Inactive(anon):       36 kB
Active(file):     564776 kB
Inactive(file): 13291840 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19904 kB
Writeback:             0 kB
AnonPages:       2395308 kB
Mapped:           139564 kB
Shmem:             18064 kB
KReclaimable:     182500 kB
Slab:             276352 kB
SReclaimable:     182500 kB
SUnreclaim:        93852 kB
KernelStack:        4336 kB
PageTables:         8088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2977056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:    542720 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432060 MiB
End job on nodeC024 at 2025-07-11 21:24:07