Trace number 4435394

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-07-02? (TO) 3600.1 3615.81

DiagnosticValue
AM1LB0
LOWERBOUND1107296256
NAM1S0
NCORES16
NEXHAUSTED0
NPBCORES4
NPBREFORM0
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.09/0.13	c [STEP] preprocessing with Papilo
0.09/0.20	c [STEP] solving with SCIP
298.89/300.27	c [STEP] preprocessing done, loading into solver
298.89/300.29	c [STEP] solving
298.89/300.29	c #variables 3824 #constraints 593
298.89/300.29	c SMALL=long long, LARGE=int128
298.89/300.29	c bounds - >= 0 @ 298.852
298.89/300.29	c stratification level: 0
1186.81/1191.93	c bounds - >= 1073742848 @ 298.853
1186.81/1191.93	c bounds - >= 1074266112 @ 298.854
1186.81/1191.93	c bounds - >= 1074790400 @ 298.857
1186.81/1191.93	c bounds - >= 1075052544 @ 298.858
1186.81/1191.93	c bounds - >= 1075118080 @ 298.859
1186.81/1191.93	c bounds - >= 1075150848 @ 298.861
1186.81/1191.93	c bounds - >= 1075166208 @ 298.862
1186.81/1191.93	c bounds - >= 1075173376 @ 298.863
1186.81/1191.93	c bounds - >= 1075176448 @ 298.864
1186.81/1191.93	c bounds - >= 1075177472 @ 298.866
1186.81/1191.93	c bounds - >= 1077936128 @ 298.869
1186.81/1191.93	c bounds - >= 1077942272 @ 298.871
1186.81/1191.93	c bounds - >= 1078597632 @ 298.873
1186.81/1191.93	c bounds - >= 1082130432 @ 298.882
1186.81/1191.93	c bounds - >= 1090519040 @ 298.954
1186.81/1191.93	c #Conflicts:       1000 | #Constraints:       1612
1186.81/1191.93	c #Conflicts:       2000 | #Constraints:       2612
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:       3000 | #Constraints:       3063
1186.81/1191.93	c bounds - >= 1107296256 @ 323.784
1186.81/1191.93	c #Conflicts:       4000 | #Constraints:       4063
1186.81/1191.93	c #Conflicts:       5000 | #Constraints:       5063
1186.81/1191.93	c #Conflicts:       6000 | #Constraints:       6063
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:       7000 | #Constraints:       4372
1186.81/1191.93	c #Conflicts:       8000 | #Constraints:       5372
1186.81/1191.93	c #Conflicts:       9000 | #Constraints:       6372
1186.81/1191.93	c #Conflicts:      10000 | #Constraints:       7372
1186.81/1191.93	c #Conflicts:      11000 | #Constraints:       8372
1186.81/1191.93	c #Conflicts:      12000 | #Constraints:       9372
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      13000 | #Constraints:       6005
1186.81/1191.93	c #Conflicts:      14000 | #Constraints:       7005
1186.81/1191.93	c #Conflicts:      15000 | #Constraints:       8005
1186.81/1191.93	c #Conflicts:      16000 | #Constraints:       9005
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      17000 | #Constraints:       5624
1186.81/1191.93	c #Conflicts:      18000 | #Constraints:       6624
1186.81/1191.93	c #Conflicts:      19000 | #Constraints:       7624
1186.81/1191.93	c #Conflicts:      20000 | #Constraints:       8624
1186.81/1191.93	c #Conflicts:      21000 | #Constraints:       9624
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      22000 | #Constraints:       6129
1186.81/1191.93	c #Conflicts:      23000 | #Constraints:       7129
1186.81/1191.93	c #Conflicts:      24000 | #Constraints:       8129
1186.81/1191.93	c #Conflicts:      25000 | #Constraints:       9129
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      26000 | #Constraints:       5493
1186.81/1191.93	c #Conflicts:      27000 | #Constraints:       6493
1186.81/1191.93	c #Conflicts:      28000 | #Constraints:       7493
1186.81/1191.93	c #Conflicts:      29000 | #Constraints:       8493
1186.81/1191.93	c #Conflicts:      30000 | #Constraints:       9493
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      31000 | #Constraints:       5674
1186.81/1191.93	c #Conflicts:      32000 | #Constraints:       6674
1186.81/1191.93	c #Conflicts:      33000 | #Constraints:       7674
1186.81/1191.93	c #Conflicts:      34000 | #Constraints:       8674
1186.81/1191.93	c #Conflicts:      35000 | #Constraints:       9674
1186.81/1191.93	c #Conflicts:      36000 | #Constraints:      10674
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      37000 | #Constraints:       6678
1186.81/1191.93	c #Conflicts:      38000 | #Constraints:       7678
1186.81/1191.93	c #Conflicts:      39000 | #Constraints:       8678
1186.81/1191.93	c #Conflicts:      40000 | #Constraints:       9678
1186.81/1191.93	c #Conflicts:      41000 | #Constraints:      10678
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      42000 | #Constraints:       6471
1186.81/1191.93	c #Conflicts:      43000 | #Constraints:       7471
1186.81/1191.93	c #Conflicts:      44000 | #Constraints:       8471
1186.81/1191.93	c #Conflicts:      45000 | #Constraints:       9471
1186.81/1191.93	c #Conflicts:      46000 | #Constraints:      10471
1186.81/1191.93	c #Conflicts:      47000 | #Constraints:      11471
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      48000 | #Constraints:       7056
1186.81/1191.93	c #Conflicts:      49000 | #Constraints:       8056
1186.81/1191.93	c #Conflicts:      50000 | #Constraints:       9056
1186.81/1191.93	c #Conflicts:      51000 | #Constraints:      10056
1186.81/1191.93	c #Conflicts:      52000 | #Constraints:      11056
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      53000 | #Constraints:       6441
1186.81/1191.93	c #Conflicts:      54000 | #Constraints:       7441
1186.81/1191.93	c #Conflicts:      55000 | #Constraints:       8441
1186.81/1191.93	c #Conflicts:      56000 | #Constraints:       9441
1186.81/1191.93	c #Conflicts:      57000 | #Constraints:      10441
1186.81/1191.93	c #Conflicts:      58000 | #Constraints:      11441
1186.81/1191.93	c INPROCESSING
1186.81/1191.93	c GARBAGE COLLECT
1186.81/1191.93	c #Conflicts:      59000 | #Constraints:       6647
1186.81/1191.93	c #Conflicts:      60000 | #Constraints:       7647
1186.81/1191.93	c #Conflicts:      61000 | #Constraints:       8647
3381.29/3396.06	c #Conflicts:      62000 | #Constraints:       9647
3381.29/3396.06	c #Conflicts:      63000 | #Constraints:      10647
3381.29/3396.06	c #Conflicts:      64000 | #Constraints:      11647
3381.29/3396.06	c #Conflicts:      65000 | #Constraints:      12647
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:      66000 | #Constraints:       7641
3381.29/3396.06	c #Conflicts:      67000 | #Constraints:       8641
3381.29/3396.06	c #Conflicts:      68000 | #Constraints:       9641
3381.29/3396.06	c #Conflicts:      69000 | #Constraints:      10641
3381.29/3396.06	c #Conflicts:      70000 | #Constraints:      11641
3381.29/3396.06	c #Conflicts:      71000 | #Constraints:      12641
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:      72000 | #Constraints:       7452
3381.29/3396.06	c #Conflicts:      73000 | #Constraints:       8452
3381.29/3396.06	c #Conflicts:      74000 | #Constraints:       9452
3381.29/3396.06	c #Conflicts:      75000 | #Constraints:      10452
3381.29/3396.06	c #Conflicts:      76000 | #Constraints:      11452
3381.29/3396.06	c #Conflicts:      77000 | #Constraints:      12452
3381.29/3396.06	c #Conflicts:      78000 | #Constraints:      13452
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:      79000 | #Constraints:       8063
3381.29/3396.06	c #Conflicts:      80000 | #Constraints:       9063
3381.29/3396.06	c #Conflicts:      81000 | #Constraints:      10063
3381.29/3396.06	c #Conflicts:      82000 | #Constraints:      11063
3381.29/3396.06	c #Conflicts:      83000 | #Constraints:      12063
3381.29/3396.06	c #Conflicts:      84000 | #Constraints:      13063
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:      85000 | #Constraints:       7484
3381.29/3396.06	c #Conflicts:      86000 | #Constraints:       8484
3381.29/3396.06	c #Conflicts:      87000 | #Constraints:       9484
3381.29/3396.06	c #Conflicts:      88000 | #Constraints:      10484
3381.29/3396.06	c #Conflicts:      89000 | #Constraints:      11484
3381.29/3396.06	c #Conflicts:      90000 | #Constraints:      12484
3381.29/3396.06	c #Conflicts:      91000 | #Constraints:      13484
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:      92000 | #Constraints:       7674
3381.29/3396.06	c #Conflicts:      93000 | #Constraints:       8674
3381.29/3396.06	c #Conflicts:      94000 | #Constraints:       9674
3381.29/3396.06	c #Conflicts:      95000 | #Constraints:      10674
3381.29/3396.06	c #Conflicts:      96000 | #Constraints:      11674
3381.29/3396.06	c #Conflicts:      97000 | #Constraints:      12674
3381.29/3396.06	c #Conflicts:      98000 | #Constraints:      13674
3381.29/3396.06	c #Conflicts:      99000 | #Constraints:      14674
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:     100000 | #Constraints:       8672
3381.29/3396.06	c #Conflicts:     101000 | #Constraints:       9672
3381.29/3396.06	c #Conflicts:     102000 | #Constraints:      10672
3381.29/3396.06	c #Conflicts:     103000 | #Constraints:      11672
3381.29/3396.06	c #Conflicts:     104000 | #Constraints:      12672
3381.29/3396.06	c #Conflicts:     105000 | #Constraints:      13672
3381.29/3396.06	c #Conflicts:     106000 | #Constraints:      14672
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:     107000 | #Constraints:       8460
3381.29/3396.06	c #Conflicts:     108000 | #Constraints:       9460
3381.29/3396.06	c #Conflicts:     109000 | #Constraints:      10460
3381.29/3396.06	c #Conflicts:     110000 | #Constraints:      11460
3381.29/3396.06	c #Conflicts:     111000 | #Constraints:      12460
3381.29/3396.06	c #Conflicts:     112000 | #Constraints:      13460
3381.29/3396.06	c #Conflicts:     113000 | #Constraints:      14460
3381.29/3396.06	c #Conflicts:     114000 | #Constraints:      15460
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:     115000 | #Constraints:       9062
3381.29/3396.06	c #Conflicts:     116000 | #Constraints:      10062
3381.29/3396.06	c #Conflicts:     117000 | #Constraints:      11062
3381.29/3396.06	c #Conflicts:     118000 | #Constraints:      12062
3381.29/3396.06	c #Conflicts:     119000 | #Constraints:      13062
3381.29/3396.06	c #Conflicts:     120000 | #Constraints:      14062
3381.29/3396.06	c #Conflicts:     121000 | #Constraints:      15062
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:     122000 | #Constraints:       8448
3381.29/3396.06	c #Conflicts:     123000 | #Constraints:       9448
3381.29/3396.06	c #Conflicts:     124000 | #Constraints:      10448
3381.29/3396.06	c #Conflicts:     125000 | #Constraints:      11448
3381.29/3396.06	c #Conflicts:     126000 | #Constraints:      12448
3381.29/3396.06	c #Conflicts:     127000 | #Constraints:      13448
3381.29/3396.06	c #Conflicts:     128000 | #Constraints:      14448
3381.29/3396.06	c #Conflicts:     129000 | #Constraints:      15448
3381.29/3396.06	c INPROCESSING
3381.29/3396.06	c GARBAGE COLLECT
3381.29/3396.06	c #Conflicts:     130000 | #Constraints:       8651
3381.29/3396.06	c #Conflicts:     131000 | #Constraints:       9651
3381.29/3396.06	c #Conflicts:     132000 | #Constraints:      10651
3381.29/3396.06	c #Conflicts:     133000 | #Constraints:      11651
3600.08/3615.80	c #Conflicts:     134000 | #Constraints:      12651
3600.08/3615.80	c #Conflicts:     135000 | #Constraints:      13651
3600.08/3615.80	c #Conflicts:     136000 | #Constraints:      14651
3600.08/3615.80	c #Conflicts:     137000 | #Constraints:      15651
3600.08/3615.80	c #Conflicts:     138000 | #Constraints:      16651
3600.08/3615.80	c INPROCESSING
3600.08/3615.80	c GARBAGE COLLECT
3600.08/3615.80	c Program interrupted by user.
3600.08/3615.80	c cpu time 3577.81 s
3600.08/3615.80	c deterministic time 416454545068 4.16e+11
3600.08/3615.80	c optimization time 13.239 s
3600.08/3615.80	c total solve time 3265.72 s
3600.08/3615.80	c core-guided solve time 3265.72 s
3600.08/3615.80	c propagation time 3056.8 s
3600.08/3615.80	c conflict analysis time 169.425 s
3600.08/3615.80	c propagations 94188079
3600.08/3615.80	c resolve steps 408215
3600.08/3615.80	c decisions 21527823
3600.08/3615.80	c conflicts 138781
3600.08/3615.80	c restarts 380
3600.08/3615.80	c inprocessing phases 23
3600.08/3615.80	c input clauses 32
3600.08/3615.80	c input cardinalities 331
3600.08/3615.80	c input general constraints 247
3600.08/3615.80	c input average constraint length 146.98
3600.08/3615.80	c input average constraint degree 1699006.76
3600.08/3615.80	c learned clauses 532
3600.08/3615.80	c learned cardinalities 1
3600.08/3615.80	c learned general constraints 138251
3600.08/3615.80	c learned average constraint length 3511.52
3600.08/3615.80	c learned average constraint degree 698207432.14
3600.08/3615.80	c watched constraints 985
3600.08/3615.80	c counting constraints 137513
3600.08/3615.80	c gcd simplifications 920
3600.08/3615.80	c detected cardinalities 0
3600.08/3615.80	c weakened non-implied lits 9458584
3600.08/3615.80	c weakened non-implying lits 6863
3600.08/3615.80	c original variables 6651
3600.08/3615.80	c clausal propagations 44303
3600.08/3615.80	c cardinality propagations 1782809
3600.08/3615.80	c watched propagations 544094
3600.08/3615.80	c counting propagations 91692279
3600.08/3615.80	c watch lookups 23665626765
3600.08/3615.80	c watch backjump lookups 23663129227
3600.08/3615.80	c watch checks 2880143857
3600.08/3615.80	c propagation checks 364551649931
3600.08/3615.80	c constraint additions 1462427780
3600.08/3615.80	c trail pops 115851605
3600.08/3615.80	c formula constraints 593
3600.08/3615.80	c learned constraints 138784
3600.08/3615.80	c bound constraints 16
3600.08/3615.80	c core-guided constraints 1
3600.08/3615.80	c encountered formula constraints 141322
3600.08/3615.80	c encountered learned constraints 405588
3600.08/3615.80	c encountered bound constraints 87
3600.08/3615.80	c encountered core-guided constraints 0
3600.08/3615.80	c LP total time 0 s
3600.08/3615.80	c LP solve time 0 s
3600.08/3615.80	c LP constraints added 0
3600.08/3615.80	c LP constraints removed 0
3600.08/3615.80	c LP pivots internal 0
3600.08/3615.80	c LP pivots root 0
3600.08/3615.80	c LP calls 0
3600.08/3615.80	c LP optimalities 0
3600.08/3615.80	c LP no pivot count 0
3600.08/3615.80	c LP infeasibilities 0
3600.08/3615.80	c LP valid Farkas constraints 0
3600.08/3615.80	c LP learned Farkas constraints 0
3600.08/3615.80	c LP basis resets 0
3600.08/3615.80	c LP cycling count 0
3600.08/3615.80	c LP singular count 0
3600.08/3615.80	c LP no primal count 0
3600.08/3615.80	c LP no farkas count 0
3600.08/3615.80	c LP other issue count 0
3600.08/3615.80	c LP Gomory cuts 0
3600.08/3615.80	c LP learned cuts 0
3600.08/3615.80	c LP deleted cuts 0
3600.08/3615.80	c LP encountered Gomory constraints 0
3600.08/3615.80	c LP encountered Farkas constraints 0
3600.08/3615.80	c LP encountered learned Farkas constraints 0
3600.08/3615.80	c CG auxiliary variables introduced 0
3600.08/3615.80	c CG solutions found 0
3600.08/3615.80	c CG cores constructed 16
3600.08/3615.80	c CG core cardinality constraints returned 0
3600.08/3615.80	c CG unit cores 1
3600.08/3615.80	c CG single cores 12
3600.08/3615.80	c CG blocks removed during cardinality reduction 10
3600.08/3615.80	c CG first core best 0
3600.08/3615.80	c CG decision core best 0
3600.08/3615.80	c CG core reduction tie 3
3600.08/3615.80	c CG core degree average 1.00
3600.08/3615.80	c CG core slack average 5.07
3600.08/3615.80	c CG exhausted 0
3600.08/3615.80	c CG exhaust time 0 s
3600.08/3615.80	c CG trimmed 2
3600.08/3615.80	c CG trim time 0.010132 s
3600.08/3615.80	c CG minimized 0
3600.08/3615.80	c CG minimize time 0 s
3600.08/3615.80	c CG am1 prop time 0 s
3600.08/3615.80	c CG # am1s reformulated 0
3600.08/3615.80	c CG lower bound derived from am1s 0
3600.08/3615.80	c CG # clausal cores 14
3600.08/3615.80	c CG # cardinality cores 0
3600.08/3615.80	c CG # pb cores 4
3600.08/3615.80	c CG # pb reforms 0
3600.08/3615.80	c CG # cores discarded because of pb reform 0
3600.08/3615.80	d LOWERBOUND 1107296256
3600.08/3615.80	d NCORES 16
3600.08/3615.80	d NPBCORES 4
3600.08/3615.80	d NPBREFORM 0
3600.08/3615.80	d NTRIMMED 2
3600.08/3615.80	d NEXHAUSTED 0
3600.08/3615.80	d NAM1S 0
3600.08/3615.80	d AM1LB 0
3600.08/3615.80	c [Papilo Statistics]
3600.08/3615.80	c prepro time 0.0643082s
3600.08/3615.80	c # tsx applied 3290
3600.08/3615.80	c # tsx conflicts 1507
3600.08/3615.80	c # bound changes 2818
3600.08/3615.80	c # side changes 1
3600.08/3615.80	c # coef changes 90907
3600.08/3615.80	c # rounds 4
3600.08/3615.80	c # deted vars 2828
3600.08/3615.80	c # deted constrs 129
3600.08/3615.80	c # consecutive rounds of only bound changes 0
3600.08/3615.80	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: 63931 MiB (61728 MiB free)
  memory of node 1: 64510 MiB (60111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435394-1721067904/watcher-4435394-1721067904 -o /tmp/evaluation-result-4435394-1721067904/solver-4435394-1721067904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815228 --watchdog 3760 mixed-bag HOME/instance-4435394-1721067904.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100087 s]*
