Trace number 4435885

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-02? (TO) 3600.12 3609.61

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435885-1721104569/watcher-4435885-1721104569 -o /tmp/evaluation-result-4435885-1721104569/solver-4435885-1721104569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836654 --watchdog 3760 pb-oll-rs HOME/instance-4435885-1721104569.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=836871, runsolver pid=836868
Current StackSize limit: 8192 KiB


[startup+0.100759 s]*
/proc/loadavg: 4.03 4.04 4.12 5/243 836872
/proc/meminfo: memFree=128335936/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=39256 memory=8116 CPUtime=0.1 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 519 0 0 0 9 1 0 0 20 0 1 0 162615773 40198144 2029 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 9814 2029 1165 291 0 1348 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39256 KiB
Current children cumulated memory: 8116 KiB

[startup+0.212993 s]*
/proc/loadavg: 4.03 4.04 4.12 5/243 836872
/proc/meminfo: memFree=128334732/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=40488 memory=10088 CPUtime=0.2 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 827 0 0 0 19 1 0 0 20 0 1 0 162615773 41459712 2522 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10122 2522 1340 291 0 1656 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40488 KiB
Current children cumulated memory: 10088 KiB

[startup+0.312442 s]*
/proc/loadavg: 4.03 4.04 4.12 5/243 836872
/proc/meminfo: memFree=128334620/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=40624 memory=10088 CPUtime=0.31 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 854 0 0 0 29 2 0 0 20 0 1 0 162615773 41598976 2522 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10156 2522 1340 291 0 1690 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 10088 KiB

[startup+0.700254 s]
/proc/loadavg: 4.03 4.04 4.12 5/243 836872
/proc/meminfo: memFree=128334480/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=40624 memory=10088 CPUtime=0.68 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 872 0 0 0 65 3 0 0 20 0 1 0 162615773 41598976 2522 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10156 2522 1340 291 0 1690 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40624 KiB
Current children cumulated memory: 10088 KiB

[startup+1.50024 s]
/proc/loadavg: 4.03 4.04 4.12 5/243 836872
/proc/meminfo: memFree=128334100/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=40892 memory=10580 CPUtime=1.48 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 929 0 0 0 143 5 0 0 20 0 1 0 162615773 41873408 2645 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10223 2645 1401 291 0 1757 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40892 KiB
Current children cumulated memory: 10580 KiB

[startup+3.11233 s]
/proc/loadavg: 4.03 4.04 4.12 7/243 836872
/proc/meminfo: memFree=128333408/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=41600 memory=11368 CPUtime=3.09 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 1112 0 0 0 302 7 0 0 20 0 1 0 162615773 42598400 2842 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10400 2842 1401 291 0 1934 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 11368 KiB

[startup+6.30026 s]
/proc/loadavg: 4.03 4.04 4.12 5/243 836872
/proc/meminfo: memFree=128331720/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=42868 memory=12964 CPUtime=6.26 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 1528 0 0 0 615 11 0 0 20 0 1 0 162615773 43896832 3241 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10717 3241 1401 291 0 2251 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42868 KiB
Current children cumulated memory: 12964 KiB

[startup+12.7003 s]
/proc/loadavg: 4.03 4.04 4.12 5/243 836873
/proc/meminfo: memFree=128329020/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=43636 memory=14144 CPUtime=12.65 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 1806 0 0 0 1246 19 0 0 20 0 1 0 162615773 44683264 3536 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 10909 3536 1401 291 0 2443 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 43636 KiB
Current children cumulated memory: 14144 KiB

[startup+25.5003 s]
/proc/loadavg: 4.02 4.04 4.11 5/243 836875
/proc/meminfo: memFree=128323672/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=48296 memory=17916 CPUtime=25.43 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 2780 0 0 0 2509 34 0 0 20 0 1 0 162615773 49455104 4479 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 12074 4479 1401 291 0 3608 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48296 KiB
Current children cumulated memory: 17916 KiB

