Trace number 4497459

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-05-06? (TO) 3600.03 3609.91

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.28/0.37	c [STEP] preprocessing with Papilo
0.48/0.59	c [STEP] solving with SCIP
300.27/301.27	c [STEP] preprocessing done, loading into solver
300.57/301.54	c [STEP] solving
300.57/301.54	c #variables 40337 #constraints 154248
300.57/301.54	c SMALL=int, LARGE=long long
300.57/301.54	d SCIPUB 28
300.57/301.54	c bounds - >= 0 @ 300.158
300.57/301.54	c stratification level: 0
1481.58/1485.77	c bounds - >= 1 @ 300.282
1481.58/1485.77	c bounds - >= 2 @ 300.287
1481.58/1485.77	c bounds - >= 3 @ 300.404
1481.58/1485.77	c bounds - >= 4 @ 300.409
1481.58/1485.77	c bounds - >= 5 @ 300.412
1481.58/1485.77	c bounds - >= 6 @ 300.421
1481.58/1485.77	c #Conflicts:       1000 | #Constraints:     155258
1481.58/1485.77	c #Conflicts:       2000 | #Constraints:     156258
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:       3000 | #Constraints:     156275
1481.58/1485.77	c #Conflicts:       4000 | #Constraints:     157275
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:       5000 | #Constraints:     156698
1481.58/1485.77	c #Conflicts:       6000 | #Constraints:     157698
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:       7000 | #Constraints:     156737
1481.58/1485.77	c #Conflicts:       8000 | #Constraints:     157737
1481.58/1485.77	c #Conflicts:       9000 | #Constraints:     158737
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      10000 | #Constraints:     157430
1481.58/1485.77	c #Conflicts:      11000 | #Constraints:     158430
1481.58/1485.77	c #Conflicts:      12000 | #Constraints:     159430
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      13000 | #Constraints:     157849
1481.58/1485.77	c #Conflicts:      14000 | #Constraints:     158849
1481.58/1485.77	c #Conflicts:      15000 | #Constraints:     159849
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      16000 | #Constraints:     158083
1481.58/1485.77	c #Conflicts:      17000 | #Constraints:     159083
1481.58/1485.77	c #Conflicts:      18000 | #Constraints:     160083
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      19000 | #Constraints:     158086
1481.58/1485.77	c #Conflicts:      20000 | #Constraints:     159086
1481.58/1485.77	c #Conflicts:      21000 | #Constraints:     160086
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      22000 | #Constraints:     157927
1481.58/1485.77	c #Conflicts:      23000 | #Constraints:     158927
1481.58/1485.77	c #Conflicts:      24000 | #Constraints:     159927
1481.58/1485.77	c #Conflicts:      25000 | #Constraints:     160927
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      26000 | #Constraints:     158522
1481.58/1485.77	c #Conflicts:      27000 | #Constraints:     159522
1481.58/1485.77	c #Conflicts:      28000 | #Constraints:     160522
1481.58/1485.77	c #Conflicts:      29000 | #Constraints:     161522
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      30000 | #Constraints:     158915
1481.58/1485.77	c #Conflicts:      31000 | #Constraints:     159915
1481.58/1485.77	c #Conflicts:      32000 | #Constraints:     160915
1481.58/1485.77	c #Conflicts:      33000 | #Constraints:     161915
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      34000 | #Constraints:     159146
1481.58/1485.77	c #Conflicts:      35000 | #Constraints:     160146
1481.58/1485.77	c #Conflicts:      36000 | #Constraints:     161146
1481.58/1485.77	c #Conflicts:      37000 | #Constraints:     162146
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      38000 | #Constraints:     159139
1481.58/1485.77	c #Conflicts:      39000 | #Constraints:     160139
1481.58/1485.77	c #Conflicts:      40000 | #Constraints:     161139
1481.58/1485.77	c #Conflicts:      41000 | #Constraints:     162139
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      42000 | #Constraints:     158965
1481.58/1485.77	c #Conflicts:      43000 | #Constraints:     159965
1481.58/1485.77	c #Conflicts:      44000 | #Constraints:     160965
1481.58/1485.77	c #Conflicts:      45000 | #Constraints:     161965
1481.58/1485.77	c #Conflicts:      46000 | #Constraints:     162965
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      47000 | #Constraints:     159579
1481.58/1485.77	c #Conflicts:      48000 | #Constraints:     160579
1481.58/1485.77	c #Conflicts:      49000 | #Constraints:     161579
1481.58/1485.77	c #Conflicts:      50000 | #Constraints:     162579
1481.58/1485.77	c #Conflicts:      51000 | #Constraints:     163579
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      52000 | #Constraints:     159978
1481.58/1485.77	c #Conflicts:      53000 | #Constraints:     160978
1481.58/1485.77	c #Conflicts:      54000 | #Constraints:     161978
1481.58/1485.77	c #Conflicts:      55000 | #Constraints:     162978
1481.58/1485.77	c #Conflicts:      56000 | #Constraints:     163978
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      57000 | #Constraints:     160206
1481.58/1485.77	c #Conflicts:      58000 | #Constraints:     161206
1481.58/1485.77	c #Conflicts:      59000 | #Constraints:     162206
1481.58/1485.77	c #Conflicts:      60000 | #Constraints:     163206
1481.58/1485.77	c #Conflicts:      61000 | #Constraints:     164206
1481.58/1485.77	c INPROCESSING
1481.58/1485.77	c GARBAGE COLLECT
1481.58/1485.77	c #Conflicts:      62000 | #Constraints:     160204
1481.58/1485.77	c #Conflicts:      63000 | #Constraints:     161204
1481.58/1485.77	c #Conflicts:      64000 | #Constraints:     162204
1481.58/1485.77	c #Conflicts:      65000 | #Constraints:     163204
3600.01/3609.90	c #Conflicts:      66000 | #Constraints:     164204
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:      67000 | #Constraints:     159995
3600.01/3609.90	c #Conflicts:      68000 | #Constraints:     160995
3600.01/3609.90	c #Conflicts:      69000 | #Constraints:     161995
3600.01/3609.90	c #Conflicts:      70000 | #Constraints:     162995
3600.01/3609.90	c #Conflicts:      71000 | #Constraints:     163995
3600.01/3609.90	c #Conflicts:      72000 | #Constraints:     164995
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:      73000 | #Constraints:     160705
3600.01/3609.90	c #Conflicts:      74000 | #Constraints:     161705
3600.01/3609.90	c #Conflicts:      75000 | #Constraints:     162705
3600.01/3609.90	c #Conflicts:      76000 | #Constraints:     163705
3600.01/3609.90	c #Conflicts:      77000 | #Constraints:     164705
3600.01/3609.90	c #Conflicts:      78000 | #Constraints:     165705
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:      79000 | #Constraints:     161073
3600.01/3609.90	c #Conflicts:      80000 | #Constraints:     162073
3600.01/3609.90	c #Conflicts:      81000 | #Constraints:     163073
3600.01/3609.90	c #Conflicts:      82000 | #Constraints:     164073
3600.01/3609.90	c #Conflicts:      83000 | #Constraints:     165073
3600.01/3609.90	c #Conflicts:      84000 | #Constraints:     166073
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:      85000 | #Constraints:     161414
3600.01/3609.90	c #Conflicts:      86000 | #Constraints:     162414
3600.01/3609.90	c #Conflicts:      87000 | #Constraints:     163414
3600.01/3609.90	c #Conflicts:      88000 | #Constraints:     164414
3600.01/3609.90	c #Conflicts:      89000 | #Constraints:     165414
3600.01/3609.90	c #Conflicts:      90000 | #Constraints:     166414
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:      91000 | #Constraints:     161457
3600.01/3609.90	c #Conflicts:      92000 | #Constraints:     162457
3600.01/3609.90	c #Conflicts:      93000 | #Constraints:     163457
3600.01/3609.90	c #Conflicts:      94000 | #Constraints:     164457
3600.01/3609.90	c #Conflicts:      95000 | #Constraints:     165457
3600.01/3609.90	c #Conflicts:      96000 | #Constraints:     166457
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:      97000 | #Constraints:     161351
3600.01/3609.90	c #Conflicts:      98000 | #Constraints:     162351
3600.01/3609.90	c #Conflicts:      99000 | #Constraints:     163351
3600.01/3609.90	c #Conflicts:     100000 | #Constraints:     164351
3600.01/3609.90	c #Conflicts:     101000 | #Constraints:     165351
3600.01/3609.90	c #Conflicts:     102000 | #Constraints:     166351
3600.01/3609.90	c #Conflicts:     103000 | #Constraints:     167351
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:     104000 | #Constraints:     161927
3600.01/3609.90	c #Conflicts:     105000 | #Constraints:     162927
3600.01/3609.90	c #Conflicts:     106000 | #Constraints:     163927
3600.01/3609.90	c #Conflicts:     107000 | #Constraints:     164927
3600.01/3609.90	c #Conflicts:     108000 | #Constraints:     165927
3600.01/3609.90	c #Conflicts:     109000 | #Constraints:     166927
3600.01/3609.90	c #Conflicts:     110000 | #Constraints:     167927
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:     111000 | #Constraints:     162282
3600.01/3609.90	c #Conflicts:     112000 | #Constraints:     163282
3600.01/3609.90	c #Conflicts:     113000 | #Constraints:     164282
3600.01/3609.90	c #Conflicts:     114000 | #Constraints:     165282
3600.01/3609.90	c #Conflicts:     115000 | #Constraints:     166282
3600.01/3609.90	c #Conflicts:     116000 | #Constraints:     167282
3600.01/3609.90	c #Conflicts:     117000 | #Constraints:     168282
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:     118000 | #Constraints:     162397
3600.01/3609.90	c #Conflicts:     119000 | #Constraints:     163397
3600.01/3609.90	c #Conflicts:     120000 | #Constraints:     164397
3600.01/3609.90	c #Conflicts:     121000 | #Constraints:     165397
3600.01/3609.90	c #Conflicts:     122000 | #Constraints:     166397
3600.01/3609.90	c #Conflicts:     123000 | #Constraints:     167397
3600.01/3609.90	c #Conflicts:     124000 | #Constraints:     168397
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:     125000 | #Constraints:     162459
3600.01/3609.90	c #Conflicts:     126000 | #Constraints:     163459
3600.01/3609.90	c #Conflicts:     127000 | #Constraints:     164459
3600.01/3609.90	c #Conflicts:     128000 | #Constraints:     165459
3600.01/3609.90	c #Conflicts:     129000 | #Constraints:     166459
3600.01/3609.90	c #Conflicts:     130000 | #Constraints:     167459
3600.01/3609.90	c #Conflicts:     131000 | #Constraints:     168459
3600.01/3609.90	c INPROCESSING
3600.01/3609.90	c GARBAGE COLLECT
3600.01/3609.90	c #Conflicts:     132000 | #Constraints:     162335
3600.01/3609.90	c Program interrupted by user.
3600.01/3609.90	c cpu time 3595.24 s
3600.01/3609.90	c deterministic time 1420844396022 1.42e+12
3600.01/3609.90	c optimization time 11.64 s
3600.01/3609.90	c total solve time 3283.44 s
3600.01/3609.90	c core-guided solve time 3283.44 s
3600.01/3609.90	c propagation time 2481.71 s
3600.01/3609.90	c conflict analysis time 767.055 s
3600.01/3609.90	c propagations 474706470
3600.01/3609.90	c resolve steps 5040832
3600.01/3609.90	c decisions 4120644
3600.01/3609.90	c conflicts 132017
3600.01/3609.90	c restarts 362
3600.01/3609.90	c inprocessing phases 28
3600.01/3609.90	c input clauses 154248
3600.01/3609.90	c input cardinalities 7
3600.01/3609.90	c input general constraints 0
3600.01/3609.90	c input average constraint length 2.61
3600.01/3609.90	c input average constraint degree 1.02
3600.01/3609.90	c learned clauses 55632
3600.01/3609.90	c learned cardinalities 246
3600.01/3609.90	c learned general constraints 76142
3600.01/3609.90	c learned average constraint length 7631.33
3600.01/3609.90	c learned average constraint degree 12191527.74
3600.01/3609.90	c watched constraints 75831
3600.01/3609.90	c counting constraints 311
3600.01/3609.90	c gcd simplifications 667
3600.01/3609.90	c detected cardinalities 0
3600.01/3609.90	c weakened non-implied lits 81081734
3600.01/3609.90	c weakened non-implying lits 7749
3600.01/3609.90	c original variables 40363
3600.01/3609.90	c clausal propagations 437841750
3600.01/3609.90	c cardinality propagations 244639
3600.01/3609.90	c watched propagations 35595799
3600.01/3609.90	c counting propagations 402452
3600.01/3609.90	c watch lookups 1916885027
3600.01/3609.90	c watch backjump lookups 1083328304
3600.01/3609.90	c watch checks 902555183070
3600.01/3609.90	c propagation checks 507781315350
3600.01/3609.90	c constraint additions 6549935457
3600.01/3609.90	c trail pops 478921699
3600.01/3609.90	c formula constraints 154248
3600.01/3609.90	c learned constraints 132020
3600.01/3609.90	c bound constraints 7
3600.01/3609.90	c core-guided constraints 0
3600.01/3609.90	c encountered formula constraints 4093532
3600.01/3609.90	c encountered learned constraints 1079286
3600.01/3609.90	c encountered bound constraints 31
3600.01/3609.90	c encountered core-guided constraints 0
3600.01/3609.90	c LP total time 0 s
3600.01/3609.90	c LP solve time 0 s
3600.01/3609.90	c LP constraints added 0
3600.01/3609.90	c LP constraints removed 0
3600.01/3609.90	c LP pivots internal 0
3600.01/3609.90	c LP pivots root 0
3600.01/3609.90	c LP calls 0
3600.01/3609.90	c LP optimalities 0
3600.01/3609.90	c LP no pivot count 0
3600.01/3609.90	c LP infeasibilities 0
3600.01/3609.90	c LP valid Farkas constraints 0
3600.01/3609.90	c LP learned Farkas constraints 0
3600.01/3609.90	c LP basis resets 0
3600.01/3609.90	c LP cycling count 0
3600.01/3609.90	c LP singular count 0
3600.01/3609.90	c LP no primal count 0
3600.01/3609.90	c LP no farkas count 0
3600.01/3609.90	c LP other issue count 0
3600.01/3609.90	c LP Gomory cuts 0
3600.01/3609.90	c LP learned cuts 0
3600.01/3609.90	c LP deleted cuts 0
3600.01/3609.90	c LP encountered Gomory constraints 0
3600.01/3609.90	c LP encountered Farkas constraints 0
3600.01/3609.90	c LP encountered learned Farkas constraints 0
3600.01/3609.90	c CG auxiliary variables introduced 0
3600.01/3609.90	c CG solutions found 0
3600.01/3609.90	c CG cores constructed 6
3600.01/3609.90	c CG core cardinality constraints returned 0
3600.01/3609.90	c CG unit cores 0
3600.01/3609.90	c CG single cores 6
3600.01/3609.90	c CG blocks removed during cardinality reduction 0
3600.01/3609.90	c CG first core best 0
3600.01/3609.90	c CG decision core best 0
3600.01/3609.90	c CG core reduction tie 0
3600.01/3609.90	c CG core degree average 1.00
3600.01/3609.90	c CG core slack average 105.33
3600.01/3609.90	c CG exhausted 0
3600.01/3609.90	c CG exhaust time 0 s
3600.01/3609.90	c CG trimmed 0
3600.01/3609.90	c CG trim time 0.007178 s
3600.01/3609.90	c CG minimized 0
3600.01/3609.90	c CG minimize time 0 s
3600.01/3609.90	c CG am1 prop time 0.009963 s
3600.01/3609.90	c CG # am1s reformulated 0
3600.01/3609.90	c CG lower bound derived from am1s 0
3600.01/3609.90	c CG # clausal cores 6
3600.01/3609.90	c CG # cardinality cores 0
3600.01/3609.90	c CG # pb cores 0
3600.01/3609.90	c CG # pb reforms 0
3600.01/3609.90	c CG # cores discarded because of pb reform 0
3600.01/3609.90	d LOWERBOUND 6
3600.01/3609.90	d NCORES 6
3600.01/3609.90	d NPBCORES 0
3600.01/3609.90	d NPBREFORM 0
3600.01/3609.90	d NTRIMMED 0
3600.01/3609.90	d NEXHAUSTED 0
3600.01/3609.90	d NAM1S 0
3600.01/3609.90	d AM1LB 0
3600.01/3609.90	c [Papilo Statistics]
3600.01/3609.90	c prepro time 0.215845s
3600.01/3609.90	c # tsx applied 66
3600.01/3609.90	c # tsx conflicts 0
3600.01/3609.90	c # bound changes 5
3600.01/3609.90	c # side changes 44
3600.01/3609.90	c # coef changes 154
3600.01/3609.90	c # rounds 2
3600.01/3609.90	c # deted vars 27
3600.01/3609.90	c # deted constrs 71
3600.01/3609.90	c # consecutive rounds of only bound changes 0
3600.01/3609.90	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 (60765 MiB free)
  memory of node 1: 64465 MiB (60888 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497459-1751383102/watcher-4497459-1751383102 -o /tmp/evaluation-result-4497459-1751383102/solver-4497459-1751383102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60451 --watchdog 3760 mixed-bag HOME/instance-4497459-1751383102.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=62780, runsolver pid=62777

[startup+0.100061 s]*
/proc/loadavg: 4.12 4.10 4.09 5/266 62781
/proc/meminfo: memFree=124562200/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=101000 memory=22856 CPUtime=0.08 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 4303 0 0 0 8 0 0 0 20 0 1 0 53988990 103424000 5714 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 25250 5714 2176 2842 0 7483 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 22856 KiB

[startup+0.205498 s]*
/proc/loadavg: 4.12 4.10 4.09 5/266 62781
/proc/meminfo: memFree=124560436/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=105096 memory=30156 CPUtime=0.18 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 5118 0 0 0 18 0 0 0 20 0 1 0 53988990 107618304 7539 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 26274 7539 2176 2842 0 8507 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 105096 KiB
Current children cumulated memory: 30156 KiB

[startup+0.305473 s]*
/proc/loadavg: 4.12 4.10 4.09 5/266 62781
/proc/meminfo: memFree=124556340/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=113288 memory=37444 CPUtime=0.28 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 5923 0 0 0 27 1 0 0 20 0 1 0 53988990 116006912 9361 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 28322 9361 2176 2842 0 10555 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 113288 KiB
Current children cumulated memory: 37444 KiB

[startup+0.700181 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 62781
/proc/meminfo: memFree=124504172/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=292224 memory=214636 CPUtime=0.66 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 43349 0 0 0 58 8 0 0 20 0 1 0 53988990 299237376 53627 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 73056 53627 4000 2842 0 54750 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 292224 KiB
Current children cumulated memory: 214636 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 62781
/proc/meminfo: memFree=124246376/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=524236 memory=439464 CPUtime=1.47 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 95016 0 0 0 130 17 0 0 20 0 1 0 53988990 536817664 109866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 131059 109866 4064 2842 0 112753 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 524236 KiB
Current children cumulated memory: 439464 KiB

[startup+3.10551 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 62781
/proc/meminfo: memFree=124122224/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=567908 memory=483204 CPUtime=3.06 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 105452 0 0 0 288 18 0 0 20 0 1 0 53988990 581537792 120801 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 141977 120801 4096 2842 0 123671 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 567908 KiB
Current children cumulated memory: 483204 KiB

[startup+6.30016 s]
/proc/loadavg: 4.19 4.11 4.10 5/266 62781
/proc/meminfo: memFree=123925700/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=790328 memory=648148 CPUtime=6.25 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 142304 0 0 0 601 24 0 0 20 0 1 0 53988990 809295872 162037 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 197582 162037 4160 2842 0 179276 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 790328 KiB
Current children cumulated memory: 648148 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.11 4.09 5/266 62781
/proc/meminfo: memFree=123631448/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1086396 memory=932200 CPUtime=12.63 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 211246 0 0 0 1230 33 0 0 20 0 1 0 53988990 1112469504 233050 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 271599 233050 4288 2842 0 253293 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1086396 KiB
Current children cumulated memory: 932200 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 4.10 5/266 62781
/proc/meminfo: memFree=123590052/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1086396 memory=934504 CPUtime=25.39 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 212119 0 0 0 2506 33 0 0 20 0 1 0 53988990 1112469504 233626 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 271599 233626 4288 2842 0 253293 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1086396 KiB
Current children cumulated memory: 934504 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 62781
/proc/meminfo: memFree=123541888/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1120476 memory=947448 CPUtime=50.92 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 214861 0 0 0 5058 34 0 0 20 0 1 0 53988990 1147367424 236862 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 280119 236862 4288 2842 0 261813 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1120476 KiB
Current children cumulated memory: 947448 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 62784
/proc/meminfo: memFree=123486760/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1177380 memory=974884 CPUtime=101.95 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 221231 0 0 0 10160 35 0 0 20 0 1 0 53988990 1205637120 243721 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 294345 243721 4288 2842 0 276039 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1177380 KiB
Current children cumulated memory: 974884 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 62786
/proc/meminfo: memFree=123407604/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1177816 memory=975652 CPUtime=161.78 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 221440 0 0 0 16142 36 0 0 20 0 1 0 53988990 1206083584 243913 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 294454 243913 4288 2842 0 276148 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1177816 KiB
Current children cumulated memory: 975652 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 62788
/proc/meminfo: memFree=123356424/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1186828 memory=984920 CPUtime=221.59 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 222770 0 0 0 22123 36 0 0 20 0 1 0 53988990 1215311872 246230 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 296707 246230 4288 2842 0 278401 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1186828 KiB
Current children cumulated memory: 984920 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 62791
/proc/meminfo: memFree=123335076/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1186828 memory=984920 CPUtime=281.42 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 222830 0 0 0 28106 36 0 0 20 0 1 0 53988990 1215311872 246230 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 296707 246230 4288 2842 0 278401 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1186828 KiB
Current children cumulated memory: 984920 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 62793
/proc/meminfo: memFree=123014956/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1212608 memory=1075592 CPUtime=341.27 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 227907 0 0 0 34066 61 0 0 20 0 1 0 53988990 1241710592 268898 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 303152 268898 4448 2842 0 284846 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1212608 KiB
Current children cumulated memory: 1075592 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 62795
/proc/meminfo: memFree=122532400/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1293996 memory=1127024 CPUtime=401.12 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 228503 0 0 0 40038 74 0 0 20 0 1 0 53988990 1325051904 281756 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 323499 281756 4448 2842 0 305193 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1293996 KiB
Current children cumulated memory: 1127024 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 62797
/proc/meminfo: memFree=121526116/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1293996 memory=1147504 CPUtime=460.95 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 228515 0 0 0 46008 87 0 0 20 0 1 0 53988990 1325051904 286876 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 323499 286876 4448 2842 0 305193 0
Current children cumulated CPU time: 460.95 s

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

Current children cumulated memory: 1528584 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/266 62980
/proc/meminfo: memFree=123996688/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1532040 CPUtime=2914.26 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 231767 0 0 0 291031 395 0 0 20 0 1 0 53988990 2038198272 383010 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 383010 4448 2842 0 479301 0
Current children cumulated CPU time: 2914.26 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1532040 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/266 62983
/proc/meminfo: memFree=123991420/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1532040 CPUtime=2974.1 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 231769 0 0 0 297005 405 0 0 20 0 1 0 53988990 2038198272 383010 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 383010 4448 2842 0 479301 0
Current children cumulated CPU time: 2974.1 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1532040 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/266 62985
/proc/meminfo: memFree=123942348/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1534600 CPUtime=3033.93 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 231770 0 0 0 302980 413 0 0 20 0 1 0 53988990 2038198272 383650 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 383650 4448 2842 0 479301 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1534600 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 62987
/proc/meminfo: memFree=123919632/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1550344 CPUtime=3093.77 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 231770 0 0 0 308958 419 0 0 20 0 1 0 53988990 2038198272 387586 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 387586 4448 2842 0 479301 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1550344 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 62989
/proc/meminfo: memFree=123890968/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3153.6 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 231780 0 0 0 314934 426 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 62991
/proc/meminfo: memFree=123888060/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3213.44 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 231796 0 0 0 320911 433 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 62993
/proc/meminfo: memFree=123887860/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3273.27 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232028 0 0 0 326888 439 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 62995
/proc/meminfo: memFree=123890892/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3333.11 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232031 0 0 0 332864 447 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/262 62997
/proc/meminfo: memFree=123891036/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3392.95 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232039 0 0 0 338840 455 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 63000
/proc/meminfo: memFree=123866596/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3452.8 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232040 0 0 0 344819 461 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3522.3 s]
/proc/loadavg: 3.82 4.03 4.07 4/258 63040
/proc/meminfo: memFree=124370984/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3512.64 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232040 0 0 0 350798 466 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

[startup+3582.3 s]
/proc/loadavg: 3.34 3.85 4.00 4/258 63042
/proc/meminfo: memFree=124358580/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3572.48 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232040 0 0 0 356774 474 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 2.99 3.72 3.95 3/252 63073
/proc/meminfo: memFree=124825944/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3600.01 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232058 0 0 0 359523 478 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.24 s, system=4.7883 s

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

[startup+3609.9 s]
/proc/loadavg: 2.99 3.72 3.95 3/252 63073
/proc/meminfo: memFree=124825944/131249992 swapFree=33010684/33010684
[pid=62780] ppid=62777 vsize=1990428 memory=1555464 CPUtime=3600.01 cores=5,7
/proc/62780/stat : 62780 (mixed-bag) R 62777 62780 60438 0 -1 4194304 232058 0 0 0 359523 478 0 0 20 0 1 0 53988990 2038198272 388866 18446744073709551615 4235264 15874749 140723224289424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55529472 140723224295836 140723224295913 140723224295913 140723224301515 0
/proc/62780/statm: 497607 388866 4448 2842 0 479301 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1990428 KiB
Current children cumulated memory: 1555464 KiB

Child status: 0

Real time (s): 3609.91
CPU time (s): 3600.03
CPU user time (s): 3595.24
CPU system time (s): 4.7883
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 1990428
Max. memory (cumulated for all children) (KiB): 1555464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.24
system time used= 4.7883
maximum resident set size= 1556288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232091
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= 179
involuntary context switches= 1430


# summary of solver processes directly reported to runsolver:
#   pid: 62780
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3595.24
#   total CPU system time (s): 4.7883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60697 second user time and 15.6867 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-01 17:18:22
IDJOB=4497459
IDBENCH=148186
IDSOLVER=3340
FILE ID=nodeC025/4497459-1751383102
RUNJOBID= nodeC025-1751375766-60451
SLURM_JOB_ID= 9598215
Free space on /tmp= 432992 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
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-4497459-1751383102/watcher-4497459-1751383102 -o /tmp/evaluation-result-4497459-1751383102/solver-4497459-1751383102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60451 --watchdog 3760  mixed-bag HOME/instance-4497459-1751383102.opb

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=256639143

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.840
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.67
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.919
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.67
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.504
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.67
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		: 3700.000
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.67
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.841
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.67
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		: 3608.672
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.67
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.397
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.826
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124574204 kB
MemAvailable:   127397452 kB
Buffers:            3280 kB
Cached:          3621168 kB
SwapCached:            0 kB
Active:          2649024 kB
Inactive:        3281476 kB
Active(anon):    2324136 kB
Inactive(anon):        0 kB
Active(file):     324888 kB
Inactive(file):  3281476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61344 kB
Writeback:             0 kB
AnonPages:       2309220 kB
Mapped:           136420 kB
Shmem:             18084 kB
KReclaimable:     112244 kB
Slab:             201244 kB
SReclaimable:     112244 kB
SUnreclaim:        89000 kB
KernelStack:        4288 kB
PageTables:         7920 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2870228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    536576 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC025 at 2025-07-01 18:18:32