Trace number 4454328

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
pb-oll-rs 2024-07-19? (TO) 3600.09 3613.21

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454328-1721471543/watcher-4454328-1721471543 -o /tmp/evaluation-result-4454328-1721471543/solver-4454328-1721471543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721467945-1072668 --watchdog 3760 pb-oll-rs HOME/instance-4454328-1721471543.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=1074698, runsolver pid=1074695
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.17 4.12 4.10 5/258 1074699
/proc/meminfo: memFree=127420948/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=41832 memory=12044 CPUtime=0.1 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 1304 0 0 0 10 0 0 0 20 0 1 0 199318491 42835968 3011 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 10458 3011 1378 291 0 1992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 12044 KiB

[startup+0.205368 s]*
/proc/loadavg: 4.17 4.12 4.10 5/258 1074699
/proc/meminfo: memFree=127420444/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=41832 memory=12044 CPUtime=0.2 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 1308 0 0 0 20 0 0 0 20 0 1 0 199318491 42835968 3011 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 10458 3011 1378 291 0 1992 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 12044 KiB

[startup+0.304608 s]*
/proc/loadavg: 4.17 4.12 4.10 5/258 1074699
/proc/meminfo: memFree=127420304/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=41832 memory=12044 CPUtime=0.29 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 1314 0 0 0 29 0 0 0 20 0 1 0 199318491 42835968 3011 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 10458 3011 1378 291 0 1992 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41832 KiB
Current children cumulated memory: 12044 KiB