/proc/loadavg: 4.25 4.16 4.10 5/257 819926
/proc/meminfo: memFree=124754416/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=83132 memory=15748 CPUtime=0.09 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 2611 0 0 0 9 0 0 0 20 0 1 0 158949521 85127168 3937 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 20783 3937 1683 3002 0 5073 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83132 KiB
Current children cumulated memory: 15748 KiB

[startup+0.205583 s]*
/proc/loadavg: 4.25 4.16 4.10 5/257 819926
/proc/meminfo: memFree=124724892/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=120724 memory=51892 CPUtime=0.19 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 8609 0 0 0 18 1 0 0 20 0 1 0 158949521 123621376 12973 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 30181 12973 3326 3002 0 13932 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 120724 KiB
Current children cumulated memory: 51892 KiB

[startup+0.305561 s]*
/proc/loadavg: 4.25 4.16 4.10 5/257 819926
/proc/meminfo: memFree=124705600/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=141636 memory=73000 CPUtime=0.29 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 13390 0 0 0 27 2 0 0 20 0 1 0 158949521 145035264 18250 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 35409 18250 3886 3002 0 19160 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141636 KiB
Current children cumulated memory: 73000 KiB

[startup+0.700202 s]
/proc/loadavg: 4.25 4.16 4.10 5/257 819926
/proc/meminfo: memFree=124673172/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=195548 memory=116356 CPUtime=0.68 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 23550 0 0 0 64 4 0 0 20 0 1 0 158949521 200241152 29089 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 48887 29089 4118 3002 0 32638 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195548 KiB
Current children cumulated memory: 116356 KiB