[startup+51.113 s]
/proc/loadavg: 4.08 4.05 4.12 6/243 836879
/proc/meminfo: memFree=128313756/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=54848 memory=21540 CPUtime=50.97 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 3717 0 0 0 5041 56 0 0 20 0 1 0 162615773 56164352 5385 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 13712 5385 1401 291 0 5246 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 54848 KiB
Current children cumulated memory: 21540 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.06 4.11 5/243 836889
/proc/meminfo: memFree=128305288/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=56380 memory=26512 CPUtime=102.03 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 4533 0 0 0 10108 95 0 0 20 0 1 0 162615773 57733120 6628 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 14095 6628 1401 291 0 5629 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 56380 KiB
Current children cumulated memory: 26512 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 4.04 4.10 5/243 836899
/proc/meminfo: memFree=128295552/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=58432 memory=28172 CPUtime=161.86 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 4995 0 0 0 16054 132 0 0 20 0 1 0 162615773 59834368 7043 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 14608 7043 1401 291 0 6142 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 58432 KiB
Current children cumulated memory: 28172 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.06 4.10 5/241 836909
/proc/meminfo: memFree=128280320/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=68808 memory=35528 CPUtime=221.7 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 6097 0 0 0 22012 158 0 0 20 0 1 0 162615773 70459392 8882 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 17202 8882 1401 291 0 8736 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 68808 KiB
Current children cumulated memory: 35528 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.07 4.09 5/245 836926
/proc/meminfo: memFree=128277428/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=68808 memory=35528 CPUtime=281.55 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 6129 0 0 0 27975 180 0 0 20 0 1 0 162615773 70459392 8882 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 17202 8882 1401 291 0 8736 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 68808 KiB
Current children cumulated memory: 35528 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.06 4.09 5/245 836936
/proc/meminfo: memFree=128269696/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=71156 memory=39320 CPUtime=341.39 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 6619 0 0 0 33942 197 0 0 20 0 1 0 162615773 72863744 9830 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 17789 9830 1401 291 0 9323 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 39320 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.07 4.09 5/245 836946
/proc/meminfo: memFree=128265032/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=71156 memory=39520 CPUtime=401.24 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 6631 0 0 0 39909 215 0 0 20 0 1 0 162615773 72863744 9880 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 17789 9880 1401 291 0 9323 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 71156 KiB
Current children cumulated memory: 39520 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.07 4.09 5/245 836956
/proc/meminfo: memFree=128254384/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=71816 memory=41648 CPUtime=461.07 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 6790 0 0 0 45879 228 0 0 20 0 1 0 162615773 73539584 10412 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 17954 10412 1401 291 0 9488 0

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

Current children cumulated memory: 71084 KiB

[startup+2862.3 s]
/proc/loadavg: 4.33 4.28 4.24 5/243 837961
/proc/meminfo: memFree=128166324/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=118168 memory=71220 CPUtime=2854.76 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 11406 0 0 0 284882 594 0 0 20 0 1 0 162615773 121004032 17805 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 29542 17805 1401 291 0 21076 0
Current children cumulated CPU time: 2854.76 s
Current children cumulated vsize: 118168 KiB
Current children cumulated memory: 71220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.80 4.43 4.30 5/243 837972
/proc/meminfo: memFree=128163596/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=118680 memory=73516 CPUtime=2914.6 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 11509 0 0 0 290860 600 0 0 20 0 1 0 162615773 121528320 18379 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 29670 18379 1401 291 0 21204 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 73516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.61 4.44 4.31 5/241 838368
/proc/meminfo: memFree=128263504/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=75236 CPUtime=2974.45 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 11981 0 0 0 296840 605 0 0 20 0 1 0 162615773 124305408 18809 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 18809 1401 291 0 21882 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 75236 KiB