[startup+0.700169 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1074699
/proc/meminfo: memFree=127453420/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=42552 memory=12864 CPUtime=0.69 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 1480 0 0 0 68 1 0 0 20 0 1 0 199318491 43573248 3216 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 10638 3216 1456 291 0 2172 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42552 KiB
Current children cumulated memory: 12864 KiB

[startup+1.50018 s]
/proc/loadavg: 4.17 4.12 4.10 6/258 1074745
/proc/meminfo: memFree=128058996/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=42840 memory=13392 CPUtime=1.49 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 1580 0 0 0 146 3 0 0 20 0 1 0 199318491 43868160 3348 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 10710 3348 1456 291 0 2244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 13392 KiB

[startup+3.10564 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1074745
/proc/meminfo: memFree=128042640/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=43404 memory=13792 CPUtime=3.09 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 1702 0 0 0 304 5 0 0 20 0 1 0 199318491 44445696 3448 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 10851 3448 1456 291 0 2385 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43404 KiB
Current children cumulated memory: 13792 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1074746
/proc/meminfo: memFree=128027736/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=44076 memory=15312 CPUtime=6.27 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 2045 0 0 0 617 10 0 0 20 0 1 0 199318491 45133824 3828 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 11019 3828 1456 291 0 2553 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44076 KiB
Current children cumulated memory: 15312 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1074746
/proc/meminfo: memFree=128017400/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=44784 memory=15916 CPUtime=12.65 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 2200 0 0 0 1246 19 0 0 20 0 1 0 199318491 45858816 3979 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 11196 3979 1456 291 0 2730 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44784 KiB
Current children cumulated memory: 15916 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/259 1074749
/proc/meminfo: memFree=127999556/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=50448 memory=21408 CPUtime=25.42 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 3524 0 0 0 2509 33 0 0 20 0 1 0 199318491 51658752 5352 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 12612 5352 1456 291 0 4146 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 50448 KiB
Current children cumulated memory: 21408 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 1074756
/proc/meminfo: memFree=127977308/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=56476 memory=24984 CPUtime=50.95 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 3969 0 0 0 5040 55 0 0 20 0 1 0 199318491 57831424 6246 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 14119 6246 1456 291 0 5653 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 56476 KiB
Current children cumulated memory: 24984 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1074767
/proc/meminfo: memFree=127954096/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=59676 memory=29764 CPUtime=102.01 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 5216 0 0 0 10111 90 0 0 20 0 1 0 199318491 61108224 7441 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 14919 7441 1456 291 0 6453 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 59676 KiB
Current children cumulated memory: 29764 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1074869
/proc/meminfo: memFree=127880952/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=67816 memory=32848 CPUtime=161.84 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 5556 0 0 0 16065 119 0 0 20 0 1 0 199318491 69443584 8212 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 16954 8212 1456 291 0 8488 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 67816 KiB
Current children cumulated memory: 32848 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1074879
/proc/meminfo: memFree=127763664/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=70100 memory=34604 CPUtime=221.66 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 6094 0 0 0 22018 148 0 0 20 0 1 0 199318491 71782400 8651 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 17525 8651 1456 291 0 9059 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 34604 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1074935
/proc/meminfo: memFree=127764852/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=71016 memory=37680 CPUtime=281.47 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 6309 0 0 0 27973 174 0 0 20 0 1 0 199318491 72720384 9420 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 17754 9420 1456 291 0 9288 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 71016 KiB
Current children cumulated memory: 37680 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1074946
/proc/meminfo: memFree=127753628/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=71508 memory=40164 CPUtime=341.27 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 6475 0 0 0 33928 199 0 0 20 0 1 0 199318491 73224192 10041 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 17877 10041 1456 291 0 9411 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 71508 KiB
Current children cumulated memory: 40164 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1074956
/proc/meminfo: memFree=127738368/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=71912 memory=42356 CPUtime=401.08 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 6551 0 0 0 39890 218 0 0 20 0 1 0 199318491 73637888 10589 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 17978 10589 1456 291 0 9512 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 71912 KiB
Current children cumulated memory: 42356 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1074971
/proc/meminfo: memFree=127712172/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=74268 memory=44512 CPUtime=460.88 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 7115 0 0 0 45853 235 0 0 20 0 1 0 199318491 76050432 11128 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 18567 11128 1456 291 0 10101 0

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

Current children cumulated memory: 77020 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1076016
/proc/meminfo: memFree=126360844/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=122344 memory=77288 CPUtime=2852.11 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 11990 0 0 0 284532 679 0 0 20 0 1 0 199318491 125280256 19322 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 30586 19322 1456 291 0 22120 0
Current children cumulated CPU time: 2852.11 s
Current children cumulated vsize: 122344 KiB
Current children cumulated memory: 77288 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1076033
/proc/meminfo: memFree=126330324/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=122856 memory=77440 CPUtime=2911.88 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12088 0 0 0 290502 686 0 0 20 0 1 0 199318491 125804544 19360 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 30714 19360 1456 291 0 22248 0
Current children cumulated CPU time: 2911.88 s
Current children cumulated vsize: 122856 KiB
Current children cumulated memory: 77440 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1076043
/proc/meminfo: memFree=126216600/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=123624 memory=77956 CPUtime=2971.65 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12228 0 0 0 296470 695 0 0 20 0 1 0 199318491 126590976 19489 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 30906 19489 1456 291 0 22440 0
Current children cumulated CPU time: 2971.65 s
Current children cumulated vsize: 123624 KiB
Current children cumulated memory: 77956 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1076053
/proc/meminfo: memFree=126188012/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=124648 memory=78560 CPUtime=3031.41 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12404 0 0 0 302439 702 0 0 20 0 1 0 199318491 127639552 19640 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31162 19640 1456 291 0 22696 0
Current children cumulated CPU time: 3031.41 s
Current children cumulated vsize: 124648 KiB
Current children cumulated memory: 78560 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 1076065
/proc/meminfo: memFree=126114852/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82000 CPUtime=3091.18 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12799 0 0 0 308408 710 0 0 20 0 1 0 199318491 129441792 20500 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20500 1456 291 0 23136 0
Current children cumulated CPU time: 3091.18 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 1076461
/proc/meminfo: memFree=126215116/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82000 CPUtime=3150.95 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12826 0 0 0 314375 720 0 0 20 0 1 0 199318491 129441792 20500 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20500 1456 291 0 23136 0
Current children cumulated CPU time: 3150.95 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 1076471
/proc/meminfo: memFree=126217124/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82084 CPUtime=3210.71 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12857 0 0 0 320341 730 0 0 20 0 1 0 199318491 129441792 20521 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20521 1456 291 0 23136 0
Current children cumulated CPU time: 3210.71 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1076481
/proc/meminfo: memFree=126214308/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82084 CPUtime=3270.47 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12887 0 0 0 326309 738 0 0 20 0 1 0 199318491 129441792 20521 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20521 1456 291 0 23136 0
Current children cumulated CPU time: 3270.47 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1076663
/proc/meminfo: memFree=126149420/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82088 CPUtime=3330.23 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12917 0 0 0 332276 747 0 0 20 0 1 0 199318491 129441792 20522 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20522 1456 291 0 23136 0
Current children cumulated CPU time: 3330.23 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1076673
/proc/meminfo: memFree=125931768/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82088 CPUtime=3389.99 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12950 0 0 0 338242 757 0 0 20 0 1 0 199318491 129441792 20522 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20522 1456 291 0 23136 0
Current children cumulated CPU time: 3389.99 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1076683
/proc/meminfo: memFree=125920488/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82100 CPUtime=3449.75 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 12980 0 0 0 344211 764 0 0 20 0 1 0 199318491 129441792 20525 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20525 1456 291 0 23136 0
Current children cumulated CPU time: 3449.75 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 1076750
/proc/meminfo: memFree=125920020/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82100 CPUtime=3509.52 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 13010 0 0 0 350180 772 0 0 20 0 1 0 199318491 129441792 20525 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20525 1456 291 0 23136 0
Current children cumulated CPU time: 3509.52 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82100 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 1076760
/proc/meminfo: memFree=125896176/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82116 CPUtime=3569.29 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 13046 0 0 0 356149 780 0 0 20 0 1 0 199318491 129441792 20529 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20529 1456 291 0 23136 0
Current children cumulated CPU time: 3569.29 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1076857
/proc/meminfo: memFree=125876528/131524600 swapFree=131071996/131071996
[pid=1074698] ppid=1074695 vsize=126408 memory=82116 CPUtime=3600.07 cores=1,3
/proc/1074698/stat : 1074698 (pb-oll-rs) R 1074695 1074698 1072656 0 -1 4194304 13049 0 0 0 359224 783 0 0 20 0 1 0 199318491 129441792 20529 134679101440 4194304 5384485 140731907517840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 25960448 140731907523605 140731907523682 140731907523682 140731907530699 0
/proc/1074698/statm: 31602 20529 1456 291 0 23136 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82116 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.25 s, system=7.83799 s

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

Child status: 0

Real time (s): 3613.21
CPU time (s): 3600.09
CPU user time (s): 3592.25
CPU system time (s): 7.83799
CPU usage (%): 99.6369
Max. virtual memory (cumulated for all children) (KiB): 126408
Max. memory (cumulated for all children) (KiB): 82116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.25
system time used= 7.83799
maximum resident set size= 82116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13065
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= 34
involuntary context switches= 3381


# summary of solver processes directly reported to runsolver:
#   pid: 1074698
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3592.25
#   total CPU system time (s): 7.83799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91733 second user time and 18.2678 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 12:32:36
IDJOB=4454328
IDBENCH=147627
IDSOLVER=3082
FILE ID=nodeC022/4454328-1721471543
RUNJOBID= nodeC022-1721467945-1072668
SLURM_JOB_ID= 7545723
Free space on /tmp= 890068 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454328-1721471543/watcher-4454328-1721471543 -o /tmp/evaluation-result-4454328-1721471543/solver-4454328-1721471543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721467945-1072668 --watchdog 3760  pb-oll-rs HOME/instance-4454328-1721471543.opb

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

MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
RANDOM SEED=1750790795

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127428672 kB
MemAvailable:   129020304 kB
Buffers:          552960 kB
Cached:          1877868 kB
SwapCached:            0 kB
Active:          1273776 kB
Inactive:        2195092 kB
Active(anon):       1556 kB
Inactive(anon):  1082392 kB
Active(file):    1272220 kB
Inactive(file):  1112700 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             15960 kB
Writeback:            20 kB
AnonPages:       1036292 kB
Mapped:           111988 kB
Shmem:             45912 kB
KReclaimable:      92716 kB
Slab:             206308 kB
SReclaimable:      92716 kB
SUnreclaim:       113592 kB
KernelStack:        4124 kB
PageTables:        11624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1503996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72192 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 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:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC022 at 2024-07-20 13:32:49