Trace number 4435655

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.05 3612.15

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
MD5SUMa4b0cd988cdc47ea50384dbc6c682a43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
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.59/0.63	c [STEP] preprocessing with Papilo
20.12/20.28	c [STEP] solving with SCIP
319.80/321.14	c [STEP] preprocessing done, loading into solver
320.19/321.52	c [STEP] solving
320.19/321.52	c #variables 175269 #constraints 160185
320.19/321.52	c SMALL=int, LARGE=long long
320.19/321.52	c bounds - >= -12 @ 319.638
320.19/321.52	c stratification level: 100301
473.19/475.03	c #Conflicts:       1000 | #Constraints:     161184
473.19/475.03	c #Conflicts:       2000 | #Constraints:     162184
473.19/475.03	c INPROCESSING
473.19/475.03	c #Conflicts:       3000 | #Constraints:     161117
473.19/475.03	c #Conflicts:       4000 | #Constraints:     162117
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:       5000 | #Constraints:     155324
473.19/475.03	c #Conflicts:       6000 | #Constraints:     156324
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:       7000 | #Constraints:     155461
473.19/475.03	c #Conflicts:       8000 | #Constraints:     156461
473.19/475.03	c #Conflicts:       9000 | #Constraints:     157461
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      10000 | #Constraints:     156259
473.19/475.03	c #Conflicts:      11000 | #Constraints:     157259
473.19/475.03	c #Conflicts:      12000 | #Constraints:     158259
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      13000 | #Constraints:     156519
473.19/475.03	c #Conflicts:      14000 | #Constraints:     157519
473.19/475.03	c #Conflicts:      15000 | #Constraints:     158519
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      16000 | #Constraints:     156090
473.19/475.03	c #Conflicts:      17000 | #Constraints:     157090
473.19/475.03	c #Conflicts:      18000 | #Constraints:     158090
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      19000 | #Constraints:     156144
473.19/475.03	c #Conflicts:      20000 | #Constraints:     157144
473.19/475.03	c #Conflicts:      21000 | #Constraints:     158144
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      22000 | #Constraints:     155978
473.19/475.03	c #Conflicts:      23000 | #Constraints:     156978
473.19/475.03	c #Conflicts:      24000 | #Constraints:     157978
473.19/475.03	c #Conflicts:      25000 | #Constraints:     158978
473.19/475.03	c #Conflicts:      26000 | #Constraints:     159978
473.19/475.03	c #Conflicts:      27000 | #Constraints:     160978
473.19/475.03	c #Conflicts:      28000 | #Constraints:     161978
473.19/475.03	c #Conflicts:      29000 | #Constraints:     162978
473.19/475.03	c #Conflicts:      30000 | #Constraints:     163978
473.19/475.03	c #Conflicts:      31000 | #Constraints:     164978
473.19/475.03	c #Conflicts:      32000 | #Constraints:     165978
473.19/475.03	c #Conflicts:      33000 | #Constraints:     166978
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      34000 | #Constraints:     160355
473.19/475.03	c #Conflicts:      35000 | #Constraints:     161355
473.19/475.03	c #Conflicts:      36000 | #Constraints:     162355
473.19/475.03	c #Conflicts:      37000 | #Constraints:     163355
473.19/475.03	c #Conflicts:      38000 | #Constraints:     164355
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      39000 | #Constraints:     159348
473.19/475.03	c #Conflicts:      40000 | #Constraints:     160348
473.19/475.03	c #Conflicts:      41000 | #Constraints:     161348
473.19/475.03	c #Conflicts:      42000 | #Constraints:     162348
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      43000 | #Constraints:     157916
473.19/475.03	c #Conflicts:      44000 | #Constraints:     158916
473.19/475.03	c #Conflicts:      45000 | #Constraints:     159916
473.19/475.03	c #Conflicts:      46000 | #Constraints:     160916
473.19/475.03	c #Conflicts:      47000 | #Constraints:     161916
473.19/475.03	c #Conflicts:      48000 | #Constraints:     162916
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      49000 | #Constraints:     158644
473.19/475.03	c #Conflicts:      50000 | #Constraints:     159644
473.19/475.03	c #Conflicts:      51000 | #Constraints:     160644
473.19/475.03	c #Conflicts:      52000 | #Constraints:     161644
473.19/475.03	c #Conflicts:      53000 | #Constraints:     162644
473.19/475.03	c #Conflicts:      54000 | #Constraints:     163644
473.19/475.03	c #Conflicts:      55000 | #Constraints:     164644
473.19/475.03	c #Conflicts:      56000 | #Constraints:     165644
473.19/475.03	c #Conflicts:      57000 | #Constraints:     166644
473.19/475.03	c #Conflicts:      58000 | #Constraints:     167644
473.19/475.03	c #Conflicts:      59000 | #Constraints:     168644
473.19/475.03	c #Conflicts:      60000 | #Constraints:     169644
473.19/475.03	c #Conflicts:      61000 | #Constraints:     170644
473.19/475.03	c #Conflicts:      62000 | #Constraints:     171644
473.19/475.03	c #Conflicts:      63000 | #Constraints:     172644
473.19/475.03	c #Conflicts:      64000 | #Constraints:     173644
473.19/475.03	c #Conflicts:      65000 | #Constraints:     174644
473.19/475.03	c INPROCESSING
473.19/475.03	c GARBAGE COLLECT
473.19/475.03	c #Conflicts:      66000 | #Constraints:     164266
473.19/475.03	c #Conflicts:      67000 | #Constraints:     165266
473.19/475.03	c #Conflicts:      68000 | #Constraints:     166266
473.19/475.03	c #Conflicts:      69000 | #Constraints:     167266
473.19/475.03	c #Conflicts:      70000 | #Constraints:     168266
473.19/475.03	c #Conflicts:      71000 | #Constraints:     169266
705.68/708.38	c INPROCESSING
705.68/708.38	c GARBAGE COLLECT
705.68/708.38	c #Conflicts:      72000 | #Constraints:     161608
705.68/708.38	c #Conflicts:      73000 | #Constraints:     162608
705.68/708.38	c #Conflicts:      74000 | #Constraints:     163608
705.68/708.38	c #Conflicts:      75000 | #Constraints:     164608
705.68/708.38	c #Conflicts:      76000 | #Constraints:     165608
705.68/708.38	c #Conflicts:      77000 | #Constraints:     166608
705.68/708.38	c #Conflicts:      78000 | #Constraints:     167608
705.68/708.38	c INPROCESSING
705.68/708.38	c GARBAGE COLLECT
705.68/708.38	c #Conflicts:      79000 | #Constraints:     161003
705.68/708.38	c #Conflicts:      80000 | #Constraints:     162003
705.68/708.38	c #Conflicts:      81000 | #Constraints:     163003
705.68/708.38	c #Conflicts:      82000 | #Constraints:     164003
705.68/708.38	c #Conflicts:      83000 | #Constraints:     165003
705.68/708.38	c #Conflicts:      84000 | #Constraints:     166003
705.68/708.38	c #Conflicts:      85000 | #Constraints:     167003
705.68/708.38	c #Conflicts:      86000 | #Constraints:     168003
705.68/708.38	c #Conflicts:      87000 | #Constraints:     169003
705.68/708.38	c #Conflicts:      88000 | #Constraints:     170003
705.68/708.38	c #Conflicts:      89000 | #Constraints:     171003
705.68/708.38	c #Conflicts:      90000 | #Constraints:     172003
705.68/708.38	c #Conflicts:      91000 | #Constraints:     173003
705.68/708.38	c #Conflicts:      92000 | #Constraints:     174003
705.68/708.38	c #Conflicts:      93000 | #Constraints:     175003
705.68/708.38	c #Conflicts:      94000 | #Constraints:     176003
705.68/708.38	c #Conflicts:      95000 | #Constraints:     177003
705.68/708.38	c #Conflicts:      96000 | #Constraints:     178003
705.68/708.38	c #Conflicts:      97000 | #Constraints:     179003
705.68/708.38	c #Conflicts:      98000 | #Constraints:     180003
705.68/708.38	c #Conflicts:      99000 | #Constraints:     181003
705.68/708.38	c INPROCESSING
705.68/708.38	c GARBAGE COLLECT
705.68/708.38	c #Conflicts:     100000 | #Constraints:     167672
705.68/708.38	c #Conflicts:     101000 | #Constraints:     168672
705.68/708.38	c #Conflicts:     102000 | #Constraints:     169672
705.68/708.38	c #Conflicts:     103000 | #Constraints:     170672
705.68/708.38	c #Conflicts:     104000 | #Constraints:     171672
705.68/708.38	c #Conflicts:     105000 | #Constraints:     172672
705.68/708.38	c #Conflicts:     106000 | #Constraints:     173672
705.68/708.38	c #Conflicts:     107000 | #Constraints:     174672
705.68/708.38	c INPROCESSING
705.68/708.38	c GARBAGE COLLECT
705.68/708.38	c #Conflicts:     108000 | #Constraints:     164524
705.68/708.38	c #Conflicts:     109000 | #Constraints:     165524
705.68/708.38	c #Conflicts:     110000 | #Constraints:     166524
705.68/708.38	c #Conflicts:     111000 | #Constraints:     167524
705.68/708.38	c #Conflicts:     112000 | #Constraints:     168524
705.68/708.38	c #Conflicts:     113000 | #Constraints:     169524
705.68/708.38	c #Conflicts:     114000 | #Constraints:     170524
705.68/708.38	c #Conflicts:     115000 | #Constraints:     171524
705.68/708.38	c INPROCESSING
705.68/708.38	c GARBAGE COLLECT
705.68/708.38	c #Conflicts:     116000 | #Constraints:     162978
705.68/708.38	c #Conflicts:     117000 | #Constraints:     163978
705.68/708.38	c #Conflicts:     118000 | #Constraints:     164978
705.68/708.38	c #Conflicts:     119000 | #Constraints:     165978
705.68/708.38	c #Conflicts:     120000 | #Constraints:     166978
705.68/708.38	c #Conflicts:     121000 | #Constraints:     167978
705.68/708.38	c #Conflicts:     122000 | #Constraints:     168978
705.68/708.38	c #Conflicts:     123000 | #Constraints:     169978
705.68/708.38	c INPROCESSING
705.68/708.38	c GARBAGE COLLECT
705.68/708.38	c #Conflicts:     124000 | #Constraints:     162033
705.68/708.38	c #Conflicts:     125000 | #Constraints:     163033
705.68/708.38	c #Conflicts:     126000 | #Constraints:     164033
705.68/708.38	c #Conflicts:     127000 | #Constraints:     165033
705.68/708.38	c #Conflicts:     128000 | #Constraints:     166033
705.68/708.38	c #Conflicts:     129000 | #Constraints:     167033
705.68/708.38	c #Conflicts:     130000 | #Constraints:     168033
705.68/708.38	c #Conflicts:     131000 | #Constraints:     169033
705.68/708.38	c #Conflicts:     132000 | #Constraints:     170033
705.68/708.38	c #Conflicts:     133000 | #Constraints:     171033
705.68/708.38	c #Conflicts:     134000 | #Constraints:     172033
705.68/708.38	c #Conflicts:     135000 | #Constraints:     173033
705.68/708.38	c #Conflicts:     136000 | #Constraints:     174033
705.68/708.38	c #Conflicts:     137000 | #Constraints:     175033
705.68/708.38	c #Conflicts:     138000 | #Constraints:     176033
705.68/708.38	c #Conflicts:     139000 | #Constraints:     177033
705.68/708.38	c #Conflicts:     140000 | #Constraints:     178033
705.68/708.38	c #Conflicts:     141000 | #Constraints:     179033
705.68/708.38	c #Conflicts:     142000 | #Constraints:     180033
705.68/708.38	c #Conflicts:     143000 | #Constraints:     181033
705.68/708.38	c #Conflicts:     144000 | #Constraints:     182033
705.68/708.38	c #Conflicts:     145000 | #Constraints:     183033
705.68/708.38	c #Conflicts:     146000 | #Constraints:     184033
1464.35/1469.44	c #Conflicts:     147000 | #Constraints:     185033
1464.35/1469.44	c #Conflicts:     148000 | #Constraints:     186033
1464.35/1469.44	c #Conflicts:     149000 | #Constraints:     187033
1464.35/1469.44	c #Conflicts:     150000 | #Constraints:     188033
1464.35/1469.44	c INPROCESSING
1464.35/1469.44	c GARBAGE COLLECT
1464.35/1469.44	c #Conflicts:     151000 | #Constraints:     171322
1464.35/1469.44	c #Conflicts:     152000 | #Constraints:     172322
1464.35/1469.44	c #Conflicts:     153000 | #Constraints:     173322
1464.35/1469.44	c #Conflicts:     154000 | #Constraints:     174322
1464.35/1469.44	c #Conflicts:     155000 | #Constraints:     175322
1464.35/1469.44	c #Conflicts:     156000 | #Constraints:     176322
1464.35/1469.44	c #Conflicts:     157000 | #Constraints:     177322
1464.35/1469.44	c #Conflicts:     158000 | #Constraints:     178322
1464.35/1469.44	c #Conflicts:     159000 | #Constraints:     179322
1464.35/1469.44	c INPROCESSING
1464.35/1469.44	c GARBAGE COLLECT
1464.35/1469.44	c #Conflicts:     160000 | #Constraints:     166664
1464.35/1469.44	c #Conflicts:     161000 | #Constraints:     167664
1464.35/1469.44	c #Conflicts:     162000 | #Constraints:     168664
1464.35/1469.44	c #Conflicts:     163000 | #Constraints:     169664
1464.35/1469.44	c #Conflicts:     164000 | #Constraints:     170664
1464.35/1469.44	c #Conflicts:     165000 | #Constraints:     171664
1464.35/1469.44	c #Conflicts:     166000 | #Constraints:     172664
1464.35/1469.44	c #Conflicts:     167000 | #Constraints:     173664
1464.35/1469.44	c #Conflicts:     168000 | #Constraints:     174664
1464.35/1469.44	c #Conflicts:     169000 | #Constraints:     175664
1464.35/1469.44	c INPROCESSING
1464.35/1469.44	c GARBAGE COLLECT
1464.35/1469.44	c #Conflicts:     170000 | #Constraints:     164980
1464.35/1469.44	c #Conflicts:     171000 | #Constraints:     165980
1464.35/1469.44	c #Conflicts:     172000 | #Constraints:     166980
1464.35/1469.44	c #Conflicts:     173000 | #Constraints:     167980
1464.35/1469.44	c #Conflicts:     174000 | #Constraints:     168980
1464.35/1469.44	c #Conflicts:     175000 | #Constraints:     169980
1464.35/1469.44	c #Conflicts:     176000 | #Constraints:     170980
1464.35/1469.44	c #Conflicts:     177000 | #Constraints:     171980
1464.35/1469.44	c #Conflicts:     178000 | #Constraints:     172980
1464.35/1469.44	c #Conflicts:     179000 | #Constraints:     173980
1464.35/1469.44	c INPROCESSING
1464.35/1469.44	c GARBAGE COLLECT
1464.35/1469.44	c #Conflicts:     180000 | #Constraints:     164134
1464.35/1469.44	c #Conflicts:     181000 | #Constraints:     165134
1464.35/1469.44	c #Conflicts:     182000 | #Constraints:     166134
1464.35/1469.44	c #Conflicts:     183000 | #Constraints:     167134
1464.35/1469.44	c #Conflicts:     184000 | #Constraints:     168134
1464.35/1469.44	c #Conflicts:     185000 | #Constraints:     169134
1464.35/1469.44	c #Conflicts:     186000 | #Constraints:     170134
1464.35/1469.44	c #Conflicts:     187000 | #Constraints:     171134
1464.35/1469.44	c #Conflicts:     188000 | #Constraints:     172134
1464.35/1469.44	c #Conflicts:     189000 | #Constraints:     173134
1464.35/1469.44	c #Conflicts:     190000 | #Constraints:     174134
1464.35/1469.44	c #Conflicts:     191000 | #Constraints:     175134
1464.35/1469.44	c #Conflicts:     192000 | #Constraints:     176134
1464.35/1469.44	c #Conflicts:     193000 | #Constraints:     177134
1464.35/1469.44	c #Conflicts:     194000 | #Constraints:     178134
1464.35/1469.44	c #Conflicts:     195000 | #Constraints:     179134
1464.35/1469.44	c #Conflicts:     196000 | #Constraints:     180134
1464.35/1469.44	c #Conflicts:     197000 | #Constraints:     181134
1464.35/1469.44	c #Conflicts:     198000 | #Constraints:     182134
1464.35/1469.44	c #Conflicts:     199000 | #Constraints:     183134
1464.35/1469.44	c #Conflicts:     200000 | #Constraints:     184134
1464.35/1469.44	c #Conflicts:     201000 | #Constraints:     185134
1464.35/1469.44	c #Conflicts:     202000 | #Constraints:     186134
1464.35/1469.44	c #Conflicts:     203000 | #Constraints:     187134
1464.35/1469.44	c #Conflicts:     204000 | #Constraints:     188134
1464.35/1469.44	c #Conflicts:     205000 | #Constraints:     189134
1464.35/1469.44	c #Conflicts:     206000 | #Constraints:     190134
1464.35/1469.44	c #Conflicts:     207000 | #Constraints:     191134
1464.35/1469.44	c #Conflicts:     208000 | #Constraints:     192134
1464.35/1469.44	c #Conflicts:     209000 | #Constraints:     193134
1464.35/1469.44	c #Conflicts:     210000 | #Constraints:     194134
1464.35/1469.44	c #Conflicts:     211000 | #Constraints:     195134
1464.35/1469.44	c INPROCESSING
1464.35/1469.44	c GARBAGE COLLECT
1464.35/1469.44	c #Conflicts:     212000 | #Constraints:     174880
1464.35/1469.44	c #Conflicts:     213000 | #Constraints:     175880
1464.35/1469.44	c #Conflicts:     214000 | #Constraints:     176880
1464.35/1469.44	c #Conflicts:     215000 | #Constraints:     177880
1464.35/1469.44	c #Conflicts:     216000 | #Constraints:     178880
1464.35/1469.44	c #Conflicts:     217000 | #Constraints:     179880
1464.35/1469.44	c #Conflicts:     218000 | #Constraints:     180880
1464.35/1469.44	c #Conflicts:     219000 | #Constraints:     181880
1464.35/1469.44	c #Conflicts:     220000 | #Constraints:     182880
1464.35/1469.44	c #Conflicts:     221000 | #Constraints:     183880
1464.35/1469.44	c #Conflicts:     222000 | #Constraints:     184880
1904.99/1911.50	c INPROCESSING
1904.99/1911.50	c GARBAGE COLLECT
1904.99/1911.50	c #Conflicts:     223000 | #Constraints:     169655
1904.99/1911.50	c #Conflicts:     224000 | #Constraints:     170655
1904.99/1911.50	c #Conflicts:     225000 | #Constraints:     171655
1904.99/1911.50	c #Conflicts:     226000 | #Constraints:     172655
1904.99/1911.50	c #Conflicts:     227000 | #Constraints:     173655
1904.99/1911.50	c #Conflicts:     228000 | #Constraints:     174655
1904.99/1911.50	c #Conflicts:     229000 | #Constraints:     175655
1904.99/1911.50	c #Conflicts:     230000 | #Constraints:     176655
1904.99/1911.50	c #Conflicts:     231000 | #Constraints:     177655
1904.99/1911.50	c #Conflicts:     232000 | #Constraints:     178655
1904.99/1911.50	c #Conflicts:     233000 | #Constraints:     179655
1904.99/1911.50	c #Conflicts:     234000 | #Constraints:     180655
1904.99/1911.50	c INPROCESSING
1904.99/1911.50	c GARBAGE COLLECT
1904.99/1911.50	c #Conflicts:     235000 | #Constraints:     167748
1904.99/1911.50	c #Conflicts:     236000 | #Constraints:     168748
1904.99/1911.50	c #Conflicts:     237000 | #Constraints:     169748
1904.99/1911.50	c #Conflicts:     238000 | #Constraints:     170748
1904.99/1911.50	c #Conflicts:     239000 | #Constraints:     171748
1904.99/1911.50	c #Conflicts:     240000 | #Constraints:     172748
1904.99/1911.50	c #Conflicts:     241000 | #Constraints:     173748
1904.99/1911.50	c #Conflicts:     242000 | #Constraints:     174748
1904.99/1911.50	c #Conflicts:     243000 | #Constraints:     175748
1904.99/1911.50	c #Conflicts:     244000 | #Constraints:     176748
1904.99/1911.50	c #Conflicts:     245000 | #Constraints:     177748
1904.99/1911.50	c INPROCESSING
1904.99/1911.50	c GARBAGE COLLECT
1904.99/1911.50	c #Conflicts:     246000 | #Constraints:     166035
1904.99/1911.50	c #Conflicts:     247000 | #Constraints:     167035
1904.99/1911.50	c #Conflicts:     248000 | #Constraints:     168035
1904.99/1911.50	c #Conflicts:     249000 | #Constraints:     169035
1904.99/1911.50	c #Conflicts:     250000 | #Constraints:     170035
1904.99/1911.50	c #Conflicts:     251000 | #Constraints:     171035
1904.99/1911.50	c #Conflicts:     252000 | #Constraints:     172035
1904.99/1911.50	c #Conflicts:     253000 | #Constraints:     173035
1904.99/1911.50	c #Conflicts:     254000 | #Constraints:     174035
1904.99/1911.50	c #Conflicts:     255000 | #Constraints:     175035
1904.99/1911.50	c #Conflicts:     256000 | #Constraints:     176035
1904.99/1911.50	c #Conflicts:     257000 | #Constraints:     177035
1904.99/1911.50	c #Conflicts:     258000 | #Constraints:     178035
1904.99/1911.50	c #Conflicts:     259000 | #Constraints:     179035
1904.99/1911.50	c #Conflicts:     260000 | #Constraints:     180035
1904.99/1911.50	c #Conflicts:     261000 | #Constraints:     181035
1904.99/1911.50	c #Conflicts:     262000 | #Constraints:     182035
1904.99/1911.50	c #Conflicts:     263000 | #Constraints:     183035
1904.99/1911.50	c #Conflicts:     264000 | #Constraints:     184035
1904.99/1911.50	c #Conflicts:     265000 | #Constraints:     185035
1904.99/1911.50	c #Conflicts:     266000 | #Constraints:     186035
1904.99/1911.50	c #Conflicts:     267000 | #Constraints:     187035
1904.99/1911.50	c #Conflicts:     268000 | #Constraints:     188035
1904.99/1911.50	c #Conflicts:     269000 | #Constraints:     189035
1904.99/1911.50	c #Conflicts:     270000 | #Constraints:     190035
1904.99/1911.50	c #Conflicts:     271000 | #Constraints:     191035
1904.99/1911.50	c #Conflicts:     272000 | #Constraints:     192035
1904.99/1911.50	c #Conflicts:     273000 | #Constraints:     193035
1904.99/1911.50	c #Conflicts:     274000 | #Constraints:     194035
1904.99/1911.50	c #Conflicts:     275000 | #Constraints:     195035
1904.99/1911.50	c #Conflicts:     276000 | #Constraints:     196035
1904.99/1911.50	c #Conflicts:     277000 | #Constraints:     197035
1904.99/1911.50	c #Conflicts:     278000 | #Constraints:     198035
1904.99/1911.50	c #Conflicts:     279000 | #Constraints:     199035
1904.99/1911.50	c #Conflicts:     280000 | #Constraints:     200035
1904.99/1911.50	c #Conflicts:     281000 | #Constraints:     201035
1904.99/1911.50	c #Conflicts:     282000 | #Constraints:     202035
1904.99/1911.50	c INPROCESSING
1904.99/1911.50	c GARBAGE COLLECT
1904.99/1911.50	c #Conflicts:     283000 | #Constraints:     178086
1904.99/1911.50	c #Conflicts:     284000 | #Constraints:     179086
1904.99/1911.50	c #Conflicts:     285000 | #Constraints:     180086
1904.99/1911.50	c #Conflicts:     286000 | #Constraints:     181086
1904.99/1911.50	c #Conflicts:     287000 | #Constraints:     182086
1904.99/1911.50	c #Conflicts:     288000 | #Constraints:     183086
1904.99/1911.50	c #Conflicts:     289000 | #Constraints:     184086
1904.99/1911.50	c #Conflicts:     290000 | #Constraints:     185086
1904.99/1911.50	c #Conflicts:     291000 | #Constraints:     186086
1904.99/1911.50	c #Conflicts:     292000 | #Constraints:     187086
1904.99/1911.50	c #Conflicts:     293000 | #Constraints:     188086
1904.99/1911.50	c #Conflicts:     294000 | #Constraints:     189086
1904.99/1911.50	c #Conflicts:     295000 | #Constraints:     190086
1904.99/1911.50	c INPROCESSING
1904.99/1911.50	c GARBAGE COLLECT
1904.99/1911.50	c #Conflicts:     296000 | #Constraints:     172131
1904.99/1911.50	c #Conflicts:     297000 | #Constraints:     173131
1904.99/1911.50	c #Conflicts:     298000 | #Constraints:     174131
2441.11/2449.45	c #Conflicts:     299000 | #Constraints:     175131
2441.11/2449.45	c #Conflicts:     300000 | #Constraints:     176131
2441.11/2449.45	c #Conflicts:     301000 | #Constraints:     177131
2441.11/2449.45	c #Conflicts:     302000 | #Constraints:     178131
2441.11/2449.45	c #Conflicts:     303000 | #Constraints:     179131
2441.11/2449.45	c #Conflicts:     304000 | #Constraints:     180131
2441.11/2449.45	c #Conflicts:     305000 | #Constraints:     181131
2441.11/2449.45	c #Conflicts:     306000 | #Constraints:     182131
2441.11/2449.45	c #Conflicts:     307000 | #Constraints:     183131
2441.11/2449.45	c #Conflicts:     308000 | #Constraints:     184131
2441.11/2449.45	c #Conflicts:     309000 | #Constraints:     185131
2441.11/2449.45	c INPROCESSING
2441.11/2449.45	c GARBAGE COLLECT
2441.11/2449.45	c #Conflicts:     310000 | #Constraints:     170173
2441.11/2449.45	c #Conflicts:     311000 | #Constraints:     171173
2441.11/2449.45	c #Conflicts:     312000 | #Constraints:     172173
2441.11/2449.45	c #Conflicts:     313000 | #Constraints:     173173
2441.11/2449.45	c #Conflicts:     314000 | #Constraints:     174173
2441.11/2449.45	c #Conflicts:     315000 | #Constraints:     175173
2441.11/2449.45	c #Conflicts:     316000 | #Constraints:     176173
2441.11/2449.45	c #Conflicts:     317000 | #Constraints:     177173
2441.11/2449.45	c #Conflicts:     318000 | #Constraints:     178173
2441.11/2449.45	c #Conflicts:     319000 | #Constraints:     179173
2441.11/2449.45	c #Conflicts:     320000 | #Constraints:     180173
2441.11/2449.45	c #Conflicts:     321000 | #Constraints:     181173
2441.11/2449.45	c #Conflicts:     322000 | #Constraints:     182173
2441.11/2449.45	c #Conflicts:     323000 | #Constraints:     183173
2441.11/2449.45	c #Conflicts:     324000 | #Constraints:     184173
2441.11/2449.45	c #Conflicts:     325000 | #Constraints:     185173
2441.11/2449.45	c #Conflicts:     326000 | #Constraints:     186173
2441.11/2449.45	c #Conflicts:     327000 | #Constraints:     187173
2441.11/2449.45	c #Conflicts:     328000 | #Constraints:     188173
2441.11/2449.45	c #Conflicts:     329000 | #Constraints:     189173
2441.11/2449.45	c #Conflicts:     330000 | #Constraints:     190173
2441.11/2449.45	c #Conflicts:     331000 | #Constraints:     191173
2441.11/2449.45	c #Conflicts:     332000 | #Constraints:     192173
2441.11/2449.45	c #Conflicts:     333000 | #Constraints:     193173
2441.11/2449.45	c #Conflicts:     334000 | #Constraints:     194173
2441.11/2449.45	c #Conflicts:     335000 | #Constraints:     195173
2441.11/2449.45	c #Conflicts:     336000 | #Constraints:     196173
2441.11/2449.45	c #Conflicts:     337000 | #Constraints:     197173
2441.11/2449.45	c #Conflicts:     338000 | #Constraints:     198173
2441.11/2449.45	c #Conflicts:     339000 | #Constraints:     199173
2441.11/2449.45	c #Conflicts:     340000 | #Constraints:     200173
2441.11/2449.45	c #Conflicts:     341000 | #Constraints:     201173
2441.11/2449.45	c #Conflicts:     342000 | #Constraints:     202173
2441.11/2449.45	c #Conflicts:     343000 | #Constraints:     203173
2441.11/2449.45	c #Conflicts:     344000 | #Constraints:     204173
2441.11/2449.45	c #Conflicts:     345000 | #Constraints:     205173
2441.11/2449.45	c #Conflicts:     346000 | #Constraints:     206173
2441.11/2449.45	c #Conflicts:     347000 | #Constraints:     207173
2441.11/2449.45	c #Conflicts:     348000 | #Constraints:     208173
2441.11/2449.45	c #Conflicts:     349000 | #Constraints:     209173
2441.11/2449.45	c #Conflicts:     350000 | #Constraints:     210173
2441.11/2449.45	c INPROCESSING
2441.11/2449.45	c GARBAGE COLLECT
2441.11/2449.45	c #Conflicts:     351000 | #Constraints:     181948
2441.11/2449.45	c #Conflicts:     352000 | #Constraints:     182948
2441.11/2449.45	c #Conflicts:     353000 | #Constraints:     183948
2441.11/2449.45	c #Conflicts:     354000 | #Constraints:     184948
2441.11/2449.45	c #Conflicts:     355000 | #Constraints:     185948
2441.11/2449.45	c #Conflicts:     356000 | #Constraints:     186948
2441.11/2449.45	c #Conflicts:     357000 | #Constraints:     187948
2441.11/2449.45	c #Conflicts:     358000 | #Constraints:     188948
2441.11/2449.45	c #Conflicts:     359000 | #Constraints:     189948
2441.11/2449.45	c #Conflicts:     360000 | #Constraints:     190948
2441.11/2449.45	c #Conflicts:     361000 | #Constraints:     191948
2441.11/2449.45	c #Conflicts:     362000 | #Constraints:     192948
2441.11/2449.45	c #Conflicts:     363000 | #Constraints:     193948
2441.11/2449.45	c #Conflicts:     364000 | #Constraints:     194948
2441.11/2449.45	c INPROCESSING
2441.11/2449.45	c GARBAGE COLLECT
2441.11/2449.45	c #Conflicts:     365000 | #Constraints:     174449
2441.11/2449.45	c #Conflicts:     366000 | #Constraints:     175449
2441.11/2449.45	c #Conflicts:     367000 | #Constraints:     176449
2441.11/2449.45	c #Conflicts:     368000 | #Constraints:     177449
2441.11/2449.45	c #Conflicts:     369000 | #Constraints:     178449
2441.11/2449.45	c #Conflicts:     370000 | #Constraints:     179449
2441.11/2449.45	c #Conflicts:     371000 | #Constraints:     180449
2441.11/2449.45	c #Conflicts:     372000 | #Constraints:     181449
2441.11/2449.45	c #Conflicts:     373000 | #Constraints:     182449
2441.11/2449.45	c #Conflicts:     374000 | #Constraints:     183449
3401.45/3412.94	c #Conflicts:     375000 | #Constraints:     184449
3401.45/3412.94	c #Conflicts:     376000 | #Constraints:     185449
3401.45/3412.94	c #Conflicts:     377000 | #Constraints:     186449
3401.45/3412.94	c #Conflicts:     378000 | #Constraints:     187449
3401.45/3412.94	c #Conflicts:     379000 | #Constraints:     188449
3401.45/3412.94	c INPROCESSING
3401.45/3412.94	c GARBAGE COLLECT
3401.45/3412.94	c #Conflicts:     380000 | #Constraints:     171292
3401.45/3412.94	c #Conflicts:     381000 | #Constraints:     172292
3401.45/3412.94	c #Conflicts:     382000 | #Constraints:     173292
3401.45/3412.94	c #Conflicts:     383000 | #Constraints:     174292
3401.45/3412.94	c #Conflicts:     384000 | #Constraints:     175292
3401.45/3412.94	c #Conflicts:     385000 | #Constraints:     176292
3401.45/3412.94	c #Conflicts:     386000 | #Constraints:     177292
3401.45/3412.94	c #Conflicts:     387000 | #Constraints:     178292
3401.45/3412.94	c #Conflicts:     388000 | #Constraints:     179292
3401.45/3412.94	c #Conflicts:     389000 | #Constraints:     180292
3401.45/3412.94	c #Conflicts:     390000 | #Constraints:     181292
3401.45/3412.94	c #Conflicts:     391000 | #Constraints:     182292
3401.45/3412.94	c #Conflicts:     392000 | #Constraints:     183292
3401.45/3412.94	c #Conflicts:     393000 | #Constraints:     184292
3401.45/3412.94	c #Conflicts:     394000 | #Constraints:     185292
3401.45/3412.94	c #Conflicts:     395000 | #Constraints:     186292
3401.45/3412.94	c #Conflicts:     396000 | #Constraints:     187292
3401.45/3412.94	c #Conflicts:     397000 | #Constraints:     188292
3401.45/3412.94	c #Conflicts:     398000 | #Constraints:     189292
3401.45/3412.94	c #Conflicts:     399000 | #Constraints:     190292
3401.45/3412.94	c #Conflicts:     400000 | #Constraints:     191292
3401.45/3412.94	c #Conflicts:     401000 | #Constraints:     192292
3401.45/3412.94	c #Conflicts:     402000 | #Constraints:     193292
3401.45/3412.94	c #Conflicts:     403000 | #Constraints:     194292
3401.45/3412.94	c #Conflicts:     404000 | #Constraints:     195292
3401.45/3412.94	c #Conflicts:     405000 | #Constraints:     196292
3401.45/3412.94	c #Conflicts:     406000 | #Constraints:     197292
3401.45/3412.94	c #Conflicts:     407000 | #Constraints:     198292
3401.45/3412.94	c #Conflicts:     408000 | #Constraints:     199292
3401.45/3412.94	c #Conflicts:     409000 | #Constraints:     200292
3401.45/3412.94	c #Conflicts:     410000 | #Constraints:     201292
3401.45/3412.94	c #Conflicts:     411000 | #Constraints:     202292
3401.45/3412.94	c #Conflicts:     412000 | #Constraints:     203292
3401.45/3412.94	c #Conflicts:     413000 | #Constraints:     204292
3401.45/3412.94	c #Conflicts:     414000 | #Constraints:     205292
3401.45/3412.94	c #Conflicts:     415000 | #Constraints:     206292
3401.45/3412.94	c #Conflicts:     416000 | #Constraints:     207292
3401.45/3412.94	c #Conflicts:     417000 | #Constraints:     208292
3401.45/3412.94	c #Conflicts:     418000 | #Constraints:     209292
3401.45/3412.94	c #Conflicts:     419000 | #Constraints:     210292
3401.45/3412.94	c #Conflicts:     420000 | #Constraints:     211292
3401.45/3412.94	c #Conflicts:     421000 | #Constraints:     212292
3401.45/3412.94	c #Conflicts:     422000 | #Constraints:     213292
3401.45/3412.94	c #Conflicts:     423000 | #Constraints:     214292
3401.45/3412.94	c #Conflicts:     424000 | #Constraints:     215292
3401.45/3412.94	c #Conflicts:     425000 | #Constraints:     216292
3401.45/3412.94	c INPROCESSING
3401.45/3412.94	c GARBAGE COLLECT
3401.45/3412.94	c #Conflicts:     426000 | #Constraints:     185540
3401.45/3412.94	c #Conflicts:     427000 | #Constraints:     186540
3401.45/3412.94	c #Conflicts:     428000 | #Constraints:     187540
3401.45/3412.94	c #Conflicts:     429000 | #Constraints:     188540
3401.45/3412.94	c #Conflicts:     430000 | #Constraints:     189540
3401.45/3412.94	c #Conflicts:     431000 | #Constraints:     190540
3401.45/3412.94	c #Conflicts:     432000 | #Constraints:     191540
3401.45/3412.94	c #Conflicts:     433000 | #Constraints:     192540
3401.45/3412.94	c #Conflicts:     434000 | #Constraints:     193540
3401.45/3412.94	c #Conflicts:     435000 | #Constraints:     194540
3401.45/3412.94	c #Conflicts:     436000 | #Constraints:     195540
3401.45/3412.94	c #Conflicts:     437000 | #Constraints:     196540
3401.45/3412.94	c #Conflicts:     438000 | #Constraints:     197540
3401.45/3412.94	c #Conflicts:     439000 | #Constraints:     198540
3401.45/3412.94	c #Conflicts:     440000 | #Constraints:     199540
3401.45/3412.94	c #Conflicts:     441000 | #Constraints:     200540
3401.45/3412.94	c INPROCESSING
3401.45/3412.94	c GARBAGE COLLECT
3401.45/3412.94	c #Conflicts:     442000 | #Constraints:     177647
3401.45/3412.94	c #Conflicts:     443000 | #Constraints:     178647
3401.45/3412.94	c #Conflicts:     444000 | #Constraints:     179647
3401.45/3412.94	c #Conflicts:     445000 | #Constraints:     180647
3401.45/3412.94	c #Conflicts:     446000 | #Constraints:     181647
3401.45/3412.94	c #Conflicts:     447000 | #Constraints:     182647
3401.45/3412.94	c #Conflicts:     448000 | #Constraints:     183647
3401.45/3412.94	c #Conflicts:     449000 | #Constraints:     184647
3401.45/3412.94	c #Conflicts:     450000 | #Constraints:     185647
3401.45/3412.94	c #Conflicts:     451000 | #Constraints:     186647
3600.00/3612.10	c #Conflicts:     452000 | #Constraints:     187647
3600.00/3612.10	c #Conflicts:     453000 | #Constraints:     188647
3600.00/3612.10	c #Conflicts:     454000 | #Constraints:     189647
3600.00/3612.10	c #Conflicts:     455000 | #Constraints:     190647
3600.00/3612.10	c #Conflicts:     456000 | #Constraints:     191647
3600.00/3612.10	c #Conflicts:     457000 | #Constraints:     192647
3600.00/3612.10	c INPROCESSING
3600.00/3612.10	c GARBAGE COLLECT
3600.00/3612.10	c #Conflicts:     458000 | #Constraints:     173779
3600.00/3612.10	c #Conflicts:     459000 | #Constraints:     174779
3600.00/3612.10	c #Conflicts:     460000 | #Constraints:     175779
3600.00/3612.10	c #Conflicts:     461000 | #Constraints:     176779
3600.00/3612.10	c #Conflicts:     462000 | #Constraints:     177779
3600.00/3612.10	c #Conflicts:     463000 | #Constraints:     178779
3600.00/3612.10	c #Conflicts:     464000 | #Constraints:     179779
3600.00/3612.10	c #Conflicts:     465000 | #Constraints:     180779
3600.00/3612.10	c #Conflicts:     466000 | #Constraints:     181779
3600.00/3612.10	c #Conflicts:     467000 | #Constraints:     182779
3600.00/3612.10	c #Conflicts:     468000 | #Constraints:     183779
3600.00/3612.10	c #Conflicts:     469000 | #Constraints:     184779
3600.00/3612.10	c #Conflicts:     470000 | #Constraints:     185779
3600.00/3612.10	c #Conflicts:     471000 | #Constraints:     186779
3600.00/3612.10	c #Conflicts:     472000 | #Constraints:     187779
3600.00/3612.10	c #Conflicts:     473000 | #Constraints:     188779
3600.00/3612.10	c #Conflicts:     474000 | #Constraints:     189779
3600.00/3612.10	c #Conflicts:     475000 | #Constraints:     190779
3600.00/3612.10	c Program interrupted by user.
3600.00/3612.10	c cpu time 3593.38 s
3600.00/3612.10	c deterministic time 168197657562 1.68e+11
3600.00/3612.10	c optimization time 146.186 s
3600.00/3612.10	c total solve time 3127.56 s
3600.00/3612.10	c core-guided solve time 3127.56 s
3600.00/3612.10	c propagation time 958.407 s
3600.00/3612.10	c conflict analysis time 2259.68 s
3600.00/3612.10	c propagations 1825783817
3600.00/3612.10	c resolve steps 27878048
3600.00/3612.10	c decisions 4460869
3600.00/3612.10	c conflicts 475310
3600.00/3612.10	c restarts 1022
3600.00/3612.10	c inprocessing phases 36
3600.00/3612.10	c input clauses 110696
3600.00/3612.10	c input cardinalities 49489
3600.00/3612.10	c input general constraints 0
3600.00/3612.10	c input average constraint length 4.95
3600.00/3612.10	c input average constraint degree 2.87
3600.00/3612.10	c learned clauses 220484
3600.00/3612.10	c learned cardinalities 29669
3600.00/3612.10	c learned general constraints 225156
3600.00/3612.10	c learned average constraint length 1217.22
3600.00/3612.10	c learned average constraint degree 332164049.49
3600.00/3612.10	c watched constraints 117209
3600.00/3612.10	c counting constraints 107947
3600.00/3612.10	c gcd simplifications 1404
3600.00/3612.10	c detected cardinalities 39
3600.00/3612.10	c weakened non-implied lits 611676870
3600.00/3612.10	c weakened non-implying lits 192724
3600.00/3612.10	c original variables 204880
3600.00/3612.10	c clausal propagations 620400380
3600.00/3612.10	c cardinality propagations 959392054
3600.00/3612.10	c watched propagations 45834282
3600.00/3612.10	c counting propagations 186440460
3600.00/3612.10	c watch lookups 15921075065
3600.00/3612.10	c watch backjump lookups 14147176666
3600.00/3612.10	c watch checks 74790064624
3600.00/3612.10	c propagation checks 56491034341
3600.00/3612.10	c constraint additions 3187413104
3600.00/3612.10	c trail pops 1830649075
3600.00/3612.10	c formula constraints 160185
3600.00/3612.10	c learned constraints 475309
3600.00/3612.10	c bound constraints 0
3600.00/3612.10	c core-guided constraints 0
3600.00/3612.10	c encountered formula constraints 20670034
3600.00/3612.10	c encountered learned constraints 7683324
3600.00/3612.10	c encountered bound constraints 0
3600.00/3612.10	c encountered core-guided constraints 0
3600.00/3612.10	c LP total time 0 s
3600.00/3612.10	c LP solve time 0 s
3600.00/3612.10	c LP constraints added 0
3600.00/3612.10	c LP constraints removed 0
3600.00/3612.10	c LP pivots internal 0
3600.00/3612.10	c LP pivots root 0
3600.00/3612.10	c LP calls 0
3600.00/3612.10	c LP optimalities 0
3600.00/3612.10	c LP no pivot count 0
3600.00/3612.10	c LP infeasibilities 0
3600.00/3612.10	c LP valid Farkas constraints 0
3600.00/3612.10	c LP learned Farkas constraints 0
3600.00/3612.10	c LP basis resets 0
3600.00/3612.10	c LP cycling count 0
3600.00/3612.10	c LP singular count 0
3600.00/3612.10	c LP no primal count 0
3600.00/3612.10	c LP no farkas count 0
3600.00/3612.10	c LP other issue count 0
3600.00/3612.10	c LP Gomory cuts 0
3600.00/3612.10	c LP learned cuts 0
3600.00/3612.10	c LP deleted cuts 0
3600.00/3612.10	c LP encountered Gomory constraints 0
3600.00/3612.10	c LP encountered Farkas constraints 0
3600.00/3612.10	c LP encountered learned Farkas constraints 0
3600.00/3612.10	c CG auxiliary variables introduced 0
3600.00/3612.10	c CG solutions found 0
3600.00/3612.10	c CG cores constructed 0
3600.00/3612.10	c CG core cardinality constraints returned 0
3600.00/3612.10	c CG unit cores 0
3600.00/3612.10	c CG single cores 0
3600.00/3612.10	c CG blocks removed during cardinality reduction 0
3600.00/3612.10	c CG first core best 0
3600.00/3612.10	c CG decision core best 0
3600.00/3612.10	c CG core reduction tie 0
3600.00/3612.10	c CG core degree average 0.00
3600.00/3612.10	c CG core slack average 0.00
3600.00/3612.10	c CG exhausted 0
3600.00/3612.10	c CG exhaust time 0 s
3600.00/3612.10	c CG trimmed 0
3600.00/3612.10	c CG trim time 0 s
3600.00/3612.10	c CG minimized 0
3600.00/3612.10	c CG minimize time 0 s
3600.00/3612.10	c CG am1 prop time 0.000326 s
3600.00/3612.10	c CG # am1s reformulated 0
3600.00/3612.10	c CG lower bound derived from am1s 0
3600.00/3612.10	c CG # clausal cores 0
3600.00/3612.10	c CG # cardinality cores 0
3600.00/3612.10	c CG # pb cores 0
3600.00/3612.10	c CG # pb reforms 0
3600.00/3612.10	c CG # cores discarded because of pb reform 0
3600.00/3612.10	d LOWERBOUND 0
3600.00/3612.10	d NCORES 0
3600.00/3612.10	d NPBCORES 0
3600.00/3612.10	d NPBREFORM 0
3600.00/3612.10	d NTRIMMED 0
3600.00/3612.10	d NEXHAUSTED 0
3600.00/3612.10	d NAM1S 0
3600.00/3612.10	d AM1LB 0
3600.00/3612.10	c [Papilo Statistics]
3600.00/3612.10	c prepro time 19.6551s
3600.00/3612.10	c # tsx applied 66116
3600.00/3612.10	c # tsx conflicts 528
3600.00/3612.10	c # bound changes 29424
3600.00/3612.10	c # side changes 47
3600.00/3612.10	c # coef changes 1112
3600.00/3612.10	c # rounds 13
3600.00/3612.10	c # deted vars 29612
3600.00/3612.10	c # deted constrs 23089
3600.00/3612.10	c # consecutive rounds of only bound changes 0
3600.00/3612.13	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 (62516 MiB free)
  memory of node 1: 64473 MiB (63345 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435655-1721127870/watcher-4435655-1721127870 -o /tmp/evaluation-result-4435655-1721127870/solver-4435655-1721127870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850376 --watchdog 3760 mixed-bag HOME/instance-4435655-1721127870.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=850421, runsolver pid=850418

[startup+0.100058 s]*
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128753952/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=130208 memory=55648 CPUtime=0.09 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 12452 0 0 0 7 2 0 0 20 0 1 0 164953727 133332992 13912 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 32552 13912 1624 3002 0 16842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130208 KiB
Current children cumulated memory: 55648 KiB

[startup+0.205891 s]*
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128648368/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=138400 memory=65740 CPUtime=0.2 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 13470 0 0 0 18 2 0 0 20 0 1 0 164953727 141721600 16435 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 34600 16435 1624 3002 0 18890 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 138400 KiB
Current children cumulated memory: 65740 KiB

[startup+0.305353 s]*
/proc/loadavg: 2.58 3.69 3.95 6/256 850439
/proc/meminfo: memFree=128644940/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=138428 memory=64524 CPUtime=0.29 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 14146 0 0 0 27 2 0 0 20 0 1 0 164953727 141750272 16131 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 34607 16131 1624 3002 0 18897 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 138428 KiB
Current children cumulated memory: 64524 KiB

[startup+0.700202 s]
/proc/loadavg: 2.58 3.69 3.95 6/256 850439
/proc/meminfo: memFree=128608564/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=301680 memory=215668 CPUtime=0.68 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 26519 0 0 0 61 7 0 0 20 0 1 0 164953727 308920320 53917 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 75420 53917 1730 3002 0 59171 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 301680 KiB
Current children cumulated memory: 215668 KiB

[startup+1.50019 s]
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128284544/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=302716 memory=216816 CPUtime=1.48 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 26717 0 0 0 141 7 0 0 20 0 1 0 164953727 309981184 54204 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 75679 54204 1826 3002 0 59430 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 302716 KiB
Current children cumulated memory: 216816 KiB

[startup+3.10577 s]
/proc/loadavg: 2.69 3.70 3.95 5/256 850439
/proc/meminfo: memFree=127074780/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=302716 memory=216816 CPUtime=3.08 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 26751 0 0 0 301 7 0 0 20 0 1 0 164953727 309981184 54204 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 75679 54204 1826 3002 0 59430 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 302716 KiB
Current children cumulated memory: 216816 KiB

[startup+6.30022 s]
/proc/loadavg: 2.69 3.70 3.95 5/256 850439
/proc/meminfo: memFree=126395028/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=302716 memory=216884 CPUtime=6.27 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 26786 0 0 0 620 7 0 0 20 0 1 0 164953727 309981184 54221 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 75679 54221 1826 3002 0 59430 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 302716 KiB
Current children cumulated memory: 216884 KiB

[startup+12.7002 s]
/proc/loadavg: 2.80 3.70 3.95 5/256 850441
/proc/meminfo: memFree=125407280/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=302716 memory=216884 CPUtime=12.64 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 26854 0 0 0 1257 7 0 0 20 0 1 0 164953727 309981184 54221 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 75679 54221 1826 3002 0 59430 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 302716 KiB
Current children cumulated memory: 216884 KiB

[startup+25.5002 s]
/proc/loadavg: 3.15 3.74 3.96 5/256 850442
/proc/meminfo: memFree=123502848/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1240952 memory=1080220 CPUtime=25.4 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 221867 0 0 0 2499 41 0 0 20 0 1 0 164953727 1270734848 270055 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 310238 270055 3885 3002 0 293989 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1240952 KiB
Current children cumulated memory: 1080220 KiB

[startup+51.1059 s]
/proc/loadavg: 3.44 3.76 3.96 5/256 850448
/proc/meminfo: memFree=123336568/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1362164 memory=1187464 CPUtime=50.88 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 246463 0 0 0 5044 44 0 0 20 0 1 0 164953727 1394855936 296866 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 340541 296866 4029 3002 0 324292 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1362164 KiB
Current children cumulated memory: 1187464 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.81 3.97 5/254 850456
/proc/meminfo: memFree=122752248/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1365156 memory=1193368 CPUtime=101.88 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 247433 0 0 0 10142 46 0 0 20 0 1 0 164953727 1397919744 298342 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 341289 298342 4029 3002 0 325040 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1365156 KiB
Current children cumulated memory: 1193368 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.86 3.99 5/254 850467
/proc/meminfo: memFree=122639400/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1365424 memory=1194012 CPUtime=161.65 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 247599 0 0 0 16118 47 0 0 20 0 1 0 164953727 1398194176 298503 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 341356 298503 4029 3002 0 325107 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 1365424 KiB
Current children cumulated memory: 1194012 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.92 4.00 5/254 850477
/proc/meminfo: memFree=122313336/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1365700 memory=1194216 CPUtime=221.4 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 247698 0 0 0 22093 47 0 0 20 0 1 0 164953727 1398476800 298554 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 341425 298554 4029 3002 0 325176 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 1365700 KiB
Current children cumulated memory: 1194216 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.95 4.00 5/254 850487
/proc/meminfo: memFree=122280632/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1372284 memory=1198284 CPUtime=281.16 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 248740 0 0 0 28068 48 0 0 20 0 1 0 164953727 1405218816 299571 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 343071 299571 4029 3002 0 326822 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 1372284 KiB
Current children cumulated memory: 1198284 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.99 4.01 5/254 850498
/proc/meminfo: memFree=123355960/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1126372 memory=1041544 CPUtime=340.92 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 252537 0 0 0 33995 97 0 0 20 0 1 0 164953727 1153404928 260386 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 281593 260386 4181 3002 0 265344 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 1126372 KiB
Current children cumulated memory: 1041544 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.02 4.01 5/258 850515
/proc/meminfo: memFree=123252728/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1145340 memory=1068348 CPUtime=400.73 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 253116 0 0 0 39941 132 0 0 20 0 1 0 164953727 1172828160 267087 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 286335 267087 4181 3002 0 270086 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 1145340 KiB
Current children cumulated memory: 1068348 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.06 4.02 5/258 850527
/proc/meminfo: memFree=123051368/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1226248 memory=1128044 CPUtime=460.52 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 253801 0 0 0 45894 158 0 0 20 0 1 0 164953727 1255677952 282011 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 306562 282011 4181 3002 0 290313 0

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

Current children cumulated memory: 1511672 KiB

[startup+2922.3 s]
/proc/loadavg: 4.21 4.18 4.17 5/258 851586
/proc/meminfo: memFree=120660552/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1511672 CPUtime=2912.45 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 270734 0 0 0 290653 592 0 0 20 0 1 0 164953727 1694535680 377918 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 377918 4181 3002 0 397456 0
Current children cumulated CPU time: 2912.45 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1511672 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/258 851597
/proc/meminfo: memFree=120650004/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1511672 CPUtime=2972.25 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 271222 0 0 0 296624 601 0 0 20 0 1 0 164953727 1694535680 377918 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 377918 4181 3002 0 397456 0
Current children cumulated CPU time: 2972.25 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1511672 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/258 851990
/proc/meminfo: memFree=120640164/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1511672 CPUtime=3032.06 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 271652 0 0 0 302599 607 0 0 20 0 1 0 164953727 1694535680 377918 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 377918 4181 3002 0 397456 0
Current children cumulated CPU time: 3032.06 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1511672 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/257 852001
/proc/meminfo: memFree=120632184/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1511672 CPUtime=3091.87 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 272219 0 0 0 308577 610 0 0 20 0 1 0 164953727 1694535680 377918 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 377918 4181 3002 0 397456 0
Current children cumulated CPU time: 3091.87 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1511672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/257 852012
/proc/meminfo: memFree=120625756/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1511672 CPUtime=3151.67 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 272707 0 0 0 314553 614 0 0 20 0 1 0 164953727 1694535680 377918 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 377918 4181 3002 0 397456 0
Current children cumulated CPU time: 3151.67 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1511672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/257 852022
/proc/meminfo: memFree=120619220/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1511672 CPUtime=3211.47 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 273154 0 0 0 320531 616 0 0 20 0 1 0 164953727 1694535680 377918 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 377918 4181 3002 0 397456 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1511672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/259 852202
/proc/meminfo: memFree=120602204/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3271.27 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 273555 0 0 0 326502 625 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.14 4.15 5/257 852212
/proc/meminfo: memFree=120595908/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3331.08 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 274158 0 0 0 332479 629 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3331.08 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 852238
/proc/meminfo: memFree=120589332/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3390.88 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 274645 0 0 0 338456 632 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/258 852248
/proc/meminfo: memFree=120580932/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3450.69 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 275248 0 0 0 344429 640 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.14 5/258 852260
/proc/meminfo: memFree=120568352/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3510.49 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 275742 0 0 0 350396 653 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852272
/proc/meminfo: memFree=120557164/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3570.3 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 276347 0 0 0 356371 659 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 852372
/proc/meminfo: memFree=127180300/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3600 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 276590 0 0 0 359338 662 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.41 s, system=6.64052 s

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

[startup+3612.11 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 852372
/proc/meminfo: memFree=127180300/131524600 swapFree=131071996/131071996
[pid=850421] ppid=850418 vsize=1654820 memory=1523960 CPUtime=3600 cores=0,2
/proc/850421/stat : 850421 (mixed-bag) R 850418 850421 850366 0 -1 4194304 276590 0 0 0 359338 662 0 0 20 0 1 0 164953727 1694535680 380990 134679101440 4194304 16487941 140733200360432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 42651648 140733200364567 140733200364644 140733200364644 140733200371659 0
/proc/850421/statm: 413705 380990 4181 3002 0 397456 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1654820 KiB
Current children cumulated memory: 1523960 KiB

Child status: 0

Real time (s): 3612.15
CPU time (s): 3600.05
CPU user time (s): 3593.41
CPU system time (s): 6.64052
CPU usage (%): 99.6652
Max. virtual memory (cumulated for all children) (KiB): 1654820
Max. memory (cumulated for all children) (KiB): 1523960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.41
system time used= 6.64052
maximum resident set size= 1523960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276628
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= 95
involuntary context switches= 25320


# summary of solver processes directly reported to runsolver:
#   pid: 850421
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3593.41
#   total CPU system time (s): 6.64052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11211 second user time and 16.4803 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-16 13:04:43
IDJOB=4435655
IDBENCH=155358
IDSOLVER=3066
FILE ID=nodeC027/4435655-1721127870
RUNJOBID= nodeC027-1721127883-850376
SLURM_JOB_ID= 7505687
Free space on /tmp= 890044 MiB

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

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

MD5SUM BENCH= a4b0cd988cdc47ea50384dbc6c682a43
RANDOM SEED=1273270764

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		: 3641.638
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		: 3628.369
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		: 3643.918
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		: 3665.476
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		: 3644.004
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		: 3666.714
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		: 3600.291
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		: 3647.313
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:        128887356 kB
MemAvailable:   129749132 kB
Buffers:          399528 kB
Cached:          1299600 kB
SwapCached:            0 kB
Active:           684564 kB
Inactive:        1361948 kB
Active(anon):       1468 kB
Inactive(anon):   383672 kB
Active(file):     683096 kB
Inactive(file):   978276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             80480 kB
Writeback:             0 kB
AnonPages:        345600 kB
Mapped:           106416 kB
Shmem:             37720 kB
KReclaimable:      80452 kB
Slab:             184204 kB
SReclaimable:      80452 kB
SUnreclaim:       103752 kB
KernelStack:        3908 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     851148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 889760 MiB
End job on nodeC027 at 2024-07-16 14:04:56