Trace number 4454741

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-19? (TO) 3600.03 3611.81

DiagnosticValue
AM1LB0
LOWERBOUND32
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES1
NPBREFORM0
NTRIMMED0
SCIPUB256

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454741-1721471125/watcher-4454741-1721471125 -o /tmp/evaluation-result-4454741-1721471125/solver-4454741-1721471125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059650 --watchdog 3760 mixed-bag HOME/instance-4454741-1721471125.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1062546, runsolver pid=1062543

[startup+0.100095 s]*
/proc/loadavg: 4.20 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126344744/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=90316 memory=23664 CPUtime=0.1 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 3852 0 0 0 9 1 0 0 20 0 1 0 199276346 92483584 5850 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 22579 5850 1716 3002 0 6867 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90316 KiB
Current children cumulated memory: 23664 KiB

[startup+0.205692 s]*
/proc/loadavg: 4.20 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126325000/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=114292 memory=44816 CPUtime=0.2 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 7102 0 0 0 19 1 0 0 20 0 1 0 199276346 117035008 11204 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 28573 11204 3385 3002 0 12322 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 44816 KiB

[startup+0.305762 s]*
/proc/loadavg: 4.20 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126283132/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=159292 memory=88204 CPUtime=0.3 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 16986 0 0 0 28 2 0 0 20 0 1 0 199276346 163115008 22051 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 39823 22051 3851 3002 0 23572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159292 KiB
Current children cumulated memory: 88204 KiB

[startup+0.700233 s]
/proc/loadavg: 4.20 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126239920/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=242036 memory=160560 CPUtime=0.68 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 33903 0 0 0 64 4 0 0 20 0 1 0 199276346 247844864 40140 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 60509 40140 4075 3002 0 44258 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 242036 KiB
Current children cumulated memory: 160560 KiB

[startup+1.50023 s]
/proc/loadavg: 4.20 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126194696/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=328196 memory=240556 CPUtime=1.49 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 53392 0 0 0 142 7 0 0 20 0 1 0 199276346 336072704 60139 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 82049 60139 4075 3002 0 65798 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 328196 KiB
Current children cumulated memory: 240556 KiB

[startup+3.10566 s]
/proc/loadavg: 4.20 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126130504/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=328196 memory=241152 CPUtime=3.09 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 53578 0 0 0 302 7 0 0 20 0 1 0 199276346 336072704 60288 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 82049 60288 4098 3002 0 65798 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 328196 KiB
Current children cumulated memory: 241152 KiB

[startup+6.30023 s]
/proc/loadavg: 4.19 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126118296/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=340608 memory=257764 CPUtime=6.27 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 57692 0 0 0 620 7 0 0 20 0 1 0 199276346 348782592 64441 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 85152 64441 4098 3002 0 68901 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 340608 KiB
Current children cumulated memory: 257764 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.11 4.07 5/258 1062548
/proc/meminfo: memFree=126112524/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=339368 memory=256640 CPUtime=12.66 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 68160 0 0 0 1256 10 0 0 20 0 1 0 199276346 347512832 64160 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 84842 64160 4098 3002 0 68591 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 339368 KiB
Current children cumulated memory: 256640 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.07 5/258 1062550
/proc/meminfo: memFree=126111000/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=345620 memory=262900 CPUtime=25.43 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 72901 0 0 0 2532 11 0 0 20 0 1 0 199276346 353914880 65725 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 86405 65725 4098 3002 0 70154 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 345620 KiB
Current children cumulated memory: 262900 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.09 4.07 5/258 1062554
/proc/meminfo: memFree=126080440/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=348916 memory=266040 CPUtime=50.97 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 73706 0 0 0 5086 11 0 0 20 0 1 0 199276346 357289984 66510 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 87229 66510 4098 3002 0 70978 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 348916 KiB
Current children cumulated memory: 266040 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/257 1062563
/proc/meminfo: memFree=126004588/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=408104 memory=326416 CPUtime=102.04 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 88811 0 0 0 10190 14 0 0 20 0 1 0 199276346 417898496 81604 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 102026 81604 4098 3002 0 85775 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 408104 KiB
Current children cumulated memory: 326416 KiB

[startup+162.3 s]
/proc/loadavg: 4.58 4.22 4.11 5/259 1062744
/proc/meminfo: memFree=125889692/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=407132 memory=325828 CPUtime=161.88 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 90692 0 0 0 16173 15 0 0 20 0 1 0 199276346 416903168 81457 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 101783 81457 4114 3002 0 85532 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 407132 KiB
Current children cumulated memory: 325828 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.19 4.11 5/259 1062755
/proc/meminfo: memFree=125801112/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=407132 memory=325828 CPUtime=221.72 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 90698 0 0 0 22157 15 0 0 20 0 1 0 199276346 416903168 81457 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 101783 81457 4114 3002 0 85532 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 407132 KiB
Current children cumulated memory: 325828 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/263 1062826
/proc/meminfo: memFree=125749124/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=407132 memory=325828 CPUtime=281.56 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 90708 0 0 0 28141 15 0 0 20 0 1 0 199276346 416903168 81457 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 101783 81457 4114 3002 0 85532 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 407132 KiB
Current children cumulated memory: 325828 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/260 1062838
/proc/meminfo: memFree=125825348/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=386220 memory=313728 CPUtime=341.41 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 91911 0 0 0 34079 62 0 0 20 0 1 0 199276346 395489280 78432 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 96555 78432 4225 3002 0 80304 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 386220 KiB
Current children cumulated memory: 313728 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/260 1062848
/proc/meminfo: memFree=125793224/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=390640 memory=318428 CPUtime=401.25 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 92092 0 0 0 40024 101 0 0 20 0 1 0 199276346 400015360 79607 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 97660 79607 4225 3002 0 81409 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 390640 KiB
Current children cumulated memory: 318428 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/258 1062859
/proc/meminfo: memFree=125781688/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=397820 memory=320712 CPUtime=461.09 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 92157 0 0 0 45975 134 0 0 20 0 1 0 199276346 407367680 80178 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 99455 80178 4225 3002 0 83204 0

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