[startup+3042.3 s]
/proc/loadavg: 4.27 4.37 4.29 5/241 838378
/proc/meminfo: memFree=128260984/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3034.3 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12012 0 0 0 302818 612 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3034.3 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.33 4.28 5/241 838388
/proc/meminfo: memFree=128260416/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3094.14 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12043 0 0 0 308794 620 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.30 4.27 5/243 838568
/proc/meminfo: memFree=128259812/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3153.99 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12073 0 0 0 314773 626 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.27 4.26 5/243 838579
/proc/meminfo: memFree=128259516/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3213.84 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12105 0 0 0 320751 633 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.24 4.25 5/246 838648
/proc/meminfo: memFree=128257880/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3273.69 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12138 0 0 0 326730 639 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.21 4.24 5/246 838658
/proc/meminfo: memFree=128254340/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3333.53 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12170 0 0 0 332709 644 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3333.53 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.18 4.23 5/246 838669
/proc/meminfo: memFree=128253508/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3393.38 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12204 0 0 0 338689 649 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.22 5/246 838679
/proc/meminfo: memFree=128252156/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3453.22 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12239 0 0 0 344668 654 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.21 5/245 838874
/proc/meminfo: memFree=128083548/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=76708 CPUtime=3513.06 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12273 0 0 0 350646 660 0 0 20 0 1 0 162615773 124305408 19177 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19177 1401 291 0 21882 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 76708 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.20 5/241 838885
/proc/meminfo: memFree=127617760/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=121392 memory=78756 CPUtime=3572.87 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12313 0 0 0 356622 665 0 0 20 0 1 0 162615773 124305408 19689 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30348 19689 1401 291 0 21882 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 121392 KiB
Current children cumulated memory: 78756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.07 4.13 4.19 5/241 838890
/proc/meminfo: memFree=127576900/131655788 swapFree=131071996/131071996
[pid=836871] ppid=836868 vsize=122008 memory=78824 CPUtime=3600.09 cores=1,3
/proc/836871/stat : 836871 (pb-oll-rs) R 836868 836871 836642 0 -1 4194304 12380 0 0 0 359341 668 0 0 20 0 1 0 162615773 124936192 19706 134679101440 4194304 5384005 140733414389952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 16752640 140733414392855 140733414392932 140733414392932 140733414399947 0
/proc/836871/statm: 30502 19706 1401 291 0 22036 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 122008 KiB
Current children cumulated memory: 78824 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.43 s, system=6.68745 s

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

Child status: 0

Real time (s): 3609.61
CPU time (s): 3600.12
CPU user time (s): 3593.43
CPU system time (s): 6.68745
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 122008
Max. memory (cumulated for all children) (KiB): 78824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.43
system time used= 6.68745
maximum resident set size= 78824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12396
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= 36
involuntary context switches= 1733


# summary of solver processes directly reported to runsolver:
#   pid: 836871
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3593.43
#   total CPU system time (s): 6.68745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4419 second user time and 36.4488 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-16 06:36:22
IDJOB=4435885
IDBENCH=147622
IDSOLVER=3067
FILE ID=nodeC005/4435885-1721104569
RUNJOBID= nodeC005-1721104478-836654
SLURM_JOB_ID= 7505626
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4435885-1721104569/watcher-4435885-1721104569 -o /tmp/evaluation-result-4435885-1721104569/solver-4435885-1721104569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836654 --watchdog 3760  pb-oll-rs HOME/instance-4435885-1721104569.opb

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

MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c
RANDOM SEED=1715221448

nodeC005.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	: 0xb00001f
cpu MHz		: 3674.673
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.431
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.186
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 3674.617
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 3649.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
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	: 0xb00001f
cpu MHz		: 1197.440
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.53
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	: 0xb00001f
cpu MHz		: 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128340428 kB
MemAvailable:   129905400 kB
Buffers:          381376 kB
Cached:          2009212 kB
SwapCached:            0 kB
Active:           690072 kB
Inactive:        2059444 kB
Active(anon):       3464 kB
Inactive(anon):   393212 kB
Active(file):     686608 kB
Inactive(file):  1666232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3060 kB
Writeback:            24 kB
AnonPages:        356964 kB
Mapped:           109416 kB
Shmem:             37704 kB
KReclaimable:     104664 kB
Slab:             206252 kB
SReclaimable:     104664 kB
SUnreclaim:       101588 kB
KernelStack:        3976 kB
PageTables:         9916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     812692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52832 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-16 07:36:31