Trace number 4456791

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
RoundingSat log (1)? (TO) 3600.03 3613.69

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUMb48e8711e48bf421c56e401ff58b5422
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 benchmark248
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7089
Total number of constraints13888
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 constraints13888
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2621
Number of bits of the biggest sum of numbers12
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.07/0.21	c #variables 7089 #constraints 13888
6.84/6.98	c bounds - >= 0 @ 0.163665
6.84/6.98	c #Conflicts:       1000 | #Constraints:      14887
6.84/6.98	c #Conflicts:       2000 | #Constraints:      15887
6.84/6.98	c INPROCESSING
6.84/6.98	c bounds - >= 8 @ 2.75118
6.84/6.98	c bounds - >= 16 @ 2.75388
6.84/6.98	c bounds - >= 17 @ 2.75948
6.84/6.98	c bounds - >= 18 @ 2.76749
6.84/6.98	c bounds - >= 19 @ 2.7686
6.84/6.98	c bounds - >= 20 @ 2.77339
6.84/6.98	c bounds - >= 21 @ 2.77665
6.84/6.98	c bounds - >= 22 @ 2.79015
6.84/6.98	c bounds - >= 23 @ 2.79677
6.84/6.98	c bounds - >= 24 @ 2.81305
6.84/6.98	c bounds - >= 25 @ 2.82356
6.84/6.98	c bounds - >= 26 @ 2.84217
6.84/6.98	c bounds - >= 27 @ 2.85526
6.84/6.98	c bounds - >= 28 @ 2.88082
6.84/6.98	c bounds - >= 29 @ 2.89661
6.84/6.98	c bounds - >= 30 @ 3.04496
6.84/6.98	c bounds - >= 31 @ 3.08679
6.84/6.98	c bounds - >= 32 @ 3.20101
6.84/6.98	c bounds - >= 33 @ 3.29166
6.84/6.98	c #Conflicts:       3000 | #Constraints:      16023
6.84/6.98	c bounds - >= 34 @ 3.70401
6.84/6.98	c bounds - >= 35 @ 3.91901
6.84/6.98	c #Conflicts:       4000 | #Constraints:      17038
6.84/6.98	c INPROCESSING
6.84/6.98	c #Conflicts:       5000 | #Constraints:      16437
6.84/6.98	c bounds - >= 36 @ 5.35382
6.84/6.98	c #Conflicts:       6000 | #Constraints:      17446
6.84/6.98	c INPROCESSING
6.84/6.98	c GARBAGE COLLECT
6.84/6.98	c rational objective 36
11.53/11.64	c #Conflicts:       7000 | #Constraints:      16462
11.53/11.64	c bounds - >= 37 @ 7.03729
11.53/11.64	c #Conflicts:       8000 | #Constraints:      17471
11.53/11.64	c #Conflicts:       9000 | #Constraints:      18471
11.53/11.64	c INPROCESSING
11.53/11.64	c bounds - >= 38 @ 8.71406
11.53/11.64	c #Conflicts:      10000 | #Constraints:      17194
11.53/11.64	c bounds - >= 39 @ 9.00172
11.53/11.64	c #Conflicts:      11000 | #Constraints:      18206
11.53/11.64	c bounds - >= 40 @ 10.5492
11.53/11.64	c #Conflicts:      12000 | #Constraints:      19215
11.53/11.64	c INPROCESSING
11.53/11.64	c GARBAGE COLLECT
11.53/11.64	c rational objective 40
18.61/18.74	c #Conflicts:      13000 | #Constraints:      17657
18.61/18.74	c #Conflicts:      14000 | #Constraints:      18657
18.61/18.74	c #Conflicts:      15000 | #Constraints:      19657
18.61/18.74	c #Conflicts:      16000 | #Constraints:      20657
18.61/18.74	c #Conflicts:      17000 | #Constraints:      21657
18.61/18.74	c #Conflicts:      18000 | #Constraints:      22657
18.61/18.74	c #Conflicts:      19000 | #Constraints:      23657
18.61/18.74	c #Conflicts:      20000 | #Constraints:      24657
18.61/18.74	c INPROCESSING
18.61/18.74	c GARBAGE COLLECT
18.61/18.74	c rational objective 40
23.59/23.74	c #Conflicts:      21000 | #Constraints:      20257
23.59/23.74	c bounds - >= 41 @ 18.9761
23.59/23.74	c #Conflicts:      22000 | #Constraints:      21266
23.59/23.74	c bounds - >= 42 @ 19.9409
23.59/23.74	c bounds - >= 43 @ 20.6099
23.59/23.74	c #Conflicts:      23000 | #Constraints:      22287
23.59/23.74	c #Conflicts:      24000 | #Constraints:      23287
23.59/23.74	c INPROCESSING
23.59/23.74	c rational objective 43
29.89/30.03	c #Conflicts:      25000 | #Constraints:      19478
29.89/30.03	c bounds - >= 44 @ 23.8102
29.89/30.03	c #Conflicts:      26000 | #Constraints:      20487
29.89/30.03	c bounds - >= 45 @ 26.4849
29.89/30.03	c #Conflicts:      27000 | #Constraints:      21496
29.89/30.03	c #Conflicts:      28000 | #Constraints:      22496
29.89/30.03	c INPROCESSING
29.89/30.03	c GARBAGE COLLECT
29.89/30.03	c rational objective 45
46.93/47.17	c #Conflicts:      29000 | #Constraints:      18923
46.93/47.17	c #Conflicts:      30000 | #Constraints:      19923
46.93/47.17	c #Conflicts:      31000 | #Constraints:      20923
46.93/47.17	c #Conflicts:      32000 | #Constraints:      21923
46.93/47.17	c bounds - >= 46 @ 35.2419
46.93/47.17	c #Conflicts:      33000 | #Constraints:      22932
46.93/47.17	c #Conflicts:      34000 | #Constraints:      23932
46.93/47.17	c #Conflicts:      35000 | #Constraints:      24932
46.93/47.17	c #Conflicts:      36000 | #Constraints:      25932
46.93/47.17	c #Conflicts:      37000 | #Constraints:      26932
46.93/47.17	c #Conflicts:      38000 | #Constraints:      27932
46.93/47.17	c #Conflicts:      39000 | #Constraints:      28932
46.93/47.17	c #Conflicts:      40000 | #Constraints:      29932
46.93/47.17	c #Conflicts:      41000 | #Constraints:      30932
46.93/47.17	c INPROCESSING
46.93/47.17	c GARBAGE COLLECT
46.93/47.17	c rational objective 46
57.59/57.80	c #Conflicts:      42000 | #Constraints:      23389
57.59/57.80	c #Conflicts:      43000 | #Constraints:      24389
57.59/57.80	c #Conflicts:      44000 | #Constraints:      25389
57.59/57.80	c #Conflicts:      45000 | #Constraints:      26389
57.59/57.80	c bounds - >= 47 @ 53.9317
57.59/57.80	c #Conflicts:      46000 | #Constraints:      27398
57.59/57.80	c #Conflicts:      47000 | #Constraints:      28398
57.59/57.80	c INPROCESSING
57.59/57.80	c GARBAGE COLLECT
57.59/57.80	c rational objective 47
92.47/92.87	c #Conflicts:      48000 | #Constraints:      22322
92.47/92.87	c #Conflicts:      49000 | #Constraints:      23322
92.47/92.87	c #Conflicts:      50000 | #Constraints:      24322
92.47/92.87	c #Conflicts:      51000 | #Constraints:      25322
92.47/92.87	c #Conflicts:      52000 | #Constraints:      26322
92.47/92.87	c #Conflicts:      53000 | #Constraints:      27322
92.47/92.87	c #Conflicts:      54000 | #Constraints:      28322
92.47/92.87	c #Conflicts:      55000 | #Constraints:      29322
92.47/92.87	c #Conflicts:      56000 | #Constraints:      30322
92.47/92.87	c bounds - >= 48 @ 82.0252
92.47/92.87	c #Conflicts:      57000 | #Constraints:      31328
92.47/92.87	c #Conflicts:      58000 | #Constraints:      32328
92.47/92.87	c #Conflicts:      59000 | #Constraints:      33328
92.47/92.87	c #Conflicts:      60000 | #Constraints:      34328
92.47/92.87	c #Conflicts:      61000 | #Constraints:      35328
92.47/92.87	c #Conflicts:      62000 | #Constraints:      36328
92.47/92.87	c INPROCESSING
92.47/92.87	c GARBAGE COLLECT
92.47/92.87	c rational objective 48
105.12/105.54	c #Conflicts:      63000 | #Constraints:      25944
105.12/105.54	c #Conflicts:      64000 | #Constraints:      26944
105.12/105.54	c #Conflicts:      65000 | #Constraints:      27944
105.12/105.54	c #Conflicts:      66000 | #Constraints:      28944
105.12/105.54	c #Conflicts:      67000 | #Constraints:      29944
105.12/105.54	c #Conflicts:      68000 | #Constraints:      30944
105.12/105.54	c #Conflicts:      69000 | #Constraints:      31944
105.12/105.54	c INPROCESSING
105.12/105.54	c GARBAGE COLLECT
105.12/105.54	c rational objective 48
134.92/135.45	c #Conflicts:      70000 | #Constraints:      23800
134.92/135.45	c #Conflicts:      71000 | #Constraints:      24800
134.92/135.45	c #Conflicts:      72000 | #Constraints:      25800
134.92/135.45	c #Conflicts:      73000 | #Constraints:      26800
134.92/135.45	c #Conflicts:      74000 | #Constraints:      27800
134.92/135.45	c #Conflicts:      75000 | #Constraints:      28800
134.92/135.45	c #Conflicts:      76000 | #Constraints:      29800
134.92/135.45	c #Conflicts:      77000 | #Constraints:      30800
134.92/135.45	c #Conflicts:      78000 | #Constraints:      31800
134.92/135.45	c #Conflicts:      79000 | #Constraints:      32800
134.92/135.45	c #Conflicts:      80000 | #Constraints:      33800
134.92/135.45	c #Conflicts:      81000 | #Constraints:      34800
134.92/135.45	c #Conflicts:      82000 | #Constraints:      35800
134.92/135.45	c #Conflicts:      83000 | #Constraints:      36800
134.92/135.45	c #Conflicts:      84000 | #Constraints:      37800
134.92/135.45	c #Conflicts:      85000 | #Constraints:      38800
134.92/135.45	c #Conflicts:      86000 | #Constraints:      39800
134.92/135.45	c #Conflicts:      87000 | #Constraints:      40800
134.92/135.45	c #Conflicts:      88000 | #Constraints:      41800
134.92/135.45	c INPROCESSING
134.92/135.45	c GARBAGE COLLECT
134.92/135.45	c rational objective 48
169.28/169.97	c #Conflicts:      89000 | #Constraints:      28926
169.28/169.97	c #Conflicts:      90000 | #Constraints:      29926
169.28/169.97	c #Conflicts:      91000 | #Constraints:      30926
169.28/169.97	c #Conflicts:      92000 | #Constraints:      31926
169.28/169.97	c #Conflicts:      93000 | #Constraints:      32926
169.28/169.97	c #Conflicts:      94000 | #Constraints:      33926
169.28/169.97	c bounds - >= 49 @ 159.144
169.28/169.97	c #Conflicts:      95000 | #Constraints:      34935
169.28/169.97	c #Conflicts:      96000 | #Constraints:      35935
169.28/169.97	c INPROCESSING
169.28/169.97	c GARBAGE COLLECT
169.28/169.97	c rational objective 49
208.15/209.00	c #Conflicts:      97000 | #Constraints:      25791
208.15/209.00	c #Conflicts:      98000 | #Constraints:      26791
208.15/209.00	c #Conflicts:      99000 | #Constraints:      27791
208.15/209.00	c #Conflicts:     100000 | #Constraints:      28791
208.15/209.00	c #Conflicts:     101000 | #Constraints:      29791
208.15/209.00	c #Conflicts:     102000 | #Constraints:      30791
208.15/209.00	c #Conflicts:     103000 | #Constraints:      31791
208.15/209.00	c #Conflicts:     104000 | #Constraints:      32791
208.15/209.00	c #Conflicts:     105000 | #Constraints:      33791
208.15/209.00	c #Conflicts:     106000 | #Constraints:      34791
208.15/209.00	c #Conflicts:     107000 | #Constraints:      35791
208.15/209.00	c #Conflicts:     108000 | #Constraints:      36791
208.15/209.00	c #Conflicts:     109000 | #Constraints:      37791
208.15/209.00	c #Conflicts:     110000 | #Constraints:      38791
208.15/209.00	c #Conflicts:     111000 | #Constraints:      39791
208.15/209.00	c #Conflicts:     112000 | #Constraints:      40791
208.15/209.00	c #Conflicts:     113000 | #Constraints:      41791
208.15/209.00	c #Conflicts:     114000 | #Constraints:      42791
208.15/209.00	c #Conflicts:     115000 | #Constraints:      43791
208.15/209.00	c #Conflicts:     116000 | #Constraints:      44791
208.15/209.00	c #Conflicts:     117000 | #Constraints:      45791
208.15/209.00	c #Conflicts:     118000 | #Constraints:      46791
208.15/209.00	c INPROCESSING
208.15/209.00	c GARBAGE COLLECT
208.15/209.00	c rational objective 49
254.97/255.97	c #Conflicts:     119000 | #Constraints:      31372
254.97/255.97	c #Conflicts:     120000 | #Constraints:      32372
254.97/255.97	c #Conflicts:     121000 | #Constraints:      33372
254.97/255.97	c #Conflicts:     122000 | #Constraints:      34372
254.97/255.97	c #Conflicts:     123000 | #Constraints:      35372
254.97/255.97	c #Conflicts:     124000 | #Constraints:      36372
254.97/255.97	c #Conflicts:     125000 | #Constraints:      37372
254.97/255.97	c #Conflicts:     126000 | #Constraints:      38372
254.97/255.97	c bounds - >= 50 @ 244.389
254.97/255.97	c #Conflicts:     127000 | #Constraints:      39381
254.97/255.97	c #Conflicts:     128000 | #Constraints:      40381
254.97/255.97	c INPROCESSING
254.97/255.97	c GARBAGE COLLECT
254.97/255.97	c rational objective 50
310.17/311.37	c #Conflicts:     129000 | #Constraints:      28319
310.17/311.37	c #Conflicts:     130000 | #Constraints:      29319
310.17/311.37	c #Conflicts:     131000 | #Constraints:      30319
310.17/311.37	c #Conflicts:     132000 | #Constraints:      31319
310.17/311.37	c #Conflicts:     133000 | #Constraints:      32319
310.17/311.37	c #Conflicts:     134000 | #Constraints:      33319
310.17/311.37	c #Conflicts:     135000 | #Constraints:      34319
310.17/311.37	c #Conflicts:     136000 | #Constraints:      35319
310.17/311.37	c #Conflicts:     137000 | #Constraints:      36319
310.17/311.37	c #Conflicts:     138000 | #Constraints:      37319
310.17/311.37	c #Conflicts:     139000 | #Constraints:      38319
310.17/311.37	c #Conflicts:     140000 | #Constraints:      39319
310.17/311.37	c #Conflicts:     141000 | #Constraints:      40319
310.17/311.37	c #Conflicts:     142000 | #Constraints:      41319
310.17/311.37	c #Conflicts:     143000 | #Constraints:      42319
310.17/311.37	c #Conflicts:     144000 | #Constraints:      43319
310.17/311.37	c #Conflicts:     145000 | #Constraints:      44319
310.17/311.37	c #Conflicts:     146000 | #Constraints:      45319
310.17/311.37	c #Conflicts:     147000 | #Constraints:      46319
310.17/311.37	c #Conflicts:     148000 | #Constraints:      47319
310.17/311.37	c #Conflicts:     149000 | #Constraints:      48319
310.17/311.37	c #Conflicts:     150000 | #Constraints:      49319
310.17/311.37	c #Conflicts:     151000 | #Constraints:      50319
310.17/311.37	c #Conflicts:     152000 | #Constraints:      51319
310.17/311.37	c #Conflicts:     153000 | #Constraints:      52319
310.17/311.37	c INPROCESSING
310.17/311.37	c GARBAGE COLLECT
310.17/311.37	c rational objective 50
362.89/364.27	c #Conflicts:     154000 | #Constraints:      34442
362.89/364.27	c #Conflicts:     155000 | #Constraints:      35442
362.89/364.27	c #Conflicts:     156000 | #Constraints:      36442
362.89/364.27	c #Conflicts:     157000 | #Constraints:      37442
362.89/364.27	c bounds - >= 51 @ 325.088
362.89/364.27	c #Conflicts:     158000 | #Constraints:      38448
362.89/364.27	c #Conflicts:     159000 | #Constraints:      39448
362.89/364.27	c #Conflicts:     160000 | #Constraints:      40448
362.89/364.27	c #Conflicts:     161000 | #Constraints:      41448
362.89/364.27	c #Conflicts:     162000 | #Constraints:      42448
362.89/364.27	c #Conflicts:     163000 | #Constraints:      43448
362.89/364.27	c INPROCESSING
362.89/364.27	c GARBAGE COLLECT
362.89/364.27	c rational objective 51
456.55/458.23	c #Conflicts:     164000 | #Constraints:      29470
456.55/458.23	c #Conflicts:     165000 | #Constraints:      30470
456.55/458.23	c #Conflicts:     166000 | #Constraints:      31470
456.55/458.23	c #Conflicts:     167000 | #Constraints:      32470
456.55/458.23	c #Conflicts:     168000 | #Constraints:      33470
456.55/458.23	c #Conflicts:     169000 | #Constraints:      34470
456.55/458.23	c #Conflicts:     170000 | #Constraints:      35470
456.55/458.23	c #Conflicts:     171000 | #Constraints:      36470
456.55/458.23	c #Conflicts:     172000 | #Constraints:      37470
456.55/458.23	c bounds - >= 52 @ 396.564
456.55/458.23	c #Conflicts:     173000 | #Constraints:      38476
456.55/458.23	c #Conflicts:     174000 | #Constraints:      39476
456.55/458.23	c #Conflicts:     175000 | #Constraints:      40476
456.55/458.23	c #Conflicts:     176000 | #Constraints:      41476
456.55/458.23	c #Conflicts:     177000 | #Constraints:      42476
456.55/458.23	c #Conflicts:     178000 | #Constraints:      43476
456.55/458.23	c #Conflicts:     179000 | #Constraints:      44476
456.55/458.23	c #Conflicts:     180000 | #Constraints:      45476
456.55/458.23	c #Conflicts:     181000 | #Constraints:      46476
456.55/458.23	c #Conflicts:     182000 | #Constraints:      47476
456.55/458.23	c #Conflicts:     183000 | #Constraints:      48476
456.55/458.23	c #Conflicts:     184000 | #Constraints:      49476
456.55/458.23	c #Conflicts:     185000 | #Constraints:      50476
456.55/458.23	c #Conflicts:     186000 | #Constraints:      51476
456.55/458.23	c #Conflicts:     187000 | #Constraints:      52476
456.55/458.23	c #Conflicts:     188000 | #Constraints:      53476
456.55/458.23	c #Conflicts:     189000 | #Constraints:      54476
456.55/458.23	c #Conflicts:     190000 | #Constraints:      55476
456.55/458.23	c #Conflicts:     191000 | #Constraints:      56476
456.55/458.23	c INPROCESSING
456.55/458.23	c GARBAGE COLLECT
456.55/458.23	c rational objective 52
509.18/511.08	c #Conflicts:     192000 | #Constraints:      36025
509.18/511.08	c #Conflicts:     193000 | #Constraints:      37025
509.18/511.08	c #Conflicts:     194000 | #Constraints:      38025
509.18/511.08	c #Conflicts:     195000 | #Constraints:      39025
509.18/511.08	c #Conflicts:     196000 | #Constraints:      40025
509.18/511.08	c #Conflicts:     197000 | #Constraints:      41025
509.18/511.08	c bounds - >= 53 @ 483.65
509.18/511.08	c #Conflicts:     198000 | #Constraints:      42034
509.18/511.08	c #Conflicts:     199000 | #Constraints:      43034
509.18/511.08	c #Conflicts:     200000 | #Constraints:      44034
509.18/511.08	c #Conflicts:     201000 | #Constraints:      45034
509.18/511.08	c #Conflicts:     202000 | #Constraints:      46034
509.18/511.08	c #Conflicts:     203000 | #Constraints:      47034
509.18/511.08	c #Conflicts:     204000 | #Constraints:      48034
509.18/511.08	c INPROCESSING
509.18/511.08	c GARBAGE COLLECT
509.18/511.08	c rational objective 53
685.32/687.84	c #Conflicts:     205000 | #Constraints:      32467
685.32/687.84	c #Conflicts:     206000 | #Constraints:      33467
685.32/687.84	c #Conflicts:     207000 | #Constraints:      34467
685.32/687.84	c #Conflicts:     208000 | #Constraints:      35467
685.32/687.84	c #Conflicts:     209000 | #Constraints:      36467
685.32/687.84	c #Conflicts:     210000 | #Constraints:      37467
685.32/687.84	c #Conflicts:     211000 | #Constraints:      38467
685.32/687.84	c #Conflicts:     212000 | #Constraints:      39467
685.32/687.84	c #Conflicts:     213000 | #Constraints:      40467
685.32/687.84	c #Conflicts:     214000 | #Constraints:      41467
685.32/687.84	c #Conflicts:     215000 | #Constraints:      42467
685.32/687.84	c #Conflicts:     216000 | #Constraints:      43467
685.32/687.84	c #Conflicts:     217000 | #Constraints:      44467
685.32/687.84	c #Conflicts:     218000 | #Constraints:      45467
685.32/687.84	c #Conflicts:     219000 | #Constraints:      46467
685.32/687.84	c #Conflicts:     220000 | #Constraints:      47467
685.32/687.84	c #Conflicts:     221000 | #Constraints:      48467
685.32/687.84	c #Conflicts:     222000 | #Constraints:      49467
685.32/687.84	c #Conflicts:     223000 | #Constraints:      50467
685.32/687.84	c bounds - >= 54 @ 650.993
685.32/687.84	c #Conflicts:     224000 | #Constraints:      51473
685.32/687.84	c #Conflicts:     225000 | #Constraints:      52473
685.32/687.84	c #Conflicts:     226000 | #Constraints:      53473
685.32/687.84	c #Conflicts:     227000 | #Constraints:      54473
685.32/687.84	c #Conflicts:     228000 | #Constraints:      55473
685.32/687.84	c #Conflicts:     229000 | #Constraints:      56473
685.32/687.84	c #Conflicts:     230000 | #Constraints:      57473
685.32/687.84	c #Conflicts:     231000 | #Constraints:      58473
685.32/687.84	c #Conflicts:     232000 | #Constraints:      59473
685.32/687.84	c #Conflicts:     233000 | #Constraints:      60473
685.32/687.84	c #Conflicts:     234000 | #Constraints:      61473
685.32/687.84	c #Conflicts:     235000 | #Constraints:      62473
685.32/687.84	c INPROCESSING
685.32/687.84	c GARBAGE COLLECT
685.32/687.84	c rational objective 54
801.41/804.35	c #Conflicts:     236000 | #Constraints:      39344
801.41/804.35	c #Conflicts:     237000 | #Constraints:      40344
801.41/804.35	c #Conflicts:     238000 | #Constraints:      41344
801.41/804.35	c #Conflicts:     239000 | #Constraints:      42344
801.41/804.35	c #Conflicts:     240000 | #Constraints:      43344
801.41/804.35	c #Conflicts:     241000 | #Constraints:      44344
801.41/804.35	c #Conflicts:     242000 | #Constraints:      45344
801.41/804.35	c #Conflicts:     243000 | #Constraints:      46344
801.41/804.35	c #Conflicts:     244000 | #Constraints:      47344
801.41/804.35	c #Conflicts:     245000 | #Constraints:      48344
801.41/804.35	c #Conflicts:     246000 | #Constraints:      49344
801.41/804.35	c #Conflicts:     247000 | #Constraints:      50344
801.41/804.35	c #Conflicts:     248000 | #Constraints:      51344
801.41/804.35	c #Conflicts:     249000 | #Constraints:      52344
801.41/804.35	c #Conflicts:     250000 | #Constraints:      53344
801.41/804.35	c #Conflicts:     251000 | #Constraints:      54344
801.41/804.35	c #Conflicts:     252000 | #Constraints:      55344
801.41/804.35	c #Conflicts:     253000 | #Constraints:      56344
801.41/804.35	c #Conflicts:     254000 | #Constraints:      57344
801.41/804.35	c #Conflicts:     255000 | #Constraints:      58344
801.41/804.35	c #Conflicts:     256000 | #Constraints:      59344
801.41/804.35	c #Conflicts:     257000 | #Constraints:      60344
801.41/804.35	c #Conflicts:     258000 | #Constraints:      61344
801.41/804.35	c #Conflicts:     259000 | #Constraints:      62344
801.41/804.35	c #Conflicts:     260000 | #Constraints:      63344
801.41/804.35	c #Conflicts:     261000 | #Constraints:      64344
801.41/804.35	c #Conflicts:     262000 | #Constraints:      65344
801.41/804.35	c #Conflicts:     263000 | #Constraints:      66344
801.41/804.35	c #Conflicts:     264000 | #Constraints:      67344
801.41/804.35	c #Conflicts:     265000 | #Constraints:      68344
801.41/804.35	c #Conflicts:     266000 | #Constraints:      69344
801.41/804.35	c #Conflicts:     267000 | #Constraints:      70344
801.41/804.35	c #Conflicts:     268000 | #Constraints:      71344
801.41/804.35	c INPROCESSING
801.41/804.35	c GARBAGE COLLECT
801.41/804.35	c rational objective 54
933.24/936.61	c #Conflicts:     269000 | #Constraints:      43812
933.24/936.61	c #Conflicts:     270000 | #Constraints:      44812
933.24/936.61	c #Conflicts:     271000 | #Constraints:      45812
933.24/936.61	c #Conflicts:     272000 | #Constraints:      46812
933.24/936.61	c #Conflicts:     273000 | #Constraints:      47812
933.24/936.61	c #Conflicts:     274000 | #Constraints:      48812
933.24/936.61	c #Conflicts:     275000 | #Constraints:      49812
933.24/936.61	c #Conflicts:     276000 | #Constraints:      50812
933.24/936.61	c #Conflicts:     277000 | #Constraints:      51812
933.24/936.61	c #Conflicts:     278000 | #Constraints:      52812
933.24/936.61	c #Conflicts:     279000 | #Constraints:      53812
933.24/936.61	c #Conflicts:     280000 | #Constraints:      54812
933.24/936.61	c #Conflicts:     281000 | #Constraints:      55812
933.24/936.61	c #Conflicts:     282000 | #Constraints:      56812
933.24/936.61	c INPROCESSING
933.24/936.61	c GARBAGE COLLECT
933.24/936.61	c rational objective 54
1061.20/1065.02	c #Conflicts:     283000 | #Constraints:      39375
1061.20/1065.02	c #Conflicts:     284000 | #Constraints:      40375
1061.20/1065.02	c #Conflicts:     285000 | #Constraints:      41375
1061.20/1065.02	c #Conflicts:     286000 | #Constraints:      42375
1061.20/1065.02	c #Conflicts:     287000 | #Constraints:      43375
1061.20/1065.02	c #Conflicts:     288000 | #Constraints:      44375
1061.20/1065.02	c #Conflicts:     289000 | #Constraints:      45375
1061.20/1065.02	c #Conflicts:     290000 | #Constraints:      46375
1061.20/1065.02	c #Conflicts:     291000 | #Constraints:      47375
1061.20/1065.02	c #Conflicts:     292000 | #Constraints:      48375
1061.20/1065.02	c #Conflicts:     293000 | #Constraints:      49375
1061.20/1065.02	c #Conflicts:     294000 | #Constraints:      50375
1061.20/1065.02	c #Conflicts:     295000 | #Constraints:      51375
1061.20/1065.02	c #Conflicts:     296000 | #Constraints:      52375
1061.20/1065.02	c #Conflicts:     297000 | #Constraints:      53375
1061.20/1065.02	c #Conflicts:     298000 | #Constraints:      54375
1061.20/1065.02	c #Conflicts:     299000 | #Constraints:      55375
1061.20/1065.02	c #Conflicts:     300000 | #Constraints:      56375
1061.20/1065.02	c #Conflicts:     301000 | #Constraints:      57375
1061.20/1065.02	c #Conflicts:     302000 | #Constraints:      58375
1061.20/1065.02	c #Conflicts:     303000 | #Constraints:      59375
1061.20/1065.02	c #Conflicts:     304000 | #Constraints:      60375
1061.20/1065.02	c #Conflicts:     305000 | #Constraints:      61375
1061.20/1065.02	c #Conflicts:     306000 | #Constraints:      62375
1061.20/1065.02	c #Conflicts:     307000 | #Constraints:      63375
1061.20/1065.02	c #Conflicts:     308000 | #Constraints:      64375
1061.20/1065.02	c #Conflicts:     309000 | #Constraints:      65375
1061.20/1065.02	c #Conflicts:     310000 | #Constraints:      66375
1061.20/1065.02	c #Conflicts:     311000 | #Constraints:      67375
1061.20/1065.02	c #Conflicts:     312000 | #Constraints:      68375
1061.20/1065.02	c #Conflicts:     313000 | #Constraints:      69375
1061.20/1065.02	c #Conflicts:     314000 | #Constraints:      70375
1061.20/1065.02	c #Conflicts:     315000 | #Constraints:      71375
1061.20/1065.02	c #Conflicts:     316000 | #Constraints:      72375
1061.20/1065.02	c #Conflicts:     317000 | #Constraints:      73375
1061.20/1065.02	c #Conflicts:     318000 | #Constraints:      74375
1061.20/1065.02	c #Conflicts:     319000 | #Constraints:      75375
1061.20/1065.02	c INPROCESSING
1061.20/1065.02	c GARBAGE COLLECT
1061.20/1065.02	c rational objective 54
1211.95/1216.33	c #Conflicts:     320000 | #Constraints:      45880
1211.95/1216.33	c #Conflicts:     321000 | #Constraints:      46880
1211.95/1216.33	c #Conflicts:     322000 | #Constraints:      47880
1211.95/1216.33	c #Conflicts:     323000 | #Constraints:      48880
1211.95/1216.33	c #Conflicts:     324000 | #Constraints:      49880
1211.95/1216.33	c #Conflicts:     325000 | #Constraints:      50880
1211.95/1216.33	c #Conflicts:     326000 | #Constraints:      51880
1211.95/1216.33	c #Conflicts:     327000 | #Constraints:      52880
1211.95/1216.33	c #Conflicts:     328000 | #Constraints:      53880
1211.95/1216.33	c #Conflicts:     329000 | #Constraints:      54880
1211.95/1216.33	c #Conflicts:     330000 | #Constraints:      55880
1211.95/1216.33	c #Conflicts:     331000 | #Constraints:      56880
1211.95/1216.33	c #Conflicts:     332000 | #Constraints:      57880
1211.95/1216.33	c #Conflicts:     333000 | #Constraints:      58880
1211.95/1216.33	c #Conflicts:     334000 | #Constraints:      59880
1211.95/1216.33	c #Conflicts:     335000 | #Constraints:      60880
1211.95/1216.33	c INPROCESSING
1211.95/1216.33	c GARBAGE COLLECT
1211.95/1216.33	c rational objective 54
1375.78/1380.74	c #Conflicts:     336000 | #Constraints:      43562
1375.78/1380.74	c #Conflicts:     337000 | #Constraints:      44562
1375.78/1380.74	c #Conflicts:     338000 | #Constraints:      45562
1375.78/1380.74	c #Conflicts:     339000 | #Constraints:      46562
1375.78/1380.74	c #Conflicts:     340000 | #Constraints:      47562
1375.78/1380.74	c #Conflicts:     341000 | #Constraints:      48562
1375.78/1380.74	c #Conflicts:     342000 | #Constraints:      49562
1375.78/1380.74	c #Conflicts:     343000 | #Constraints:      50562
1375.78/1380.74	c #Conflicts:     344000 | #Constraints:      51562
1375.78/1380.74	c #Conflicts:     345000 | #Constraints:      52562
1375.78/1380.74	c #Conflicts:     346000 | #Constraints:      53562
1375.78/1380.74	c #Conflicts:     347000 | #Constraints:      54562
1375.78/1380.74	c #Conflicts:     348000 | #Constraints:      55562
1375.78/1380.74	c #Conflicts:     349000 | #Constraints:      56562
1375.78/1380.74	c #Conflicts:     350000 | #Constraints:      57562
1375.78/1380.74	c #Conflicts:     351000 | #Constraints:      58562
1375.78/1380.74	c #Conflicts:     352000 | #Constraints:      59562
1375.78/1380.74	c #Conflicts:     353000 | #Constraints:      60562
1375.78/1380.74	c #Conflicts:     354000 | #Constraints:      61562
1375.78/1380.74	c #Conflicts:     355000 | #Constraints:      62562
1375.78/1380.74	c #Conflicts:     356000 | #Constraints:      63562
1375.78/1380.74	c #Conflicts:     357000 | #Constraints:      64562
1375.78/1380.74	c #Conflicts:     358000 | #Constraints:      65562
1375.78/1380.74	c #Conflicts:     359000 | #Constraints:      66562
1375.78/1380.74	c #Conflicts:     360000 | #Constraints:      67562
1375.78/1380.74	c #Conflicts:     361000 | #Constraints:      68562
1375.78/1380.74	c #Conflicts:     362000 | #Constraints:      69562
1375.78/1380.74	c #Conflicts:     363000 | #Constraints:      70562
1375.78/1380.74	c #Conflicts:     364000 | #Constraints:      71562
1375.78/1380.74	c #Conflicts:     365000 | #Constraints:      72562
1375.78/1380.74	c #Conflicts:     366000 | #Constraints:      73562
1375.78/1380.74	c #Conflicts:     367000 | #Constraints:      74562
1375.78/1380.74	c #Conflicts:     368000 | #Constraints:      75562
1375.78/1380.74	c #Conflicts:     369000 | #Constraints:      76562
1375.78/1380.74	c #Conflicts:     370000 | #Constraints:      77562
1375.78/1380.74	c #Conflicts:     371000 | #Constraints:      78562
1375.78/1380.74	c #Conflicts:     372000 | #Constraints:      79562
1375.78/1380.74	c #Conflicts:     373000 | #Constraints:      80562
1375.78/1380.74	c #Conflicts:     374000 | #Constraints:      81562
1375.78/1380.74	c INPROCESSING
1375.78/1380.74	c GARBAGE COLLECT
1375.78/1380.74	c rational objective 54
1594.80/1600.52	c #Conflicts:     375000 | #Constraints:      48889
1594.80/1600.52	c #Conflicts:     376000 | #Constraints:      49889
1594.80/1600.52	c #Conflicts:     377000 | #Constraints:      50889
1594.80/1600.52	c #Conflicts:     378000 | #Constraints:      51889
1594.80/1600.52	c #Conflicts:     379000 | #Constraints:      52889
1594.80/1600.52	c #Conflicts:     380000 | #Constraints:      53889
1594.80/1600.52	c bounds - >= 55 @ 1430.41
1594.80/1600.52	c #Conflicts:     381000 | #Constraints:      54895
1594.80/1600.52	c #Conflicts:     382000 | #Constraints:      55895
1594.80/1600.52	c #Conflicts:     383000 | #Constraints:      56895
1594.80/1600.52	c #Conflicts:     384000 | #Constraints:      57895
1594.80/1600.52	c #Conflicts:     385000 | #Constraints:      58895
1594.80/1600.52	c #Conflicts:     386000 | #Constraints:      59895
1594.80/1600.52	c #Conflicts:     387000 | #Constraints:      60895
1594.80/1600.52	c #Conflicts:     388000 | #Constraints:      61895
1594.80/1600.52	c #Conflicts:     389000 | #Constraints:      62895
1594.80/1600.52	c #Conflicts:     390000 | #Constraints:      63895
1594.80/1600.52	c #Conflicts:     391000 | #Constraints:      64895
1594.80/1600.52	c INPROCESSING
1594.80/1600.52	c GARBAGE COLLECT
1594.80/1600.52	c rational objective 55
1766.06/1772.23	c #Conflicts:     392000 | #Constraints:      46563
1766.06/1772.23	c #Conflicts:     393000 | #Constraints:      47563
1766.06/1772.23	c #Conflicts:     394000 | #Constraints:      48563
1766.06/1772.23	c #Conflicts:     395000 | #Constraints:      49563
1766.06/1772.23	c #Conflicts:     396000 | #Constraints:      50563
1766.06/1772.23	c #Conflicts:     397000 | #Constraints:      51563
1766.06/1772.23	c #Conflicts:     398000 | #Constraints:      52563
1766.06/1772.23	c #Conflicts:     399000 | #Constraints:      53563
1766.06/1772.23	c #Conflicts:     400000 | #Constraints:      54563
1766.06/1772.23	c #Conflicts:     401000 | #Constraints:      55563
1766.06/1772.23	c #Conflicts:     402000 | #Constraints:      56563
1766.06/1772.23	c #Conflicts:     403000 | #Constraints:      57563
1766.06/1772.23	c #Conflicts:     404000 | #Constraints:      58563
1766.06/1772.23	c #Conflicts:     405000 | #Constraints:      59563
1766.06/1772.23	c #Conflicts:     406000 | #Constraints:      60563
1766.06/1772.23	c #Conflicts:     407000 | #Constraints:      61563
1766.06/1772.23	c #Conflicts:     408000 | #Constraints:      62563
1766.06/1772.23	c #Conflicts:     409000 | #Constraints:      63563
1766.06/1772.23	c #Conflicts:     410000 | #Constraints:      64563
1766.06/1772.23	c #Conflicts:     411000 | #Constraints:      65563
1766.06/1772.23	c #Conflicts:     412000 | #Constraints:      66563
1766.06/1772.23	c #Conflicts:     413000 | #Constraints:      67563
1766.06/1772.23	c #Conflicts:     414000 | #Constraints:      68563
1766.06/1772.23	c #Conflicts:     415000 | #Constraints:      69563
1766.06/1772.23	c #Conflicts:     416000 | #Constraints:      70563
1766.06/1772.23	c #Conflicts:     417000 | #Constraints:      71563
1766.06/1772.23	c #Conflicts:     418000 | #Constraints:      72563
1766.06/1772.23	c #Conflicts:     419000 | #Constraints:      73563
1766.06/1772.23	c #Conflicts:     420000 | #Constraints:      74563
1766.06/1772.23	c #Conflicts:     421000 | #Constraints:      75563
1766.06/1772.23	c #Conflicts:     422000 | #Constraints:      76563
1766.06/1772.23	c #Conflicts:     423000 | #Constraints:      77563
1766.06/1772.23	c #Conflicts:     424000 | #Constraints:      78563
1766.06/1772.23	c #Conflicts:     425000 | #Constraints:      79563
1766.06/1772.23	c #Conflicts:     426000 | #Constraints:      80563
1766.06/1772.23	c #Conflicts:     427000 | #Constraints:      81563
1766.06/1772.23	c #Conflicts:     428000 | #Constraints:      82563
1766.06/1772.23	c #Conflicts:     429000 | #Constraints:      83563
1766.06/1772.23	c #Conflicts:     430000 | #Constraints:      84563
1766.06/1772.23	c #Conflicts:     431000 | #Constraints:      85563
1766.06/1772.23	c #Conflicts:     432000 | #Constraints:      86563
1766.06/1772.23	c #Conflicts:     433000 | #Constraints:      87563
1766.06/1772.23	c #Conflicts:     434000 | #Constraints:      88563
1766.06/1772.23	c INPROCESSING
1766.06/1772.23	c GARBAGE COLLECT
1766.06/1772.23	c rational objective 55
1982.42/1989.19	c #Conflicts:     435000 | #Constraints:      52628
1982.42/1989.19	c #Conflicts:     436000 | #Constraints:      53628
1982.42/1989.19	c #Conflicts:     437000 | #Constraints:      54628
1982.42/1989.19	c #Conflicts:     438000 | #Constraints:      55628
1982.42/1989.19	c #Conflicts:     439000 | #Constraints:      56628
1982.42/1989.19	c #Conflicts:     440000 | #Constraints:      57628
1982.42/1989.19	c #Conflicts:     441000 | #Constraints:      58628
1982.42/1989.19	c bounds - >= 56 @ 1844.89
1982.42/1989.19	c #Conflicts:     442000 | #Constraints:      59634
1982.42/1989.19	c #Conflicts:     443000 | #Constraints:      60634
1982.42/1989.19	c #Conflicts:     444000 | #Constraints:      61634
1982.42/1989.19	c #Conflicts:     445000 | #Constraints:      62634
1982.42/1989.19	c #Conflicts:     446000 | #Constraints:      63634
1982.42/1989.19	c #Conflicts:     447000 | #Constraints:      64634
1982.42/1989.19	c #Conflicts:     448000 | #Constraints:      65634
1982.42/1989.19	c #Conflicts:     449000 | #Constraints:      66634
1982.42/1989.19	c #Conflicts:     450000 | #Constraints:      67634
1982.42/1989.19	c #Conflicts:     451000 | #Constraints:      68634
1982.42/1989.19	c #Conflicts:     452000 | #Constraints:      69634
1982.42/1989.19	c INPROCESSING
1982.42/1989.19	c GARBAGE COLLECT
1982.42/1989.19	c rational objective 56
2427.34/2435.22	c #Conflicts:     453000 | #Constraints:      50294
2427.34/2435.22	c #Conflicts:     454000 | #Constraints:      51294
2427.34/2435.22	c #Conflicts:     455000 | #Constraints:      52294
2427.34/2435.22	c #Conflicts:     456000 | #Constraints:      53294
2427.34/2435.22	c #Conflicts:     457000 | #Constraints:      54294
2427.34/2435.22	c #Conflicts:     458000 | #Constraints:      55294
2427.34/2435.22	c #Conflicts:     459000 | #Constraints:      56294
2427.34/2435.22	c #Conflicts:     460000 | #Constraints:      57294
2427.34/2435.22	c #Conflicts:     461000 | #Constraints:      58294
2427.34/2435.22	c #Conflicts:     462000 | #Constraints:      59294
2427.34/2435.22	c #Conflicts:     463000 | #Constraints:      60294
2427.34/2435.22	c #Conflicts:     464000 | #Constraints:      61294
2427.34/2435.22	c #Conflicts:     465000 | #Constraints:      62294
2427.34/2435.22	c bounds - >= 57 @ 2144.16
2427.34/2435.22	c #Conflicts:     466000 | #Constraints:      63300
2427.34/2435.22	c #Conflicts:     467000 | #Constraints:      64300
2427.34/2435.22	c #Conflicts:     468000 | #Constraints:      65300
2427.34/2435.22	c #Conflicts:     469000 | #Constraints:      66300
2427.34/2435.22	c #Conflicts:     470000 | #Constraints:      67300
2427.34/2435.22	c #Conflicts:     471000 | #Constraints:      68300
2427.34/2435.22	c #Conflicts:     472000 | #Constraints:      69300
2427.34/2435.22	c #Conflicts:     473000 | #Constraints:      70300
2427.34/2435.22	c #Conflicts:     474000 | #Constraints:      71300
2427.34/2435.22	c #Conflicts:     475000 | #Constraints:      72300
2427.34/2435.22	c #Conflicts:     476000 | #Constraints:      73300
2427.34/2435.22	c #Conflicts:     477000 | #Constraints:      74300
2427.34/2435.22	c #Conflicts:     478000 | #Constraints:      75300
2427.34/2435.22	c #Conflicts:     479000 | #Constraints:      76300
2427.34/2435.22	c #Conflicts:     480000 | #Constraints:      77300
2427.34/2435.22	c #Conflicts:     481000 | #Constraints:      78300
2427.34/2435.22	c #Conflicts:     482000 | #Constraints:      79300
2427.34/2435.22	c #Conflicts:     483000 | #Constraints:      80300
2427.34/2435.22	c #Conflicts:     484000 | #Constraints:      81300
2427.34/2435.22	c #Conflicts:     485000 | #Constraints:      82300
2427.34/2435.22	c #Conflicts:     486000 | #Constraints:      83300
2427.34/2435.22	c #Conflicts:     487000 | #Constraints:      84300
2427.34/2435.22	c #Conflicts:     488000 | #Constraints:      85300
2427.34/2435.22	c #Conflicts:     489000 | #Constraints:      86300
2427.34/2435.22	c #Conflicts:     490000 | #Constraints:      87300
2427.34/2435.22	c #Conflicts:     491000 | #Constraints:      88300
2427.34/2435.22	c #Conflicts:     492000 | #Constraints:      89300
2427.34/2435.22	c #Conflicts:     493000 | #Constraints:      90300
2427.34/2435.22	c #Conflicts:     494000 | #Constraints:      91300
2427.34/2435.22	c #Conflicts:     495000 | #Constraints:      92300
2427.34/2435.22	c #Conflicts:     496000 | #Constraints:      93300
2427.34/2435.22	c #Conflicts:     497000 | #Constraints:      94300
2427.34/2435.22	c #Conflicts:     498000 | #Constraints:      95300
2427.34/2435.22	c INPROCESSING
2427.34/2435.22	c GARBAGE COLLECT
2427.34/2435.22	c rational objective 57
2890.05/2899.17	c #Conflicts:     499000 | #Constraints:      55893
2890.05/2899.17	c #Conflicts:     500000 | #Constraints:      56893
2890.05/2899.17	c bounds - >= 58 @ 2450.35
2890.05/2899.17	c #Conflicts:     501000 | #Constraints:      57902
2890.05/2899.17	c #Conflicts:     502000 | #Constraints:      58902
2890.05/2899.17	c bounds - >= 59 @ 2475.33
2890.05/2899.17	c #Conflicts:     503000 | #Constraints:      59911
2890.05/2899.17	c #Conflicts:     504000 | #Constraints:      60911
2890.05/2899.17	c #Conflicts:     505000 | #Constraints:      61911
2890.05/2899.17	c #Conflicts:     506000 | #Constraints:      62911
2890.05/2899.17	c #Conflicts:     507000 | #Constraints:      63911
2890.05/2899.17	c bounds - >= 60 @ 2535.42
2890.05/2899.17	c #Conflicts:     508000 | #Constraints:      64923
2890.05/2899.17	c #Conflicts:     509000 | #Constraints:      65923
2890.05/2899.17	c #Conflicts:     510000 | #Constraints:      66923
2890.05/2899.17	c bounds - >= 61 @ 2585.73
2890.05/2899.17	c #Conflicts:     511000 | #Constraints:      67929
2890.05/2899.17	c #Conflicts:     512000 | #Constraints:      68929
2890.05/2899.17	c #Conflicts:     513000 | #Constraints:      69929
2890.05/2899.17	c #Conflicts:     514000 | #Constraints:      70929
2890.05/2899.17	c #Conflicts:     515000 | #Constraints:      71929
2890.05/2899.17	c #Conflicts:     516000 | #Constraints:      72929
2890.05/2899.17	c bounds - >= 62 @ 2678.42
2890.05/2899.17	c #Conflicts:     517000 | #Constraints:      73938
2890.05/2899.17	c #Conflicts:     518000 | #Constraints:      74938
2890.05/2899.17	c #Conflicts:     519000 | #Constraints:      75938
2890.05/2899.17	c #Conflicts:     520000 | #Constraints:      76938
2890.05/2899.17	c #Conflicts:     521000 | #Constraints:      77938
2890.05/2899.17	c #Conflicts:     522000 | #Constraints:      78938
2890.05/2899.17	c #Conflicts:     523000 | #Constraints:      79938
2890.05/2899.17	c #Conflicts:     524000 | #Constraints:      80938
2890.05/2899.17	c #Conflicts:     525000 | #Constraints:      81938
2890.05/2899.17	c #Conflicts:     526000 | #Constraints:      82938
2890.05/2899.17	c #Conflicts:     527000 | #Constraints:      83938
2890.05/2899.17	c #Conflicts:     528000 | #Constraints:      84938
2890.05/2899.17	c #Conflicts:     529000 | #Constraints:      85938
2890.05/2899.17	c #Conflicts:     530000 | #Constraints:      86938
2890.05/2899.17	c #Conflicts:     531000 | #Constraints:      87938
2890.05/2899.17	c #Conflicts:     532000 | #Constraints:      88938
2890.05/2899.17	c #Conflicts:     533000 | #Constraints:      89938
2890.05/2899.17	c #Conflicts:     534000 | #Constraints:      90938
2890.05/2899.17	c #Conflicts:     535000 | #Constraints:      91938
2890.05/2899.17	c #Conflicts:     536000 | #Constraints:      92938
2890.05/2899.17	c #Conflicts:     537000 | #Constraints:      93938
2890.05/2899.17	c #Conflicts:     538000 | #Constraints:      94938
2890.05/2899.17	c #Conflicts:     539000 | #Constraints:      95938
2890.05/2899.17	c #Conflicts:     540000 | #Constraints:      96938
2890.05/2899.17	c #Conflicts:     541000 | #Constraints:      97938
2890.05/2899.17	c #Conflicts:     542000 | #Constraints:      98938
2890.05/2899.17	c #Conflicts:     543000 | #Constraints:      99938
2890.05/2899.17	c #Conflicts:     544000 | #Constraints:     100938
2890.05/2899.17	c #Conflicts:     545000 | #Constraints:     101938
2890.05/2899.17	c INPROCESSING
2890.05/2899.17	c GARBAGE COLLECT
2890.05/2899.17	c rational objective 62
3382.26/3392.64	c #Conflicts:     546000 | #Constraints:      58974
3382.26/3392.64	c #Conflicts:     547000 | #Constraints:      59974
3382.26/3392.64	c #Conflicts:     548000 | #Constraints:      60974
3382.26/3392.64	c #Conflicts:     549000 | #Constraints:      61974
3382.26/3392.64	c #Conflicts:     550000 | #Constraints:      62974
3382.26/3392.64	c #Conflicts:     551000 | #Constraints:      63974
3382.26/3392.64	c #Conflicts:     552000 | #Constraints:      64974
3382.26/3392.64	c bounds - >= 63 @ 2966.16
3382.26/3392.64	c #Conflicts:     553000 | #Constraints:      65980
3382.26/3392.64	c #Conflicts:     554000 | #Constraints:      66980
3382.26/3392.64	c #Conflicts:     555000 | #Constraints:      67980
3382.26/3392.64	c #Conflicts:     556000 | #Constraints:      68980
3382.26/3392.64	c #Conflicts:     557000 | #Constraints:      69980
3382.26/3392.64	c #Conflicts:     558000 | #Constraints:      70980
3382.26/3392.64	c #Conflicts:     559000 | #Constraints:      71980
3382.26/3392.64	c #Conflicts:     560000 | #Constraints:      72980
3382.26/3392.64	c #Conflicts:     561000 | #Constraints:      73980
3382.26/3392.64	c #Conflicts:     562000 | #Constraints:      74980
3382.26/3392.64	c #Conflicts:     563000 | #Constraints:      75980
3382.26/3392.64	c #Conflicts:     564000 | #Constraints:      76980
3382.26/3392.64	c bounds - >= 64 @ 3174.93
3382.26/3392.64	c #Conflicts:     565000 | #Constraints:      77983
3382.26/3392.64	c #Conflicts:     566000 | #Constraints:      78983
3382.26/3392.64	c #Conflicts:     567000 | #Constraints:      79983
3382.26/3392.64	c #Conflicts:     568000 | #Constraints:      80983
3382.26/3392.64	c #Conflicts:     569000 | #Constraints:      81983
3382.26/3392.64	c #Conflicts:     570000 | #Constraints:      82983
3382.26/3392.64	c #Conflicts:     571000 | #Constraints:      83983
3382.26/3392.64	c #Conflicts:     572000 | #Constraints:      84983
3382.26/3392.64	c #Conflicts:     573000 | #Constraints:      85983
3382.26/3392.64	c #Conflicts:     574000 | #Constraints:      86983
3382.26/3392.64	c #Conflicts:     575000 | #Constraints:      87983
3382.26/3392.64	c #Conflicts:     576000 | #Constraints:      88983
3382.26/3392.64	c #Conflicts:     577000 | #Constraints:      89983
3382.26/3392.64	c #Conflicts:     578000 | #Constraints:      90983
3382.26/3392.64	c #Conflicts:     579000 | #Constraints:      91983
3382.26/3392.64	c #Conflicts:     580000 | #Constraints:      92983
3382.26/3392.64	c #Conflicts:     581000 | #Constraints:      93983
3382.26/3392.64	c #Conflicts:     582000 | #Constraints:      94983
3382.26/3392.64	c #Conflicts:     583000 | #Constraints:      95983
3382.26/3392.64	c #Conflicts:     584000 | #Constraints:      96983
3382.26/3392.64	c #Conflicts:     585000 | #Constraints:      97983
3382.26/3392.64	c #Conflicts:     586000 | #Constraints:      98983
3382.26/3392.64	c #Conflicts:     587000 | #Constraints:      99983
3382.26/3392.64	c #Conflicts:     588000 | #Constraints:     100983
3382.26/3392.64	c #Conflicts:     589000 | #Constraints:     101983
3382.26/3392.64	c #Conflicts:     590000 | #Constraints:     102983
3382.26/3392.64	c #Conflicts:     591000 | #Constraints:     103983
3382.26/3392.64	c #Conflicts:     592000 | #Constraints:     104983
3382.26/3392.64	c #Conflicts:     593000 | #Constraints:     105983
3382.26/3392.64	c #Conflicts:     594000 | #Constraints:     106983
3382.26/3392.64	c #Conflicts:     595000 | #Constraints:     107983
3382.26/3392.64	c INPROCESSING
3382.26/3392.64	c GARBAGE COLLECT
3382.26/3392.64	c rational objective 64
3600.01/3610.93	c #Conflicts:     596000 | #Constraints:      63119
3600.01/3610.93	c #Conflicts:     597000 | #Constraints:      64119
3600.01/3610.93	c #Conflicts:     598000 | #Constraints:      65119
3600.01/3610.93	c #Conflicts:     599000 | #Constraints:      66119
3600.01/3610.93	c #Conflicts:     600000 | #Constraints:      67119
3600.01/3610.93	c #Conflicts:     601000 | #Constraints:      68119
3600.01/3610.93	c #Conflicts:     602000 | #Constraints:      69119
3600.01/3610.93	c #Conflicts:     603000 | #Constraints:      70119
3600.01/3610.93	c #Conflicts:     604000 | #Constraints:      71119
3600.01/3610.93	c #Conflicts:     605000 | #Constraints:      72119
3600.01/3610.93	c #Conflicts:     606000 | #Constraints:      73119
3600.01/3610.93	c bounds - >= 65 @ 3501.9
3600.01/3610.93	c #Conflicts:     607000 | #Constraints:      74128
3600.01/3610.93	c #Conflicts:     608000 | #Constraints:      75128
3600.01/3610.93	c #Conflicts:     609000 | #Constraints:      76128
3600.01/3610.93	c #Conflicts:     610000 | #Constraints:      77128
3600.01/3610.93	c #Conflicts:     611000 | #Constraints:      78128
3600.01/3610.93	c #Conflicts:     612000 | #Constraints:      79128
3600.01/3610.93	c Program interrupted by user.

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 (3968 MiB free)
  memory of node 1: 64473 MiB (11706 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456791-1721772870/watcher-4456791-1721772870 -o /tmp/evaluation-result-4456791-1721772870/solver-4456791-1721772870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117319 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456791-1721772870 --lp-cut-gomory=0 HOME/instance-4456791-1721772870.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
solver pid=122442, runsolver pid=122439
Current StackSize limit: 8192 KiB

Starting watchdog thread

[startup+0.100103 s]*
/proc/loadavg: 4.15 4.16 4.19 5/256 122443
/proc/meminfo: memFree=16054372/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=39140 memory=9796 CPUtime=0.07 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 723 0 0 0 6 1 0 0 20 0 1 0 13276321 40079360 2449 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 9785 2449 1384 992 0 1643 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 39140 KiB
Current children cumulated memory: 9796 KiB

[startup+0.213805 s]*
/proc/loadavg: 4.15 4.16 4.19 5/256 122443
/proc/meminfo: memFree=16042804/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=59188 memory=30376 CPUtime=0.18 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 7533 0 0 0 16 2 0 0 20 0 1 0 13276321 60608512 7594 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 14797 7594 1734 992 0 6655 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 59188 KiB
Current children cumulated memory: 30376 KiB

[startup+0.313621 s]*
/proc/loadavg: 4.15 4.16 4.19 5/256 122443
/proc/meminfo: memFree=16018724/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=74404 memory=45840 CPUtime=0.28 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 11925 0 0 0 25 3 0 0 20 0 1 0 13276321 76189696 11460 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 18601 11460 1734 992 0 10459 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 74404 KiB
Current children cumulated memory: 45840 KiB

[startup+0.700331 s]
/proc/loadavg: 4.15 4.16 4.19 5/256 122443
/proc/meminfo: memFree=15996636/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=94440 memory=65348 CPUtime=0.66 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 15269 0 0 0 61 5 0 0 20 0 1 0 13276321 96706560 16337 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 23610 16337 1782 992 0 15468 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 94440 KiB
Current children cumulated memory: 65348 KiB

[startup+1.50034 s]
/proc/loadavg: 4.15 4.16 4.19 6/256 122443
/proc/meminfo: memFree=15991316/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=94440 memory=66232 CPUtime=1.45 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 15379 0 0 0 139 6 0 0 20 0 1 0 13276321 96706560 16558 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 23610 16558 1877 992 0 15468 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 94440 KiB
Current children cumulated memory: 66232 KiB

[startup+3.11384 s]
/proc/loadavg: 4.15 4.16 4.19 6/256 122443
/proc/meminfo: memFree=15968244/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=101880 memory=72320 CPUtime=3.06 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 15474 0 0 0 297 9 0 0 20 0 1 0 13276321 104325120 18080 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 25470 18080 1893 992 0 17328 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 101880 KiB
Current children cumulated memory: 72320 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.16 4.19 6/256 122444
/proc/meminfo: memFree=15920648/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=109260 memory=81176 CPUtime=6.25 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 18199 0 0 0 608 17 0 0 20 0 1 0 13276321 111882240 20294 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 27315 20294 1893 992 0 19173 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 109260 KiB
Current children cumulated memory: 81176 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.17 4.20 6/256 122444
/proc/meminfo: memFree=15794368/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=124252 memory=92464 CPUtime=12.62 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 19005 0 0 0 1232 30 0 0 20 0 1 0 13276321 127234048 23116 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 31063 23116 1893 992 0 22921 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 124252 KiB
Current children cumulated memory: 92464 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.16 4.19 6/256 122447
/proc/meminfo: memFree=15492472/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=127148 memory=98552 CPUtime=25.39 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 20047 0 0 0 2488 51 0 0 20 0 1 0 13276321 130199552 24638 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 31787 24638 1893 992 0 23645 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 98552 KiB

[startup+51.1129 s]
/proc/loadavg: 4.11 4.15 4.18 5/247 122543
/proc/meminfo: memFree=15010840/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=127148 memory=99596 CPUtime=50.92 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 20360 0 0 0 5008 84 0 0 20 0 1 0 13276321 130199552 24899 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 31787 24899 1893 992 0 23645 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 99596 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.19 4.19 5/247 122552
/proc/meminfo: memFree=12585704/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=134328 memory=102996 CPUtime=101.93 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 20728 0 0 0 10060 133 0 0 20 0 1 0 13276321 137551872 25749 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 33582 25749 1893 992 0 25440 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 134328 KiB
Current children cumulated memory: 102996 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.20 4.19 5/269 122585
/proc/meminfo: memFree=9674268/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=141536 memory=111956 CPUtime=161.71 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 22029 0 0 0 15986 185 0 0 20 0 1 0 13276321 144932864 27989 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 35384 27989 1893 992 0 27242 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 111956 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/269 122595
/proc/meminfo: memFree=7807664/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=141536 memory=112944 CPUtime=221.5 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 22251 0 0 0 21918 232 0 0 20 0 1 0 13276321 144932864 28236 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 35384 28236 1893 992 0 27242 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 112944 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.17 4.18 6/269 122606
/proc/meminfo: memFree=6587476/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=141536 memory=112944 CPUtime=281.28 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 22268 0 0 0 27856 272 0 0 20 0 1 0 13276321 144932864 28236 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 35384 28236 1893 992 0 27242 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 112944 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/268 122618
/proc/meminfo: memFree=5840560/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=156380 memory=118252 CPUtime=341.06 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 23686 0 0 0 33792 314 0 0 20 0 1 0 13276321 160133120 29563 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 39095 29563 1893 992 0 30953 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 156380 KiB
Current children cumulated memory: 118252 KiB

[startup+402.3 s]
/proc/loadavg: 4.75 4.34 4.24 5/268 122628
/proc/meminfo: memFree=4416616/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=158796 memory=120820 CPUtime=400.85 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 24417 0 0 0 39742 343 0 0 20 0 1 0 13276321 162607104 30205 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 39699 30205 1893 992 0 31557 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 158796 KiB
Current children cumulated memory: 120820 KiB

[startup+462.3 s]
/proc/loadavg: 4.50 4.36 4.26 5/265 122640
/proc/meminfo: memFree=3602592/131655788 swapFree=131047872/131071996
[pid=122442] ppid=122439 vsize=158796 memory=123376 CPUtime=460.63 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 24595 0 0 0 45680 383 0 0 20 0 1 0 13276321 162607104 30844 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 39699 30844 1893 992 0 31557 0

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


[startup+3162.3 s]
/proc/loadavg: 4.18 4.18 4.18 6/272 124404
/proc/meminfo: memFree=655040/131655788 swapFree=131047360/131071996
[pid=122442] ppid=122439 vsize=220632 memory=188284 CPUtime=3152.56 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39029 0 0 0 314090 1166 0 0 20 0 1 0 13276321 225927168 47071 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47071 1893 992 0 47016 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 188284 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.18 6/263 124414
/proc/meminfo: memFree=641896/131655788 swapFree=131047360/131071996
[pid=122442] ppid=122439 vsize=220632 memory=188284 CPUtime=3212.39 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39097 0 0 0 320062 1177 0 0 20 0 1 0 13276321 225927168 47071 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47071 1893 992 0 47016 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 188284 KiB

[startup+3282.3 s]
/proc/loadavg: 4.47 4.26 4.21 4/269 124468
/proc/meminfo: memFree=44217884/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=188288 CPUtime=3272.23 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39169 0 0 0 326031 1192 0 0 20 0 1 0 13276321 225927168 47072 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47072 1893 992 0 47016 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 188288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.20 4.19 4/270 124482
/proc/meminfo: memFree=41920424/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=188300 CPUtime=3332.08 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39242 0 0 0 331997 1211 0 0 20 0 1 0 13276321 225927168 47075 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47075 1893 992 0 47016 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 188300 KiB

[startup+3402.3 s]
/proc/loadavg: 3.43 4.00 4.12 4/275 124500
/proc/meminfo: memFree=40015116/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3391.94 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39318 0 0 0 337967 1227 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3391.94 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

[startup+3462.3 s]
/proc/loadavg: 3.31 3.86 4.06 4/265 124511
/proc/meminfo: memFree=37729140/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3451.78 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39383 0 0 0 343939 1239 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

[startup+3522.3 s]
/proc/loadavg: 3.16 3.71 4.00 4/265 124521
/proc/meminfo: memFree=35663928/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3511.64 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39451 0 0 0 349913 1251 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3511.64 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

[startup+3582.3 s]
/proc/loadavg: 2.82 3.53 3.92 3/252 124568
/proc/meminfo: memFree=69537124/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3571.49 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39519 0 0 0 355888 1261 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 2.55 3.40 3.86 3/252 124573
/proc/meminfo: memFree=69084120/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3600.01 cores=1,3
/proc/122442/stat : 122442 (roundingsat) R 122439 122442 117307 0 -1 4194304 39522 0 0 0 358735 1266 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 2.55 3.40 3.86 2/252 124573
/proc/meminfo: memFree=69044236/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3600.02 cores=1,3
/proc/122442/stat : 122442 (roundingsat) D 122439 122442 117307 0 -1 4194304 39527 0 1 0 358736 1266 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 256 0 0 25182210 0 0 0 17 1 0 0 3 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
??? kill 122442 sig 9
??? end of watcher thread

[startup+3613.69 s]
# the end of solver process 122442 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3587.36 s, system=12.6711 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.3 s]
/proc/loadavg: 2.55 3.40 3.86 2/252 124573
/proc/meminfo: memFree=69069664/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3600.02 cores=1,3
/proc/122442/stat : 122442 (roundingsat) D 122439 122442 117307 0 -1 4194304 39527 0 1 0 358736 1266 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 3 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

[startup+3612.1 s]*
/proc/loadavg: 2.55 3.40 3.86 2/252 124573
/proc/meminfo: memFree=69054488/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3600.02 cores=1,3
/proc/122442/stat : 122442 (roundingsat) D 122439 122442 117307 0 -1 4194304 39527 0 1 0 358736 1266 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 3 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

[startup+3612.5 s]
/proc/loadavg: 2.55 3.40 3.86 2/252 124573
/proc/meminfo: memFree=69054488/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3600.02 cores=1,3
/proc/122442/stat : 122442 (roundingsat) D 122439 122442 117307 0 -1 4194304 39527 0 1 0 358736 1266 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 3 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

[startup+3612.9 s]
/proc/loadavg: 2.55 3.40 3.86 2/252 124573
/proc/meminfo: memFree=69054488/131655788 swapFree=131047616/131071996
[pid=122442] ppid=122439 vsize=220632 memory=190352 CPUtime=3600.02 cores=1,3
/proc/122442/stat : 122442 (roundingsat) D 122439 122442 117307 0 -1 4194304 39527 0 1 0 358736 1266 0 0 20 0 1 0 13276321 225927168 47588 134679101440 4194304 8254037 140729252497536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 3 0 0 9037040 9046032 12189696 140729252504412 140729252504674 140729252504674 140729252511689 0
/proc/122442/statm: 55158 47588 1893 992 0 47016 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190352 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.69
CPU time (s): 3600.03
CPU user time (s): 3587.36
CPU system time (s): 12.6711
CPU usage (%): 99.6221
Max. virtual memory (cumulated for all children) (KiB): 220632
Max. memory (cumulated for all children) (KiB): 190352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.36
system time used= 12.6711
maximum resident set size= 190728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39527
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 610384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 4856


# summary of solver processes directly reported to runsolver:
#   pid: 122442
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3587.36
#   total CPU system time (s): 12.6711

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9683 second user time and 37.2804 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 00:14:31
IDJOB=4456791
IDBENCH=147626
IDSOLVER=3085
FILE ID=nodeC006/4456791-1721772870
RUNJOBID= nodeC006-1721765589-117319
SLURM_JOB_ID= 7770663
Free space on /tmp= 723724 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456791-1721772870/watcher-4456791-1721772870 -o /tmp/evaluation-result-4456791-1721772870/solver-4456791-1721772870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721765589-117319 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456791-1721772870 --lp-cut-gomory=0 HOME/instance-4456791-1721772870.opb

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=439429828

nodeC006.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		: 3491.530
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.06
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		: 3491.533
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.40
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.097
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.06
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.097
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.40
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		: 3547.314
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.06
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		: 3611.891
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.40
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.203
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.06
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.099
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        16051620 kB
MemAvailable:   128033208 kB
Buffers:          175632 kB
Cached:         112376916 kB
SwapCached:          240 kB
Active:          1082636 kB
Inactive:       113563496 kB
Active(anon):       3100 kB
Inactive(anon):  2128128 kB
Active(file):    1079536 kB
Inactive(file): 111435368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131047872 kB
Dirty:             41980 kB
Writeback:        187300 kB
AnonPages:       2093524 kB
Mapped:           108920 kB
Shmem:             37252 kB
KReclaimable:     528592 kB
Slab:             636828 kB
SReclaimable:     528592 kB
SUnreclaim:       108236 kB
KernelStack:        4128 kB
PageTables:        13620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2794916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1292288 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:      357192 kB
DirectMap2M:    45684736 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC006 at 2024-07-24 01:14:44