Trace number 4435483

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.04 3614.9

DiagnosticValue
AM1LB0
LOWERBOUND32
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES1
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
MD5SUM850b351e493109d76788c3bb5eecff4d
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 benchmark141
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3297
Total number of constraints6383
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1411
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.10/0.11	c [STEP] preprocessing with Papilo
0.10/0.20	c [STEP] solving with SCIP
299.09/300.25	c [STEP] preprocessing done, loading into solver
299.09/300.28	c [STEP] solving
299.09/300.28	c #variables 3298 #constraints 6383
299.09/300.28	c SMALL=int, LARGE=long long
299.09/300.28	c bounds - >= 0 @ 298.993
299.09/300.28	c stratification level: 0
365.26/366.62	c bounds - >= 2 @ 298.996
365.26/366.62	c bounds - >= 4 @ 298.996
365.26/366.62	c bounds - >= 8 @ 298.997
365.26/366.62	c bounds - >= 9 @ 299.002
365.26/366.62	c bounds - >= 16 @ 299.003
365.26/366.62	c #Conflicts:       1000 | #Constraints:       7387
365.26/366.62	c #Conflicts:       2000 | #Constraints:       8387
365.26/366.62	c INPROCESSING
365.26/366.62	c bounds - >= 32 @ 299.898
365.26/366.62	c #Conflicts:       3000 | #Constraints:       8401
365.26/366.62	c #Conflicts:       4000 | #Constraints:       9401
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:       5000 | #Constraints:       8813
365.26/366.62	c #Conflicts:       6000 | #Constraints:       9813
365.26/366.62	c INPROCESSING
365.26/366.62	c #Conflicts:       7000 | #Constraints:       8821
365.26/366.62	c #Conflicts:       8000 | #Constraints:       9821
365.26/366.62	c #Conflicts:       9000 | #Constraints:      10821
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      10000 | #Constraints:       9526
365.26/366.62	c #Conflicts:      11000 | #Constraints:      10526
365.26/366.62	c #Conflicts:      12000 | #Constraints:      11526
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      13000 | #Constraints:       9981
365.26/366.62	c #Conflicts:      14000 | #Constraints:      10981
365.26/366.62	c #Conflicts:      15000 | #Constraints:      11981
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      16000 | #Constraints:      10208
365.26/366.62	c #Conflicts:      17000 | #Constraints:      11208
365.26/366.62	c #Conflicts:      18000 | #Constraints:      12208
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      19000 | #Constraints:      10217
365.26/366.62	c #Conflicts:      20000 | #Constraints:      11217
365.26/366.62	c #Conflicts:      21000 | #Constraints:      12217
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      22000 | #Constraints:      10026
365.26/366.62	c #Conflicts:      23000 | #Constraints:      11026
365.26/366.62	c #Conflicts:      24000 | #Constraints:      12026
365.26/366.62	c #Conflicts:      25000 | #Constraints:      13026
365.26/366.62	c #Conflicts:      26000 | #Constraints:      14026
365.26/366.62	c #Conflicts:      27000 | #Constraints:      15026
365.26/366.62	c #Conflicts:      28000 | #Constraints:      16026
365.26/366.62	c #Conflicts:      29000 | #Constraints:      17026
365.26/366.62	c #Conflicts:      30000 | #Constraints:      18026
365.26/366.62	c #Conflicts:      31000 | #Constraints:      19026
365.26/366.62	c #Conflicts:      32000 | #Constraints:      20026
365.26/366.62	c #Conflicts:      33000 | #Constraints:      21026
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      34000 | #Constraints:      14581
365.26/366.62	c #Conflicts:      35000 | #Constraints:      15581
365.26/366.62	c #Conflicts:      36000 | #Constraints:      16581
365.26/366.62	c #Conflicts:      37000 | #Constraints:      17581
365.26/366.62	c #Conflicts:      38000 | #Constraints:      18581
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      39000 | #Constraints:      13509
365.26/366.62	c #Conflicts:      40000 | #Constraints:      14509
365.26/366.62	c #Conflicts:      41000 | #Constraints:      15509
365.26/366.62	c #Conflicts:      42000 | #Constraints:      16509
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      43000 | #Constraints:      12032
365.26/366.62	c #Conflicts:      44000 | #Constraints:      13032
365.26/366.62	c #Conflicts:      45000 | #Constraints:      14032
365.26/366.62	c #Conflicts:      46000 | #Constraints:      15032
365.26/366.62	c #Conflicts:      47000 | #Constraints:      16032
365.26/366.62	c #Conflicts:      48000 | #Constraints:      17032
365.26/366.62	c #Conflicts:      49000 | #Constraints:      18032
365.26/366.62	c #Conflicts:      50000 | #Constraints:      19032
365.26/366.62	c #Conflicts:      51000 | #Constraints:      20032
365.26/366.62	c #Conflicts:      52000 | #Constraints:      21032
365.26/366.62	c #Conflicts:      53000 | #Constraints:      22032
365.26/366.62	c #Conflicts:      54000 | #Constraints:      23032
365.26/366.62	c #Conflicts:      55000 | #Constraints:      24032
365.26/366.62	c #Conflicts:      56000 | #Constraints:      25032
365.26/366.62	c #Conflicts:      57000 | #Constraints:      26032
365.26/366.62	c #Conflicts:      58000 | #Constraints:      27032
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      59000 | #Constraints:      17348
365.26/366.62	c #Conflicts:      60000 | #Constraints:      18348
365.26/366.62	c #Conflicts:      61000 | #Constraints:      19348
365.26/366.62	c #Conflicts:      62000 | #Constraints:      20348
365.26/366.62	c #Conflicts:      63000 | #Constraints:      21348
365.26/366.62	c #Conflicts:      64000 | #Constraints:      22348
365.26/366.62	c #Conflicts:      65000 | #Constraints:      23348
365.26/366.62	c INPROCESSING
365.26/366.62	c GARBAGE COLLECT
365.26/366.62	c #Conflicts:      66000 | #Constraints:      15906
365.26/366.62	c #Conflicts:      67000 | #Constraints:      16906
365.26/366.62	c #Conflicts:      68000 | #Constraints:      17906
365.26/366.62	c #Conflicts:      69000 | #Constraints:      18906
568.26/570.44	c #Conflicts:      70000 | #Constraints:      19906
568.26/570.44	c #Conflicts:      71000 | #Constraints:      20906
568.26/570.44	c #Conflicts:      72000 | #Constraints:      21906
568.26/570.44	c #Conflicts:      73000 | #Constraints:      22906
568.26/570.44	c #Conflicts:      74000 | #Constraints:      23906
568.26/570.44	c #Conflicts:      75000 | #Constraints:      24906
568.26/570.44	c #Conflicts:      76000 | #Constraints:      25906
568.26/570.44	c #Conflicts:      77000 | #Constraints:      26906
568.26/570.44	c #Conflicts:      78000 | #Constraints:      27906
568.26/570.44	c #Conflicts:      79000 | #Constraints:      28906
568.26/570.44	c #Conflicts:      80000 | #Constraints:      29906
568.26/570.44	c #Conflicts:      81000 | #Constraints:      30906
568.26/570.44	c #Conflicts:      82000 | #Constraints:      31906
568.26/570.44	c #Conflicts:      83000 | #Constraints:      32906
568.26/570.44	c #Conflicts:      84000 | #Constraints:      33906
568.26/570.44	c INPROCESSING
568.26/570.44	c GARBAGE COLLECT
568.26/570.44	c #Conflicts:      85000 | #Constraints:      21196
568.26/570.44	c #Conflicts:      86000 | #Constraints:      22196
568.26/570.44	c #Conflicts:      87000 | #Constraints:      23196
568.26/570.44	c #Conflicts:      88000 | #Constraints:      24196
568.26/570.44	c #Conflicts:      89000 | #Constraints:      25196
568.26/570.44	c #Conflicts:      90000 | #Constraints:      26196
568.26/570.44	c #Conflicts:      91000 | #Constraints:      27196
568.26/570.44	c INPROCESSING
568.26/570.44	c GARBAGE COLLECT
568.26/570.44	c #Conflicts:      92000 | #Constraints:      18156
568.26/570.44	c #Conflicts:      93000 | #Constraints:      19156
568.26/570.44	c #Conflicts:      94000 | #Constraints:      20156
568.26/570.44	c #Conflicts:      95000 | #Constraints:      21156
568.26/570.44	c #Conflicts:      96000 | #Constraints:      22156
568.26/570.44	c #Conflicts:      97000 | #Constraints:      23156
568.26/570.44	c #Conflicts:      98000 | #Constraints:      24156
568.26/570.44	c #Conflicts:      99000 | #Constraints:      25156
568.26/570.44	c #Conflicts:     100000 | #Constraints:      26156
568.26/570.44	c #Conflicts:     101000 | #Constraints:      27156
568.26/570.44	c #Conflicts:     102000 | #Constraints:      28156
568.26/570.44	c #Conflicts:     103000 | #Constraints:      29156
568.26/570.44	c #Conflicts:     104000 | #Constraints:      30156
568.26/570.44	c #Conflicts:     105000 | #Constraints:      31156
568.26/570.44	c #Conflicts:     106000 | #Constraints:      32156
568.26/570.44	c #Conflicts:     107000 | #Constraints:      33156
568.26/570.44	c #Conflicts:     108000 | #Constraints:      34156
568.26/570.44	c #Conflicts:     109000 | #Constraints:      35156
568.26/570.44	c #Conflicts:     110000 | #Constraints:      36156
568.26/570.44	c #Conflicts:     111000 | #Constraints:      37156
568.26/570.44	c #Conflicts:     112000 | #Constraints:      38156
568.26/570.44	c #Conflicts:     113000 | #Constraints:      39156
568.26/570.44	c INPROCESSING
568.26/570.44	c GARBAGE COLLECT
568.26/570.44	c #Conflicts:     114000 | #Constraints:      23512
568.26/570.44	c #Conflicts:     115000 | #Constraints:      24512
568.26/570.44	c #Conflicts:     116000 | #Constraints:      25512
568.26/570.44	c #Conflicts:     117000 | #Constraints:      26512
568.26/570.44	c #Conflicts:     118000 | #Constraints:      27512
568.26/570.44	c #Conflicts:     119000 | #Constraints:      28512
568.26/570.44	c #Conflicts:     120000 | #Constraints:      29512
568.26/570.44	c #Conflicts:     121000 | #Constraints:      30512
568.26/570.44	c #Conflicts:     122000 | #Constraints:      31512
568.26/570.44	c INPROCESSING
568.26/570.44	c GARBAGE COLLECT
568.26/570.44	c #Conflicts:     123000 | #Constraints:      21913
568.26/570.44	c #Conflicts:     124000 | #Constraints:      22913
568.26/570.44	c #Conflicts:     125000 | #Constraints:      23913
568.26/570.44	c #Conflicts:     126000 | #Constraints:      24913
568.26/570.44	c #Conflicts:     127000 | #Constraints:      25913
568.26/570.44	c #Conflicts:     128000 | #Constraints:      26913
568.26/570.44	c #Conflicts:     129000 | #Constraints:      27913
568.26/570.44	c #Conflicts:     130000 | #Constraints:      28913
568.26/570.44	c #Conflicts:     131000 | #Constraints:      29913
568.26/570.44	c #Conflicts:     132000 | #Constraints:      30913
568.26/570.44	c #Conflicts:     133000 | #Constraints:      31913
568.26/570.44	c #Conflicts:     134000 | #Constraints:      32913
568.26/570.44	c #Conflicts:     135000 | #Constraints:      33913
568.26/570.44	c #Conflicts:     136000 | #Constraints:      34913
568.26/570.44	c #Conflicts:     137000 | #Constraints:      35913
568.26/570.44	c #Conflicts:     138000 | #Constraints:      36913
568.26/570.44	c #Conflicts:     139000 | #Constraints:      37913
568.26/570.44	c #Conflicts:     140000 | #Constraints:      38913
568.26/570.44	c #Conflicts:     141000 | #Constraints:      39913
568.26/570.44	c #Conflicts:     142000 | #Constraints:      40913
568.26/570.44	c #Conflicts:     143000 | #Constraints:      41913
568.26/570.44	c #Conflicts:     144000 | #Constraints:      42913
568.26/570.44	c #Conflicts:     145000 | #Constraints:      43913
900.20/903.81	c #Conflicts:     146000 | #Constraints:      44913
900.20/903.81	c #Conflicts:     147000 | #Constraints:      45913
900.20/903.81	c INPROCESSING
900.20/903.81	c GARBAGE COLLECT
900.20/903.81	c #Conflicts:     148000 | #Constraints:      26906
900.20/903.81	c #Conflicts:     149000 | #Constraints:      27906
900.20/903.81	c #Conflicts:     150000 | #Constraints:      28906
900.20/903.81	c #Conflicts:     151000 | #Constraints:      29906
900.20/903.81	c #Conflicts:     152000 | #Constraints:      30906
900.20/903.81	c #Conflicts:     153000 | #Constraints:      31906
900.20/903.81	c #Conflicts:     154000 | #Constraints:      32906
900.20/903.81	c #Conflicts:     155000 | #Constraints:      33906
900.20/903.81	c #Conflicts:     156000 | #Constraints:      34906
900.20/903.81	c #Conflicts:     157000 | #Constraints:      35906
900.20/903.81	c INPROCESSING
900.20/903.81	c GARBAGE COLLECT
900.20/903.81	c #Conflicts:     158000 | #Constraints:      25938
900.20/903.81	c #Conflicts:     159000 | #Constraints:      26938
900.20/903.81	c #Conflicts:     160000 | #Constraints:      27938
900.20/903.81	c #Conflicts:     161000 | #Constraints:      28938
900.20/903.81	c #Conflicts:     162000 | #Constraints:      29938
900.20/903.81	c #Conflicts:     163000 | #Constraints:      30938
900.20/903.81	c #Conflicts:     164000 | #Constraints:      31938
900.20/903.81	c #Conflicts:     165000 | #Constraints:      32938
900.20/903.81	c #Conflicts:     166000 | #Constraints:      33938
900.20/903.81	c #Conflicts:     167000 | #Constraints:      34938
900.20/903.81	c #Conflicts:     168000 | #Constraints:      35938
900.20/903.81	c #Conflicts:     169000 | #Constraints:      36938
900.20/903.81	c #Conflicts:     170000 | #Constraints:      37938
900.20/903.81	c #Conflicts:     171000 | #Constraints:      38938
900.20/903.81	c #Conflicts:     172000 | #Constraints:      39938
900.20/903.81	c #Conflicts:     173000 | #Constraints:      40938
900.20/903.81	c #Conflicts:     174000 | #Constraints:      41938
900.20/903.81	c #Conflicts:     175000 | #Constraints:      42938
900.20/903.81	c #Conflicts:     176000 | #Constraints:      43938
900.20/903.81	c #Conflicts:     177000 | #Constraints:      44938
900.20/903.81	c #Conflicts:     178000 | #Constraints:      45938
900.20/903.81	c #Conflicts:     179000 | #Constraints:      46938
900.20/903.81	c #Conflicts:     180000 | #Constraints:      47938
900.20/903.81	c #Conflicts:     181000 | #Constraints:      48938
900.20/903.81	c #Conflicts:     182000 | #Constraints:      49938
900.20/903.81	c #Conflicts:     183000 | #Constraints:      50938
900.20/903.81	c #Conflicts:     184000 | #Constraints:      51938
900.20/903.81	c #Conflicts:     185000 | #Constraints:      52938
900.20/903.81	c #Conflicts:     186000 | #Constraints:      53938
900.20/903.81	c INPROCESSING
900.20/903.81	c GARBAGE COLLECT
900.20/903.81	c #Conflicts:     187000 | #Constraints:      31202
900.20/903.81	c #Conflicts:     188000 | #Constraints:      32202
900.20/903.81	c #Conflicts:     189000 | #Constraints:      33202
900.20/903.81	c #Conflicts:     190000 | #Constraints:      34202
900.20/903.81	c #Conflicts:     191000 | #Constraints:      35202
900.20/903.81	c #Conflicts:     192000 | #Constraints:      36202
900.20/903.81	c #Conflicts:     193000 | #Constraints:      37202
900.20/903.81	c #Conflicts:     194000 | #Constraints:      38202
900.20/903.81	c #Conflicts:     195000 | #Constraints:      39202
900.20/903.81	c #Conflicts:     196000 | #Constraints:      40202
900.20/903.81	c #Conflicts:     197000 | #Constraints:      41202
900.20/903.81	c INPROCESSING
900.20/903.81	c GARBAGE COLLECT
900.20/903.81	c #Conflicts:     198000 | #Constraints:      30912
900.20/903.81	c #Conflicts:     199000 | #Constraints:      31912
900.20/903.81	c #Conflicts:     200000 | #Constraints:      32912
900.20/903.81	c #Conflicts:     201000 | #Constraints:      33912
900.20/903.81	c #Conflicts:     202000 | #Constraints:      34912
900.20/903.81	c #Conflicts:     203000 | #Constraints:      35912
900.20/903.81	c #Conflicts:     204000 | #Constraints:      36912
900.20/903.81	c #Conflicts:     205000 | #Constraints:      37912
900.20/903.81	c #Conflicts:     206000 | #Constraints:      38912
900.20/903.81	c #Conflicts:     207000 | #Constraints:      39912
900.20/903.81	c #Conflicts:     208000 | #Constraints:      40912
900.20/903.81	c #Conflicts:     209000 | #Constraints:      41912
900.20/903.81	c #Conflicts:     210000 | #Constraints:      42912
900.20/903.81	c #Conflicts:     211000 | #Constraints:      43912
900.20/903.81	c #Conflicts:     212000 | #Constraints:      44912
900.20/903.81	c #Conflicts:     213000 | #Constraints:      45912
900.20/903.81	c #Conflicts:     214000 | #Constraints:      46912
900.20/903.81	c #Conflicts:     215000 | #Constraints:      47912
900.20/903.81	c #Conflicts:     216000 | #Constraints:      48912
900.20/903.81	c #Conflicts:     217000 | #Constraints:      49912
900.20/903.81	c #Conflicts:     218000 | #Constraints:      50912
900.20/903.81	c #Conflicts:     219000 | #Constraints:      51912
900.20/903.81	c #Conflicts:     220000 | #Constraints:      52912
900.20/903.81	c #Conflicts:     221000 | #Constraints:      53912
1497.04/1503.20	c #Conflicts:     222000 | #Constraints:      54912
1497.04/1503.20	c #Conflicts:     223000 | #Constraints:      55912
1497.04/1503.20	c #Conflicts:     224000 | #Constraints:      56912
1497.04/1503.20	c #Conflicts:     225000 | #Constraints:      57912
1497.04/1503.20	c #Conflicts:     226000 | #Constraints:      58912
1497.04/1503.20	c #Conflicts:     227000 | #Constraints:      59912
1497.04/1503.20	c #Conflicts:     228000 | #Constraints:      60912
1497.04/1503.20	c INPROCESSING
1497.04/1503.20	c GARBAGE COLLECT
1497.04/1503.20	c #Conflicts:     229000 | #Constraints:      34293
1497.04/1503.20	c #Conflicts:     230000 | #Constraints:      35293
1497.04/1503.20	c #Conflicts:     231000 | #Constraints:      36293
1497.04/1503.20	c #Conflicts:     232000 | #Constraints:      37293
1497.04/1503.20	c #Conflicts:     233000 | #Constraints:      38293
1497.04/1503.20	c #Conflicts:     234000 | #Constraints:      39293
1497.04/1503.20	c #Conflicts:     235000 | #Constraints:      40293
1497.04/1503.20	c #Conflicts:     236000 | #Constraints:      41293
1497.04/1503.20	c #Conflicts:     237000 | #Constraints:      42293
1497.04/1503.20	c #Conflicts:     238000 | #Constraints:      43293
1497.04/1503.20	c #Conflicts:     239000 | #Constraints:      44293
1497.04/1503.20	c #Conflicts:     240000 | #Constraints:      45293
1497.04/1503.20	c #Conflicts:     241000 | #Constraints:      46293
1497.04/1503.20	c #Conflicts:     242000 | #Constraints:      47293
1497.04/1503.20	c #Conflicts:     243000 | #Constraints:      48293
1497.04/1503.20	c #Conflicts:     244000 | #Constraints:      49293
1497.04/1503.20	c #Conflicts:     245000 | #Constraints:      50293
1497.04/1503.20	c #Conflicts:     246000 | #Constraints:      51293
1497.04/1503.20	c #Conflicts:     247000 | #Constraints:      52293
1497.04/1503.20	c #Conflicts:     248000 | #Constraints:      53293
1497.04/1503.20	c #Conflicts:     249000 | #Constraints:      54293
1497.04/1503.20	c #Conflicts:     250000 | #Constraints:      55293
1497.04/1503.20	c #Conflicts:     251000 | #Constraints:      56293
1497.04/1503.20	c #Conflicts:     252000 | #Constraints:      57293
1497.04/1503.20	c #Conflicts:     253000 | #Constraints:      58293
1497.04/1503.20	c #Conflicts:     254000 | #Constraints:      59293
1497.04/1503.20	c #Conflicts:     255000 | #Constraints:      60293
1497.04/1503.20	c #Conflicts:     256000 | #Constraints:      61293
1497.04/1503.20	c #Conflicts:     257000 | #Constraints:      62293
1497.04/1503.20	c #Conflicts:     258000 | #Constraints:      63293
1497.04/1503.20	c #Conflicts:     259000 | #Constraints:      64293
1497.04/1503.20	c #Conflicts:     260000 | #Constraints:      65293
1497.04/1503.20	c #Conflicts:     261000 | #Constraints:      66293
1497.04/1503.20	c #Conflicts:     262000 | #Constraints:      67293
1497.04/1503.20	c INPROCESSING
1497.04/1503.20	c GARBAGE COLLECT
1497.04/1503.20	c #Conflicts:     263000 | #Constraints:      38617
1497.04/1503.20	c #Conflicts:     264000 | #Constraints:      39617
1497.04/1503.20	c #Conflicts:     265000 | #Constraints:      40617
1497.04/1503.20	c #Conflicts:     266000 | #Constraints:      41617
1497.04/1503.20	c #Conflicts:     267000 | #Constraints:      42617
1497.04/1503.20	c #Conflicts:     268000 | #Constraints:      43617
1497.04/1503.20	c #Conflicts:     269000 | #Constraints:      44617
1497.04/1503.20	c #Conflicts:     270000 | #Constraints:      45617
1497.04/1503.20	c #Conflicts:     271000 | #Constraints:      46617
1497.04/1503.20	c #Conflicts:     272000 | #Constraints:      47617
1497.04/1503.20	c #Conflicts:     273000 | #Constraints:      48617
1497.04/1503.20	c #Conflicts:     274000 | #Constraints:      49617
1497.04/1503.20	c #Conflicts:     275000 | #Constraints:      50617
1497.04/1503.20	c #Conflicts:     276000 | #Constraints:      51617
1497.04/1503.20	c #Conflicts:     277000 | #Constraints:      52617
1497.04/1503.20	c #Conflicts:     278000 | #Constraints:      53617
1497.04/1503.20	c #Conflicts:     279000 | #Constraints:      54617
1497.04/1503.20	c #Conflicts:     280000 | #Constraints:      55617
1497.04/1503.20	c #Conflicts:     281000 | #Constraints:      56617
1497.04/1503.20	c #Conflicts:     282000 | #Constraints:      57617
1497.04/1503.20	c #Conflicts:     283000 | #Constraints:      58617
1497.04/1503.20	c #Conflicts:     284000 | #Constraints:      59617
1497.04/1503.20	c #Conflicts:     285000 | #Constraints:      60617
1497.04/1503.20	c #Conflicts:     286000 | #Constraints:      61617
1497.04/1503.20	c #Conflicts:     287000 | #Constraints:      62617
1497.04/1503.20	c #Conflicts:     288000 | #Constraints:      63617
1497.04/1503.20	c #Conflicts:     289000 | #Constraints:      64617
1497.04/1503.20	c #Conflicts:     290000 | #Constraints:      65617
1497.04/1503.20	c #Conflicts:     291000 | #Constraints:      66617
1497.04/1503.20	c #Conflicts:     292000 | #Constraints:      67617
1497.04/1503.20	c #Conflicts:     293000 | #Constraints:      68617
1497.04/1503.20	c #Conflicts:     294000 | #Constraints:      69617
1497.04/1503.20	c #Conflicts:     295000 | #Constraints:      70617
1497.04/1503.20	c #Conflicts:     296000 | #Constraints:      71617
1497.04/1503.20	c #Conflicts:     297000 | #Constraints:      72617
1497.04/1503.20	c INPROCESSING
1497.04/1503.20	c GARBAGE COLLECT
1497.04/1503.20	c #Conflicts:     298000 | #Constraints:      42323
2270.84/2280.20	c #Conflicts:     299000 | #Constraints:      43323
2270.84/2280.20	c #Conflicts:     300000 | #Constraints:      44323
2270.84/2280.20	c #Conflicts:     301000 | #Constraints:      45323
2270.84/2280.20	c #Conflicts:     302000 | #Constraints:      46323
2270.84/2280.20	c #Conflicts:     303000 | #Constraints:      47323
2270.84/2280.20	c #Conflicts:     304000 | #Constraints:      48323
2270.84/2280.20	c #Conflicts:     305000 | #Constraints:      49323
2270.84/2280.20	c #Conflicts:     306000 | #Constraints:      50323
2270.84/2280.20	c #Conflicts:     307000 | #Constraints:      51323
2270.84/2280.20	c #Conflicts:     308000 | #Constraints:      52323
2270.84/2280.20	c #Conflicts:     309000 | #Constraints:      53323
2270.84/2280.20	c #Conflicts:     310000 | #Constraints:      54323
2270.84/2280.20	c #Conflicts:     311000 | #Constraints:      55323
2270.84/2280.20	c #Conflicts:     312000 | #Constraints:      56323
2270.84/2280.20	c #Conflicts:     313000 | #Constraints:      57323
2270.84/2280.20	c #Conflicts:     314000 | #Constraints:      58323
2270.84/2280.20	c #Conflicts:     315000 | #Constraints:      59323
2270.84/2280.20	c #Conflicts:     316000 | #Constraints:      60323
2270.84/2280.20	c #Conflicts:     317000 | #Constraints:      61323
2270.84/2280.20	c #Conflicts:     318000 | #Constraints:      62323
2270.84/2280.20	c #Conflicts:     319000 | #Constraints:      63323
2270.84/2280.20	c #Conflicts:     320000 | #Constraints:      64323
2270.84/2280.20	c #Conflicts:     321000 | #Constraints:      65323
2270.84/2280.20	c #Conflicts:     322000 | #Constraints:      66323
2270.84/2280.20	c #Conflicts:     323000 | #Constraints:      67323
2270.84/2280.20	c #Conflicts:     324000 | #Constraints:      68323
2270.84/2280.20	c #Conflicts:     325000 | #Constraints:      69323
2270.84/2280.20	c #Conflicts:     326000 | #Constraints:      70323
2270.84/2280.20	c #Conflicts:     327000 | #Constraints:      71323
2270.84/2280.20	c #Conflicts:     328000 | #Constraints:      72323
2270.84/2280.20	c #Conflicts:     329000 | #Constraints:      73323
2270.84/2280.20	c #Conflicts:     330000 | #Constraints:      74323
2270.84/2280.20	c #Conflicts:     331000 | #Constraints:      75323
2270.84/2280.20	c #Conflicts:     332000 | #Constraints:      76323
2270.84/2280.20	c #Conflicts:     333000 | #Constraints:      77323
2270.84/2280.20	c #Conflicts:     334000 | #Constraints:      78323
2270.84/2280.20	c #Conflicts:     335000 | #Constraints:      79323
2270.84/2280.20	c INPROCESSING
2270.84/2280.20	c GARBAGE COLLECT
2270.84/2280.20	c #Conflicts:     336000 | #Constraints:      47042
2270.84/2280.20	c #Conflicts:     337000 | #Constraints:      48042
2270.84/2280.20	c #Conflicts:     338000 | #Constraints:      49042
2270.84/2280.20	c #Conflicts:     339000 | #Constraints:      50042
2270.84/2280.20	c #Conflicts:     340000 | #Constraints:      51042
2270.84/2280.20	c #Conflicts:     341000 | #Constraints:      52042
2270.84/2280.20	c #Conflicts:     342000 | #Constraints:      53042
2270.84/2280.20	c #Conflicts:     343000 | #Constraints:      54042
2270.84/2280.20	c #Conflicts:     344000 | #Constraints:      55042
2270.84/2280.20	c #Conflicts:     345000 | #Constraints:      56042
2270.84/2280.20	c #Conflicts:     346000 | #Constraints:      57042
2270.84/2280.20	c #Conflicts:     347000 | #Constraints:      58042
2270.84/2280.20	c #Conflicts:     348000 | #Constraints:      59042
2270.84/2280.20	c #Conflicts:     349000 | #Constraints:      60042
2270.84/2280.20	c #Conflicts:     350000 | #Constraints:      61042
2270.84/2280.20	c #Conflicts:     351000 | #Constraints:      62042
2270.84/2280.20	c #Conflicts:     352000 | #Constraints:      63042
2270.84/2280.20	c #Conflicts:     353000 | #Constraints:      64042
2270.84/2280.20	c #Conflicts:     354000 | #Constraints:      65042
2270.84/2280.20	c #Conflicts:     355000 | #Constraints:      66042
2270.84/2280.20	c #Conflicts:     356000 | #Constraints:      67042
2270.84/2280.20	c #Conflicts:     357000 | #Constraints:      68042
2270.84/2280.20	c #Conflicts:     358000 | #Constraints:      69042
2270.84/2280.20	c #Conflicts:     359000 | #Constraints:      70042
2270.84/2280.20	c #Conflicts:     360000 | #Constraints:      71042
2270.84/2280.20	c #Conflicts:     361000 | #Constraints:      72042
2270.84/2280.20	c #Conflicts:     362000 | #Constraints:      73042
2270.84/2280.20	c #Conflicts:     363000 | #Constraints:      74042
2270.84/2280.20	c #Conflicts:     364000 | #Constraints:      75042
2270.84/2280.20	c #Conflicts:     365000 | #Constraints:      76042
2270.84/2280.20	c #Conflicts:     366000 | #Constraints:      77042
2270.84/2280.20	c #Conflicts:     367000 | #Constraints:      78042
2270.84/2280.20	c #Conflicts:     368000 | #Constraints:      79042
2270.84/2280.20	c #Conflicts:     369000 | #Constraints:      80042
2270.84/2280.20	c #Conflicts:     370000 | #Constraints:      81042
2270.84/2280.20	c #Conflicts:     371000 | #Constraints:      82042
2270.84/2280.20	c #Conflicts:     372000 | #Constraints:      83042
2270.84/2280.20	c #Conflicts:     373000 | #Constraints:      84042
2270.84/2280.20	c #Conflicts:     374000 | #Constraints:      85042
2270.84/2280.20	c INPROCESSING
2270.84/2280.20	c GARBAGE COLLECT
2270.84/2280.20	c #Conflicts:     375000 | #Constraints:      51065
3263.17/3276.62	c #Conflicts:     376000 | #Constraints:      52065
3263.17/3276.62	c #Conflicts:     377000 | #Constraints:      53065
3263.17/3276.62	c #Conflicts:     378000 | #Constraints:      54065
3263.17/3276.62	c #Conflicts:     379000 | #Constraints:      55065
3263.17/3276.62	c #Conflicts:     380000 | #Constraints:      56065
3263.17/3276.62	c #Conflicts:     381000 | #Constraints:      57065
3263.17/3276.62	c #Conflicts:     382000 | #Constraints:      58065
3263.17/3276.62	c #Conflicts:     383000 | #Constraints:      59065
3263.17/3276.62	c #Conflicts:     384000 | #Constraints:      60065
3263.17/3276.62	c #Conflicts:     385000 | #Constraints:      61065
3263.17/3276.62	c #Conflicts:     386000 | #Constraints:      62065
3263.17/3276.62	c #Conflicts:     387000 | #Constraints:      63065
3263.17/3276.62	c #Conflicts:     388000 | #Constraints:      64065
3263.17/3276.62	c #Conflicts:     389000 | #Constraints:      65065
3263.17/3276.62	c #Conflicts:     390000 | #Constraints:      66065
3263.17/3276.62	c #Conflicts:     391000 | #Constraints:      67065
3263.17/3276.62	c #Conflicts:     392000 | #Constraints:      68065
3263.17/3276.62	c #Conflicts:     393000 | #Constraints:      69065
3263.17/3276.62	c #Conflicts:     394000 | #Constraints:      70065
3263.17/3276.62	c #Conflicts:     395000 | #Constraints:      71065
3263.17/3276.62	c #Conflicts:     396000 | #Constraints:      72065
3263.17/3276.62	c #Conflicts:     397000 | #Constraints:      73065
3263.17/3276.62	c #Conflicts:     398000 | #Constraints:      74065
3263.17/3276.62	c #Conflicts:     399000 | #Constraints:      75065
3263.17/3276.62	c #Conflicts:     400000 | #Constraints:      76065
3263.17/3276.62	c #Conflicts:     401000 | #Constraints:      77065
3263.17/3276.62	c #Conflicts:     402000 | #Constraints:      78065
3263.17/3276.62	c #Conflicts:     403000 | #Constraints:      79065
3263.17/3276.62	c #Conflicts:     404000 | #Constraints:      80065
3263.17/3276.62	c #Conflicts:     405000 | #Constraints:      81065
3263.17/3276.62	c #Conflicts:     406000 | #Constraints:      82065
3263.17/3276.62	c #Conflicts:     407000 | #Constraints:      83065
3263.17/3276.62	c #Conflicts:     408000 | #Constraints:      84065
3263.17/3276.62	c #Conflicts:     409000 | #Constraints:      85065
3263.17/3276.62	c #Conflicts:     410000 | #Constraints:      86065
3263.17/3276.62	c #Conflicts:     411000 | #Constraints:      87065
3263.17/3276.62	c #Conflicts:     412000 | #Constraints:      88065
3263.17/3276.62	c #Conflicts:     413000 | #Constraints:      89065
3263.17/3276.62	c #Conflicts:     414000 | #Constraints:      90065
3263.17/3276.62	c #Conflicts:     415000 | #Constraints:      91065
3263.17/3276.62	c INPROCESSING
3263.17/3276.62	c GARBAGE COLLECT
3263.17/3276.62	c #Conflicts:     416000 | #Constraints:      55300
3263.17/3276.62	c #Conflicts:     417000 | #Constraints:      56300
3263.17/3276.62	c #Conflicts:     418000 | #Constraints:      57300
3263.17/3276.62	c #Conflicts:     419000 | #Constraints:      58300
3263.17/3276.62	c #Conflicts:     420000 | #Constraints:      59300
3263.17/3276.62	c #Conflicts:     421000 | #Constraints:      60300
3263.17/3276.62	c #Conflicts:     422000 | #Constraints:      61300
3263.17/3276.62	c #Conflicts:     423000 | #Constraints:      62300
3263.17/3276.62	c #Conflicts:     424000 | #Constraints:      63300
3263.17/3276.62	c #Conflicts:     425000 | #Constraints:      64300
3263.17/3276.62	c #Conflicts:     426000 | #Constraints:      65300
3263.17/3276.62	c #Conflicts:     427000 | #Constraints:      66300
3263.17/3276.62	c #Conflicts:     428000 | #Constraints:      67300
3263.17/3276.62	c #Conflicts:     429000 | #Constraints:      68300
3263.17/3276.62	c #Conflicts:     430000 | #Constraints:      69300
3263.17/3276.62	c #Conflicts:     431000 | #Constraints:      70300
3263.17/3276.62	c #Conflicts:     432000 | #Constraints:      71300
3263.17/3276.62	c #Conflicts:     433000 | #Constraints:      72300
3263.17/3276.62	c #Conflicts:     434000 | #Constraints:      73300
3263.17/3276.62	c #Conflicts:     435000 | #Constraints:      74300
3263.17/3276.62	c #Conflicts:     436000 | #Constraints:      75300
3263.17/3276.62	c #Conflicts:     437000 | #Constraints:      76300
3263.17/3276.62	c #Conflicts:     438000 | #Constraints:      77300
3263.17/3276.62	c #Conflicts:     439000 | #Constraints:      78300
3263.17/3276.62	c #Conflicts:     440000 | #Constraints:      79300
3263.17/3276.62	c #Conflicts:     441000 | #Constraints:      80300
3263.17/3276.62	c #Conflicts:     442000 | #Constraints:      81300
3263.17/3276.62	c #Conflicts:     443000 | #Constraints:      82300
3263.17/3276.62	c #Conflicts:     444000 | #Constraints:      83300
3263.17/3276.62	c #Conflicts:     445000 | #Constraints:      84300
3263.17/3276.62	c #Conflicts:     446000 | #Constraints:      85300
3263.17/3276.62	c #Conflicts:     447000 | #Constraints:      86300
3263.17/3276.62	c #Conflicts:     448000 | #Constraints:      87300
3263.17/3276.62	c #Conflicts:     449000 | #Constraints:      88300
3263.17/3276.62	c #Conflicts:     450000 | #Constraints:      89300
3263.17/3276.62	c #Conflicts:     451000 | #Constraints:      90300
3263.17/3276.62	c #Conflicts:     452000 | #Constraints:      91300
3263.17/3276.62	c #Conflicts:     453000 | #Constraints:      92300
3263.17/3276.62	c #Conflicts:     454000 | #Constraints:      93300
3600.02/3614.90	c #Conflicts:     455000 | #Constraints:      94300
3600.02/3614.90	c #Conflicts:     456000 | #Constraints:      95300
3600.02/3614.90	c #Conflicts:     457000 | #Constraints:      96300
3600.02/3614.90	c #Conflicts:     458000 | #Constraints:      97300
3600.02/3614.90	c #Conflicts:     459000 | #Constraints:      98300
3600.02/3614.90	c INPROCESSING
3600.02/3614.90	c GARBAGE COLLECT
3600.02/3614.90	c #Conflicts:     460000 | #Constraints:      60777
3600.02/3614.90	c #Conflicts:     461000 | #Constraints:      61777
3600.02/3614.90	c #Conflicts:     462000 | #Constraints:      62777
3600.02/3614.90	c #Conflicts:     463000 | #Constraints:      63777
3600.02/3614.90	c #Conflicts:     464000 | #Constraints:      64777
3600.02/3614.90	c #Conflicts:     465000 | #Constraints:      65777
3600.02/3614.90	c #Conflicts:     466000 | #Constraints:      66777
3600.02/3614.90	c #Conflicts:     467000 | #Constraints:      67777
3600.02/3614.90	c #Conflicts:     468000 | #Constraints:      68777
3600.02/3614.90	c #Conflicts:     469000 | #Constraints:      69777
3600.02/3614.90	c #Conflicts:     470000 | #Constraints:      70777
3600.02/3614.90	c #Conflicts:     471000 | #Constraints:      71777
3600.02/3614.90	c #Conflicts:     472000 | #Constraints:      72777
3600.02/3614.90	c #Conflicts:     473000 | #Constraints:      73777
3600.02/3614.90	c #Conflicts:     474000 | #Constraints:      74777
3600.02/3614.90	c #Conflicts:     475000 | #Constraints:      75777
3600.02/3614.90	c #Conflicts:     476000 | #Constraints:      76777
3600.02/3614.90	c #Conflicts:     477000 | #Constraints:      77777
3600.02/3614.90	c Program interrupted by user.
3600.02/3614.90	c cpu time 3592.39 s
3600.02/3614.90	c deterministic time 222322069775 2.22e+11
3600.02/3614.90	c optimization time 242.579 s
3600.02/3614.90	c total solve time 3050.82 s
3600.02/3614.90	c core-guided solve time 3050.82 s
3600.02/3614.90	c propagation time 3159.51 s
3600.02/3614.90	c conflict analysis time 122.659 s
3600.02/3614.90	c propagations 290614662
3600.02/3614.90	c resolve steps 2066486
3600.02/3614.90	c decisions 3268491
3600.02/3614.90	c conflicts 477557
3600.02/3614.90	c restarts 1022
3600.02/3614.90	c inprocessing phases 28
3600.02/3614.90	c input clauses 0
3600.02/3614.90	c input cardinalities 0
3600.02/3614.90	c input general constraints 6389
3600.02/3614.90	c input average constraint length 29.75
3600.02/3614.90	c input average constraint degree 477.32
3600.02/3614.90	c learned clauses 111045
3600.02/3614.90	c learned cardinalities 2
3600.02/3614.90	c learned general constraints 366510
3600.02/3614.90	c learned average constraint length 40.42
3600.02/3614.90	c learned average constraint degree 2728690.53
3600.02/3614.90	c watched constraints 372582
3600.02/3614.90	c counting constraints 317
3600.02/3614.90	c gcd simplifications 5235
3600.02/3614.90	c detected cardinalities 2
3600.02/3614.90	c weakened non-implied lits 1570455
3600.02/3614.90	c weakened non-implying lits 519
3600.02/3614.90	c original variables 3297
3600.02/3614.90	c clausal propagations 133205
3600.02/3614.90	c cardinality propagations 19
3600.02/3614.90	c watched propagations 289219379
3600.02/3614.90	c counting propagations 1042666
3600.02/3614.90	c watch lookups 54929221006
3600.02/3614.90	c watch backjump lookups 53746398627
3600.02/3614.90	c watch checks 50522381442
3600.02/3614.90	c propagation checks 62462667568
3600.02/3614.90	c constraint additions 73158859
3600.02/3614.90	c trail pops 294359119
3600.02/3614.90	c formula constraints 6383
3600.02/3614.90	c learned constraints 477557
3600.02/3614.90	c bound constraints 6
3600.02/3614.90	c core-guided constraints 0
3600.02/3614.90	c encountered formula constraints 1772933
3600.02/3614.90	c encountered learned constraints 771110
3600.02/3614.90	c encountered bound constraints 0
3600.02/3614.90	c encountered core-guided constraints 0
3600.02/3614.90	c LP total time 0 s
3600.02/3614.90	c LP solve time 0 s
3600.02/3614.90	c LP constraints added 0
3600.02/3614.90	c LP constraints removed 0
3600.02/3614.90	c LP pivots internal 0
3600.02/3614.90	c LP pivots root 0
3600.02/3614.90	c LP calls 0
3600.02/3614.90	c LP optimalities 0
3600.02/3614.90	c LP no pivot count 0
3600.02/3614.90	c LP infeasibilities 0
3600.02/3614.90	c LP valid Farkas constraints 0
3600.02/3614.90	c LP learned Farkas constraints 0
3600.02/3614.90	c LP basis resets 0
3600.02/3614.90	c LP cycling count 0
3600.02/3614.90	c LP singular count 0
3600.02/3614.90	c LP no primal count 0
3600.02/3614.90	c LP no farkas count 0
3600.02/3614.90	c LP other issue count 0
3600.02/3614.90	c LP Gomory cuts 0
3600.02/3614.90	c LP learned cuts 0
3600.02/3614.90	c LP deleted cuts 0
3600.02/3614.90	c LP encountered Gomory constraints 0
3600.02/3614.90	c LP encountered Farkas constraints 0
3600.02/3614.90	c LP encountered learned Farkas constraints 0
3600.02/3614.90	c CG auxiliary variables introduced 0
3600.02/3614.90	c CG solutions found 0
3600.02/3614.90	c CG cores constructed 6
3600.02/3614.90	c CG core cardinality constraints returned 0
3600.02/3614.90	c CG unit cores 0
3600.02/3614.90	c CG single cores 6
3600.02/3614.90	c CG blocks removed during cardinality reduction 1
3600.02/3614.90	c CG first core best 0
3600.02/3614.90	c CG decision core best 0
3600.02/3614.90	c CG core reduction tie 0
3600.02/3614.90	c CG core degree average 1.00
3600.02/3614.90	c CG core slack average 4.00
3600.02/3614.90	c CG exhausted 0
3600.02/3614.90	c CG exhaust time 0 s
3600.02/3614.90	c CG trimmed 0
3600.02/3614.90	c CG trim time 0.000598 s
3600.02/3614.90	c CG minimized 0
3600.02/3614.90	c CG minimize time 0 s
3600.02/3614.90	c CG am1 prop time 0.000311 s
3600.02/3614.90	c CG # am1s reformulated 0
3600.02/3614.90	c CG lower bound derived from am1s 0
3600.02/3614.90	c CG # clausal cores 5
3600.02/3614.90	c CG # cardinality cores 0
3600.02/3614.90	c CG # pb cores 1
3600.02/3614.90	c CG # pb reforms 0
3600.02/3614.90	c CG # cores discarded because of pb reform 0
3600.02/3614.90	d LOWERBOUND 32
3600.02/3614.90	d NCORES 6
3600.02/3614.90	d NPBCORES 1
3600.02/3614.90	d NPBREFORM 0
3600.02/3614.90	d NTRIMMED 0
3600.02/3614.90	d NEXHAUSTED 0
3600.02/3614.90	d NAM1S 0
3600.02/3614.90	d AM1LB 0
3600.02/3614.90	c [Papilo Statistics]
3600.02/3614.90	c prepro time 0.0835089s
3600.02/3614.90	c # tsx applied 3185
3600.02/3614.90	c # tsx conflicts 0
3600.02/3614.90	c # bound changes 0
3600.02/3614.90	c # side changes 3185
3600.02/3614.90	c # coef changes 0
3600.02/3614.90	c # rounds 2
3600.02/3614.90	c # deted vars 0
3600.02/3614.90	c # deted constrs 3185
3600.02/3614.90	c # consecutive rounds of only bound changes 0
3600.02/3614.90	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 (62728 MiB free)
  memory of node 1: 64473 MiB (62384 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435483-1721103316/watcher-4435483-1721103316 -o /tmp/evaluation-result-4435483-1721103316/solver-4435483-1721103316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840500 --watchdog 3760 mixed-bag HOME/instance-4435483-1721103316.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=840656, runsolver pid=840653

[startup+0.100091 s]*
/proc/loadavg: 1.29 1.17 1.86 5/256 840657
/proc/meminfo: memFree=128073000/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=91844 memory=24440 CPUtime=0.1 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 4612 0 0 0 9 1 0 0 20 0 1 0 162502474 94048256 6110 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 22961 6110 1710 3002 0 7251 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 91844 KiB
Current children cumulated memory: 24440 KiB

[startup+0.205659 s]*
/proc/loadavg: 1.51 1.22 1.87 5/256 840657
/proc/meminfo: memFree=128054316/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=115812 memory=47844 CPUtime=0.2 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 7541 0 0 0 19 1 0 0 20 0 1 0 162502474 118591488 11961 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 28953 11961 3716 3002 0 12704 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115812 KiB
Current children cumulated memory: 47844 KiB

[startup+0.305672 s]*
/proc/loadavg: 1.51 1.22 1.87 5/256 840657
/proc/meminfo: memFree=128012620/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=159284 memory=88120 CPUtime=0.3 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 16972 0 0 0 27 3 0 0 20 0 1 0 162502474 163106816 22030 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 39821 22030 3844 3002 0 23572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159284 KiB
Current children cumulated memory: 88120 KiB

[startup+0.700234 s]
/proc/loadavg: 1.51 1.22 1.87 5/256 840657
/proc/meminfo: memFree=127969268/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=243772 memory=162184 CPUtime=0.68 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 34314 0 0 0 63 5 0 0 20 0 1 0 162502474 249622528 40546 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 60943 40546 4068 3002 0 44694 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 243772 KiB
Current children cumulated memory: 162184 KiB

[startup+1.50022 s]
/proc/loadavg: 1.51 1.22 1.87 5/256 840657
/proc/meminfo: memFree=127923396/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=328188 memory=240268 CPUtime=1.49 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 52357 0 0 0 140 9 0 0 20 0 1 0 162502474 336064512 60067 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 82047 60067 4068 3002 0 65798 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 328188 KiB
Current children cumulated memory: 240268 KiB

[startup+3.10561 s]
/proc/loadavg: 1.51 1.22 1.87 5/256 840658
/proc/meminfo: memFree=127805204/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=328188 memory=241120 CPUtime=3.09 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 52556 0 0 0 300 9 0 0 20 0 1 0 162502474 336064512 60280 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 82047 60280 4090 3002 0 65798 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 328188 KiB
Current children cumulated memory: 241120 KiB

[startup+6.30021 s]
/proc/loadavg: 1.71 1.27 1.88 5/256 840658
/proc/meminfo: memFree=127758076/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=340600 memory=257720 CPUtime=6.27 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 56661 0 0 0 617 10 0 0 20 0 1 0 162502474 348774400 64430 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 85150 64430 4090 3002 0 68901 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 340600 KiB
Current children cumulated memory: 257720 KiB

[startup+12.7002 s]
/proc/loadavg: 1.89 1.31 1.89 5/254 840658
/proc/meminfo: memFree=127752852/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=339360 memory=256548 CPUtime=12.64 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 67644 0 0 0 1253 11 0 0 20 0 1 0 162502474 347504640 64137 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 84840 64137 4090 3002 0 68591 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 339360 KiB
Current children cumulated memory: 256548 KiB

[startup+25.5002 s]
/proc/loadavg: 2.22 1.40 1.91 5/254 840661
/proc/meminfo: memFree=127743968/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=345612 memory=262808 CPUtime=25.41 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 72389 0 0 0 2528 13 0 0 20 0 1 0 162502474 353906688 65702 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 86403 65702 4090 3002 0 70154 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 345612 KiB
Current children cumulated memory: 262808 KiB

[startup+51.1055 s]
/proc/loadavg: 3.11 1.70 2.00 5/254 840664
/proc/meminfo: memFree=127724968/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=348908 memory=265932 CPUtime=50.92 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 73201 0 0 0 5079 13 0 0 20 0 1 0 162502474 357281792 66483 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 87227 66483 4090 3002 0 70978 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 348908 KiB
Current children cumulated memory: 265932 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 2.07 2.11 5/254 840673
/proc/meminfo: memFree=127660772/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=408096 memory=326272 CPUtime=101.95 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 88114 0 0 0 10179 16 0 0 20 0 1 0 162502474 417890304 81568 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 102024 81568 4090 3002 0 85775 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 408096 KiB
Current children cumulated memory: 326272 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 2.47 2.25 5/254 840685
/proc/meminfo: memFree=127545256/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=407124 memory=325736 CPUtime=161.74 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 90002 0 0 0 16157 17 0 0 20 0 1 0 162502474 416894976 81434 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 101781 81434 4106 3002 0 85532 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 407124 KiB
Current children cumulated memory: 325736 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.77 2.37 5/254 840696
/proc/meminfo: memFree=127444548/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=407124 memory=325736 CPUtime=221.51 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 90014 0 0 0 22134 17 0 0 20 0 1 0 162502474 416894976 81434 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 101781 81434 4106 3002 0 85532 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 407124 KiB
Current children cumulated memory: 325736 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 3.04 2.49 5/257 840711
/proc/meminfo: memFree=127384176/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=407124 memory=325736 CPUtime=281.26 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 90028 0 0 0 28108 18 0 0 20 0 1 0 162502474 416894976 81434 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 101781 81434 4106 3002 0 85532 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 407124 KiB
Current children cumulated memory: 325736 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 3.25 2.59 5/257 840722
/proc/meminfo: memFree=127452676/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=386212 memory=313696 CPUtime=341.05 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 91249 0 0 0 34039 66 0 0 20 0 1 0 162502474 395481088 78424 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 96553 78424 4217 3002 0 80304 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 386212 KiB
Current children cumulated memory: 313696 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.40 2.69 5/257 840733
/proc/meminfo: memFree=127435940/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=390632 memory=318396 CPUtime=400.82 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 91419 0 0 0 39975 107 0 0 20 0 1 0 162502474 400007168 79599 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 97658 79599 4217 3002 0 81409 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 390632 KiB
Current children cumulated memory: 318396 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 3.56 2.79 5/257 840744
/proc/meminfo: memFree=127428284/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=397812 memory=320684 CPUtime=460.59 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 91489 0 0 0 45920 139 0 0 20 0 1 0 162502474 407359488 80171 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 99453 80171 4217 3002 0 83204 0

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

Current children cumulated memory: 355424 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/256 842376
/proc/meminfo: memFree=127226424/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=2910.33 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 94743 0 0 0 290363 670 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 2910.33 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.03 5/256 842387
/proc/meminfo: memFree=127225820/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=2970.09 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 94825 0 0 0 296333 676 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 2970.09 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.04 5/254 842397
/proc/meminfo: memFree=127224376/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=3029.84 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 94907 0 0 0 302297 687 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 3029.84 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/254 842407
/proc/meminfo: memFree=127223192/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=3089.59 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 94991 0 0 0 308264 695 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 3089.59 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/254 842419
/proc/meminfo: memFree=127222352/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=3149.35 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95076 0 0 0 314232 703 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 3149.35 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/254 842430
/proc/meminfo: memFree=127216852/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=3209.1 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95160 0 0 0 320199 711 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 3209.1 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/257 842445
/proc/meminfo: memFree=127215964/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=355424 CPUtime=3268.85 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95246 0 0 0 326166 719 0 0 20 0 1 0 162502474 438738944 88856 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 88856 4217 3002 0 90865 0
Current children cumulated CPU time: 3268.85 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 355424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/257 842456
/proc/meminfo: memFree=127209120/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3328.59 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95333 0 0 0 332134 725 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3328.59 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.05 5/257 842466
/proc/meminfo: memFree=127208208/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3388.33 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95427 0 0 0 338099 734 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3388.33 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/258 842478
/proc/meminfo: memFree=127207636/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3448.08 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95507 0 0 0 344064 744 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3448.08 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/258 842490
/proc/meminfo: memFree=127206700/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3507.82 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95588 0 0 0 350030 752 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3507.82 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/258 842500
/proc/meminfo: memFree=127206024/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3567.56 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95670 0 0 0 355997 759 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3567.56 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.9 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842644
/proc/meminfo: memFree=127100608/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3600.02 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95731 0 0 0 359238 764 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.39 s, system=7.64745 s

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

[startup+3614.9 s]
/proc/loadavg: 4.12 4.11 4.06 5/255 842644
/proc/meminfo: memFree=127100608/131524600 swapFree=131071996/131071996
[pid=840656] ppid=840653 vsize=428456 memory=357472 CPUtime=3600.02 cores=0,2
/proc/840656/stat : 840656 (mixed-bag) R 840653 840656 840490 0 -1 4194304 95731 0 0 0 359238 764 0 0 20 0 1 0 162502474 438738944 89368 134679101440 4194304 16487941 140730673933424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 47030272 140730673935383 140730673935460 140730673935460 140730673942475 0
/proc/840656/statm: 107114 89368 4217 3002 0 90865 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 428456 KiB
Current children cumulated memory: 357472 KiB

Child status: 0

Real time (s): 3614.9
CPU time (s): 3600.04
CPU user time (s): 3592.39
CPU system time (s): 7.64745
CPU usage (%): 99.5888
Max. virtual memory (cumulated for all children) (KiB): 428456
Max. memory (cumulated for all children) (KiB): 357472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.39
system time used= 7.64745
maximum resident set size= 358260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95765
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= 39
involuntary context switches= 25201


# summary of solver processes directly reported to runsolver:
#   pid: 840656
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592.39
#   total CPU system time (s): 7.64745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79523 second user time and 18.643 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 06:15:29
IDJOB=4435483
IDBENCH=147627
IDSOLVER=3066
FILE ID=nodeC035/4435483-1721103316
RUNJOBID= nodeC035-1721103319-840500
SLURM_JOB_ID= 7505619
Free space on /tmp= 890008 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435483-1721103316/watcher-4435483-1721103316 -o /tmp/evaluation-result-4435483-1721103316/solver-4435483-1721103316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840500 --watchdog 3760  mixed-bag HOME/instance-4435483-1721103316.opb

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

MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
RANDOM SEED=163863697

nodeC035.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.736
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 3682.275
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3661.283
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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.276
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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		: 3671.526
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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		: 3682.321
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
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.131
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.65
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.178
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128116052 kB
MemAvailable:   128680672 kB
Buffers:          379668 kB
Cached:          1023864 kB
SwapCached:            0 kB
Active:           699352 kB
Inactive:        2117956 kB
Active(anon):       1560 kB
Inactive(anon):  1449944 kB
Active(file):     697792 kB
Inactive(file):   668012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             76124 kB
Writeback:             0 kB
AnonPages:       1413504 kB
Mapped:           137208 kB
Shmem:             37724 kB
KReclaimable:      77280 kB
Slab:             180764 kB
SReclaimable:      77280 kB
SUnreclaim:       103484 kB
KernelStack:        4124 kB
PageTables:        12256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1934552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    483328 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC035 at 2024-07-16 07:15:44