[startup+1.50022 s]
/proc/loadavg: 4.25 4.16 4.10 5/257 819926
/proc/meminfo: memFree=124650324/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=214660 memory=135736 CPUtime=1.48 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 28377 0 0 0 143 5 0 0 20 0 1 0 158949521 219811840 33934 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 53665 33934 4150 3002 0 37416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 214660 KiB
Current children cumulated memory: 135736 KiB

[startup+3.10539 s]
/proc/loadavg: 4.23 4.15 4.10 5/257 819926
/proc/meminfo: memFree=124635736/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=224312 memory=145464 CPUtime=3.08 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 30782 0 0 0 303 5 0 0 20 0 1 0 158949521 229695488 36366 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 56078 36366 4150 3002 0 39829 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 224312 KiB
Current children cumulated memory: 145464 KiB

[startup+6.30018 s]
/proc/loadavg: 4.23 4.15 4.10 5/257 819926
/proc/meminfo: memFree=124614656/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=248028 memory=167892 CPUtime=6.27 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 36400 0 0 0 621 6 0 0 20 0 1 0 158949521 253980672 41973 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 62007 41973 4150 3002 0 45758 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 248028 KiB
Current children cumulated memory: 167892 KiB

[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.10 5/257 819928
/proc/meminfo: memFree=124594952/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=265844 memory=186348 CPUtime=12.65 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 41045 0 0 0 1258 7 0 0 20 0 1 0 158949521 272224256 46587 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 66461 46587 4150 3002 0 50212 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 265844 KiB
Current children cumulated memory: 186348 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 820312
/proc/meminfo: memFree=124579160/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=279280 memory=199448 CPUtime=25.4 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 43763 0 0 0 2533 7 0 0 20 0 1 0 158949521 285982720 49862 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 69820 49862 4150 3002 0 53571 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 279280 KiB
Current children cumulated memory: 199448 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 820317
/proc/meminfo: memFree=124488744/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=327260 memory=246972 CPUtime=50.9 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 55665 0 0 0 5081 9 0 0 20 0 1 0 158949521 335114240 61743 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 81815 61743 4166 3002 0 65566 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 327260 KiB
Current children cumulated memory: 246972 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/256 820373
/proc/meminfo: memFree=126066328/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=341364 memory=261464 CPUtime=101.9 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 59466 0 0 0 10180 10 0 0 20 0 1 0 158949521 349556736 65366 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 85341 65366 4166 3002 0 69092 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 341364 KiB
Current children cumulated memory: 261464 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 820430
/proc/meminfo: memFree=125877436/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=353324 memory=275816 CPUtime=161.64 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 62936 0 0 0 16153 11 0 0 20 0 1 0 158949521 361803776 68954 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 88331 68954 4310 3002 0 72082 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 353324 KiB
Current children cumulated memory: 275816 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/259 820610
/proc/meminfo: memFree=125497796/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=391036 memory=312364 CPUtime=221.35 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 72087 0 0 0 22123 12 0 0 20 0 1 0 158949521 400420864 78091 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 97759 78091 4310 3002 0 81510 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 391036 KiB
Current children cumulated memory: 312364 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/259 820620
/proc/meminfo: memFree=125316864/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=399168 memory=321568 CPUtime=281.07 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 74450 0 0 0 28094 13 0 0 20 0 1 0 158949521 408748032 80392 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 99792 80392 4310 3002 0 83543 0
Current children cumulated CPU time: 281.07 s
Current children cumulated vsize: 399168 KiB
Current children cumulated memory: 321568 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/261 820690
/proc/meminfo: memFree=124849988/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=606820 memory=473260 CPUtime=340.81 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 80794 0 0 0 33894 187 0 0 20 0 1 0 158949521 621383680 118315 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 151705 118315 4454 3002 0 135456 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 606820 KiB
Current children cumulated memory: 473260 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 820700
/proc/meminfo: memFree=124559576/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=881228 memory=654720 CPUtime=400.55 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 102705 0 0 0 39801 254 0 0 20 0 1 0 158949521 902377472 163680 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 220307 163680 4454 3002 0 204058 0
Current children cumulated CPU time: 400.55 s
Current children cumulated vsize: 881228 KiB
Current children cumulated memory: 654720 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 820711
/proc/meminfo: memFree=124501280/131524600 swapFree=130795544/131071996
[pid=819925] ppid=819922 vsize=900172 memory=665260 CPUtime=460.3 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 105338 0 0 0 45714 316 0 0 20 0 1 0 158949521 921776128 166315 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 225043 166315 4454 3002 0 208794 0

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

Current children cumulated memory: 987488 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/257 821721
/proc/meminfo: memFree=122390824/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210084 memory=987488 CPUtime=2850.01 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 135782 0 0 0 283218 1783 0 0 20 0 1 0 158949521 1239126016 246872 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302521 246872 4454 3002 0 286272 0
Current children cumulated CPU time: 2850.01 s
Current children cumulated vsize: 1210084 KiB
Current children cumulated memory: 987488 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/257 821731
/proc/meminfo: memFree=122359984/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=987568 CPUtime=2909.77 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 136096 0 0 0 289137 1840 0 0 20 0 1 0 158949521 1239388160 246892 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 246892 4454 3002 0 286336 0
Current children cumulated CPU time: 2909.77 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 987568 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/257 821743
/proc/meminfo: memFree=122323172/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=987728 CPUtime=2969.48 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 136444 0 0 0 295055 1893 0 0 20 0 1 0 158949521 1239388160 246932 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 246932 4454 3002 0 286336 0
Current children cumulated CPU time: 2969.48 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 987728 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/255 821754
/proc/meminfo: memFree=122290964/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1002948 CPUtime=3029.21 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 136942 0 0 0 300988 1933 0 0 20 0 1 0 158949521 1239388160 250737 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 250737 4454 3002 0 286336 0
Current children cumulated CPU time: 3029.21 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1002948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/255 821764
/proc/meminfo: memFree=122287592/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1003016 CPUtime=3088.93 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 137194 0 0 0 306917 1976 0 0 20 0 1 0 158949521 1239388160 250754 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 250754 4454 3002 0 286336 0
Current children cumulated CPU time: 3088.93 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1003016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/255 821775
/proc/meminfo: memFree=122283308/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1003016 CPUtime=3148.67 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 137572 0 0 0 312861 2006 0 0 20 0 1 0 158949521 1239388160 250754 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 250754 4454 3002 0 286336 0
Current children cumulated CPU time: 3148.67 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1003016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/256 821786
/proc/meminfo: memFree=122282176/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1003028 CPUtime=3208.42 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 137853 0 0 0 318810 2032 0 0 20 0 1 0 158949521 1239388160 250757 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 250757 4454 3002 0 286336 0
Current children cumulated CPU time: 3208.42 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1003028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/256 821797
/proc/meminfo: memFree=122272844/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1003220 CPUtime=3268.14 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 138198 0 0 0 324758 2056 0 0 20 0 1 0 158949521 1239388160 250805 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 250805 4454 3002 0 286336 0
Current children cumulated CPU time: 3268.14 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1003220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/259 821813
/proc/meminfo: memFree=122261380/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1013992 CPUtime=3327.82 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 138631 0 0 0 330696 2086 0 0 20 0 1 0 158949521 1239388160 253498 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 253498 4454 3002 0 286336 0
Current children cumulated CPU time: 3327.82 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1013992 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/259 821824
/proc/meminfo: memFree=122260876/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1013992 CPUtime=3387.55 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 138883 0 0 0 336625 2130 0 0 20 0 1 0 158949521 1239388160 253498 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 253498 4454 3002 0 286336 0
Current children cumulated CPU time: 3387.55 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1013992 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/259 821834
/proc/meminfo: memFree=122260228/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1013992 CPUtime=3447.29 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 139270 0 0 0 342571 2158 0 0 20 0 1 0 158949521 1239388160 253498 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 253498 4454 3002 0 286336 0
Current children cumulated CPU time: 3447.29 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1013992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.15 4/251 821875
/proc/meminfo: memFree=122864408/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210340 memory=1014048 CPUtime=3507.02 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 139450 0 0 0 348520 2182 0 0 20 0 1 0 158949521 1239388160 253512 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302585 253512 4454 3002 0 286336 0
Current children cumulated CPU time: 3507.02 s
Current children cumulated vsize: 1210340 KiB
Current children cumulated memory: 1014048 KiB

[startup+3582.3 s]
/proc/loadavg: 3.46 3.93 4.08 4/252 821889
/proc/meminfo: memFree=122861372/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210596 memory=1016688 CPUtime=3566.73 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 139898 0 0 0 354470 2203 0 0 20 0 1 0 158949521 1239650304 254172 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302649 254172 4454 3002 0 286400 0
Current children cumulated CPU time: 3566.73 s
Current children cumulated vsize: 1210596 KiB
Current children cumulated memory: 1016688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.8 s]
/proc/loadavg: 3.31 3.84 4.04 4/252 821894
/proc/meminfo: memFree=122852468/131524600 swapFree=130795800/131071996
[pid=819925] ppid=819922 vsize=1210596 memory=1025144 CPUtime=3600.08 cores=0,2
/proc/819925/stat : 819925 (mixed-bag) R 819922 819925 815216 0 -1 4194304 140154 0 0 0 357781 2227 0 0 20 0 1 0 158949521 1239650304 256286 134679101440 4194304 16487941 140723999234960 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 46170112 140723999241239 140723999241316 140723999241316 140723999248331 0
/proc/819925/statm: 302649 256286 4454 3002 0 286400 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1210596 KiB
Current children cumulated memory: 1025144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.81 s, system=22.2884 s

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

