Trace number 4454809

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-19? (TO) 3600.11 3609.13

DiagnosticValue
AM1LB0
LOWERBOUND6
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB28

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUMf414edaa70e04e6c4234549a55f077d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454809-1721471683/watcher-4454809-1721471683 -o /tmp/evaluation-result-4454809-1721471683/solver-4454809-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052942 --watchdog 3760 mixed-bag HOME/instance-4454809-1721471683.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1052971, runsolver pid=1052968

[startup+0.100098 s]*
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128781212/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=92728 memory=19764 CPUtime=0.1 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 3970 0 0 0 10 0 0 0 20 0 1 0 199327879 94953472 4941 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 23182 4941 1700 3002 0 7470 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 19764 KiB

[startup+0.213717 s]*
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128763020/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=96824 memory=26192 CPUtime=0.21 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 4572 0 0 0 20 1 0 0 20 0 1 0 199327879 99147776 6548 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 24206 6548 1700 3002 0 8494 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 96824 KiB
Current children cumulated memory: 26192 KiB

[startup+0.312518 s]*
/proc/loadavg: 1.04 1.15 1.69 6/243 1053002
/proc/meminfo: memFree=128743872/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=96824 memory=27504 CPUtime=0.31 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 4884 0 0 0 30 1 0 0 20 0 1 0 199327879 99147776 6876 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 24206 6876 1700 3002 0 8494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96824 KiB
Current children cumulated memory: 27504 KiB

[startup+0.700333 s]
/proc/loadavg: 1.04 1.15 1.69 6/243 1053002
/proc/meminfo: memFree=128640072/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=188040 memory=110152 CPUtime=0.69 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 15564 0 0 0 63 6 0 0 20 0 1 0 199327879 192552960 27538 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 47010 27538 1823 3002 0 30759 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 188040 KiB
Current children cumulated memory: 110152 KiB

[startup+1.50032 s]
/proc/loadavg: 1.04 1.15 1.69 5/243 1053002
/proc/meminfo: memFree=128312704/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=438016 memory=361992 CPUtime=1.49 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 79337 0 0 0 131 18 0 0 20 0 1 0 199327879 448528384 90498 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 109504 90498 3837 3002 0 93253 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 438016 KiB
Current children cumulated memory: 361992 KiB

[startup+3.11305 s]
/proc/loadavg: 1.04 1.15 1.69 5/243 1053004
/proc/meminfo: memFree=127710104/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=557856 memory=479972 CPUtime=3.09 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 104334 0 0 0 286 23 0 0 20 0 1 0 199327879 571244544 119993 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 139464 119993 3869 3002 0 123213 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 557856 KiB
Current children cumulated memory: 479972 KiB

[startup+6.3003 s]
/proc/loadavg: 1.27 1.20 1.70 5/243 1053004
/proc/meminfo: memFree=127304832/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=768684 memory=636036 CPUtime=6.27 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 138300 0 0 0 599 28 0 0 20 0 1 0 199327879 787132416 159009 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 192171 159009 3949 3002 0 175920 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 768684 KiB
Current children cumulated memory: 636036 KiB

[startup+12.7003 s]
/proc/loadavg: 1.49 1.25 1.72 5/243 1053004
/proc/meminfo: memFree=126938868/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1078120 memory=933236 CPUtime=12.64 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 210703 0 0 0 1226 38 0 0 20 0 1 0 199327879 1103994880 233309 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 269530 233309 4077 3002 0 253279 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1078120 KiB
Current children cumulated memory: 933236 KiB

[startup+25.5003 s]
/proc/loadavg: 2.05 1.38 1.75 5/243 1053007
/proc/meminfo: memFree=126864744/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1078120 memory=935916 CPUtime=25.4 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 211672 0 0 0 2501 39 0 0 20 0 1 0 199327879 1103994880 233979 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 269530 233979 4077 3002 0 253279 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1078120 KiB
Current children cumulated memory: 935916 KiB

[startup+51.1129 s]
/proc/loadavg: 2.78 1.61 1.82 5/241 1053010
/proc/meminfo: memFree=126696136/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1122436 memory=952640 CPUtime=50.92 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 214951 0 0 0 5052 40 0 0 20 0 1 0 199327879 1149374464 238160 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 280609 238160 4077 3002 0 264358 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1122436 KiB
Current children cumulated memory: 952640 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.01 1.95 5/241 1053018
/proc/meminfo: memFree=126672060/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1165752 memory=975592 CPUtime=101.94 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 220723 0 0 0 10152 42 0 0 20 0 1 0 199327879 1193730048 243898 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 291438 243898 4077 3002 0 275187 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1165752 KiB
Current children cumulated memory: 975592 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.40 2.08 5/241 1053029
/proc/meminfo: memFree=126669828/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1167980 memory=977108 CPUtime=161.75 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 221132 0 0 0 16132 43 0 0 20 0 1 0 199327879 1196011520 244277 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 291995 244277 4093 3002 0 275744 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1167980 KiB
Current children cumulated memory: 977108 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.21 5/241 1053039
/proc/meminfo: memFree=126659788/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1175808 memory=986180 CPUtime=221.56 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 222956 0 0 0 22113 43 0 0 20 0 1 0 199327879 1204027392 246545 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 293952 246545 4093 3002 0 277701 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1175808 KiB
Current children cumulated memory: 986180 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.96 2.33 5/241 1053049
/proc/meminfo: memFree=126644488/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1192312 memory=1000864 CPUtime=281.4 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 225662 0 0 0 28096 44 0 0 20 0 1 0 199327879 1220927488 250216 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 298078 250216 4093 3002 0 281827 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1192312 KiB
Current children cumulated memory: 1000864 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.18 2.45 5/244 1053064
/proc/meminfo: memFree=126453136/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1233940 memory=1110816 CPUtime=341.26 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 230948 0 0 0 34057 69 0 0 20 0 1 0 199327879 1263554560 277704 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 308485 277704 4227 3002 0 292234 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1233940 KiB
Current children cumulated memory: 1110816 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.55 5/244 1053075
/proc/meminfo: memFree=126343828/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1315328 memory=1166336 CPUtime=401.12 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 231536 0 0 0 40029 83 0 0 20 0 1 0 199327879 1346895872 291584 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 328832 291584 4227 3002 0 312581 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1315328 KiB
Current children cumulated memory: 1166336 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.65 5/244 1053085
/proc/meminfo: memFree=126284828/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=1315328 memory=1185368 CPUtime=460.98 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 231670 0 0 0 46002 96 0 0 20 0 1 0 199327879 1346895872 296342 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 328832 296342 4227 3002 0 312581 0

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