Current children cumulated memory: 353300 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/257 1063869
/proc/meminfo: memFree=125717072/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=2853.26 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 95549 0 0 0 284638 688 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 2853.26 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/257 1063882
/proc/meminfo: memFree=125716276/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=2913.04 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 95624 0 0 0 290604 700 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 2913.04 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/255 1063892
/proc/meminfo: memFree=125714796/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=2972.82 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 95700 0 0 0 296572 710 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/255 1063902
/proc/meminfo: memFree=125713208/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=3032.6 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 95777 0 0 0 302539 721 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 3032.6 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/254 1063912
/proc/meminfo: memFree=125712600/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=3092.38 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 95854 0 0 0 308508 730 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 1063923
/proc/meminfo: memFree=125711792/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=3152.16 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 95935 0 0 0 314478 738 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 3152.16 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 1063934
/proc/meminfo: memFree=125708744/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=3211.95 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96013 0 0 0 320447 748 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 1063948
/proc/meminfo: memFree=125706080/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=3271.73 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96093 0 0 0 326417 756 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 3271.73 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1063959
/proc/meminfo: memFree=125701384/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=355516 CPUtime=3331.52 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96175 0 0 0 332388 764 0 0 20 0 1 0 199276346 438747136 88879 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 88879 4225 3002 0 90865 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 355516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 1063969
/proc/meminfo: memFree=125698572/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=357564 CPUtime=3391.3 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96256 0 0 0 338359 771 0 0 20 0 1 0 199276346 438747136 89391 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 89391 4225 3002 0 90865 0
Current children cumulated CPU time: 3391.3 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 357564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 1063980
/proc/meminfo: memFree=125697800/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=357564 CPUtime=3451.08 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96330 0 0 0 344329 779 0 0 20 0 1 0 199276346 438747136 89391 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 89391 4225 3002 0 90865 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 357564 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 1063992
/proc/meminfo: memFree=125697092/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=357564 CPUtime=3510.85 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96356 0 0 0 350297 788 0 0 20 0 1 0 199276346 438747136 89391 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 89391 4225 3002 0 90865 0
Current children cumulated CPU time: 3510.85 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 357564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1064387
/proc/meminfo: memFree=125695796/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=357564 CPUtime=3570.63 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96430 0 0 0 356266 797 0 0 20 0 1 0 199276346 438747136 89391 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 89391 4225 3002 0 90865 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 357564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1064529
/proc/meminfo: memFree=122078420/131524600 swapFree=131071996/131071996
[pid=1062546] ppid=1062543 vsize=428464 memory=357564 CPUtime=3600.01 cores=4,6
/proc/1062546/stat : 1062546 (mixed-bag) R 1062543 1062546 1059639 0 -1 4194304 96486 0 0 0 359201 800 0 0 20 0 1 0 199276346 438747136 89391 134679101440 4194304 16488053 140724739844432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 42184704 140724739847189 140724739847266 140724739847266 140724739854283 0
/proc/1062546/statm: 107116 89391 4225 3002 0 90865 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 428464 KiB
Current children cumulated memory: 357564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.02 s, system=8.0106 s

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

Child status: 0

Real time (s): 3611.81
CPU time (s): 3600.03
CPU user time (s): 3592.02
CPU system time (s): 8.0106
CPU usage (%): 99.6739
Max. virtual memory (cumulated for all children) (KiB): 428464
Max. memory (cumulated for all children) (KiB): 357564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.02
system time used= 8.0106
maximum resident set size= 358408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96526
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= 47
involuntary context switches= 1294


# summary of solver processes directly reported to runsolver:
#   pid: 1062546
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3592.02
#   total CPU system time (s): 8.0106

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91153 second user time and 18.5808 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-20 12:25:37
IDJOB=4454741
IDBENCH=147627
IDSOLVER=3083
FILE ID=nodeC021/4454741-1721471125
RUNJOBID= nodeC021-1721467498-1059650
SLURM_JOB_ID= 7545721
Free space on /tmp= 890024 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454741-1721471125/watcher-4454741-1721471125 -o /tmp/evaluation-result-4454741-1721471125/solver-4454741-1721471125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059650 --watchdog 3760  mixed-bag HOME/instance-4454741-1721471125.opb

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

MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
RANDOM SEED=1368859222

nodeC021.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		: 3666.167
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.42
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		: 3690.354
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.23
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		: 3600.059
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.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126356924 kB
MemAvailable:   128497624 kB
Buffers:          564812 kB
Cached:          2403200 kB
SwapCached:            0 kB
Active:          1121556 kB
Inactive:        3389940 kB
Active(anon):       1552 kB
Inactive(anon):  1587872 kB
Active(file):    1120004 kB
Inactive(file):  1802068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             76512 kB
Writeback:             4 kB
AnonPages:       1542824 kB
Mapped:           140680 kB
Shmem:             45912 kB
KReclaimable:     116904 kB
Slab:             232948 kB
SReclaimable:     116904 kB
SUnreclaim:       116044 kB
KernelStack:        4120 kB
PageTables:        13024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1972364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    491520 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:      260820 kB
DirectMap2M:    25726976 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC021 at 2024-07-20 13:25:49