Child status: 0

Real time (s): 3615.81
CPU time (s): 3600.1
CPU user time (s): 3577.81
CPU system time (s): 22.2884
CPU usage (%): 99.5655
Max. virtual memory (cumulated for all children) (KiB): 1210596
Max. memory (cumulated for all children) (KiB): 1025144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.81
system time used= 22.2884
maximum resident set size= 1025340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140171
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= 113
involuntary context switches= 25264


# summary of solver processes directly reported to runsolver:
#   pid: 819925
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3577.81
#   total CPU system time (s): 22.2884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59607 second user time and 17.7412 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-15 20:25:16
IDJOB=4435394
IDBENCH=146783
IDSOLVER=3066
FILE ID=nodeC014/4435394-1721067904
RUNJOBID= nodeC014-1721060594-815228
SLURM_JOB_ID= 7505507
Free space on /tmp= 890028 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435394-1721067904/watcher-4435394-1721067904 -o /tmp/evaluation-result-4435394-1721067904/solver-4435394-1721067904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815228 --watchdog 3760  mixed-bag HOME/instance-4435394-1721067904.opb

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=1186741374

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3656.666
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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		: 3684.497
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3661.657
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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.936
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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		: 3662.249
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.541
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
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.838
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.32
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.905
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124764552 kB
MemAvailable:   127454692 kB
Buffers:          312412 kB
Cached:          3183920 kB
SwapCached:        12860 kB
Active:          1024576 kB
Inactive:        5173672 kB
Active(anon):       9444 kB
Inactive(anon):  2709968 kB
Active(file):    1015132 kB
Inactive(file):  2463704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             18400 kB
Writeback:            16 kB
AnonPages:       2693004 kB
Mapped:            82020 kB
Shmem:             17460 kB
KReclaimable:     101900 kB
Slab:             193660 kB
SReclaimable:     101900 kB
SUnreclaim:        91760 kB
KernelStack:        4096 kB
PageTables:        15584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3816232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1558528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC014 at 2024-07-15 21:25:32