Trace number 4435658

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.09 3612.45

DiagnosticValue
AM1LB0
LOWERBOUND24
NAM1S0
NCORES24
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
MD5SUMc0e25a71d8726d42148f3e780c01ff44
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 benchmark56
Best CPU time to get the best result obtained on this benchmark3558.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14300
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint93
Number of terms in the objective function 14300
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 14300
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 14300
Number of bits of the biggest sum of numbers14
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
3.38/3.41	c [STEP] preprocessing with Papilo
4.08/4.12	c Papilo could not simplify the problem
4.08/4.12	c [STEP] solving with SCIP
303.99/305.13	c [STEP] preprocessing done, loading into solver
304.68/305.85	c [STEP] solving
304.68/305.85	c #variables 14301 #constraints 65280
304.68/305.85	c SMALL=int, LARGE=long long
304.68/305.85	c bounds - >= 0 @ 302.624
304.68/305.85	c stratification level: 0
827.36/830.25	c bounds - >= 1 @ 302.764
827.36/830.25	c bounds - >= 2 @ 302.769
827.36/830.25	c bounds - >= 3 @ 302.773
827.36/830.25	c bounds - >= 4 @ 302.777
827.36/830.25	c bounds - >= 5 @ 302.787
827.36/830.25	c bounds - >= 6 @ 302.789
827.36/830.25	c bounds - >= 7 @ 302.791
827.36/830.25	c bounds - >= 8 @ 302.796
827.36/830.25	c bounds - >= 9 @ 302.801
827.36/830.25	c bounds - >= 10 @ 302.807
827.36/830.25	c bounds - >= 11 @ 302.81
827.36/830.25	c bounds - >= 12 @ 302.813
827.36/830.25	c bounds - >= 13 @ 302.816
827.36/830.25	c bounds - >= 14 @ 302.82
827.36/830.25	c bounds - >= 15 @ 302.824
827.36/830.25	c bounds - >= 16 @ 302.828
827.36/830.25	c bounds - >= 17 @ 302.843
827.36/830.25	c bounds - >= 18 @ 302.847
827.36/830.25	c bounds - >= 19 @ 302.851
827.36/830.25	c bounds - >= 20 @ 302.858
827.36/830.25	c bounds - >= 21 @ 302.863
827.36/830.25	c bounds - >= 22 @ 302.866
827.36/830.25	c bounds - >= 23 @ 302.874
827.36/830.25	c bounds - >= 24 @ 302.879
827.36/830.25	c #Conflicts:       1000 | #Constraints:      66304
827.36/830.25	c #Conflicts:       2000 | #Constraints:      67304
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:       3000 | #Constraints:      67286
827.36/830.25	c #Conflicts:       4000 | #Constraints:      68286
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:       5000 | #Constraints:      67693
827.36/830.25	c #Conflicts:       6000 | #Constraints:      68693
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:       7000 | #Constraints:      67697
827.36/830.25	c #Conflicts:       8000 | #Constraints:      68697
827.36/830.25	c #Conflicts:       9000 | #Constraints:      69697
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      10000 | #Constraints:      68401
827.36/830.25	c #Conflicts:      11000 | #Constraints:      69401
827.36/830.25	c #Conflicts:      12000 | #Constraints:      70401
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      13000 | #Constraints:      68849
827.36/830.25	c #Conflicts:      14000 | #Constraints:      69849
827.36/830.25	c #Conflicts:      15000 | #Constraints:      70849
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      16000 | #Constraints:      69073
827.36/830.25	c #Conflicts:      17000 | #Constraints:      70073
827.36/830.25	c #Conflicts:      18000 | #Constraints:      71073
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      19000 | #Constraints:      69086
827.36/830.25	c #Conflicts:      20000 | #Constraints:      70086
827.36/830.25	c #Conflicts:      21000 | #Constraints:      71086
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      22000 | #Constraints:      68896
827.36/830.25	c #Conflicts:      23000 | #Constraints:      69896
827.36/830.25	c #Conflicts:      24000 | #Constraints:      70896
827.36/830.25	c #Conflicts:      25000 | #Constraints:      71896
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      26000 | #Constraints:      69496
827.36/830.25	c #Conflicts:      27000 | #Constraints:      70496
827.36/830.25	c #Conflicts:      28000 | #Constraints:      71496
827.36/830.25	c #Conflicts:      29000 | #Constraints:      72496
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      30000 | #Constraints:      69901
827.36/830.25	c #Conflicts:      31000 | #Constraints:      70901
827.36/830.25	c #Conflicts:      32000 | #Constraints:      71901
827.36/830.25	c #Conflicts:      33000 | #Constraints:      72901
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      34000 | #Constraints:      70108
827.36/830.25	c #Conflicts:      35000 | #Constraints:      71108
827.36/830.25	c #Conflicts:      36000 | #Constraints:      72108
827.36/830.25	c #Conflicts:      37000 | #Constraints:      73108
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      38000 | #Constraints:      70102
827.36/830.25	c #Conflicts:      39000 | #Constraints:      71102
827.36/830.25	c #Conflicts:      40000 | #Constraints:      72102
827.36/830.25	c #Conflicts:      41000 | #Constraints:      73102
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      42000 | #Constraints:      69901
827.36/830.25	c #Conflicts:      43000 | #Constraints:      70901
827.36/830.25	c #Conflicts:      44000 | #Constraints:      71901
827.36/830.25	c #Conflicts:      45000 | #Constraints:      72901
827.36/830.25	c #Conflicts:      46000 | #Constraints:      73901
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      47000 | #Constraints:      70503
827.36/830.25	c #Conflicts:      48000 | #Constraints:      71503
827.36/830.25	c #Conflicts:      49000 | #Constraints:      72503
827.36/830.25	c #Conflicts:      50000 | #Constraints:      73503
827.36/830.25	c #Conflicts:      51000 | #Constraints:      74503
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      52000 | #Constraints:      70903
827.36/830.25	c #Conflicts:      53000 | #Constraints:      71903
827.36/830.25	c #Conflicts:      54000 | #Constraints:      72903
827.36/830.25	c #Conflicts:      55000 | #Constraints:      73903
827.36/830.25	c #Conflicts:      56000 | #Constraints:      74903
827.36/830.25	c INPROCESSING
827.36/830.25	c GARBAGE COLLECT
827.36/830.25	c #Conflicts:      57000 | #Constraints:      71102
1818.06/1824.30	c #Conflicts:      58000 | #Constraints:      72102
1818.06/1824.30	c #Conflicts:      59000 | #Constraints:      73102
1818.06/1824.30	c #Conflicts:      60000 | #Constraints:      74102
1818.06/1824.30	c #Conflicts:      61000 | #Constraints:      75102
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      62000 | #Constraints:      71101
1818.06/1824.30	c #Conflicts:      63000 | #Constraints:      72101
1818.06/1824.30	c #Conflicts:      64000 | #Constraints:      73101
1818.06/1824.30	c #Conflicts:      65000 | #Constraints:      74101
1818.06/1824.30	c #Conflicts:      66000 | #Constraints:      75101
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      67000 | #Constraints:      70911
1818.06/1824.30	c #Conflicts:      68000 | #Constraints:      71911
1818.06/1824.30	c #Conflicts:      69000 | #Constraints:      72911
1818.06/1824.30	c #Conflicts:      70000 | #Constraints:      73911
1818.06/1824.30	c #Conflicts:      71000 | #Constraints:      74911
1818.06/1824.30	c #Conflicts:      72000 | #Constraints:      75911
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      73000 | #Constraints:      71510
1818.06/1824.30	c #Conflicts:      74000 | #Constraints:      72510
1818.06/1824.30	c #Conflicts:      75000 | #Constraints:      73510
1818.06/1824.30	c #Conflicts:      76000 | #Constraints:      74510
1818.06/1824.30	c #Conflicts:      77000 | #Constraints:      75510
1818.06/1824.30	c #Conflicts:      78000 | #Constraints:      76510
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      79000 | #Constraints:      71903
1818.06/1824.30	c #Conflicts:      80000 | #Constraints:      72903
1818.06/1824.30	c #Conflicts:      81000 | #Constraints:      73903
1818.06/1824.30	c #Conflicts:      82000 | #Constraints:      74903
1818.06/1824.30	c #Conflicts:      83000 | #Constraints:      75903
1818.06/1824.30	c #Conflicts:      84000 | #Constraints:      76903
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      85000 | #Constraints:      72106
1818.06/1824.30	c #Conflicts:      86000 | #Constraints:      73106
1818.06/1824.30	c #Conflicts:      87000 | #Constraints:      74106
1818.06/1824.30	c #Conflicts:      88000 | #Constraints:      75106
1818.06/1824.30	c #Conflicts:      89000 | #Constraints:      76106
1818.06/1824.30	c #Conflicts:      90000 | #Constraints:      77106
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      91000 | #Constraints:      72105
1818.06/1824.30	c #Conflicts:      92000 | #Constraints:      73105
1818.06/1824.30	c #Conflicts:      93000 | #Constraints:      74105
1818.06/1824.30	c #Conflicts:      94000 | #Constraints:      75105
1818.06/1824.30	c #Conflicts:      95000 | #Constraints:      76105
1818.06/1824.30	c #Conflicts:      96000 | #Constraints:      77105
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:      97000 | #Constraints:      71910
1818.06/1824.30	c #Conflicts:      98000 | #Constraints:      72910
1818.06/1824.30	c #Conflicts:      99000 | #Constraints:      73910
1818.06/1824.30	c #Conflicts:     100000 | #Constraints:      74910
1818.06/1824.30	c #Conflicts:     101000 | #Constraints:      75910
1818.06/1824.30	c #Conflicts:     102000 | #Constraints:      76910
1818.06/1824.30	c #Conflicts:     103000 | #Constraints:      77910
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:     104000 | #Constraints:      72507
1818.06/1824.30	c #Conflicts:     105000 | #Constraints:      73507
1818.06/1824.30	c #Conflicts:     106000 | #Constraints:      74507
1818.06/1824.30	c #Conflicts:     107000 | #Constraints:      75507
1818.06/1824.30	c #Conflicts:     108000 | #Constraints:      76507
1818.06/1824.30	c #Conflicts:     109000 | #Constraints:      77507
1818.06/1824.30	c #Conflicts:     110000 | #Constraints:      78507
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:     111000 | #Constraints:      72908
1818.06/1824.30	c #Conflicts:     112000 | #Constraints:      73908
1818.06/1824.30	c #Conflicts:     113000 | #Constraints:      74908
1818.06/1824.30	c #Conflicts:     114000 | #Constraints:      75908
1818.06/1824.30	c #Conflicts:     115000 | #Constraints:      76908
1818.06/1824.30	c #Conflicts:     116000 | #Constraints:      77908
1818.06/1824.30	c #Conflicts:     117000 | #Constraints:      78908
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:     118000 | #Constraints:      73108
1818.06/1824.30	c #Conflicts:     119000 | #Constraints:      74108
1818.06/1824.30	c #Conflicts:     120000 | #Constraints:      75108
1818.06/1824.30	c #Conflicts:     121000 | #Constraints:      76108
1818.06/1824.30	c #Conflicts:     122000 | #Constraints:      77108
1818.06/1824.30	c #Conflicts:     123000 | #Constraints:      78108
1818.06/1824.30	c #Conflicts:     124000 | #Constraints:      79108
1818.06/1824.30	c INPROCESSING
1818.06/1824.30	c GARBAGE COLLECT
1818.06/1824.30	c #Conflicts:     125000 | #Constraints:      73107
1818.06/1824.30	c #Conflicts:     126000 | #Constraints:      74107
1818.06/1824.30	c #Conflicts:     127000 | #Constraints:      75107
1818.06/1824.30	c #Conflicts:     128000 | #Constraints:      76107
1818.06/1824.30	c #Conflicts:     129000 | #Constraints:      77107
2859.62/2869.57	c #Conflicts:     130000 | #Constraints:      78107
2859.62/2869.57	c #Conflicts:     131000 | #Constraints:      79107
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     132000 | #Constraints:      72911
2859.62/2869.57	c #Conflicts:     133000 | #Constraints:      73911
2859.62/2869.57	c #Conflicts:     134000 | #Constraints:      74911
2859.62/2869.57	c #Conflicts:     135000 | #Constraints:      75911
2859.62/2869.57	c #Conflicts:     136000 | #Constraints:      76911
2859.62/2869.57	c #Conflicts:     137000 | #Constraints:      77911
2859.62/2869.57	c #Conflicts:     138000 | #Constraints:      78911
2859.62/2869.57	c #Conflicts:     139000 | #Constraints:      79911
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     140000 | #Constraints:      73505
2859.62/2869.57	c #Conflicts:     141000 | #Constraints:      74505
2859.62/2869.57	c #Conflicts:     142000 | #Constraints:      75505
2859.62/2869.57	c #Conflicts:     143000 | #Constraints:      76505
2859.62/2869.57	c #Conflicts:     144000 | #Constraints:      77505
2859.62/2869.57	c #Conflicts:     145000 | #Constraints:      78505
2859.62/2869.57	c #Conflicts:     146000 | #Constraints:      79505
2859.62/2869.57	c #Conflicts:     147000 | #Constraints:      80505
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     148000 | #Constraints:      73906
2859.62/2869.57	c #Conflicts:     149000 | #Constraints:      74906
2859.62/2869.57	c #Conflicts:     150000 | #Constraints:      75906
2859.62/2869.57	c #Conflicts:     151000 | #Constraints:      76906
2859.62/2869.57	c #Conflicts:     152000 | #Constraints:      77906
2859.62/2869.57	c #Conflicts:     153000 | #Constraints:      78906
2859.62/2869.57	c #Conflicts:     154000 | #Constraints:      79906
2859.62/2869.57	c #Conflicts:     155000 | #Constraints:      80906
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     156000 | #Constraints:      74120
2859.62/2869.57	c #Conflicts:     157000 | #Constraints:      75120
2859.62/2869.57	c #Conflicts:     158000 | #Constraints:      76120
2859.62/2869.57	c #Conflicts:     159000 | #Constraints:      77120
2859.62/2869.57	c #Conflicts:     160000 | #Constraints:      78120
2859.62/2869.57	c #Conflicts:     161000 | #Constraints:      79120
2859.62/2869.57	c #Conflicts:     162000 | #Constraints:      80120
2859.62/2869.57	c #Conflicts:     163000 | #Constraints:      81120
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     164000 | #Constraints:      74113
2859.62/2869.57	c #Conflicts:     165000 | #Constraints:      75113
2859.62/2869.57	c #Conflicts:     166000 | #Constraints:      76113
2859.62/2869.57	c #Conflicts:     167000 | #Constraints:      77113
2859.62/2869.57	c #Conflicts:     168000 | #Constraints:      78113
2859.62/2869.57	c #Conflicts:     169000 | #Constraints:      79113
2859.62/2869.57	c #Conflicts:     170000 | #Constraints:      80113
2859.62/2869.57	c #Conflicts:     171000 | #Constraints:      81113
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     172000 | #Constraints:      73919
2859.62/2869.57	c #Conflicts:     173000 | #Constraints:      74919
2859.62/2869.57	c #Conflicts:     174000 | #Constraints:      75919
2859.62/2869.57	c #Conflicts:     175000 | #Constraints:      76919
2859.62/2869.57	c #Conflicts:     176000 | #Constraints:      77919
2859.62/2869.57	c #Conflicts:     177000 | #Constraints:      78919
2859.62/2869.57	c #Conflicts:     178000 | #Constraints:      79919
2859.62/2869.57	c #Conflicts:     179000 | #Constraints:      80919
2859.62/2869.57	c #Conflicts:     180000 | #Constraints:      81919
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     181000 | #Constraints:      74519
2859.62/2869.57	c #Conflicts:     182000 | #Constraints:      75519
2859.62/2869.57	c #Conflicts:     183000 | #Constraints:      76519
2859.62/2869.57	c #Conflicts:     184000 | #Constraints:      77519
2859.62/2869.57	c #Conflicts:     185000 | #Constraints:      78519
2859.62/2869.57	c #Conflicts:     186000 | #Constraints:      79519
2859.62/2869.57	c #Conflicts:     187000 | #Constraints:      80519
2859.62/2869.57	c #Conflicts:     188000 | #Constraints:      81519
2859.62/2869.57	c #Conflicts:     189000 | #Constraints:      82519
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     190000 | #Constraints:      74915
2859.62/2869.57	c #Conflicts:     191000 | #Constraints:      75915
2859.62/2869.57	c #Conflicts:     192000 | #Constraints:      76915
2859.62/2869.57	c #Conflicts:     193000 | #Constraints:      77915
2859.62/2869.57	c #Conflicts:     194000 | #Constraints:      78915
2859.62/2869.57	c #Conflicts:     195000 | #Constraints:      79915
2859.62/2869.57	c #Conflicts:     196000 | #Constraints:      80915
2859.62/2869.57	c #Conflicts:     197000 | #Constraints:      81915
2859.62/2869.57	c #Conflicts:     198000 | #Constraints:      82915
2859.62/2869.57	c INPROCESSING
2859.62/2869.57	c GARBAGE COLLECT
2859.62/2869.57	c #Conflicts:     199000 | #Constraints:      75114
2859.62/2869.57	c #Conflicts:     200000 | #Constraints:      76114
2859.62/2869.57	c #Conflicts:     201000 | #Constraints:      77114
2859.62/2869.57	c #Conflicts:     202000 | #Constraints:      78114
3600.02/3612.40	c #Conflicts:     203000 | #Constraints:      79114
3600.02/3612.40	c #Conflicts:     204000 | #Constraints:      80114
3600.02/3612.40	c #Conflicts:     205000 | #Constraints:      81114
3600.02/3612.40	c #Conflicts:     206000 | #Constraints:      82114
3600.02/3612.40	c #Conflicts:     207000 | #Constraints:      83114
3600.02/3612.40	c INPROCESSING
3600.02/3612.40	c GARBAGE COLLECT
3600.02/3612.40	c #Conflicts:     208000 | #Constraints:      75110
3600.02/3612.40	c #Conflicts:     209000 | #Constraints:      76110
3600.02/3612.40	c #Conflicts:     210000 | #Constraints:      77110
3600.02/3612.40	c #Conflicts:     211000 | #Constraints:      78110
3600.02/3612.40	c #Conflicts:     212000 | #Constraints:      79110
3600.02/3612.40	c #Conflicts:     213000 | #Constraints:      80110
3600.02/3612.40	c #Conflicts:     214000 | #Constraints:      81110
3600.02/3612.40	c #Conflicts:     215000 | #Constraints:      82110
3600.02/3612.40	c #Conflicts:     216000 | #Constraints:      83110
3600.02/3612.40	c INPROCESSING
3600.02/3612.40	c GARBAGE COLLECT
3600.02/3612.40	c #Conflicts:     217000 | #Constraints:      74906
3600.02/3612.40	c #Conflicts:     218000 | #Constraints:      75906
3600.02/3612.40	c #Conflicts:     219000 | #Constraints:      76906
3600.02/3612.40	c #Conflicts:     220000 | #Constraints:      77906
3600.02/3612.40	c #Conflicts:     221000 | #Constraints:      78906
3600.02/3612.40	c #Conflicts:     222000 | #Constraints:      79906
3600.02/3612.40	c #Conflicts:     223000 | #Constraints:      80906
3600.02/3612.40	c #Conflicts:     224000 | #Constraints:      81906
3600.02/3612.40	c #Conflicts:     225000 | #Constraints:      82906
3600.02/3612.40	c #Conflicts:     226000 | #Constraints:      83906
3600.02/3612.40	c INPROCESSING
3600.02/3612.40	c GARBAGE COLLECT
3600.02/3612.40	c #Conflicts:     227000 | #Constraints:      75515
3600.02/3612.40	c #Conflicts:     228000 | #Constraints:      76515
3600.02/3612.40	c #Conflicts:     229000 | #Constraints:      77515
3600.02/3612.40	c #Conflicts:     230000 | #Constraints:      78515
3600.02/3612.40	c #Conflicts:     231000 | #Constraints:      79515
3600.02/3612.40	c #Conflicts:     232000 | #Constraints:      80515
3600.02/3612.40	c #Conflicts:     233000 | #Constraints:      81515
3600.02/3612.40	c #Conflicts:     234000 | #Constraints:      82515
3600.02/3612.40	c #Conflicts:     235000 | #Constraints:      83515
3600.02/3612.40	c #Conflicts:     236000 | #Constraints:      84515
3600.02/3612.40	c INPROCESSING
3600.02/3612.40	c GARBAGE COLLECT
3600.02/3612.40	c #Conflicts:     237000 | #Constraints:      75911
3600.02/3612.40	c #Conflicts:     238000 | #Constraints:      76911
3600.02/3612.40	c #Conflicts:     239000 | #Constraints:      77911
3600.02/3612.40	c #Conflicts:     240000 | #Constraints:      78911
3600.02/3612.40	c #Conflicts:     241000 | #Constraints:      79911
3600.02/3612.40	c #Conflicts:     242000 | #Constraints:      80911
3600.02/3612.40	c #Conflicts:     243000 | #Constraints:      81911
3600.02/3612.40	c #Conflicts:     244000 | #Constraints:      82911
3600.02/3612.40	c #Conflicts:     245000 | #Constraints:      83911
3600.02/3612.40	c #Conflicts:     246000 | #Constraints:      84911
3600.02/3612.40	c INPROCESSING
3600.02/3612.40	c GARBAGE COLLECT
3600.02/3612.40	c #Conflicts:     247000 | #Constraints:      76115
3600.02/3612.40	c #Conflicts:     248000 | #Constraints:      77115
3600.02/3612.40	c #Conflicts:     249000 | #Constraints:      78115
3600.02/3612.40	c #Conflicts:     250000 | #Constraints:      79115
3600.02/3612.40	c #Conflicts:     251000 | #Constraints:      80115
3600.02/3612.40	c #Conflicts:     252000 | #Constraints:      81115
3600.02/3612.40	c #Conflicts:     253000 | #Constraints:      82115
3600.02/3612.40	c #Conflicts:     254000 | #Constraints:      83115
3600.02/3612.40	c Program interrupted by user.
3600.02/3612.40	c cpu time 3531.87 s
3600.02/3612.40	c deterministic time 177560753506 1.78e+11
3600.02/3612.40	c optimization time 110.623 s
3600.02/3612.40	c total solve time 3118.62 s
3600.02/3612.40	c core-guided solve time 3118.62 s
3600.02/3612.40	c propagation time 2091.08 s
3600.02/3612.40	c conflict analysis time 819.361 s
3600.02/3612.40	c propagations 275852431
3600.02/3612.40	c resolve steps 941241
3600.02/3612.40	c decisions 86304592
3600.02/3612.40	c conflicts 254058
3600.02/3612.40	c restarts 597
3600.02/3612.40	c inprocessing phases 41
3600.02/3612.40	c input clauses 65281
3600.02/3612.40	c input cardinalities 24
3600.02/3612.40	c input general constraints 0
3600.02/3612.40	c input average constraint length 83.75
3600.02/3612.40	c input average constraint degree 1.22
3600.02/3612.40	c learned clauses 4280
3600.02/3612.40	c learned cardinalities 85
3600.02/3612.40	c learned general constraints 249693
3600.02/3612.40	c learned average constraint length 13135.82
3600.02/3612.40	c learned average constraint degree 447478.54
3600.02/3612.40	c watched constraints 1799
3600.02/3612.40	c counting constraints 247894
3600.02/3612.40	c gcd simplifications 511
3600.02/3612.40	c detected cardinalities 0
3600.02/3612.40	c weakened non-implied lits 43323531
3600.02/3612.40	c weakened non-implying lits 4820
3600.02/3612.40	c original variables 14300
3600.02/3612.40	c clausal propagations 3697786
3600.02/3612.40	c cardinality propagations 7208
3600.02/3612.40	c watched propagations 117912
3600.02/3612.40	c counting propagations 271841960
3600.02/3612.40	c watch lookups 28359995320
3600.02/3612.40	c watch backjump lookups 28303886024
3600.02/3612.40	c watch checks 2183343893
3600.02/3612.40	c propagation checks 110412772111
3600.02/3612.40	c constraint additions 7576200596
3600.02/3612.40	c trail pops 362398538
3600.02/3612.40	c formula constraints 65280
3600.02/3612.40	c learned constraints 254058
3600.02/3612.40	c bound constraints 25
3600.02/3612.40	c core-guided constraints 0
3600.02/3612.40	c encountered formula constraints 644618
3600.02/3612.40	c encountered learned constraints 550671
3600.02/3612.40	c encountered bound constraints 10
3600.02/3612.40	c encountered core-guided constraints 0
3600.02/3612.40	c LP total time 0 s
3600.02/3612.40	c LP solve time 0 s
3600.02/3612.40	c LP constraints added 0
3600.02/3612.40	c LP constraints removed 0
3600.02/3612.40	c LP pivots internal 0
3600.02/3612.40	c LP pivots root 0
3600.02/3612.40	c LP calls 0
3600.02/3612.40	c LP optimalities 0
3600.02/3612.40	c LP no pivot count 0
3600.02/3612.40	c LP infeasibilities 0
3600.02/3612.40	c LP valid Farkas constraints 0
3600.02/3612.40	c LP learned Farkas constraints 0
3600.02/3612.40	c LP basis resets 0
3600.02/3612.40	c LP cycling count 0
3600.02/3612.40	c LP singular count 0
3600.02/3612.40	c LP no primal count 0
3600.02/3612.40	c LP no farkas count 0
3600.02/3612.40	c LP other issue count 0
3600.02/3612.40	c LP Gomory cuts 0
3600.02/3612.40	c LP learned cuts 0
3600.02/3612.40	c LP deleted cuts 0
3600.02/3612.40	c LP encountered Gomory constraints 0
3600.02/3612.40	c LP encountered Farkas constraints 0
3600.02/3612.40	c LP encountered learned Farkas constraints 0
3600.02/3612.40	c CG auxiliary variables introduced 0
3600.02/3612.40	c CG solutions found 0
3600.02/3612.40	c CG cores constructed 24
3600.02/3612.40	c CG core cardinality constraints returned 0
3600.02/3612.40	c CG unit cores 0
3600.02/3612.40	c CG single cores 24
3600.02/3612.40	c CG blocks removed during cardinality reduction 0
3600.02/3612.40	c CG first core best 0
3600.02/3612.40	c CG decision core best 0
3600.02/3612.40	c CG core reduction tie 0
3600.02/3612.40	c CG core degree average 1.00
3600.02/3612.40	c CG core slack average 74.71
3600.02/3612.40	c CG exhausted 0
3600.02/3612.40	c CG exhaust time 0 s
3600.02/3612.40	c CG trimmed 0
3600.02/3612.40	c CG trim time 0.001555 s
3600.02/3612.40	c CG minimized 0
3600.02/3612.40	c CG minimize time 0 s
3600.02/3612.40	c CG am1 prop time 0.024751 s
3600.02/3612.40	c CG # am1s reformulated 0
3600.02/3612.40	c CG lower bound derived from am1s 0
3600.02/3612.40	c CG # clausal cores 24
3600.02/3612.40	c CG # cardinality cores 0
3600.02/3612.40	c CG # pb cores 0
3600.02/3612.40	c CG # pb reforms 0
3600.02/3612.40	c CG # cores discarded because of pb reform 0
3600.02/3612.40	d LOWERBOUND 24
3600.02/3612.40	d NCORES 24
3600.02/3612.40	d NPBCORES 0
3600.02/3612.40	d NPBREFORM 0
3600.02/3612.40	d NTRIMMED 0
3600.02/3612.40	d NEXHAUSTED 0
3600.02/3612.40	d NAM1S 0
3600.02/3612.40	d AM1LB 0
3600.02/3612.40	c [Papilo Statistics]
3600.02/3612.40	c prepro time 0.712872s
3600.02/3612.40	c # tsx applied 0
3600.02/3612.40	c # tsx conflicts 0
3600.02/3612.40	c # bound changes 0
3600.02/3612.40	c # side changes 0
3600.02/3612.40	c # coef changes 0
3600.02/3612.40	c # rounds 1
3600.02/3612.40	c # deted vars 0
3600.02/3612.40	c # deted constrs 0
3600.02/3612.40	c # consecutive rounds of only bound changes 0
3600.02/3612.44	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: 63968 MiB (62540 MiB free)
  memory of node 1: 64473 MiB (62554 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435658-1721131483/watcher-4435658-1721131483 -o /tmp/evaluation-result-4435658-1721131483/solver-4435658-1721131483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850376 --watchdog 3760 mixed-bag HOME/instance-4435658-1721131483.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=852438, runsolver pid=852435

[startup+0.10009 s]*
/proc/loadavg: 4.14 4.12 4.13 5/247 852440
/proc/meminfo: memFree=128040268/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=87552 memory=16644 CPUtime=0.09 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 3699 0 0 0 9 0 0 0 20 0 1 0 165315004 89653248 4161 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 21888 4161 1610 3002 0 6178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87552 KiB
Current children cumulated memory: 16644 KiB

[startup+0.20569 s]*
/proc/loadavg: 4.14 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127984988/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=95744 memory=22868 CPUtime=0.2 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 4248 0 0 0 19 1 0 0 20 0 1 0 165315004 98041856 5717 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 23936 5717 1610 3002 0 8226 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95744 KiB
Current children cumulated memory: 22868 KiB

[startup+0.305505 s]*
/proc/loadavg: 4.14 4.12 4.13 5/252 852450
/proc/meminfo: memFree=128025688/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=112128 memory=29180 CPUtime=0.29 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 4290 0 0 0 28 1 0 0 20 0 1 0 165315004 114819072 7295 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 28032 7295 1610 3002 0 12322 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112128 KiB
Current children cumulated memory: 29180 KiB

[startup+0.700248 s]
/proc/loadavg: 4.14 4.12 4.13 5/252 852450
/proc/meminfo: memFree=127822660/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=144896 memory=52032 CPUtime=0.69 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 4427 0 0 0 66 3 0 0 20 0 1 0 165315004 148373504 13008 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 36224 13008 1610 3002 0 20514 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144896 KiB
Current children cumulated memory: 52032 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.12 4.13 5/250 852450
/proc/meminfo: memFree=127382128/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=210432 memory=97960 CPUtime=1.49 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 4702 0 0 0 144 5 0 0 20 0 1 0 165315004 215482368 24490 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 52608 24490 1610 3002 0 36898 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 210432 KiB
Current children cumulated memory: 97960 KiB

[startup+3.10582 s]
/proc/loadavg: 4.13 4.12 4.13 5/256 852461
/proc/meminfo: memFree=126092660/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=464900 memory=296608 CPUtime=3.08 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 6917 0 0 0 295 13 0 0 20 0 1 0 165315004 476057600 74152 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 116225 74152 1626 3002 0 100515 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 464900 KiB
Current children cumulated memory: 296608 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852463
/proc/meminfo: memFree=123905996/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=1456880 memory=1271620 CPUtime=6.27 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 200612 0 0 0 570 57 0 0 20 0 1 0 165315004 1491845120 317905 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 364220 317905 3766 3002 0 347971 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1456880 KiB
Current children cumulated memory: 1271620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.13 5/256 852463
/proc/meminfo: memFree=121027524/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=3026880 memory=2478752 CPUtime=12.65 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 306430 0 0 0 1154 111 0 0 20 0 1 0 165315004 3099525120 619688 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 756720 619688 3798 3002 0 740471 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3026880 KiB
Current children cumulated memory: 2478752 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.13 5/256 852464
/proc/meminfo: memFree=117562948/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5219760 memory=4557712 CPUtime=25.41 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 333292 0 0 0 2382 159 0 0 20 0 1 0 165315004 5345034240 1139428 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1304940 1139428 3814 3002 0 1288691 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 5219760 KiB
Current children cumulated memory: 4557712 KiB

[startup+51.1059 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852469
/proc/meminfo: memFree=111810648/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5063248 memory=4459604 CPUtime=50.91 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 423043 0 0 0 4902 189 0 0 20 0 1 0 165315004 5184765952 1114901 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1265812 1114901 4003 3002 0 1249563 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 5063248 KiB
Current children cumulated memory: 4459604 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/254 852477
/proc/meminfo: memFree=104244272/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5063248 memory=4459736 CPUtime=101.9 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 423400 0 0 0 9999 191 0 0 20 0 1 0 165315004 5184765952 1114934 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1265812 1114934 4003 3002 0 1249563 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 5063248 KiB
Current children cumulated memory: 4459736 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 852489
/proc/meminfo: memFree=102108868/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5063248 memory=4459800 CPUtime=161.66 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 423934 0 0 0 15972 194 0 0 20 0 1 0 165315004 5184765952 1114950 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1265812 1114950 4019 3002 0 1249563 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 5063248 KiB
Current children cumulated memory: 4459800 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 852545
/proc/meminfo: memFree=114923092/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5063248 memory=4459800 CPUtime=221.46 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 424468 0 0 0 21948 198 0 0 20 0 1 0 165315004 5184765952 1114950 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1265812 1114950 4019 3002 0 1249563 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 5063248 KiB
Current children cumulated memory: 4459800 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.12 5/254 852555
/proc/meminfo: memFree=114582004/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5063248 memory=4459800 CPUtime=281.25 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 424923 0 0 0 27925 200 0 0 20 0 1 0 165315004 5184765952 1114950 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1265812 1114950 4019 3002 0 1249563 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 5063248 KiB
Current children cumulated memory: 4459800 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/257 852570
/proc/meminfo: memFree=119536396/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=2155012 memory=1949872 CPUtime=341.06 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 432822 0 0 0 33710 396 0 0 20 0 1 0 165315004 2206732288 487468 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 538753 487468 4179 3002 0 522504 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 2155012 KiB
Current children cumulated memory: 1949872 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/257 852581
/proc/meminfo: memFree=119226860/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=2504260 memory=2112676 CPUtime=400.87 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 433974 0 0 0 39451 636 0 0 20 0 1 0 165315004 2564362240 528169 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 626065 528169 4179 3002 0 609816 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 2504260 KiB
Current children cumulated memory: 2112676 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 852591
/proc/meminfo: memFree=119065344/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=2504260 memory=2190708 CPUtime=460.68 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 434102 0 0 0 45242 826 0 0 20 0 1 0 165315004 2564362240 547677 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 626065 547677 4179 3002 0 609816 0

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

Current children cumulated memory: 4473324 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 853639
/proc/meminfo: memFree=115883276/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5919656 memory=4673512 CPUtime=2852.44 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 785537 0 0 0 279680 5564 0 0 20 0 1 0 165315004 6061727744 1168378 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1479914 1168378 4179 3002 0 1463665 0
Current children cumulated CPU time: 2852.44 s
Current children cumulated vsize: 5919656 KiB
Current children cumulated memory: 4673512 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/256 853650
/proc/meminfo: memFree=115276100/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=5919656 memory=4673516 CPUtime=2912.23 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 787657 0 0 0 285592 5631 0 0 20 0 1 0 165315004 6061727744 1168379 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1479914 1168379 4179 3002 0 1463665 0
Current children cumulated CPU time: 2912.23 s
Current children cumulated vsize: 5919656 KiB
Current children cumulated memory: 4673516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.42 4.21 4.13 5/256 853661
/proc/meminfo: memFree=115136480/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6046312 memory=4791092 CPUtime=2972.03 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 808995 0 0 0 291467 5736 0 0 20 0 1 0 165315004 6191423488 1197773 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1511578 1197773 4179 3002 0 1495329 0
Current children cumulated CPU time: 2972.03 s
Current children cumulated vsize: 6046312 KiB
Current children cumulated memory: 4791092 KiB

[startup+3042.3 s]
/proc/loadavg: 4.34 4.23 4.14 5/256 854055
/proc/meminfo: memFree=114855084/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6046312 memory=4791092 CPUtime=3031.84 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 811471 0 0 0 297339 5845 0 0 20 0 1 0 165315004 6191423488 1197773 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1511578 1197773 4179 3002 0 1495329 0
Current children cumulated CPU time: 3031.84 s
Current children cumulated vsize: 6046312 KiB
Current children cumulated memory: 4791092 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/256 854065
/proc/meminfo: memFree=114655860/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6164664 memory=4909212 CPUtime=3091.63 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 834033 0 0 0 303220 5943 0 0 20 0 1 0 165315004 6312615936 1227303 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1541166 1227303 4179 3002 0 1524917 0
Current children cumulated CPU time: 3091.63 s
Current children cumulated vsize: 6164664 KiB
Current children cumulated memory: 4909212 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.16 4.12 5/257 854077
/proc/meminfo: memFree=114566988/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6164664 memory=4909212 CPUtime=3151.43 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 836193 0 0 0 309111 6032 0 0 20 0 1 0 165315004 6312615936 1227303 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1541166 1227303 4179 3002 0 1524917 0
Current children cumulated CPU time: 3151.43 s
Current children cumulated vsize: 6164664 KiB
Current children cumulated memory: 4909212 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.18 4.13 5/257 854255
/proc/meminfo: memFree=114462968/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6243956 memory=5012032 CPUtime=3211.23 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 853412 0 0 0 314985 6138 0 0 20 0 1 0 165315004 6393810944 1253008 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1560989 1253008 4179 3002 0 1544740 0
Current children cumulated CPU time: 3211.23 s
Current children cumulated vsize: 6243956 KiB
Current children cumulated memory: 5012032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.25 4.16 5/257 854265
/proc/meminfo: memFree=114413520/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6243956 memory=5012032 CPUtime=3271.03 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 855378 0 0 0 320854 6249 0 0 20 0 1 0 165315004 6393810944 1253008 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1560989 1253008 4179 3002 0 1544740 0
Current children cumulated CPU time: 3271.03 s
Current children cumulated vsize: 6243956 KiB
Current children cumulated memory: 5012032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.15 5/258 854279
/proc/meminfo: memFree=114224404/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6244568 memory=5012300 CPUtime=3330.83 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 857769 0 0 0 326749 6334 0 0 20 0 1 0 165315004 6394437632 1253075 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1561142 1253075 4179 3002 0 1544893 0
Current children cumulated CPU time: 3330.83 s
Current children cumulated vsize: 6244568 KiB
Current children cumulated memory: 5012300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/258 854301
/proc/meminfo: memFree=114124336/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6312384 memory=5111636 CPUtime=3390.63 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 873403 0 0 0 332608 6455 0 0 20 0 1 0 165315004 6463881216 1277909 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1578096 1277909 4179 3002 0 1561847 0
Current children cumulated CPU time: 3390.63 s
Current children cumulated vsize: 6312384 KiB
Current children cumulated memory: 5111636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/257 854311
/proc/meminfo: memFree=114123884/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6312384 memory=5111636 CPUtime=3450.43 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 875971 0 0 0 338469 6574 0 0 20 0 1 0 165315004 6463881216 1277909 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1578096 1277909 4179 3002 0 1561847 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 6312384 KiB
Current children cumulated memory: 5111636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.13 5/256 854322
/proc/meminfo: memFree=113852292/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6325696 memory=5151608 CPUtime=3510.23 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 883191 0 0 0 344372 6651 0 0 20 0 1 0 165315004 6477512704 1287902 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1581424 1287902 4179 3002 0 1565175 0
Current children cumulated CPU time: 3510.23 s
Current children cumulated vsize: 6325696 KiB
Current children cumulated memory: 5151608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/256 854333
/proc/meminfo: memFree=113851884/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6325696 memory=5151608 CPUtime=3570.03 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 885176 0 0 0 350239 6764 0 0 20 0 1 0 165315004 6477512704 1287902 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1581424 1287902 4179 3002 0 1565175 0
Current children cumulated CPU time: 3570.03 s
Current children cumulated vsize: 6325696 KiB
Current children cumulated memory: 5151608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.10 4.14 4.13 5/255 854430
/proc/meminfo: memFree=118336988/131524600 swapFree=131071996/131071996
[pid=852438] ppid=852435 vsize=6325696 memory=5151608 CPUtime=3600.02 cores=0,2
/proc/852438/stat : 852438 (mixed-bag) R 852435 852438 850366 0 -1 4194304 886521 0 0 0 353186 6816 0 0 20 0 1 0 165315004 6477512704 1287902 134679101440 4194304 16487941 140723524865440 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 33005568 140723524867095 140723524867172 140723524867172 140723524874187 0
/proc/852438/statm: 1581424 1287902 4179 3002 0 1565175 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 6325696 KiB
Current children cumulated memory: 5151608 KiB

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

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

# cumulated CPU time of all completed processes:  user=3531.88 s, system=68.2109 s

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

Child status: 0

Real time (s): 3612.45
CPU time (s): 3600.09
CPU user time (s): 3531.88
CPU system time (s): 68.2109
CPU usage (%): 99.6577
Max. virtual memory (cumulated for all children) (KiB): 6325696
Max. memory (cumulated for all children) (KiB): 5151608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.88
system time used= 68.2109
maximum resident set size= 5151608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886541
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= 520
involuntary context switches= 25327


# summary of solver processes directly reported to runsolver:
#   pid: 852438
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3531.88
#   total CPU system time (s): 68.2109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33505 second user time and 17.9518 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-16 14:04:56
IDJOB=4435658
IDBENCH=155402
IDSOLVER=3066
FILE ID=nodeC027/4435658-1721131483
RUNJOBID= nodeC027-1721127883-850376
SLURM_JOB_ID= 7505687
Free space on /tmp= 889616 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435658-1721131483/watcher-4435658-1721131483 -o /tmp/evaluation-result-4435658-1721131483/solver-4435658-1721131483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850376 --watchdog 3760  mixed-bag HOME/instance-4435658-1721131483.opb

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

MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=2057914835

nodeC027.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		: 3668.365
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	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128112948 kB
MemAvailable:   129329016 kB
Buffers:          400684 kB
Cached:          1647844 kB
SwapCached:            0 kB
Active:           726696 kB
Inactive:        2082484 kB
Active(anon):       1512 kB
Inactive(anon):   796912 kB
Active(file):     725184 kB
Inactive(file):  1285572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            509772 kB
Writeback:           280 kB
AnonPages:        759428 kB
Mapped:           107276 kB
Shmem:             37720 kB
KReclaimable:      90944 kB
Slab:             195888 kB
SReclaimable:      90944 kB
SUnreclaim:       104944 kB
KernelStack:        3920 kB
PageTables:        10692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1217428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61664 kB
HardwareCorrupted:     0 kB
AnonHugePages:    661504 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889924 MiB
End job on nodeC027 at 2024-07-16 15:05:09