Trace number 4454327

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.06 3609.01

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_12.opb
MD5SUM88220551ed2e54bab314d6806833f69c
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 benchmark92
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1812
Total number of constraints3443
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 constraints3443
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 1307
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.04	c [STEP] solving
0.00/0.04	c #variables 1812 #constraints 3443
0.00/0.04	c SMALL=int, LARGE=long long
0.00/0.04	c bounds - >= 0 @ 0.038422
0.00/0.04	c stratification level: 0
71.92/72.17	c bounds - >= 2 @ 0.039334
71.92/72.17	c bounds - >= 4 @ 0.039642
71.92/72.17	c bounds - >= 5 @ 0.040204
71.92/72.17	c bounds - >= 8 @ 0.040403
71.92/72.17	c bounds - >= 16 @ 0.04591
71.92/72.17	c #Conflicts:       1000 | #Constraints:       4447
71.92/72.17	c #Conflicts:       2000 | #Constraints:       5447
71.92/72.17	c INPROCESSING
71.92/72.17	c #Conflicts:       3000 | #Constraints:       5458
71.92/72.17	c #Conflicts:       4000 | #Constraints:       6458
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:       5000 | #Constraints:       5866
71.92/72.17	c bounds - >= 32 @ 2.24063
71.92/72.17	c #Conflicts:       6000 | #Constraints:       6867
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:       7000 | #Constraints:       5868
71.92/72.17	c #Conflicts:       8000 | #Constraints:       6868
71.92/72.17	c #Conflicts:       9000 | #Constraints:       7868
71.92/72.17	c #Conflicts:      10000 | #Constraints:       8868
71.92/72.17	c #Conflicts:      11000 | #Constraints:       9868
71.92/72.17	c #Conflicts:      12000 | #Constraints:      10868
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      13000 | #Constraints:       7783
71.92/72.17	c #Conflicts:      14000 | #Constraints:       8783
71.92/72.17	c #Conflicts:      15000 | #Constraints:       9783
71.92/72.17	c #Conflicts:      16000 | #Constraints:      10783
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      17000 | #Constraints:       7884
71.92/72.17	c #Conflicts:      18000 | #Constraints:       8884
71.92/72.17	c #Conflicts:      19000 | #Constraints:       9884
71.92/72.17	c #Conflicts:      20000 | #Constraints:      10884
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      21000 | #Constraints:       7991
71.92/72.17	c #Conflicts:      22000 | #Constraints:       8991
71.92/72.17	c #Conflicts:      23000 | #Constraints:       9991
71.92/72.17	c #Conflicts:      24000 | #Constraints:      10991
71.92/72.17	c #Conflicts:      25000 | #Constraints:      11991
71.92/72.17	c #Conflicts:      26000 | #Constraints:      12991
71.92/72.17	c #Conflicts:      27000 | #Constraints:      13991
71.92/72.17	c #Conflicts:      28000 | #Constraints:      14991
71.92/72.17	c #Conflicts:      29000 | #Constraints:      15991
71.92/72.17	c #Conflicts:      30000 | #Constraints:      16991
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      31000 | #Constraints:      10844
71.92/72.17	c #Conflicts:      32000 | #Constraints:      11844
71.92/72.17	c #Conflicts:      33000 | #Constraints:      12844
71.92/72.17	c #Conflicts:      34000 | #Constraints:      13844
71.92/72.17	c #Conflicts:      35000 | #Constraints:      14844
71.92/72.17	c #Conflicts:      36000 | #Constraints:      15844
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      37000 | #Constraints:      10673
71.92/72.17	c #Conflicts:      38000 | #Constraints:      11673
71.92/72.17	c #Conflicts:      39000 | #Constraints:      12673
71.92/72.17	c #Conflicts:      40000 | #Constraints:      13673
71.92/72.17	c #Conflicts:      41000 | #Constraints:      14673
71.92/72.17	c #Conflicts:      42000 | #Constraints:      15673
71.92/72.17	c #Conflicts:      43000 | #Constraints:      16673
71.92/72.17	c #Conflicts:      44000 | #Constraints:      17673
71.92/72.17	c #Conflicts:      45000 | #Constraints:      18673
71.92/72.17	c #Conflicts:      46000 | #Constraints:      19673
71.92/72.17	c #Conflicts:      47000 | #Constraints:      20673
71.92/72.17	c #Conflicts:      48000 | #Constraints:      21673
71.92/72.17	c #Conflicts:      49000 | #Constraints:      22673
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      50000 | #Constraints:      13837
71.92/72.17	c #Conflicts:      51000 | #Constraints:      14837
71.92/72.17	c #Conflicts:      52000 | #Constraints:      15837
71.92/72.17	c #Conflicts:      53000 | #Constraints:      16837
71.92/72.17	c #Conflicts:      54000 | #Constraints:      17837
71.92/72.17	c #Conflicts:      55000 | #Constraints:      18837
71.92/72.17	c #Conflicts:      56000 | #Constraints:      19837
71.92/72.17	c INPROCESSING
71.92/72.17	c GARBAGE COLLECT
71.92/72.17	c #Conflicts:      57000 | #Constraints:      12674
71.92/72.17	c #Conflicts:      58000 | #Constraints:      13674
71.92/72.17	c #Conflicts:      59000 | #Constraints:      14674
71.92/72.17	c #Conflicts:      60000 | #Constraints:      15674
71.92/72.17	c #Conflicts:      61000 | #Constraints:      16674
71.92/72.17	c #Conflicts:      62000 | #Constraints:      17674
71.92/72.17	c #Conflicts:      63000 | #Constraints:      18674
71.92/72.17	c #Conflicts:      64000 | #Constraints:      19674
71.92/72.17	c #Conflicts:      65000 | #Constraints:      20674
71.92/72.17	c #Conflicts:      66000 | #Constraints:      21674
71.92/72.17	c #Conflicts:      67000 | #Constraints:      22674
71.92/72.17	c #Conflicts:      68000 | #Constraints:      23674
71.92/72.17	c #Conflicts:      69000 | #Constraints:      24674
71.92/72.17	c #Conflicts:      70000 | #Constraints:      25674
234.72/235.32	c #Conflicts:      71000 | #Constraints:      26674
234.72/235.32	c #Conflicts:      72000 | #Constraints:      27674
234.72/235.32	c INPROCESSING
234.72/235.32	c GARBAGE COLLECT
234.72/235.32	c #Conflicts:      73000 | #Constraints:      16297
234.72/235.32	c #Conflicts:      74000 | #Constraints:      17297
234.72/235.32	c #Conflicts:      75000 | #Constraints:      18297
234.72/235.32	c #Conflicts:      76000 | #Constraints:      19297
234.72/235.32	c #Conflicts:      77000 | #Constraints:      20297
234.72/235.32	c #Conflicts:      78000 | #Constraints:      21297
234.72/235.32	c #Conflicts:      79000 | #Constraints:      22297
234.72/235.32	c #Conflicts:      80000 | #Constraints:      23297
234.72/235.32	c INPROCESSING
234.72/235.32	c GARBAGE COLLECT
234.72/235.32	c #Conflicts:      81000 | #Constraints:      14306
234.72/235.32	c #Conflicts:      82000 | #Constraints:      15306
234.72/235.32	c #Conflicts:      83000 | #Constraints:      16306
234.72/235.32	c #Conflicts:      84000 | #Constraints:      17306
234.72/235.32	c #Conflicts:      85000 | #Constraints:      18306
234.72/235.32	c #Conflicts:      86000 | #Constraints:      19306
234.72/235.32	c #Conflicts:      87000 | #Constraints:      20306
234.72/235.32	c #Conflicts:      88000 | #Constraints:      21306
234.72/235.32	c #Conflicts:      89000 | #Constraints:      22306
234.72/235.32	c #Conflicts:      90000 | #Constraints:      23306
234.72/235.32	c #Conflicts:      91000 | #Constraints:      24306
234.72/235.32	c #Conflicts:      92000 | #Constraints:      25306
234.72/235.32	c #Conflicts:      93000 | #Constraints:      26306
234.72/235.32	c #Conflicts:      94000 | #Constraints:      27306
234.72/235.32	c #Conflicts:      95000 | #Constraints:      28306
234.72/235.32	c #Conflicts:      96000 | #Constraints:      29306
234.72/235.32	c #Conflicts:      97000 | #Constraints:      30306
234.72/235.32	c #Conflicts:      98000 | #Constraints:      31306
234.72/235.32	c #Conflicts:      99000 | #Constraints:      32306
234.72/235.32	c #Conflicts:     100000 | #Constraints:      33306
234.72/235.32	c INPROCESSING
234.72/235.32	c GARBAGE COLLECT
234.72/235.32	c #Conflicts:     101000 | #Constraints:      19363
234.72/235.32	c #Conflicts:     102000 | #Constraints:      20363
234.72/235.32	c #Conflicts:     103000 | #Constraints:      21363
234.72/235.32	c #Conflicts:     104000 | #Constraints:      22363
234.72/235.32	c #Conflicts:     105000 | #Constraints:      23363
234.72/235.32	c #Conflicts:     106000 | #Constraints:      24363
234.72/235.32	c #Conflicts:     107000 | #Constraints:      25363
234.72/235.32	c #Conflicts:     108000 | #Constraints:      26363
234.72/235.32	c #Conflicts:     109000 | #Constraints:      27363
234.72/235.32	c INPROCESSING
234.72/235.32	c GARBAGE COLLECT
234.72/235.32	c #Conflicts:     110000 | #Constraints:      17826
234.72/235.32	c #Conflicts:     111000 | #Constraints:      18826
234.72/235.32	c #Conflicts:     112000 | #Constraints:      19826
234.72/235.32	c #Conflicts:     113000 | #Constraints:      20826
234.72/235.32	c #Conflicts:     114000 | #Constraints:      21826
234.72/235.32	c #Conflicts:     115000 | #Constraints:      22826
234.72/235.32	c #Conflicts:     116000 | #Constraints:      23826
234.72/235.32	c #Conflicts:     117000 | #Constraints:      24826
234.72/235.32	c #Conflicts:     118000 | #Constraints:      25826
234.72/235.32	c #Conflicts:     119000 | #Constraints:      26826
234.72/235.32	c #Conflicts:     120000 | #Constraints:      27826
234.72/235.32	c #Conflicts:     121000 | #Constraints:      28826
234.72/235.32	c #Conflicts:     122000 | #Constraints:      29826
234.72/235.32	c #Conflicts:     123000 | #Constraints:      30826
234.72/235.32	c #Conflicts:     124000 | #Constraints:      31826
234.72/235.32	c #Conflicts:     125000 | #Constraints:      32826
234.72/235.32	c #Conflicts:     126000 | #Constraints:      33826
234.72/235.32	c #Conflicts:     127000 | #Constraints:      34826
234.72/235.32	c #Conflicts:     128000 | #Constraints:      35826
234.72/235.32	c #Conflicts:     129000 | #Constraints:      36826
234.72/235.32	c #Conflicts:     130000 | #Constraints:      37826
234.72/235.32	c #Conflicts:     131000 | #Constraints:      38826
234.72/235.32	c #Conflicts:     132000 | #Constraints:      39826
234.72/235.32	c INPROCESSING
234.72/235.32	c GARBAGE COLLECT
234.72/235.32	c #Conflicts:     133000 | #Constraints:      22667
234.72/235.32	c #Conflicts:     134000 | #Constraints:      23667
234.72/235.32	c #Conflicts:     135000 | #Constraints:      24667
234.72/235.32	c #Conflicts:     136000 | #Constraints:      25667
234.72/235.32	c #Conflicts:     137000 | #Constraints:      26667
234.72/235.32	c #Conflicts:     138000 | #Constraints:      27667
234.72/235.32	c #Conflicts:     139000 | #Constraints:      28667
234.72/235.32	c #Conflicts:     140000 | #Constraints:      29667
234.72/235.32	c #Conflicts:     141000 | #Constraints:      30667
234.72/235.32	c #Conflicts:     142000 | #Constraints:      31667
234.72/235.32	c INPROCESSING
234.72/235.32	c GARBAGE COLLECT
234.72/235.32	c #Conflicts:     143000 | #Constraints:      21198
234.72/235.32	c #Conflicts:     144000 | #Constraints:      22198
234.72/235.32	c #Conflicts:     145000 | #Constraints:      23198
513.74/515.02	c #Conflicts:     146000 | #Constraints:      24198
513.74/515.02	c #Conflicts:     147000 | #Constraints:      25198
513.74/515.02	c #Conflicts:     148000 | #Constraints:      26198
513.74/515.02	c #Conflicts:     149000 | #Constraints:      27198
513.74/515.02	c #Conflicts:     150000 | #Constraints:      28198
513.74/515.02	c #Conflicts:     151000 | #Constraints:      29198
513.74/515.02	c #Conflicts:     152000 | #Constraints:      30198
513.74/515.02	c #Conflicts:     153000 | #Constraints:      31198
513.74/515.02	c #Conflicts:     154000 | #Constraints:      32198
513.74/515.02	c #Conflicts:     155000 | #Constraints:      33198
513.74/515.02	c #Conflicts:     156000 | #Constraints:      34198
513.74/515.02	c #Conflicts:     157000 | #Constraints:      35198
513.74/515.02	c #Conflicts:     158000 | #Constraints:      36198
513.74/515.02	c #Conflicts:     159000 | #Constraints:      37198
513.74/515.02	c #Conflicts:     160000 | #Constraints:      38198
513.74/515.02	c #Conflicts:     161000 | #Constraints:      39198
513.74/515.02	c #Conflicts:     162000 | #Constraints:      40198
513.74/515.02	c #Conflicts:     163000 | #Constraints:      41198
513.74/515.02	c #Conflicts:     164000 | #Constraints:      42198
513.74/515.02	c #Conflicts:     165000 | #Constraints:      43198
513.74/515.02	c #Conflicts:     166000 | #Constraints:      44198
513.74/515.02	c #Conflicts:     167000 | #Constraints:      45198
513.74/515.02	c #Conflicts:     168000 | #Constraints:      46198
513.74/515.02	c INPROCESSING
513.74/515.02	c GARBAGE COLLECT
513.74/515.02	c #Conflicts:     169000 | #Constraints:      25719
513.74/515.02	c #Conflicts:     170000 | #Constraints:      26719
513.74/515.02	c #Conflicts:     171000 | #Constraints:      27719
513.74/515.02	c #Conflicts:     172000 | #Constraints:      28719
513.74/515.02	c #Conflicts:     173000 | #Constraints:      29719
513.74/515.02	c #Conflicts:     174000 | #Constraints:      30719
513.74/515.02	c #Conflicts:     175000 | #Constraints:      31719
513.74/515.02	c #Conflicts:     176000 | #Constraints:      32719
513.74/515.02	c #Conflicts:     177000 | #Constraints:      33719
513.74/515.02	c #Conflicts:     178000 | #Constraints:      34719
513.74/515.02	c #Conflicts:     179000 | #Constraints:      35719
513.74/515.02	c #Conflicts:     180000 | #Constraints:      36719
513.74/515.02	c INPROCESSING
513.74/515.02	c GARBAGE COLLECT
513.74/515.02	c #Conflicts:     181000 | #Constraints:      25431
513.74/515.02	c #Conflicts:     182000 | #Constraints:      26431
513.74/515.02	c #Conflicts:     183000 | #Constraints:      27431
513.74/515.02	c #Conflicts:     184000 | #Constraints:      28431
513.74/515.02	c #Conflicts:     185000 | #Constraints:      29431
513.74/515.02	c #Conflicts:     186000 | #Constraints:      30431
513.74/515.02	c #Conflicts:     187000 | #Constraints:      31431
513.74/515.02	c #Conflicts:     188000 | #Constraints:      32431
513.74/515.02	c #Conflicts:     189000 | #Constraints:      33431
513.74/515.02	c #Conflicts:     190000 | #Constraints:      34431
513.74/515.02	c #Conflicts:     191000 | #Constraints:      35431
513.74/515.02	c #Conflicts:     192000 | #Constraints:      36431
513.74/515.02	c #Conflicts:     193000 | #Constraints:      37431
513.74/515.02	c #Conflicts:     194000 | #Constraints:      38431
513.74/515.02	c #Conflicts:     195000 | #Constraints:      39431
513.74/515.02	c #Conflicts:     196000 | #Constraints:      40431
513.74/515.02	c #Conflicts:     197000 | #Constraints:      41431
513.74/515.02	c #Conflicts:     198000 | #Constraints:      42431
513.74/515.02	c #Conflicts:     199000 | #Constraints:      43431
513.74/515.02	c #Conflicts:     200000 | #Constraints:      44431
513.74/515.02	c #Conflicts:     201000 | #Constraints:      45431
513.74/515.02	c #Conflicts:     202000 | #Constraints:      46431
513.74/515.02	c #Conflicts:     203000 | #Constraints:      47431
513.74/515.02	c #Conflicts:     204000 | #Constraints:      48431
513.74/515.02	c #Conflicts:     205000 | #Constraints:      49431
513.74/515.02	c #Conflicts:     206000 | #Constraints:      50431
513.74/515.02	c #Conflicts:     207000 | #Constraints:      51431
513.74/515.02	c #Conflicts:     208000 | #Constraints:      52431
513.74/515.02	c #Conflicts:     209000 | #Constraints:      53431
513.74/515.02	c INPROCESSING
513.74/515.02	c GARBAGE COLLECT
513.74/515.02	c #Conflicts:     210000 | #Constraints:      29477
513.74/515.02	c #Conflicts:     211000 | #Constraints:      30477
513.74/515.02	c #Conflicts:     212000 | #Constraints:      31477
513.74/515.02	c #Conflicts:     213000 | #Constraints:      32477
513.74/515.02	c #Conflicts:     214000 | #Constraints:      33477
513.74/515.02	c #Conflicts:     215000 | #Constraints:      34477
513.74/515.02	c #Conflicts:     216000 | #Constraints:      35477
513.74/515.02	c #Conflicts:     217000 | #Constraints:      36477
513.74/515.02	c #Conflicts:     218000 | #Constraints:      37477
513.74/515.02	c #Conflicts:     219000 | #Constraints:      38477
513.74/515.02	c #Conflicts:     220000 | #Constraints:      39477
513.74/515.02	c #Conflicts:     221000 | #Constraints:      40477
513.74/515.02	c #Conflicts:     222000 | #Constraints:      41477
998.39/1000.94	c #Conflicts:     223000 | #Constraints:      42477
998.39/1000.94	c #Conflicts:     224000 | #Constraints:      43477
998.39/1000.94	c #Conflicts:     225000 | #Constraints:      44477
998.39/1000.94	c #Conflicts:     226000 | #Constraints:      45477
998.39/1000.94	c #Conflicts:     227000 | #Constraints:      46477
998.39/1000.94	c #Conflicts:     228000 | #Constraints:      47477
998.39/1000.94	c #Conflicts:     229000 | #Constraints:      48477
998.39/1000.94	c #Conflicts:     230000 | #Constraints:      49477
998.39/1000.94	c #Conflicts:     231000 | #Constraints:      50477
998.39/1000.94	c #Conflicts:     232000 | #Constraints:      51477
998.39/1000.94	c #Conflicts:     233000 | #Constraints:      52477
998.39/1000.94	c #Conflicts:     234000 | #Constraints:      53477
998.39/1000.94	c #Conflicts:     235000 | #Constraints:      54477
998.39/1000.94	c #Conflicts:     236000 | #Constraints:      55477
998.39/1000.94	c #Conflicts:     237000 | #Constraints:      56477
998.39/1000.94	c #Conflicts:     238000 | #Constraints:      57477
998.39/1000.94	c #Conflicts:     239000 | #Constraints:      58477
998.39/1000.94	c #Conflicts:     240000 | #Constraints:      59477
998.39/1000.94	c INPROCESSING
998.39/1000.94	c GARBAGE COLLECT
998.39/1000.94	c #Conflicts:     241000 | #Constraints:      32504
998.39/1000.94	c #Conflicts:     242000 | #Constraints:      33504
998.39/1000.94	c #Conflicts:     243000 | #Constraints:      34504
998.39/1000.94	c #Conflicts:     244000 | #Constraints:      35504
998.39/1000.94	c #Conflicts:     245000 | #Constraints:      36504
998.39/1000.94	c #Conflicts:     246000 | #Constraints:      37504
998.39/1000.94	c #Conflicts:     247000 | #Constraints:      38504
998.39/1000.94	c #Conflicts:     248000 | #Constraints:      39504
998.39/1000.94	c #Conflicts:     249000 | #Constraints:      40504
998.39/1000.94	c #Conflicts:     250000 | #Constraints:      41504
998.39/1000.94	c #Conflicts:     251000 | #Constraints:      42504
998.39/1000.94	c #Conflicts:     252000 | #Constraints:      43504
998.39/1000.94	c #Conflicts:     253000 | #Constraints:      44504
998.39/1000.94	c #Conflicts:     254000 | #Constraints:      45504
998.39/1000.94	c #Conflicts:     255000 | #Constraints:      46504
998.39/1000.94	c #Conflicts:     256000 | #Constraints:      47504
998.39/1000.94	c #Conflicts:     257000 | #Constraints:      48504
998.39/1000.94	c #Conflicts:     258000 | #Constraints:      49504
998.39/1000.94	c #Conflicts:     259000 | #Constraints:      50504
998.39/1000.94	c #Conflicts:     260000 | #Constraints:      51504
998.39/1000.94	c #Conflicts:     261000 | #Constraints:      52504
998.39/1000.94	c #Conflicts:     262000 | #Constraints:      53504
998.39/1000.94	c #Conflicts:     263000 | #Constraints:      54504
998.39/1000.94	c #Conflicts:     264000 | #Constraints:      55504
998.39/1000.94	c #Conflicts:     265000 | #Constraints:      56504
998.39/1000.94	c #Conflicts:     266000 | #Constraints:      57504
998.39/1000.94	c #Conflicts:     267000 | #Constraints:      58504
998.39/1000.94	c #Conflicts:     268000 | #Constraints:      59504
998.39/1000.94	c #Conflicts:     269000 | #Constraints:      60504
998.39/1000.94	c #Conflicts:     270000 | #Constraints:      61504
998.39/1000.94	c #Conflicts:     271000 | #Constraints:      62504
998.39/1000.94	c #Conflicts:     272000 | #Constraints:      63504
998.39/1000.94	c #Conflicts:     273000 | #Constraints:      64504
998.39/1000.94	c INPROCESSING
998.39/1000.94	c GARBAGE COLLECT
998.39/1000.94	c #Conflicts:     274000 | #Constraints:      35428
998.39/1000.94	c #Conflicts:     275000 | #Constraints:      36428
998.39/1000.94	c #Conflicts:     276000 | #Constraints:      37428
998.39/1000.94	c #Conflicts:     277000 | #Constraints:      38428
998.39/1000.94	c #Conflicts:     278000 | #Constraints:      39428
998.39/1000.94	c #Conflicts:     279000 | #Constraints:      40428
998.39/1000.94	c #Conflicts:     280000 | #Constraints:      41428
998.39/1000.94	c #Conflicts:     281000 | #Constraints:      42428
998.39/1000.94	c #Conflicts:     282000 | #Constraints:      43428
998.39/1000.94	c #Conflicts:     283000 | #Constraints:      44428
998.39/1000.94	c #Conflicts:     284000 | #Constraints:      45428
998.39/1000.94	c #Conflicts:     285000 | #Constraints:      46428
998.39/1000.94	c #Conflicts:     286000 | #Constraints:      47428
998.39/1000.94	c #Conflicts:     287000 | #Constraints:      48428
998.39/1000.94	c #Conflicts:     288000 | #Constraints:      49428
998.39/1000.94	c #Conflicts:     289000 | #Constraints:      50428
998.39/1000.94	c #Conflicts:     290000 | #Constraints:      51428
998.39/1000.94	c #Conflicts:     291000 | #Constraints:      52428
998.39/1000.94	c #Conflicts:     292000 | #Constraints:      53428
998.39/1000.94	c #Conflicts:     293000 | #Constraints:      54428
998.39/1000.94	c #Conflicts:     294000 | #Constraints:      55428
998.39/1000.94	c #Conflicts:     295000 | #Constraints:      56428
998.39/1000.94	c #Conflicts:     296000 | #Constraints:      57428
998.39/1000.94	c #Conflicts:     297000 | #Constraints:      58428
998.39/1000.94	c #Conflicts:     298000 | #Constraints:      59428
998.39/1000.94	c #Conflicts:     299000 | #Constraints:      60428
1700.08/1704.47	c #Conflicts:     300000 | #Constraints:      61428
1700.08/1704.47	c #Conflicts:     301000 | #Constraints:      62428
1700.08/1704.47	c #Conflicts:     302000 | #Constraints:      63428
1700.08/1704.47	c #Conflicts:     303000 | #Constraints:      64428
1700.08/1704.47	c #Conflicts:     304000 | #Constraints:      65428
1700.08/1704.47	c #Conflicts:     305000 | #Constraints:      66428
1700.08/1704.47	c #Conflicts:     306000 | #Constraints:      67428
1700.08/1704.47	c #Conflicts:     307000 | #Constraints:      68428
1700.08/1704.47	c #Conflicts:     308000 | #Constraints:      69428
1700.08/1704.47	c INPROCESSING
1700.08/1704.47	c GARBAGE COLLECT
1700.08/1704.47	c #Conflicts:     309000 | #Constraints:      39091
1700.08/1704.47	c #Conflicts:     310000 | #Constraints:      40091
1700.08/1704.47	c #Conflicts:     311000 | #Constraints:      41091
1700.08/1704.47	c #Conflicts:     312000 | #Constraints:      42091
1700.08/1704.47	c #Conflicts:     313000 | #Constraints:      43091
1700.08/1704.47	c #Conflicts:     314000 | #Constraints:      44091
1700.08/1704.47	c #Conflicts:     315000 | #Constraints:      45091
1700.08/1704.47	c #Conflicts:     316000 | #Constraints:      46091
1700.08/1704.47	c #Conflicts:     317000 | #Constraints:      47091
1700.08/1704.47	c #Conflicts:     318000 | #Constraints:      48091
1700.08/1704.47	c #Conflicts:     319000 | #Constraints:      49091
1700.08/1704.47	c #Conflicts:     320000 | #Constraints:      50091
1700.08/1704.47	c #Conflicts:     321000 | #Constraints:      51091
1700.08/1704.47	c #Conflicts:     322000 | #Constraints:      52091
1700.08/1704.47	c #Conflicts:     323000 | #Constraints:      53091
1700.08/1704.47	c #Conflicts:     324000 | #Constraints:      54091
1700.08/1704.47	c #Conflicts:     325000 | #Constraints:      55091
1700.08/1704.47	c #Conflicts:     326000 | #Constraints:      56091
1700.08/1704.47	c #Conflicts:     327000 | #Constraints:      57091
1700.08/1704.47	c #Conflicts:     328000 | #Constraints:      58091
1700.08/1704.47	c #Conflicts:     329000 | #Constraints:      59091
1700.08/1704.47	c #Conflicts:     330000 | #Constraints:      60091
1700.08/1704.47	c #Conflicts:     331000 | #Constraints:      61091
1700.08/1704.47	c #Conflicts:     332000 | #Constraints:      62091
1700.08/1704.47	c #Conflicts:     333000 | #Constraints:      63091
1700.08/1704.47	c #Conflicts:     334000 | #Constraints:      64091
1700.08/1704.47	c #Conflicts:     335000 | #Constraints:      65091
1700.08/1704.47	c #Conflicts:     336000 | #Constraints:      66091
1700.08/1704.47	c #Conflicts:     337000 | #Constraints:      67091
1700.08/1704.47	c #Conflicts:     338000 | #Constraints:      68091
1700.08/1704.47	c #Conflicts:     339000 | #Constraints:      69091
1700.08/1704.47	c #Conflicts:     340000 | #Constraints:      70091
1700.08/1704.47	c #Conflicts:     341000 | #Constraints:      71091
1700.08/1704.47	c #Conflicts:     342000 | #Constraints:      72091
1700.08/1704.47	c #Conflicts:     343000 | #Constraints:      73091
1700.08/1704.47	c #Conflicts:     344000 | #Constraints:      74091
1700.08/1704.47	c #Conflicts:     345000 | #Constraints:      75091
1700.08/1704.47	c INPROCESSING
1700.08/1704.47	c GARBAGE COLLECT
1700.08/1704.47	c #Conflicts:     346000 | #Constraints:      42961
1700.08/1704.47	c #Conflicts:     347000 | #Constraints:      43961
1700.08/1704.47	c #Conflicts:     348000 | #Constraints:      44961
1700.08/1704.47	c #Conflicts:     349000 | #Constraints:      45961
1700.08/1704.47	c #Conflicts:     350000 | #Constraints:      46961
1700.08/1704.47	c #Conflicts:     351000 | #Constraints:      47961
1700.08/1704.47	c #Conflicts:     352000 | #Constraints:      48961
1700.08/1704.47	c #Conflicts:     353000 | #Constraints:      49961
1700.08/1704.47	c #Conflicts:     354000 | #Constraints:      50961
1700.08/1704.47	c #Conflicts:     355000 | #Constraints:      51961
1700.08/1704.47	c #Conflicts:     356000 | #Constraints:      52961
1700.08/1704.47	c #Conflicts:     357000 | #Constraints:      53961
1700.08/1704.47	c #Conflicts:     358000 | #Constraints:      54961
1700.08/1704.47	c #Conflicts:     359000 | #Constraints:      55961
1700.08/1704.47	c #Conflicts:     360000 | #Constraints:      56961
1700.08/1704.47	c #Conflicts:     361000 | #Constraints:      57961
1700.08/1704.47	c #Conflicts:     362000 | #Constraints:      58961
1700.08/1704.47	c #Conflicts:     363000 | #Constraints:      59961
1700.08/1704.47	c #Conflicts:     364000 | #Constraints:      60961
1700.08/1704.47	c #Conflicts:     365000 | #Constraints:      61961
1700.08/1704.47	c #Conflicts:     366000 | #Constraints:      62961
1700.08/1704.47	c #Conflicts:     367000 | #Constraints:      63961
1700.08/1704.47	c #Conflicts:     368000 | #Constraints:      64961
1700.08/1704.47	c #Conflicts:     369000 | #Constraints:      65961
1700.08/1704.47	c #Conflicts:     370000 | #Constraints:      66961
1700.08/1704.47	c #Conflicts:     371000 | #Constraints:      67961
1700.08/1704.47	c #Conflicts:     372000 | #Constraints:      68961
1700.08/1704.47	c #Conflicts:     373000 | #Constraints:      69961
1700.08/1704.47	c #Conflicts:     374000 | #Constraints:      70961
1700.08/1704.47	c #Conflicts:     375000 | #Constraints:      71961
1700.08/1704.47	c #Conflicts:     376000 | #Constraints:      72961
1700.08/1704.47	c #Conflicts:     377000 | #Constraints:      73961
2611.46/2618.02	c #Conflicts:     378000 | #Constraints:      74961
2611.46/2618.02	c #Conflicts:     379000 | #Constraints:      75961
2611.46/2618.02	c #Conflicts:     380000 | #Constraints:      76961
2611.46/2618.02	c #Conflicts:     381000 | #Constraints:      77961
2611.46/2618.02	c #Conflicts:     382000 | #Constraints:      78961
2611.46/2618.02	c #Conflicts:     383000 | #Constraints:      79961
2611.46/2618.02	c #Conflicts:     384000 | #Constraints:      80961
2611.46/2618.02	c INPROCESSING
2611.46/2618.02	c GARBAGE COLLECT
2611.46/2618.02	c #Conflicts:     385000 | #Constraints:      46954
2611.46/2618.02	c #Conflicts:     386000 | #Constraints:      47954
2611.46/2618.02	c #Conflicts:     387000 | #Constraints:      48954
2611.46/2618.02	c #Conflicts:     388000 | #Constraints:      49954
2611.46/2618.02	c #Conflicts:     389000 | #Constraints:      50954
2611.46/2618.02	c #Conflicts:     390000 | #Constraints:      51954
2611.46/2618.02	c #Conflicts:     391000 | #Constraints:      52954
2611.46/2618.02	c #Conflicts:     392000 | #Constraints:      53954
2611.46/2618.02	c #Conflicts:     393000 | #Constraints:      54954
2611.46/2618.02	c #Conflicts:     394000 | #Constraints:      55954
2611.46/2618.02	c #Conflicts:     395000 | #Constraints:      56954
2611.46/2618.02	c #Conflicts:     396000 | #Constraints:      57954
2611.46/2618.02	c #Conflicts:     397000 | #Constraints:      58954
2611.46/2618.02	c #Conflicts:     398000 | #Constraints:      59954
2611.46/2618.02	c #Conflicts:     399000 | #Constraints:      60954
2611.46/2618.02	c #Conflicts:     400000 | #Constraints:      61954
2611.46/2618.02	c #Conflicts:     401000 | #Constraints:      62954
2611.46/2618.02	c #Conflicts:     402000 | #Constraints:      63954
2611.46/2618.02	c #Conflicts:     403000 | #Constraints:      64954
2611.46/2618.02	c #Conflicts:     404000 | #Constraints:      65954
2611.46/2618.02	c #Conflicts:     405000 | #Constraints:      66954
2611.46/2618.02	c #Conflicts:     406000 | #Constraints:      67954
2611.46/2618.02	c #Conflicts:     407000 | #Constraints:      68954
2611.46/2618.02	c #Conflicts:     408000 | #Constraints:      69954
2611.46/2618.02	c #Conflicts:     409000 | #Constraints:      70954
2611.46/2618.02	c #Conflicts:     410000 | #Constraints:      71954
2611.46/2618.02	c #Conflicts:     411000 | #Constraints:      72954
2611.46/2618.02	c #Conflicts:     412000 | #Constraints:      73954
2611.46/2618.02	c #Conflicts:     413000 | #Constraints:      74954
2611.46/2618.02	c #Conflicts:     414000 | #Constraints:      75954
2611.46/2618.02	c #Conflicts:     415000 | #Constraints:      76954
2611.46/2618.02	c #Conflicts:     416000 | #Constraints:      77954
2611.46/2618.02	c #Conflicts:     417000 | #Constraints:      78954
2611.46/2618.02	c #Conflicts:     418000 | #Constraints:      79954
2611.46/2618.02	c #Conflicts:     419000 | #Constraints:      80954
2611.46/2618.02	c #Conflicts:     420000 | #Constraints:      81954
2611.46/2618.02	c #Conflicts:     421000 | #Constraints:      82954
2611.46/2618.02	c #Conflicts:     422000 | #Constraints:      83954
2611.46/2618.02	c #Conflicts:     423000 | #Constraints:      84954
2611.46/2618.02	c #Conflicts:     424000 | #Constraints:      85954
2611.46/2618.02	c #Conflicts:     425000 | #Constraints:      86954
2611.46/2618.02	c INPROCESSING
2611.46/2618.02	c GARBAGE COLLECT
2611.46/2618.02	c #Conflicts:     426000 | #Constraints:      51126
2611.46/2618.02	c #Conflicts:     427000 | #Constraints:      52126
2611.46/2618.02	c #Conflicts:     428000 | #Constraints:      53126
2611.46/2618.02	c #Conflicts:     429000 | #Constraints:      54126
2611.46/2618.02	c #Conflicts:     430000 | #Constraints:      55126
2611.46/2618.02	c #Conflicts:     431000 | #Constraints:      56126
2611.46/2618.02	c #Conflicts:     432000 | #Constraints:      57126
2611.46/2618.02	c #Conflicts:     433000 | #Constraints:      58126
2611.46/2618.02	c #Conflicts:     434000 | #Constraints:      59126
2611.46/2618.02	c #Conflicts:     435000 | #Constraints:      60126
2611.46/2618.02	c #Conflicts:     436000 | #Constraints:      61126
2611.46/2618.02	c #Conflicts:     437000 | #Constraints:      62126
2611.46/2618.02	c #Conflicts:     438000 | #Constraints:      63126
2611.46/2618.02	c #Conflicts:     439000 | #Constraints:      64126
2611.46/2618.02	c #Conflicts:     440000 | #Constraints:      65126
2611.46/2618.02	c #Conflicts:     441000 | #Constraints:      66126
2611.46/2618.02	c #Conflicts:     442000 | #Constraints:      67126
2611.46/2618.02	c #Conflicts:     443000 | #Constraints:      68126
2611.46/2618.02	c #Conflicts:     444000 | #Constraints:      69126
2611.46/2618.02	c #Conflicts:     445000 | #Constraints:      70126
2611.46/2618.02	c #Conflicts:     446000 | #Constraints:      71126
2611.46/2618.02	c #Conflicts:     447000 | #Constraints:      72126
2611.46/2618.02	c #Conflicts:     448000 | #Constraints:      73126
2611.46/2618.02	c #Conflicts:     449000 | #Constraints:      74126
2611.46/2618.02	c #Conflicts:     450000 | #Constraints:      75126
2611.46/2618.02	c #Conflicts:     451000 | #Constraints:      76126
2611.46/2618.02	c #Conflicts:     452000 | #Constraints:      77126
2611.46/2618.02	c #Conflicts:     453000 | #Constraints:      78126
2611.46/2618.02	c #Conflicts:     454000 | #Constraints:      79126
3600.04/3609.00	c #Conflicts:     455000 | #Constraints:      80126
3600.04/3609.00	c #Conflicts:     456000 | #Constraints:      81126
3600.04/3609.00	c #Conflicts:     457000 | #Constraints:      82126
3600.04/3609.00	c #Conflicts:     458000 | #Constraints:      83126
3600.04/3609.00	c #Conflicts:     459000 | #Constraints:      84126
3600.04/3609.00	c #Conflicts:     460000 | #Constraints:      85126
3600.04/3609.00	c #Conflicts:     461000 | #Constraints:      86126
3600.04/3609.00	c #Conflicts:     462000 | #Constraints:      87126
3600.04/3609.00	c #Conflicts:     463000 | #Constraints:      88126
3600.04/3609.00	c #Conflicts:     464000 | #Constraints:      89126
3600.04/3609.00	c #Conflicts:     465000 | #Constraints:      90126
3600.04/3609.00	c #Conflicts:     466000 | #Constraints:      91126
3600.04/3609.00	c #Conflicts:     467000 | #Constraints:      92126
3600.04/3609.00	c #Conflicts:     468000 | #Constraints:      93126
3600.04/3609.00	c INPROCESSING
3600.04/3609.00	c GARBAGE COLLECT
3600.04/3609.00	c #Conflicts:     469000 | #Constraints:      55635
3600.04/3609.00	c #Conflicts:     470000 | #Constraints:      56635
3600.04/3609.00	c #Conflicts:     471000 | #Constraints:      57635
3600.04/3609.00	c #Conflicts:     472000 | #Constraints:      58635
3600.04/3609.00	c #Conflicts:     473000 | #Constraints:      59635
3600.04/3609.00	c #Conflicts:     474000 | #Constraints:      60635
3600.04/3609.00	c #Conflicts:     475000 | #Constraints:      61635
3600.04/3609.00	c #Conflicts:     476000 | #Constraints:      62635
3600.04/3609.00	c #Conflicts:     477000 | #Constraints:      63635
3600.04/3609.00	c #Conflicts:     478000 | #Constraints:      64635
3600.04/3609.00	c #Conflicts:     479000 | #Constraints:      65635
3600.04/3609.00	c #Conflicts:     480000 | #Constraints:      66635
3600.04/3609.00	c #Conflicts:     481000 | #Constraints:      67635
3600.04/3609.00	c #Conflicts:     482000 | #Constraints:      68635
3600.04/3609.00	c #Conflicts:     483000 | #Constraints:      69635
3600.04/3609.00	c #Conflicts:     484000 | #Constraints:      70635
3600.04/3609.00	c #Conflicts:     485000 | #Constraints:      71635
3600.04/3609.00	c #Conflicts:     486000 | #Constraints:      72635
3600.04/3609.00	c #Conflicts:     487000 | #Constraints:      73635
3600.04/3609.00	c #Conflicts:     488000 | #Constraints:      74635
3600.04/3609.00	c #Conflicts:     489000 | #Constraints:      75635
3600.04/3609.00	c #Conflicts:     490000 | #Constraints:      76635
3600.04/3609.00	c #Conflicts:     491000 | #Constraints:      77635
3600.04/3609.00	c #Conflicts:     492000 | #Constraints:      78635
3600.04/3609.00	c #Conflicts:     493000 | #Constraints:      79635
3600.04/3609.00	c #Conflicts:     494000 | #Constraints:      80635
3600.04/3609.00	c #Conflicts:     495000 | #Constraints:      81635
3600.04/3609.00	c #Conflicts:     496000 | #Constraints:      82635
3600.04/3609.00	c #Conflicts:     497000 | #Constraints:      83635
3600.04/3609.00	c #Conflicts:     498000 | #Constraints:      84635
3600.04/3609.00	c #Conflicts:     499000 | #Constraints:      85635
3600.04/3609.00	c #Conflicts:     500000 | #Constraints:      86635
3600.04/3609.00	c #Conflicts:     501000 | #Constraints:      87635
3600.04/3609.00	c #Conflicts:     502000 | #Constraints:      88635
3600.04/3609.00	c #Conflicts:     503000 | #Constraints:      89635
3600.04/3609.00	c #Conflicts:     504000 | #Constraints:      90635
3600.04/3609.00	c #Conflicts:     505000 | #Constraints:      91635
3600.04/3609.00	c #Conflicts:     506000 | #Constraints:      92635
3600.04/3609.00	c #Conflicts:     507000 | #Constraints:      93635
3600.04/3609.00	c #Conflicts:     508000 | #Constraints:      94635
3600.04/3609.00	c #Conflicts:     509000 | #Constraints:      95635
3600.04/3609.00	c #Conflicts:     510000 | #Constraints:      96635
3600.04/3609.00	c #Conflicts:     511000 | #Constraints:      97635
3600.04/3609.00	c #Conflicts:     512000 | #Constraints:      98635
3600.04/3609.00	c #Conflicts:     513000 | #Constraints:      99635
3600.04/3609.00	c INPROCESSING
3600.04/3609.00	c GARBAGE COLLECT
3600.04/3609.00	c #Conflicts:     514000 | #Constraints:      60229
3600.04/3609.00	c #Conflicts:     515000 | #Constraints:      61229
3600.04/3609.00	c #Conflicts:     516000 | #Constraints:      62229
3600.04/3609.00	c #Conflicts:     517000 | #Constraints:      63229
3600.04/3609.00	c #Conflicts:     518000 | #Constraints:      64229
3600.04/3609.00	c #Conflicts:     519000 | #Constraints:      65229
3600.04/3609.00	c #Conflicts:     520000 | #Constraints:      66229
3600.04/3609.00	c #Conflicts:     521000 | #Constraints:      67229
3600.04/3609.00	c Program interrupted by user.
3600.04/3609.00	c cpu time 3593.65 s
3600.04/3609.00	c deterministic time 259950662181 2.60e+11
3600.04/3609.00	c optimization time 105.183 s
3600.04/3609.00	c total solve time 3488.42 s
3600.04/3609.00	c core-guided solve time 3488.42 s
3600.04/3609.00	c propagation time 3474.41 s
3600.04/3609.00	c conflict analysis time 108.138 s
3600.04/3609.00	c propagations 212568015
3600.04/3609.00	c resolve steps 2172627
3600.04/3609.00	c decisions 3854368
3600.04/3609.00	c conflicts 521071
3600.04/3609.00	c restarts 1060
3600.04/3609.00	c inprocessing phases 27
3600.04/3609.00	c input clauses 0
3600.04/3609.00	c input cardinalities 0
3600.04/3609.00	c input general constraints 3449
3600.04/3609.00	c input average constraint length 29.23
3600.04/3609.00	c input average constraint degree 471.91
3600.04/3609.00	c learned clauses 121570
3600.04/3609.00	c learned cardinalities 2
3600.04/3609.00	c learned general constraints 399499
3600.04/3609.00	c learned average constraint length 40.13
3600.04/3609.00	c learned average constraint degree 2891337.09
3600.04/3609.00	c watched constraints 401203
3600.04/3609.00	c counting constraints 1745
3600.04/3609.00	c gcd simplifications 6445
3600.04/3609.00	c detected cardinalities 2
3600.04/3609.00	c weakened non-implied lits 1721389
3600.04/3609.00	c weakened non-implying lits 468
3600.04/3609.00	c original variables 1812
3600.04/3609.00	c clausal propagations 146774
3600.04/3609.00	c cardinality propagations 0
3600.04/3609.00	c watched propagations 208119438
3600.04/3609.00	c counting propagations 4059616
3600.04/3609.00	c watch lookups 69052012843
3600.04/3609.00	c watch backjump lookups 67915427336
3600.04/3609.00	c watch checks 48888989496
3600.04/3609.00	c propagation checks 73583681115
3600.04/3609.00	c constraint additions 77186975
3600.04/3609.00	c trail pops 216942032
3600.04/3609.00	c formula constraints 3443
3600.04/3609.00	c learned constraints 521071
3600.04/3609.00	c bound constraints 6
3600.04/3609.00	c core-guided constraints 0
3600.04/3609.00	c encountered formula constraints 1935269
3600.04/3609.00	c encountered learned constraints 758429
3600.04/3609.00	c encountered bound constraints 0
3600.04/3609.00	c encountered core-guided constraints 0
3600.04/3609.00	c LP total time 0 s
3600.04/3609.00	c LP solve time 0 s
3600.04/3609.00	c LP constraints added 0
3600.04/3609.00	c LP constraints removed 0
3600.04/3609.00	c LP pivots internal 0
3600.04/3609.00	c LP pivots root 0
3600.04/3609.00	c LP calls 0
3600.04/3609.00	c LP optimalities 0
3600.04/3609.00	c LP no pivot count 0
3600.04/3609.00	c LP infeasibilities 0
3600.04/3609.00	c LP valid Farkas constraints 0
3600.04/3609.00	c LP learned Farkas constraints 0
3600.04/3609.00	c LP basis resets 0
3600.04/3609.00	c LP cycling count 0
3600.04/3609.00	c LP singular count 0
3600.04/3609.00	c LP no primal count 0
3600.04/3609.00	c LP no farkas count 0
3600.04/3609.00	c LP other issue count 0
3600.04/3609.00	c LP Gomory cuts 0
3600.04/3609.00	c LP learned cuts 0
3600.04/3609.00	c LP deleted cuts 0
3600.04/3609.00	c LP encountered Gomory constraints 0
3600.04/3609.00	c LP encountered Farkas constraints 0
3600.04/3609.00	c LP encountered learned Farkas constraints 0
3600.04/3609.00	c CG auxiliary variables introduced 0
3600.04/3609.00	c CG solutions found 0
3600.04/3609.00	c CG cores constructed 6
3600.04/3609.00	c CG core cardinality constraints returned 0
3600.04/3609.00	c CG unit cores 0
3600.04/3609.00	c CG single cores 6
3600.04/3609.00	c CG blocks removed during cardinality reduction 1
3600.04/3609.00	c CG first core best 0
3600.04/3609.00	c CG decision core best 0
3600.04/3609.00	c CG core reduction tie 0
3600.04/3609.00	c CG core degree average 1.00
3600.04/3609.00	c CG core slack average 4.17
3600.04/3609.00	c CG exhausted 0
3600.04/3609.00	c CG exhaust time 0 s
3600.04/3609.00	c CG trimmed 0
3600.04/3609.00	c CG trim time 0.000423 s
3600.04/3609.00	c CG minimized 0
3600.04/3609.00	c CG minimize time 0 s
3600.04/3609.00	c CG am1 prop time 0 s
3600.04/3609.00	c CG # am1s reformulated 0
3600.04/3609.00	c CG lower bound derived from am1s 0
3600.04/3609.00	c CG # clausal cores 5
3600.04/3609.00	c CG # cardinality cores 0
3600.04/3609.00	c CG # pb cores 1
3600.04/3609.00	c CG # pb reforms 0
3600.04/3609.00	c CG # cores discarded because of pb reform 0
3600.04/3609.00	d LOWERBOUND 32
3600.04/3609.00	d NCORES 6
3600.04/3609.00	d NPBCORES 1
3600.04/3609.00	d NPBREFORM 0
3600.04/3609.00	d NTRIMMED 0
3600.04/3609.00	d NEXHAUSTED 0
3600.04/3609.00	d NAM1S 0
3600.04/3609.00	d AM1LB 0
3600.04/3609.00	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 (62529 MiB free)
  memory of node 1: 64510 MiB (63210 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454327-1721471177/watcher-4454327-1721471177 -o /tmp/evaluation-result-4454327-1721471177/solver-4454327-1721471177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049280 --watchdog 3760 pb-oll-rs HOME/instance-4454327-1721471177.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
solver pid=1052450, runsolver pid=1052447
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128753328/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=40624 memory=9740 CPUtime=0.09 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 771 0 0 0 9 0 0 0 20 0 1 0 199282623 41598976 2435 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10156 2435 1318 291 0 1690 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 9740 KiB

[startup+0.205326 s]*
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128753160/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=40624 memory=9740 CPUtime=0.2 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 791 0 0 0 19 1 0 0 20 0 1 0 199282623 41598976 2435 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10156 2435 1318 291 0 1690 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 9740 KiB

[startup+0.30459 s]*
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128753020/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=40624 memory=9740 CPUtime=0.3 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 798 0 0 0 29 1 0 0 20 0 1 0 199282623 41598976 2435 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10156 2435 1318 291 0 1690 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 9740 KiB

[startup+0.700145 s]
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128752376/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=40892 memory=10232 CPUtime=0.69 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 852 0 0 0 68 1 0 0 20 0 1 0 199282623 41873408 2558 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10223 2558 1379 291 0 1757 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40892 KiB
Current children cumulated memory: 10232 KiB

[startup+1.50014 s]
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128752348/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=41468 memory=10760 CPUtime=1.49 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 1006 0 0 0 146 3 0 0 20 0 1 0 199282623 42463232 2690 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10367 2690 1379 291 0 1901 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41468 KiB
Current children cumulated memory: 10760 KiB

[startup+3.1051 s]
/proc/loadavg: 4.31 4.17 4.10 5/257 1052451
/proc/meminfo: memFree=128751008/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=42116 memory=11580 CPUtime=3.09 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 1163 0 0 0 303 6 0 0 20 0 1 0 199282623 43126784 2895 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10529 2895 1379 291 0 2063 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 42116 KiB
Current children cumulated memory: 11580 KiB

[startup+6.30015 s]
/proc/loadavg: 4.31 4.17 4.10 5/257 1052453
/proc/meminfo: memFree=128748172/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=43348 memory=13684 CPUtime=6.27 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 1708 0 0 0 617 10 0 0 20 0 1 0 199282623 44388352 3421 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10837 3421 1379 291 0 2371 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43348 KiB
Current children cumulated memory: 13684 KiB

[startup+12.7001 s]
/proc/loadavg: 4.36 4.18 4.11 5/256 1052453
/proc/meminfo: memFree=128741068/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=43732 memory=14252 CPUtime=12.66 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 1843 0 0 0 1246 20 0 0 20 0 1 0 199282623 44781568 3563 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 10933 3563 1379 291 0 2467 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 43732 KiB
Current children cumulated memory: 14252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.43 4.21 4.12 5/256 1052456
/proc/meminfo: memFree=128732276/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=48296 memory=17832 CPUtime=25.43 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 2781 0 0 0 2508 35 0 0 20 0 1 0 199282623 49455104 4458 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 12074 4458 1379 291 0 3608 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48296 KiB
Current children cumulated memory: 17832 KiB

[startup+51.1053 s]
/proc/loadavg: 4.35 4.20 4.12 5/256 1052459
/proc/meminfo: memFree=128723892/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=54848 memory=21592 CPUtime=50.97 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 3671 0 0 0 5042 55 0 0 20 0 1 0 199282623 56164352 5398 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 13712 5398 1379 291 0 5246 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 54848 KiB
Current children cumulated memory: 21592 KiB

[startup+102.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/257 1052637
/proc/meminfo: memFree=128712136/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=56380 memory=26116 CPUtime=102.05 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 4384 0 0 0 10114 91 0 0 20 0 1 0 199282623 57733120 6529 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 14095 6529 1379 291 0 5629 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 56380 KiB
Current children cumulated memory: 26116 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/257 1052647
/proc/meminfo: memFree=128704772/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=58432 memory=28096 CPUtime=161.89 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 4932 0 0 0 16060 129 0 0 20 0 1 0 199282623 59834368 7024 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 14608 7024 1379 291 0 6142 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 58432 KiB
Current children cumulated memory: 28096 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/259 1052715
/proc/meminfo: memFree=128693328/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=68808 memory=34412 CPUtime=221.75 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 6075 0 0 0 22016 159 0 0 20 0 1 0 199282623 70459392 8603 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 17202 8603 1379 291 0 8736 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 68808 KiB
Current children cumulated memory: 34412 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 1052727
/proc/meminfo: memFree=128690820/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=69000 memory=34636 CPUtime=281.59 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 6163 0 0 0 27975 184 0 0 20 0 1 0 199282623 70656000 8659 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 17250 8659 1379 291 0 8784 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 69000 KiB
Current children cumulated memory: 34636 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/258 1052737
/proc/meminfo: memFree=128679476/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=71156 memory=40104 CPUtime=341.45 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 6647 0 0 0 33938 207 0 0 20 0 1 0 199282623 72863744 10026 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 17789 10026 1379 291 0 9323 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 40104 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/258 1052747
/proc/meminfo: memFree=128676632/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=71156 memory=40104 CPUtime=401.3 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 6663 0 0 0 39904 226 0 0 20 0 1 0 199282623 72863744 10026 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 17789 10026 1379 291 0 9323 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 40104 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/258 1052759
/proc/meminfo: memFree=128669684/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=72328 memory=42024 CPUtime=461.16 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 7153 0 0 0 45877 239 0 0 20 0 1 0 199282623 74063872 10506 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 18082 10506 1379 291 0 9616 0

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

Current children cumulated memory: 73404 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1053760
/proc/meminfo: memFree=128576392/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=74860 CPUtime=2855.17 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12550 0 0 0 284951 566 0 0 20 0 1 0 199282623 124305408 18715 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 18715 1379 291 0 21882 0
Current children cumulated CPU time: 2855.17 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 74860 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 1053770
/proc/meminfo: memFree=128574756/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=74920 CPUtime=2915.03 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12577 0 0 0 290930 573 0 0 20 0 1 0 199282623 124305408 18730 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 18730 1379 291 0 21882 0
Current children cumulated CPU time: 2915.03 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 74920 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1053780
/proc/meminfo: memFree=128570168/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=2974.87 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12608 0 0 0 296907 580 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1053790
/proc/meminfo: memFree=128569696/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=3034.72 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12640 0 0 0 302887 585 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 1053801
/proc/meminfo: memFree=128568460/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=3094.58 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12641 0 0 0 308866 592 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/254 1053811
/proc/meminfo: memFree=128567444/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=3154.44 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12673 0 0 0 314846 598 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 1053825
/proc/meminfo: memFree=128566184/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=3214.29 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12706 0 0 0 320825 604 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 1053837
/proc/meminfo: memFree=128564392/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=3274.14 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12740 0 0 0 326805 609 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 1053847
/proc/meminfo: memFree=128563436/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=76252 CPUtime=3333.99 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12774 0 0 0 332784 615 0 0 20 0 1 0 199282623 124305408 19063 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19063 1379 291 0 21882 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1053858
/proc/meminfo: memFree=128561136/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=121392 memory=78300 CPUtime=3393.84 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12810 0 0 0 338764 620 0 0 20 0 1 0 199282623 124305408 19575 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30348 19575 1379 291 0 21882 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 78300 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1053870
/proc/meminfo: memFree=128560204/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=122008 memory=78540 CPUtime=3453.7 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 12916 0 0 0 344745 625 0 0 20 0 1 0 199282623 124936192 19635 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30502 19635 1379 291 0 22036 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 122008 KiB
Current children cumulated memory: 78540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 1054360
/proc/meminfo: memFree=128055776/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=123708 memory=82028 CPUtime=3513.56 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 13309 0 0 0 350725 631 0 0 20 0 1 0 199282623 126676992 20507 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30927 20507 1379 291 0 22461 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 123708 KiB
Current children cumulated memory: 82028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1054415
/proc/meminfo: memFree=125421776/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=123708 memory=82028 CPUtime=3573.41 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 13339 0 0 0 356703 638 0 0 20 0 1 0 199282623 126676992 20507 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30927 20507 1379 291 0 22461 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 123708 KiB
Current children cumulated memory: 82028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.08 4.11 4.09 5/257 1054419
/proc/meminfo: memFree=123751628/131524600 swapFree=131071996/131071996
[pid=1052450] ppid=1052447 vsize=123708 memory=82064 CPUtime=3600.04 cores=4,6
/proc/1052450/stat : 1052450 (pb-oll-rs) R 1052447 1052450 1049269 0 -1 4194304 13369 0 0 0 359364 640 0 0 20 0 1 0 199282623 126676992 20516 134679101440 4194304 5384485 140735636278240 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 16691200 140735636284437 140735636284514 140735636284514 140735636291531 0
/proc/1052450/statm: 30927 20516 1379 291 0 22461 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 123708 KiB
Current children cumulated memory: 82064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.65 s, system=6.41015 s

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

Child status: 0

Real time (s): 3609.01
CPU time (s): 3600.06
CPU user time (s): 3593.65
CPU system time (s): 6.41015
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 123708
Max. memory (cumulated for all children) (KiB): 82064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.65
system time used= 6.41015
maximum resident set size= 82064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13386
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= 1710


# summary of solver processes directly reported to runsolver:
#   pid: 1052450
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3593.65
#   total CPU system time (s): 6.41015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66157 second user time and 16.2038 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-20 12:26:30
IDJOB=4454327
IDBENCH=147622
IDSOLVER=3082
FILE ID=nodeC024/4454327-1721471177
RUNJOBID= nodeC024-1721467479-1049280
SLURM_JOB_ID= 7545720
Free space on /tmp= 890076 MiB

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

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

MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c
RANDOM SEED=1915066864

nodeC024.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		: 3676.725
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.60
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		: 3683.481
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	: 7007.08
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		: 3614.682
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.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128758496 kB
MemAvailable:   129662184 kB
Buffers:          555668 kB
Cached:          1191732 kB
SwapCached:            0 kB
Active:          1061276 kB
Inactive:        1089872 kB
Active(anon):       1540 kB
Inactive(anon):   448152 kB
Active(file):    1059736 kB
Inactive(file):   641720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2668 kB
Writeback:             0 kB
AnonPages:        403744 kB
Mapped:           111636 kB
Shmem:             45912 kB
KReclaimable:      83760 kB
Slab:             195980 kB
SReclaimable:      83760 kB
SUnreclaim:       112220 kB
KernelStack:        4144 kB
PageTables:        10264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     878916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC024 at 2024-07-20 13:26:39