Trace number 4435395

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.06 3611.31

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM881f02ab7f3f3b5ffe74a08302b7945a
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 benchmark409600
Best CPU time to get the best result obtained on this benchmark42.4087
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19747
Total number of constraints3145
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 133
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073847295
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147758078
Number of bits of the biggest sum of numbers32
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.11	c [STEP] preprocessing with Papilo
0.29/0.38	c [STEP] solving with SCIP
299.64/300.54	c [STEP] preprocessing done, loading into solver
299.64/300.56	c [STEP] solving
299.64/300.56	c #variables 19678 #constraints 3144
299.64/300.56	c SMALL=int, LARGE=long long
299.64/300.56	c bounds - >= -105472 @ 299.469
299.64/300.56	c stratification level: 0
1028.43/1031.49	c #Conflicts:       1000 | #Constraints:       4144
1028.43/1031.49	c #Conflicts:       2000 | #Constraints:       5144
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:       3000 | #Constraints:       5205
1028.43/1031.49	c #Conflicts:       4000 | #Constraints:       6205
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:       5000 | #Constraints:       5632
1028.43/1031.49	c #Conflicts:       6000 | #Constraints:       6632
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:       7000 | #Constraints:       5645
1028.43/1031.49	c #Conflicts:       8000 | #Constraints:       6645
1028.43/1031.49	c #Conflicts:       9000 | #Constraints:       7645
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      10000 | #Constraints:       6356
1028.43/1031.49	c #Conflicts:      11000 | #Constraints:       7356
1028.43/1031.49	c #Conflicts:      12000 | #Constraints:       8356
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      13000 | #Constraints:       6811
1028.43/1031.49	c #Conflicts:      14000 | #Constraints:       7811
1028.43/1031.49	c #Conflicts:      15000 | #Constraints:       8811
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      16000 | #Constraints:       7038
1028.43/1031.49	c #Conflicts:      17000 | #Constraints:       8038
1028.43/1031.49	c #Conflicts:      18000 | #Constraints:       9038
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      19000 | #Constraints:       7047
1028.43/1031.49	c #Conflicts:      20000 | #Constraints:       8047
1028.43/1031.49	c #Conflicts:      21000 | #Constraints:       9047
1028.43/1031.49	c #Conflicts:      22000 | #Constraints:      10047
1028.43/1031.49	c #Conflicts:      23000 | #Constraints:      11047
1028.43/1031.49	c #Conflicts:      24000 | #Constraints:      12047
1028.43/1031.49	c #Conflicts:      25000 | #Constraints:      13047
1028.43/1031.49	c #Conflicts:      26000 | #Constraints:      14047
1028.43/1031.49	c #Conflicts:      27000 | #Constraints:      15047
1028.43/1031.49	c #Conflicts:      28000 | #Constraints:      16047
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      29000 | #Constraints:      10251
1028.43/1031.49	c #Conflicts:      30000 | #Constraints:      11251
1028.43/1031.49	c #Conflicts:      31000 | #Constraints:      12251
1028.43/1031.49	c #Conflicts:      32000 | #Constraints:      13251
1028.43/1031.49	c #Conflicts:      33000 | #Constraints:      14251
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      34000 | #Constraints:       9602
1028.43/1031.49	c #Conflicts:      35000 | #Constraints:      10602
1028.43/1031.49	c #Conflicts:      36000 | #Constraints:      11602
1028.43/1031.49	c #Conflicts:      37000 | #Constraints:      12602
1028.43/1031.49	c #Conflicts:      38000 | #Constraints:      13602
1028.43/1031.49	c #Conflicts:      39000 | #Constraints:      14602
1028.43/1031.49	c #Conflicts:      40000 | #Constraints:      15602
1028.43/1031.49	c #Conflicts:      41000 | #Constraints:      16602
1028.43/1031.49	c #Conflicts:      42000 | #Constraints:      17602
1028.43/1031.49	c #Conflicts:      43000 | #Constraints:      18602
1028.43/1031.49	c #Conflicts:      44000 | #Constraints:      19602
1028.43/1031.49	c #Conflicts:      45000 | #Constraints:      20602
1028.43/1031.49	c #Conflicts:      46000 | #Constraints:      21602
1028.43/1031.49	c #Conflicts:      47000 | #Constraints:      22602
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      48000 | #Constraints:      13928
1028.43/1031.49	c #Conflicts:      49000 | #Constraints:      14928
1028.43/1031.49	c #Conflicts:      50000 | #Constraints:      15928
1028.43/1031.49	c #Conflicts:      51000 | #Constraints:      16928
1028.43/1031.49	c #Conflicts:      52000 | #Constraints:      17928
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      53000 | #Constraints:      11195
1028.43/1031.49	c #Conflicts:      54000 | #Constraints:      12195
1028.43/1031.49	c #Conflicts:      55000 | #Constraints:      13195
1028.43/1031.49	c #Conflicts:      56000 | #Constraints:      14195
1028.43/1031.49	c #Conflicts:      57000 | #Constraints:      15195
1028.43/1031.49	c #Conflicts:      58000 | #Constraints:      16195
1028.43/1031.49	c #Conflicts:      59000 | #Constraints:      17195
1028.43/1031.49	c #Conflicts:      60000 | #Constraints:      18195
1028.43/1031.49	c #Conflicts:      61000 | #Constraints:      19195
1028.43/1031.49	c #Conflicts:      62000 | #Constraints:      20195
1028.43/1031.49	c #Conflicts:      63000 | #Constraints:      21195
1028.43/1031.49	c #Conflicts:      64000 | #Constraints:      22195
1028.43/1031.49	c #Conflicts:      65000 | #Constraints:      23195
1028.43/1031.49	c #Conflicts:      66000 | #Constraints:      24195
1028.43/1031.49	c #Conflicts:      67000 | #Constraints:      25195
1028.43/1031.49	c #Conflicts:      68000 | #Constraints:      26195
1028.43/1031.49	c #Conflicts:      69000 | #Constraints:      27195
1028.43/1031.49	c INPROCESSING
1028.43/1031.49	c GARBAGE COLLECT
1028.43/1031.49	c #Conflicts:      70000 | #Constraints:      15925
1028.43/1031.49	c #Conflicts:      71000 | #Constraints:      16925
1028.43/1031.49	c #Conflicts:      72000 | #Constraints:      17925
3373.59/3384.05	c #Conflicts:      73000 | #Constraints:      18925
3373.59/3384.05	c #Conflicts:      74000 | #Constraints:      19925
3373.59/3384.05	c #Conflicts:      75000 | #Constraints:      20925
3373.59/3384.05	c #Conflicts:      76000 | #Constraints:      21925
3373.59/3384.05	c INPROCESSING
3373.59/3384.05	c GARBAGE COLLECT
3373.59/3384.05	c #Conflicts:      77000 | #Constraints:      13531
3373.59/3384.05	c #Conflicts:      78000 | #Constraints:      14531
3373.59/3384.05	c #Conflicts:      79000 | #Constraints:      15531
3373.59/3384.05	c #Conflicts:      80000 | #Constraints:      16531
3373.59/3384.05	c #Conflicts:      81000 | #Constraints:      17531
3373.59/3384.05	c #Conflicts:      82000 | #Constraints:      18531
3373.59/3384.05	c #Conflicts:      83000 | #Constraints:      19531
3373.59/3384.05	c #Conflicts:      84000 | #Constraints:      20531
3373.59/3384.05	c #Conflicts:      85000 | #Constraints:      21531
3373.59/3384.05	c #Conflicts:      86000 | #Constraints:      22531
3373.59/3384.05	c #Conflicts:      87000 | #Constraints:      23531
3373.59/3384.05	c #Conflicts:      88000 | #Constraints:      24531
3373.59/3384.05	c #Conflicts:      89000 | #Constraints:      25531
3373.59/3384.05	c #Conflicts:      90000 | #Constraints:      26531
3373.59/3384.05	c #Conflicts:      91000 | #Constraints:      27531
3373.59/3384.05	c #Conflicts:      92000 | #Constraints:      28531
3373.59/3384.05	c #Conflicts:      93000 | #Constraints:      29531
3373.59/3384.05	c #Conflicts:      94000 | #Constraints:      30531
3373.59/3384.05	c #Conflicts:      95000 | #Constraints:      31531
3373.59/3384.05	c #Conflicts:      96000 | #Constraints:      32531
3373.59/3384.05	c INPROCESSING
3373.59/3384.05	c GARBAGE COLLECT
3373.59/3384.05	c #Conflicts:      97000 | #Constraints:      18601
3373.59/3384.05	c #Conflicts:      98000 | #Constraints:      19601
3373.59/3384.05	c #Conflicts:      99000 | #Constraints:      20601
3373.59/3384.05	c #Conflicts:     100000 | #Constraints:      21601
3373.59/3384.05	c #Conflicts:     101000 | #Constraints:      22601
3373.59/3384.05	c #Conflicts:     102000 | #Constraints:      23601
3373.59/3384.05	c #Conflicts:     103000 | #Constraints:      24601
3373.59/3384.05	c #Conflicts:     104000 | #Constraints:      25601
3373.59/3384.05	c #Conflicts:     105000 | #Constraints:      26601
3373.59/3384.05	c INPROCESSING
3373.59/3384.05	c GARBAGE COLLECT
3373.59/3384.05	c #Conflicts:     106000 | #Constraints:      16679
3373.59/3384.05	c #Conflicts:     107000 | #Constraints:      17679
3373.59/3384.05	c #Conflicts:     108000 | #Constraints:      18679
3373.59/3384.05	c #Conflicts:     109000 | #Constraints:      19679
3373.59/3384.05	c #Conflicts:     110000 | #Constraints:      20679
3373.59/3384.05	c #Conflicts:     111000 | #Constraints:      21679
3373.59/3384.05	c #Conflicts:     112000 | #Constraints:      22679
3373.59/3384.05	c #Conflicts:     113000 | #Constraints:      23679
3373.59/3384.05	c #Conflicts:     114000 | #Constraints:      24679
3373.59/3384.05	c #Conflicts:     115000 | #Constraints:      25679
3373.59/3384.05	c #Conflicts:     116000 | #Constraints:      26679
3373.59/3384.05	c #Conflicts:     117000 | #Constraints:      27679
3373.59/3384.05	c #Conflicts:     118000 | #Constraints:      28679
3373.59/3384.05	c #Conflicts:     119000 | #Constraints:      29679
3373.59/3384.05	c #Conflicts:     120000 | #Constraints:      30679
3373.59/3384.05	c #Conflicts:     121000 | #Constraints:      31679
3373.59/3384.05	c #Conflicts:     122000 | #Constraints:      32679
3373.59/3384.05	c #Conflicts:     123000 | #Constraints:      33679
3373.59/3384.05	c #Conflicts:     124000 | #Constraints:      34679
3373.59/3384.05	c #Conflicts:     125000 | #Constraints:      35679
3373.59/3384.05	c #Conflicts:     126000 | #Constraints:      36679
3373.59/3384.05	c #Conflicts:     127000 | #Constraints:      37679
3373.59/3384.05	c #Conflicts:     128000 | #Constraints:      38679
3373.59/3384.05	c INPROCESSING
3373.59/3384.05	c GARBAGE COLLECT
3373.59/3384.05	c #Conflicts:     129000 | #Constraints:      21973
3373.59/3384.05	c #Conflicts:     130000 | #Constraints:      22973
3373.59/3384.05	c #Conflicts:     131000 | #Constraints:      23973
3373.59/3384.05	c #Conflicts:     132000 | #Constraints:      24973
3373.59/3384.05	c #Conflicts:     133000 | #Constraints:      25973
3373.59/3384.05	c #Conflicts:     134000 | #Constraints:      26973
3373.59/3384.05	c #Conflicts:     135000 | #Constraints:      27973
3373.59/3384.05	c #Conflicts:     136000 | #Constraints:      28973
3373.59/3384.05	c #Conflicts:     137000 | #Constraints:      29973
3373.59/3384.05	c INPROCESSING
3373.59/3384.05	c GARBAGE COLLECT
3373.59/3384.05	c #Conflicts:     138000 | #Constraints:      19366
3373.59/3384.05	c #Conflicts:     139000 | #Constraints:      20366
3373.59/3384.05	c #Conflicts:     140000 | #Constraints:      21366
3373.59/3384.05	c #Conflicts:     141000 | #Constraints:      22366
3373.59/3384.05	c #Conflicts:     142000 | #Constraints:      23366
3373.59/3384.05	c #Conflicts:     143000 | #Constraints:      24366
3373.59/3384.05	c #Conflicts:     144000 | #Constraints:      25366
3373.59/3384.05	c #Conflicts:     145000 | #Constraints:      26366
3373.59/3384.05	c #Conflicts:     146000 | #Constraints:      27366
3373.59/3384.05	c #Conflicts:     147000 | #Constraints:      28366
3600.05/3611.30	c #Conflicts:     148000 | #Constraints:      29366
3600.05/3611.30	c #Conflicts:     149000 | #Constraints:      30366
3600.05/3611.30	c #Conflicts:     150000 | #Constraints:      31366
3600.05/3611.30	c #Conflicts:     151000 | #Constraints:      32366
3600.05/3611.30	c #Conflicts:     152000 | #Constraints:      33366
3600.05/3611.30	c Program interrupted by user.
3600.05/3611.30	c cpu time 3596.27 s
3600.05/3611.30	c deterministic time 257230455410 2.57e+11
3600.05/3611.30	c optimization time 471.735 s
3600.05/3611.30	c total solve time 2825.07 s
3600.05/3611.30	c core-guided solve time 2825.07 s
3600.05/3611.30	c propagation time 3169.62 s
3600.05/3611.30	c conflict analysis time 121.559 s
3600.05/3611.30	c propagations 108279464
3600.05/3611.30	c resolve steps 2271851
3600.05/3611.30	c decisions 1081977
3600.05/3611.30	c conflicts 152431
3600.05/3611.30	c restarts 410
3600.05/3611.30	c inprocessing phases 17
3600.05/3611.30	c input clauses 426
3600.05/3611.30	c input cardinalities 1
3600.05/3611.30	c input general constraints 2718
3600.05/3611.30	c input average constraint length 46.86
3600.05/3611.30	c input average constraint degree 713426726.45
3600.05/3611.30	c learned clauses 345
3600.05/3611.30	c learned cardinalities 0
3600.05/3611.30	c learned general constraints 152086
3600.05/3611.30	c learned average constraint length 95.78
3600.05/3611.30	c learned average constraint degree 979434400.16
3600.05/3611.30	c watched constraints 154801
3600.05/3611.30	c counting constraints 3
3600.05/3611.30	c gcd simplifications 97
3600.05/3611.30	c detected cardinalities 0
3600.05/3611.30	c weakened non-implied lits 55431
3600.05/3611.30	c weakened non-implying lits 620
3600.05/3611.30	c original variables 19747
3600.05/3611.30	c clausal propagations 761946
3600.05/3611.30	c cardinality propagations 0
3600.05/3611.30	c watched propagations 107512148
3600.05/3611.30	c counting propagations 3538
3600.05/3611.30	c watch lookups 67161182367
3600.05/3611.30	c watch backjump lookups 67095794106
3600.05/3611.30	c watch checks 18768659797
3600.05/3611.30	c propagation checks 103835721502
3600.05/3611.30	c constraint additions 150222931
3600.05/3611.30	c trail pops 109513265
3600.05/3611.30	c formula constraints 3144
3600.05/3611.30	c learned constraints 152431
3600.05/3611.30	c bound constraints 1
3600.05/3611.30	c core-guided constraints 0
3600.05/3611.30	c encountered formula constraints 1153645
3600.05/3611.30	c encountered learned constraints 1270637
3600.05/3611.30	c encountered bound constraints 0
3600.05/3611.30	c encountered core-guided constraints 0
3600.05/3611.30	c LP total time 0 s
3600.05/3611.30	c LP solve time 0 s
3600.05/3611.30	c LP constraints added 0
3600.05/3611.30	c LP constraints removed 0
3600.05/3611.30	c LP pivots internal 0
3600.05/3611.30	c LP pivots root 0
3600.05/3611.30	c LP calls 0
3600.05/3611.30	c LP optimalities 0
3600.05/3611.30	c LP no pivot count 0
3600.05/3611.30	c LP infeasibilities 0
3600.05/3611.30	c LP valid Farkas constraints 0
3600.05/3611.30	c LP learned Farkas constraints 0
3600.05/3611.30	c LP basis resets 0
3600.05/3611.30	c LP cycling count 0
3600.05/3611.30	c LP singular count 0
3600.05/3611.30	c LP no primal count 0
3600.05/3611.30	c LP no farkas count 0
3600.05/3611.30	c LP other issue count 0
3600.05/3611.30	c LP Gomory cuts 0
3600.05/3611.30	c LP learned cuts 0
3600.05/3611.30	c LP deleted cuts 0
3600.05/3611.30	c LP encountered Gomory constraints 0
3600.05/3611.30	c LP encountered Farkas constraints 0
3600.05/3611.30	c LP encountered learned Farkas constraints 0
3600.05/3611.30	c CG auxiliary variables introduced 0
3600.05/3611.30	c CG solutions found 0
3600.05/3611.30	c CG cores constructed 0
3600.05/3611.30	c CG core cardinality constraints returned 0
3600.05/3611.30	c CG unit cores 0
3600.05/3611.30	c CG single cores 0
3600.05/3611.30	c CG blocks removed during cardinality reduction 0
3600.05/3611.30	c CG first core best 0
3600.05/3611.30	c CG decision core best 0
3600.05/3611.30	c CG core reduction tie 0
3600.05/3611.30	c CG core degree average 0.00
3600.05/3611.30	c CG core slack average 0.00
3600.05/3611.30	c CG exhausted 0
3600.05/3611.30	c CG exhaust time 0 s
3600.05/3611.30	c CG trimmed 0
3600.05/3611.30	c CG trim time 0 s
3600.05/3611.30	c CG minimized 0
3600.05/3611.30	c CG minimize time 0 s
3600.05/3611.30	c CG am1 prop time 0.000274 s
3600.05/3611.30	c CG # am1s reformulated 0
3600.05/3611.30	c CG lower bound derived from am1s 0
3600.05/3611.30	c CG # clausal cores 0
3600.05/3611.30	c CG # cardinality cores 0
3600.05/3611.30	c CG # pb cores 0
3600.05/3611.30	c CG # pb reforms 0
3600.05/3611.30	c CG # cores discarded because of pb reform 0
3600.05/3611.30	d LOWERBOUND 0
3600.05/3611.30	d NCORES 0
3600.05/3611.30	d NPBCORES 0
3600.05/3611.30	d NPBREFORM 0
3600.05/3611.30	d NTRIMMED 0
3600.05/3611.30	d NEXHAUSTED 0
3600.05/3611.30	d NAM1S 0
3600.05/3611.30	d AM1LB 0
3600.05/3611.30	c [Papilo Statistics]
3600.05/3611.30	c prepro time 0.263611s
3600.05/3611.30	c # tsx applied 908
3600.05/3611.30	c # tsx conflicts 0
3600.05/3611.30	c # bound changes 30
3600.05/3611.30	c # side changes 822
3600.05/3611.30	c # coef changes 3082
3600.05/3611.30	c # rounds 6
3600.05/3611.30	c # deted vars 70
3600.05/3611.30	c # deted constrs 205
3600.05/3611.30	c # consecutive rounds of only bound changes 0
3600.05/3611.30	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 (61893 MiB free)
  memory of node 1: 64510 MiB (61435 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=820421, runsolver pid=820418

[startup+0.100917 s]*
/proc/loadavg: 4.14 4.14 4.09 5/257 820423
/proc/meminfo: memFree=126272588/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=89156 memory=21824 CPUtime=0.09 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 3930 0 0 0 9 0 0 0 20 0 1 0 158962020 91295744 5456 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 22289 5456 1723 3002 0 6579 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89156 KiB
Current children cumulated memory: 21824 KiB

[startup+0.205935 s]*
/proc/loadavg: 4.14 4.14 4.09 5/257 820423
/proc/meminfo: memFree=126255788/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=114096 memory=38704 CPUtime=0.19 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 8059 0 0 0 18 1 0 0 20 0 1 0 158962020 116834304 9676 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 28524 9676 1827 3002 0 12275 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 114096 KiB
Current children cumulated memory: 38704 KiB

[startup+0.305595 s]*
/proc/loadavg: 4.14 4.14 4.09 5/257 820423
/proc/meminfo: memFree=126253040/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=114096 memory=38704 CPUtime=0.29 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 8059 0 0 0 28 1 0 0 20 0 1 0 158962020 116834304 9676 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 28524 9676 1827 3002 0 12275 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114096 KiB
Current children cumulated memory: 38704 KiB

[startup+0.700222 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 820423
/proc/meminfo: memFree=126189032/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=207972 memory=137048 CPUtime=0.68 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 33733 0 0 0 63 5 0 0 20 0 1 0 158962020 212963328 34262 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 51993 34262 3891 3002 0 35744 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 207972 KiB
Current children cumulated memory: 137048 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 820423
/proc/meminfo: memFree=126147800/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=304696 memory=208816 CPUtime=1.48 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 53892 0 0 0 140 8 0 0 20 0 1 0 158962020 312008704 52204 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 76174 52204 4083 3002 0 59925 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 304696 KiB
Current children cumulated memory: 208816 KiB

[startup+3.10579 s]
/proc/loadavg: 4.13 4.14 4.09 9/257 820424
/proc/meminfo: memFree=126063460/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=321236 memory=224924 CPUtime=3.07 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 57863 0 0 0 299 8 0 0 20 0 1 0 158962020 328945664 56231 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 80309 56231 4195 3002 0 64060 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 321236 KiB
Current children cumulated memory: 224924 KiB

[startup+6.3002 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 820425
/proc/meminfo: memFree=126034240/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=393432 memory=293488 CPUtime=6.26 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 74521 0 0 0 615 11 0 0 20 0 1 0 158962020 402874368 73372 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 98358 73372 4195 3002 0 82109 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 393432 KiB
Current children cumulated memory: 293488 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 820425
/proc/meminfo: memFree=125959988/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=393432 memory=296308 CPUtime=12.64 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 75069 0 0 0 1253 11 0 0 20 0 1 0 158962020 402874368 74077 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 98358 74077 4322 3002 0 82109 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 393432 KiB
Current children cumulated memory: 296308 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.09 5/257 820428
/proc/meminfo: memFree=125910384/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=403112 memory=306376 CPUtime=25.41 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 82659 0 0 0 2528 13 0 0 20 0 1 0 158962020 412786688 76594 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 100778 76594 4338 3002 0 84529 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 403112 KiB
Current children cumulated memory: 306376 KiB

[startup+51.1054 s]
/proc/loadavg: 4.19 4.15 4.10 5/257 820432
/proc/meminfo: memFree=125841740/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=408852 memory=310452 CPUtime=50.94 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 85036 0 0 0 5081 13 0 0 20 0 1 0 158962020 418664448 77613 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 102213 77613 4338 3002 0 85964 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 408852 KiB
Current children cumulated memory: 310452 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 820610
/proc/meminfo: memFree=125482180/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=478324 memory=376316 CPUtime=101.98 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 113165 0 0 0 10180 18 0 0 20 0 1 0 158962020 489803776 94079 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 119581 94079 4386 3002 0 103332 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 478324 KiB
Current children cumulated memory: 376316 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/259 820620
/proc/meminfo: memFree=125306068/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=484820 memory=388032 CPUtime=161.81 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 116025 0 0 0 16162 19 0 0 20 0 1 0 158962020 496455680 97008 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 121205 97008 4386 3002 0 104956 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 484820 KiB
Current children cumulated memory: 388032 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/261 820690
/proc/meminfo: memFree=124835612/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=501676 memory=405812 CPUtime=221.65 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 119645 0 0 0 22144 21 0 0 20 0 1 0 158962020 513716224 101453 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 125419 101453 4386 3002 0 109170 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 501676 KiB
Current children cumulated memory: 405812 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 820700
/proc/meminfo: memFree=124558508/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=523108 memory=426988 CPUtime=281.49 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 125729 0 0 0 28126 23 0 0 20 0 1 0 158962020 535662592 106747 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 130777 106747 4386 3002 0 114528 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 523108 KiB
Current children cumulated memory: 426988 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/259 820711
/proc/meminfo: memFree=124494624/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=533732 memory=460744 CPUtime=341.34 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 136087 0 0 0 34094 40 0 0 20 0 1 0 158962020 546541568 115186 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 133433 115186 4482 3002 0 117184 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 533732 KiB
Current children cumulated memory: 460744 KiB

[startup+402.3 s]
/proc/loadavg: 4.35 4.21 4.12 5/258 820721
/proc/meminfo: memFree=124467544/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=538152 memory=466040 CPUtime=401.2 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 136914 0 0 0 40064 56 0 0 20 0 1 0 158962020 551067648 116510 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 134538 116510 4482 3002 0 118289 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 538152 KiB
Current children cumulated memory: 466040 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 4.20 4.12 5/258 820733
/proc/meminfo: memFree=124407772/131524600 swapFree=130795544/131071996
[pid=820421] ppid=820418 vsize=538152 memory=466552 CPUtime=461.03 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 137059 0 0 0 46035 68 0 0 20 0 1 0 158962020 551067648 116638 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 134538 116638 4482 3002 0 118289 0

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

Current children cumulated memory: 485084 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/255 821754
/proc/meminfo: memFree=122290896/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=488500 CPUtime=2913.36 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138326 0 0 0 291005 331 0 0 20 0 1 0 158962020 570376192 122125 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 122125 4482 3002 0 123003 0
Current children cumulated CPU time: 2913.36 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 488500 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/255 821764
/proc/meminfo: memFree=122286144/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=492552 CPUtime=2973.17 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138346 0 0 0 296980 337 0 0 20 0 1 0 158962020 570376192 123138 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 123138 4482 3002 0 123003 0
Current children cumulated CPU time: 2973.17 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 492552 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/255 821775
/proc/meminfo: memFree=122283308/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=494768 CPUtime=3032.98 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138389 0 0 0 302956 342 0 0 20 0 1 0 158962020 570376192 123692 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 123692 4482 3002 0 123003 0
Current children cumulated CPU time: 3032.98 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 494768 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/256 821786
/proc/meminfo: memFree=122282168/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=495216 CPUtime=3092.78 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138445 0 0 0 308932 346 0 0 20 0 1 0 158962020 570376192 123804 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 123804 4482 3002 0 123003 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 495216 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 821797
/proc/meminfo: memFree=122272864/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3152.59 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138521 0 0 0 314907 352 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/259 821813
/proc/meminfo: memFree=122261408/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3212.38 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138594 0 0 0 320881 357 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/259 821824
/proc/meminfo: memFree=122260904/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3272.19 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138667 0 0 0 326860 359 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/259 821834
/proc/meminfo: memFree=122260280/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3332.01 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138742 0 0 0 332838 363 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3332.01 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.01 4.10 4.14 4/252 821876
/proc/meminfo: memFree=122864408/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3391.82 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138817 0 0 0 338816 366 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3462.3 s]
/proc/loadavg: 3.42 3.91 4.07 4/252 821889
/proc/meminfo: memFree=122859256/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3451.59 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138891 0 0 0 344790 369 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3451.59 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3522.3 s]
/proc/loadavg: 2.87 3.68 3.98 3/242 822311
/proc/meminfo: memFree=123883160/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3511.37 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 138968 0 0 0 350764 373 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

[startup+3582.3 s]
/proc/loadavg: 2.42 3.40 3.86 3/242 822322
/proc/meminfo: memFree=123882560/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3571.14 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 139044 0 0 0 356738 376 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 1.93 3.18 3.78 2/235 822359
/proc/meminfo: memFree=126893076/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3600.05 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 139084 0 0 0 359627 378 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.28 s, system=3.78523 s

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

[startup+3611.3 s]
/proc/loadavg: 1.93 3.18 3.78 2/235 822359
/proc/meminfo: memFree=126893076/131524600 swapFree=130795800/131071996
[pid=820421] ppid=820418 vsize=557008 memory=501796 CPUtime=3600.05 cores=4,6
/proc/820421/stat : 820421 (mixed-bag) R 820418 820421 815216 0 -1 4194304 139084 0 0 0 359627 378 0 0 20 0 1 0 158962020 570376192 125449 134679101440 4194304 16487941 140724626046656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 38494208 140724626048023 140724626048100 140724626048100 140724626055115 0
/proc/820421/statm: 139252 125449 4482 3002 0 123003 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 557008 KiB
Current children cumulated memory: 501796 KiB

Child status: 0

Real time (s): 3611.31
CPU time (s): 3600.06
CPU user time (s): 3596.28
CPU system time (s): 3.78523
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 567260
Max. memory (cumulated for all children) (KiB): 501796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.28
system time used= 3.78523
maximum resident set size= 502248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139112
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= 33
involuntary context switches= 1422


# summary of solver processes directly reported to runsolver:
#   pid: 820421
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.28
#   total CPU system time (s): 3.78523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85195 second user time and 16.6906 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-15 20:27:21
IDJOB=4435395
IDBENCH=146791
IDSOLVER=3066
FILE ID=nodeC014/4435395-1721068029
RUNJOBID= nodeC014-1721060594-815229
SLURM_JOB_ID= 7505507
Free space on /tmp= 890024 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-railway_8_1_0.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435395-1721068029/watcher-4435395-1721068029 -o /tmp/evaluation-result-4435395-1721068029/solver-4435395-1721068029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815229 --watchdog 3760  mixed-bag HOME/instance-4435395-1721068029.opb

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

MD5SUM BENCH= 881f02ab7f3f3b5ffe74a08302b7945a
RANDOM SEED=922952185

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		: 3675.024
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		: 3686.175
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		: 3610.771
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.861
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		: 3661.120
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		: 3686.225
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		: 3659.160
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		: 3600.009
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:        126289156 kB
MemAvailable:   128985740 kB
Buffers:          312564 kB
Cached:          3190212 kB
SwapCached:        12860 kB
Active:          1029440 kB
Inactive:        3647536 kB
Active(anon):       9444 kB
Inactive(anon):  1182268 kB
Active(file):    1019996 kB
Inactive(file):  2465268 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             18524 kB
Writeback:             4 kB
AnonPages:       1165324 kB
Mapped:            72360 kB
Shmem:             17460 kB
KReclaimable:     101932 kB
Slab:             193620 kB
SReclaimable:     101932 kB
SUnreclaim:        91688 kB
KernelStack:        4096 kB
PageTables:        12176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1978340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 890064 MiB
End job on nodeC014 at 2024-07-15 21:27:33