Current children cumulated memory: 1595968 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/244 1054101
/proc/meminfo: memFree=125388884/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=2914.87 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 243024 0 0 0 291074 413 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 2914.87 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/244 1054112
/proc/meminfo: memFree=125384516/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=2974.7 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 243216 0 0 0 297048 422 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 2974.7 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/244 1054504
/proc/meminfo: memFree=125382560/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3034.55 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 243441 0 0 0 303025 430 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3102.3 s]
/proc/loadavg: 4.24 4.13 4.08 5/242 1054516
/proc/meminfo: memFree=125336672/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3094.4 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 243691 0 0 0 309004 436 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/242 1054526
/proc/meminfo: memFree=125315892/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3154.27 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 243953 0 0 0 314984 443 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/243 1054705
/proc/meminfo: memFree=125300428/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3214.13 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 244262 0 0 0 320964 449 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/244 1054717
/proc/meminfo: memFree=125298676/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3274 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 244617 0 0 0 326943 457 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3274 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/246 1054785
/proc/meminfo: memFree=125292556/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3333.87 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 244893 0 0 0 332922 465 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/246 1054795
/proc/meminfo: memFree=125292592/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3393.74 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 245191 0 0 0 338899 475 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 1054806
/proc/meminfo: memFree=125292392/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3453.6 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 245481 0 0 0 344878 482 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3453.6 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 1054816
/proc/meminfo: memFree=125244972/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3513.47 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 245831 0 0 0 350859 488 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/243 1054827
/proc/meminfo: memFree=125244704/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3573.34 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 246201 0 0 0 356838 496 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.14 4.12 4.09 5/243 1054833
/proc/meminfo: memFree=125244600/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3600.09 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 246267 0 0 0 359511 498 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.12 s, system=4.99263 s

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

[startup+3609.11 s]
/proc/loadavg: 4.14 4.12 4.09 5/243 1054833
/proc/meminfo: memFree=125244600/131655788 swapFree=131071996/131071996
[pid=1052971] ppid=1052968 vsize=2011760 memory=1595968 CPUtime=3600.09 cores=5,7
/proc/1052971/stat : 1052971 (mixed-bag) R 1052968 1052971 1052929 0 -1 4194304 246267 0 0 0 359511 498 0 0 20 0 1 0 199327879 2060042240 398992 134679101440 4194304 16488053 140727751971184 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32755712 140727751980053 140727751980130 140727751980130 140727751987147 0
/proc/1052971/statm: 502940 398992 4227 3002 0 486689 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2011760 KiB
Current children cumulated memory: 1595968 KiB

Child status: 0

Real time (s): 3609.13
CPU time (s): 3600.11
CPU user time (s): 3595.12
CPU system time (s): 4.99263
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 2011760
Max. memory (cumulated for all children) (KiB): 1595968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.12
system time used= 4.99263
maximum resident set size= 1595968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246309
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= 130
involuntary context switches= 1650


# summary of solver processes directly reported to runsolver:
#   pid: 1052971
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3595.12
#   total CPU system time (s): 4.99263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2748 second user time and 34.8291 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-20 12:34:55
IDJOB=4454809
IDBENCH=148186
IDSOLVER=3083
FILE ID=nodeC009/4454809-1721471683
RUNJOBID= nodeC009-1721471695-1052942
SLURM_JOB_ID= 7545739
Free space on /tmp= 723756 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454809-1721471683/watcher-4454809-1721471683 -o /tmp/evaluation-result-4454809-1721471683/solver-4454809-1721471683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721471695-1052942 --watchdog 3760  mixed-bag HOME/instance-4454809-1721471683.opb

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=1484410279

nodeC009.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	: 0xb00001f
cpu MHz		: 1197.321
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.320
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.323
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.320
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.326
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 3480.917
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.322
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128803316 kB
MemAvailable:   129905660 kB
Buffers:          606612 kB
Cached:          1339264 kB
SwapCached:            0 kB
Active:          1180424 kB
Inactive:        1116268 kB
Active(anon):       1356 kB
Inactive(anon):   395408 kB
Active(file):    1179068 kB
Inactive(file):   720860 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             72996 kB
Writeback:             0 kB
AnonPages:        350888 kB
Mapped:           107324 kB
Shmem:             45892 kB
KReclaimable:      84892 kB
Slab:             186536 kB
SReclaimable:      84892 kB
SUnreclaim:       101644 kB
KernelStack:        3632 kB
PageTables:         9560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     689796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62304 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC009 at 2024-07-20 13:35:04