Trace number 4460676

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 NameAnswerCPU timeWall clock time
RoundingSat log (2)? (TO) 3600.11 3610.17

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K151.opb
MD5SUMabcade21393c5164863b40206a5f4f64
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17969
Total number of constraints18273
Number of constraints which are clauses18122
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint151
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 152
Number of bits of the biggest sum of numbers8
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.20/0.29	c #variables 17969 #constraints 18273
117.21/117.58	c #Conflicts:       1000 | #Constraints:      19272
117.21/117.58	c #Conflicts:       2000 | #Constraints:      20272
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:       3000 | #Constraints:      19737
117.21/117.58	c #Conflicts:       4000 | #Constraints:      20737
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:       5000 | #Constraints:      20122
117.21/117.58	c #Conflicts:       6000 | #Constraints:      21122
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:       7000 | #Constraints:      20207
117.21/117.58	c #Conflicts:       8000 | #Constraints:      21207
117.21/117.58	c #Conflicts:       9000 | #Constraints:      22207
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:      10000 | #Constraints:      20935
117.21/117.58	c #Conflicts:      11000 | #Constraints:      21935
117.21/117.58	c #Conflicts:      12000 | #Constraints:      22935
117.21/117.58	c #Conflicts:      13000 | #Constraints:      23935
117.21/117.58	c #Conflicts:      14000 | #Constraints:      24935
117.21/117.58	c #Conflicts:      15000 | #Constraints:      25935
117.21/117.58	c #Conflicts:      16000 | #Constraints:      26935
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:      17000 | #Constraints:      23247
117.21/117.58	c #Conflicts:      18000 | #Constraints:      24247
117.21/117.58	c #Conflicts:      19000 | #Constraints:      25248
117.21/117.58	c #Conflicts:      20000 | #Constraints:      26248
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:      21000 | #Constraints:      23026
117.21/117.58	c #Conflicts:      22000 | #Constraints:      24026
117.21/117.58	c #Conflicts:      23000 | #Constraints:      25026
117.21/117.58	c #Conflicts:      24000 | #Constraints:      26026
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c #Conflicts:      25000 | #Constraints:      22967
117.21/117.58	c #Conflicts:      26000 | #Constraints:      23967
117.21/117.58	c #Conflicts:      27000 | #Constraints:      24967
117.21/117.58	c #Conflicts:      28000 | #Constraints:      25967
117.21/117.58	c #Conflicts:      29000 | #Constraints:      26967
117.21/117.58	c #Conflicts:      30000 | #Constraints:      27967
117.21/117.58	c #Conflicts:      31000 | #Constraints:      28967
117.21/117.58	c #Conflicts:      32000 | #Constraints:      29967
117.21/117.58	c #Conflicts:      33000 | #Constraints:      30968
117.21/117.58	c #Conflicts:      34000 | #Constraints:      31968
117.21/117.58	c #Conflicts:      35000 | #Constraints:      32968
117.21/117.58	c #Conflicts:      36000 | #Constraints:      33968
117.21/117.58	c INPROCESSING
117.21/117.58	c GARBAGE COLLECT
117.21/117.58	c rational objective 151
151.54/151.97	c #Conflicts:      37000 | #Constraints:      27180
151.54/151.97	c #Conflicts:      38000 | #Constraints:      28180
151.54/151.97	c #Conflicts:      39000 | #Constraints:      29180
151.54/151.97	c #Conflicts:      40000 | #Constraints:      30180
151.54/151.97	c #Conflicts:      41000 | #Constraints:      31180
151.54/151.97	c INPROCESSING
151.54/151.97	c GARBAGE COLLECT
151.54/151.97	c #Conflicts:      42000 | #Constraints:      25603
151.54/151.97	c #Conflicts:      43000 | #Constraints:      26603
151.54/151.97	c #Conflicts:      44000 | #Constraints:      27603
151.54/151.97	c #Conflicts:      45000 | #Constraints:      28603
151.54/151.97	c #Conflicts:      46000 | #Constraints:      29603
151.54/151.97	c #Conflicts:      47000 | #Constraints:      30603
151.54/151.97	c INPROCESSING
151.54/151.97	c GARBAGE COLLECT
151.54/151.97	c rational objective 151
486.40/487.73	c #Conflicts:      48000 | #Constraints:      25855
486.40/487.73	c #Conflicts:      49000 | #Constraints:      26855
486.40/487.73	c #Conflicts:      50000 | #Constraints:      27855
486.40/487.73	c #Conflicts:      51000 | #Constraints:      28855
486.40/487.73	c #Conflicts:      52000 | #Constraints:      29855
486.40/487.73	c #Conflicts:      53000 | #Constraints:      30855
486.40/487.73	c #Conflicts:      54000 | #Constraints:      31855
486.40/487.73	c #Conflicts:      55000 | #Constraints:      32855
486.40/487.73	c #Conflicts:      56000 | #Constraints:      33855
486.40/487.73	c #Conflicts:      57000 | #Constraints:      34855
486.40/487.73	c #Conflicts:      58000 | #Constraints:      35855
486.40/487.73	c #Conflicts:      59000 | #Constraints:      36855
486.40/487.73	c #Conflicts:      60000 | #Constraints:      37855
486.40/487.73	c #Conflicts:      61000 | #Constraints:      38856
486.40/487.73	c #Conflicts:      62000 | #Constraints:      39856
486.40/487.73	c INPROCESSING
486.40/487.73	c GARBAGE COLLECT
486.40/487.73	c #Conflicts:      63000 | #Constraints:      29427
486.40/487.73	c #Conflicts:      64000 | #Constraints:      30427
486.40/487.73	c #Conflicts:      65000 | #Constraints:      31427
486.40/487.73	c #Conflicts:      66000 | #Constraints:      32427
486.40/487.73	c #Conflicts:      67000 | #Constraints:      33427
486.40/487.73	c #Conflicts:      68000 | #Constraints:      34427
486.40/487.73	c #Conflicts:      69000 | #Constraints:      35427
486.40/487.73	c INPROCESSING
486.40/487.73	c GARBAGE COLLECT
486.40/487.73	c #Conflicts:      70000 | #Constraints:      27509
486.40/487.73	c #Conflicts:      71000 | #Constraints:      28509
486.40/487.73	c #Conflicts:      72000 | #Constraints:      29509
486.40/487.73	c #Conflicts:      73000 | #Constraints:      30509
486.40/487.73	c #Conflicts:      74000 | #Constraints:      31509
486.40/487.73	c #Conflicts:      75000 | #Constraints:      32509
486.40/487.73	c #Conflicts:      76000 | #Constraints:      33510
486.40/487.73	c #Conflicts:      77000 | #Constraints:      34510
486.40/487.73	c #Conflicts:      78000 | #Constraints:      35510
486.40/487.73	c #Conflicts:      79000 | #Constraints:      36510
486.40/487.73	c #Conflicts:      80000 | #Constraints:      37510
486.40/487.73	c #Conflicts:      81000 | #Constraints:      38510
486.40/487.73	c #Conflicts:      82000 | #Constraints:      39510
486.40/487.73	c #Conflicts:      83000 | #Constraints:      40510
486.40/487.73	c #Conflicts:      84000 | #Constraints:      41510
486.40/487.73	c #Conflicts:      85000 | #Constraints:      42510
486.40/487.73	c #Conflicts:      86000 | #Constraints:      43510
486.40/487.73	c #Conflicts:      87000 | #Constraints:      44510
486.40/487.73	c #Conflicts:      88000 | #Constraints:      45510
486.40/487.73	c INPROCESSING
486.40/487.73	c GARBAGE COLLECT
486.40/487.73	c #Conflicts:      89000 | #Constraints:      32574
486.40/487.73	c #Conflicts:      90000 | #Constraints:      33574
486.40/487.73	c #Conflicts:      91000 | #Constraints:      34574
486.40/487.73	c #Conflicts:      92000 | #Constraints:      35574
486.40/487.73	c #Conflicts:      93000 | #Constraints:      36574
486.40/487.73	c #Conflicts:      94000 | #Constraints:      37574
486.40/487.73	c #Conflicts:      95000 | #Constraints:      38574
486.40/487.73	c #Conflicts:      96000 | #Constraints:      39574
486.40/487.73	c INPROCESSING
486.40/487.73	c GARBAGE COLLECT
486.40/487.73	c #Conflicts:      97000 | #Constraints:      29674
486.40/487.73	c #Conflicts:      98000 | #Constraints:      30674
486.40/487.73	c #Conflicts:      99000 | #Constraints:      31674
486.40/487.73	c #Conflicts:     100000 | #Constraints:      32674
486.40/487.73	c #Conflicts:     101000 | #Constraints:      33675
486.40/487.73	c #Conflicts:     102000 | #Constraints:      34675
486.40/487.73	c #Conflicts:     103000 | #Constraints:      35675
486.40/487.73	c #Conflicts:     104000 | #Constraints:      36675
486.40/487.73	c #Conflicts:     105000 | #Constraints:      37675
486.40/487.73	c #Conflicts:     106000 | #Constraints:      38675
486.40/487.73	c #Conflicts:     107000 | #Constraints:      39675
486.40/487.73	c #Conflicts:     108000 | #Constraints:      40675
486.40/487.73	c #Conflicts:     109000 | #Constraints:      41675
486.40/487.73	c #Conflicts:     110000 | #Constraints:      42675
486.40/487.73	c #Conflicts:     111000 | #Constraints:      43675
486.40/487.73	c #Conflicts:     112000 | #Constraints:      44675
486.40/487.73	c #Conflicts:     113000 | #Constraints:      45675
486.40/487.73	c #Conflicts:     114000 | #Constraints:      46675
486.40/487.73	c #Conflicts:     115000 | #Constraints:      47675
486.40/487.73	c #Conflicts:     116000 | #Constraints:      48675
486.40/487.73	c #Conflicts:     117000 | #Constraints:      49676
486.40/487.73	c #Conflicts:     118000 | #Constraints:      50676
486.40/487.73	c INPROCESSING
486.40/487.73	c GARBAGE COLLECT
486.40/487.73	c #Conflicts:     119000 | #Constraints:      35306
486.40/487.73	c #Conflicts:     120000 | #Constraints:      36306
486.40/487.73	c #Conflicts:     121000 | #Constraints:      37306
486.40/487.73	c #Conflicts:     122000 | #Constraints:      38306
486.40/487.73	c #Conflicts:     123000 | #Constraints:      39306
555.12/556.67	c #Conflicts:     124000 | #Constraints:      40306
555.12/556.67	c #Conflicts:     125000 | #Constraints:      41306
555.12/556.67	c #Conflicts:     126000 | #Constraints:      42306
555.12/556.67	c #Conflicts:     127000 | #Constraints:      43306
555.12/556.67	c #Conflicts:     128000 | #Constraints:      44306
555.12/556.67	c INPROCESSING
555.12/556.67	c GARBAGE COLLECT
555.12/556.67	c #Conflicts:     129000 | #Constraints:      32424
555.12/556.67	c #Conflicts:     130000 | #Constraints:      33424
555.12/556.67	c #Conflicts:     131000 | #Constraints:      34424
555.12/556.67	c #Conflicts:     132000 | #Constraints:      35424
555.12/556.67	c #Conflicts:     133000 | #Constraints:      36425
555.12/556.67	c #Conflicts:     134000 | #Constraints:      37425
555.12/556.67	c #Conflicts:     135000 | #Constraints:      38425
555.12/556.67	c #Conflicts:     136000 | #Constraints:      39425
555.12/556.67	c #Conflicts:     137000 | #Constraints:      40425
555.12/556.67	c #Conflicts:     138000 | #Constraints:      41425
555.12/556.67	c #Conflicts:     139000 | #Constraints:      42425
555.12/556.67	c #Conflicts:     140000 | #Constraints:      43425
555.12/556.67	c #Conflicts:     141000 | #Constraints:      44425
555.12/556.67	c #Conflicts:     142000 | #Constraints:      45425
555.12/556.67	c #Conflicts:     143000 | #Constraints:      46425
555.12/556.67	c #Conflicts:     144000 | #Constraints:      47425
555.12/556.67	c #Conflicts:     145000 | #Constraints:      48425
555.12/556.67	c #Conflicts:     146000 | #Constraints:      49425
555.12/556.67	c #Conflicts:     147000 | #Constraints:      50425
555.12/556.67	c #Conflicts:     148000 | #Constraints:      51425
555.12/556.67	c #Conflicts:     149000 | #Constraints:      52425
555.12/556.67	c #Conflicts:     150000 | #Constraints:      53425
555.12/556.67	c #Conflicts:     151000 | #Constraints:      54425
555.12/556.67	c #Conflicts:     152000 | #Constraints:      55425
555.12/556.67	c #Conflicts:     153000 | #Constraints:      56425
555.12/556.67	c INPROCESSING
555.12/556.67	c GARBAGE COLLECT
555.12/556.67	c rational objective 151
597.31/598.94	c #Conflicts:     154000 | #Constraints:      38530
597.31/598.94	c #Conflicts:     155000 | #Constraints:      39530
597.31/598.94	c #Conflicts:     156000 | #Constraints:      40530
597.31/598.94	c #Conflicts:     157000 | #Constraints:      41530
597.31/598.94	c #Conflicts:     158000 | #Constraints:      42530
597.31/598.94	c #Conflicts:     159000 | #Constraints:      43530
597.31/598.94	c #Conflicts:     160000 | #Constraints:      44530
597.31/598.94	c #Conflicts:     161000 | #Constraints:      45531
597.31/598.94	c #Conflicts:     162000 | #Constraints:      46532
597.31/598.94	c #Conflicts:     163000 | #Constraints:      47532
597.31/598.94	c INPROCESSING
597.31/598.94	c GARBAGE COLLECT
597.31/598.94	c rational objective 151
763.50/765.52	c #Conflicts:     164000 | #Constraints:      33818
763.50/765.52	c #Conflicts:     165000 | #Constraints:      34818
763.50/765.52	c #Conflicts:     166000 | #Constraints:      35818
763.50/765.52	c #Conflicts:     167000 | #Constraints:      36818
763.50/765.52	c #Conflicts:     168000 | #Constraints:      37818
763.50/765.52	c #Conflicts:     169000 | #Constraints:      38818
763.50/765.52	c #Conflicts:     170000 | #Constraints:      39818
763.50/765.52	c #Conflicts:     171000 | #Constraints:      40818
763.50/765.52	c #Conflicts:     172000 | #Constraints:      41818
763.50/765.52	c #Conflicts:     173000 | #Constraints:      42818
763.50/765.52	c #Conflicts:     174000 | #Constraints:      43819
763.50/765.52	c #Conflicts:     175000 | #Constraints:      44820
763.50/765.52	c #Conflicts:     176000 | #Constraints:      45820
763.50/765.52	c #Conflicts:     177000 | #Constraints:      46821
763.50/765.52	c #Conflicts:     178000 | #Constraints:      47821
763.50/765.52	c #Conflicts:     179000 | #Constraints:      48822
763.50/765.52	c #Conflicts:     180000 | #Constraints:      49823
763.50/765.52	c #Conflicts:     181000 | #Constraints:      50823
763.50/765.52	c #Conflicts:     182000 | #Constraints:      51823
763.50/765.52	c #Conflicts:     183000 | #Constraints:      52823
763.50/765.52	c #Conflicts:     184000 | #Constraints:      53823
763.50/765.52	c #Conflicts:     185000 | #Constraints:      54823
763.50/765.52	c #Conflicts:     186000 | #Constraints:      55824
763.50/765.52	c #Conflicts:     187000 | #Constraints:      56824
763.50/765.52	c #Conflicts:     188000 | #Constraints:      57824
763.50/765.52	c #Conflicts:     189000 | #Constraints:      58824
763.50/765.52	c #Conflicts:     190000 | #Constraints:      59824
763.50/765.52	c #Conflicts:     191000 | #Constraints:      60824
763.50/765.52	c INPROCESSING
763.50/765.52	c GARBAGE COLLECT
763.50/765.52	c rational objective 151
985.33/987.95	c #Conflicts:     192000 | #Constraints:      40353
985.33/987.95	c #Conflicts:     193000 | #Constraints:      41353
985.33/987.95	c #Conflicts:     194000 | #Constraints:      42353
985.33/987.95	c #Conflicts:     195000 | #Constraints:      43353
985.33/987.95	c #Conflicts:     196000 | #Constraints:      44353
985.33/987.95	c #Conflicts:     197000 | #Constraints:      45353
985.33/987.95	c #Conflicts:     198000 | #Constraints:      46353
985.33/987.95	c #Conflicts:     199000 | #Constraints:      47353
985.33/987.95	c #Conflicts:     200000 | #Constraints:      48353
985.33/987.95	c #Conflicts:     201000 | #Constraints:      49353
985.33/987.95	c #Conflicts:     202000 | #Constraints:      50353
985.33/987.95	c #Conflicts:     203000 | #Constraints:      51353
985.33/987.95	c #Conflicts:     204000 | #Constraints:      52354
985.33/987.95	c INPROCESSING
985.33/987.95	c GARBAGE COLLECT
985.33/987.95	c #Conflicts:     205000 | #Constraints:      36565
985.33/987.95	c #Conflicts:     206000 | #Constraints:      37565
985.33/987.95	c #Conflicts:     207000 | #Constraints:      38565
985.33/987.95	c #Conflicts:     208000 | #Constraints:      39565
985.33/987.95	c #Conflicts:     209000 | #Constraints:      40565
985.33/987.95	c #Conflicts:     210000 | #Constraints:      41565
985.33/987.95	c #Conflicts:     211000 | #Constraints:      42565
985.33/987.95	c #Conflicts:     212000 | #Constraints:      43565
985.33/987.95	c #Conflicts:     213000 | #Constraints:      44565
985.33/987.95	c #Conflicts:     214000 | #Constraints:      45565
985.33/987.95	c #Conflicts:     215000 | #Constraints:      46565
985.33/987.95	c #Conflicts:     216000 | #Constraints:      47565
985.33/987.95	c #Conflicts:     217000 | #Constraints:      48565
985.33/987.95	c #Conflicts:     218000 | #Constraints:      49565
985.33/987.95	c #Conflicts:     219000 | #Constraints:      50565
985.33/987.95	c #Conflicts:     220000 | #Constraints:      51565
985.33/987.95	c #Conflicts:     221000 | #Constraints:      52565
985.33/987.95	c #Conflicts:     222000 | #Constraints:      53565
985.33/987.95	c #Conflicts:     223000 | #Constraints:      54565
985.33/987.95	c #Conflicts:     224000 | #Constraints:      55566
985.33/987.95	c #Conflicts:     225000 | #Constraints:      56566
985.33/987.95	c #Conflicts:     226000 | #Constraints:      57566
985.33/987.95	c #Conflicts:     227000 | #Constraints:      58566
985.33/987.95	c #Conflicts:     228000 | #Constraints:      59566
985.33/987.95	c #Conflicts:     229000 | #Constraints:      60566
985.33/987.95	c #Conflicts:     230000 | #Constraints:      61566
985.33/987.95	c #Conflicts:     231000 | #Constraints:      62566
985.33/987.95	c #Conflicts:     232000 | #Constraints:      63566
985.33/987.95	c #Conflicts:     233000 | #Constraints:      64566
985.33/987.95	c #Conflicts:     234000 | #Constraints:      65566
985.33/987.95	c #Conflicts:     235000 | #Constraints:      66566
985.33/987.95	c INPROCESSING
985.33/987.95	c GARBAGE COLLECT
985.33/987.95	c #Conflicts:     236000 | #Constraints:      43495
985.33/987.95	c #Conflicts:     237000 | #Constraints:      44495
985.33/987.95	c #Conflicts:     238000 | #Constraints:      45495
985.33/987.95	c #Conflicts:     239000 | #Constraints:      46495
985.33/987.95	c #Conflicts:     240000 | #Constraints:      47496
985.33/987.95	c #Conflicts:     241000 | #Constraints:      48496
985.33/987.95	c #Conflicts:     242000 | #Constraints:      49496
985.33/987.95	c #Conflicts:     243000 | #Constraints:      50496
985.33/987.95	c #Conflicts:     244000 | #Constraints:      51496
985.33/987.95	c #Conflicts:     245000 | #Constraints:      52496
985.33/987.95	c #Conflicts:     246000 | #Constraints:      53496
985.33/987.95	c #Conflicts:     247000 | #Constraints:      54496
985.33/987.95	c #Conflicts:     248000 | #Constraints:      55496
985.33/987.95	c INPROCESSING
985.33/987.95	c GARBAGE COLLECT
985.33/987.95	c #Conflicts:     249000 | #Constraints:      37962
985.33/987.95	c #Conflicts:     250000 | #Constraints:      38962
985.33/987.95	c #Conflicts:     251000 | #Constraints:      39962
985.33/987.95	c #Conflicts:     252000 | #Constraints:      40962
985.33/987.95	c #Conflicts:     253000 | #Constraints:      41963
985.33/987.95	c #Conflicts:     254000 | #Constraints:      42963
985.33/987.95	c #Conflicts:     255000 | #Constraints:      43963
985.33/987.95	c #Conflicts:     256000 | #Constraints:      44963
985.33/987.95	c #Conflicts:     257000 | #Constraints:      45963
985.33/987.95	c #Conflicts:     258000 | #Constraints:      46963
985.33/987.95	c #Conflicts:     259000 | #Constraints:      47963
985.33/987.95	c #Conflicts:     260000 | #Constraints:      48963
985.33/987.95	c #Conflicts:     261000 | #Constraints:      49963
985.33/987.95	c #Conflicts:     262000 | #Constraints:      50963
985.33/987.95	c #Conflicts:     263000 | #Constraints:      51963
985.33/987.95	c #Conflicts:     264000 | #Constraints:      52963
985.33/987.95	c #Conflicts:     265000 | #Constraints:      53963
985.33/987.95	c #Conflicts:     266000 | #Constraints:      54963
985.33/987.95	c #Conflicts:     267000 | #Constraints:      55963
985.33/987.95	c #Conflicts:     268000 | #Constraints:      56964
1085.67/1088.51	c #Conflicts:     269000 | #Constraints:      57964
1085.67/1088.51	c #Conflicts:     270000 | #Constraints:      58964
1085.67/1088.51	c #Conflicts:     271000 | #Constraints:      59965
1085.67/1088.51	c #Conflicts:     272000 | #Constraints:      60965
1085.67/1088.51	c #Conflicts:     273000 | #Constraints:      61965
1085.67/1088.51	c #Conflicts:     274000 | #Constraints:      62965
1085.67/1088.51	c #Conflicts:     275000 | #Constraints:      63965
1085.67/1088.51	c #Conflicts:     276000 | #Constraints:      64965
1085.67/1088.51	c #Conflicts:     277000 | #Constraints:      65965
1085.67/1088.51	c #Conflicts:     278000 | #Constraints:      66965
1085.67/1088.51	c #Conflicts:     279000 | #Constraints:      67965
1085.67/1088.51	c #Conflicts:     280000 | #Constraints:      68965
1085.67/1088.51	c #Conflicts:     281000 | #Constraints:      69965
1085.67/1088.51	c #Conflicts:     282000 | #Constraints:      70965
1085.67/1088.51	c INPROCESSING
1085.67/1088.51	c GARBAGE COLLECT
1085.67/1088.51	c rational objective 151
1182.76/1185.96	c #Conflicts:     283000 | #Constraints:      45574
1182.76/1185.96	c #Conflicts:     284000 | #Constraints:      46574
1182.76/1185.96	c #Conflicts:     285000 | #Constraints:      47574
1182.76/1185.96	c #Conflicts:     286000 | #Constraints:      48574
1182.76/1185.96	c #Conflicts:     287000 | #Constraints:      49574
1182.76/1185.96	c #Conflicts:     288000 | #Constraints:      50575
1182.76/1185.96	c #Conflicts:     289000 | #Constraints:      51575
1182.76/1185.96	c #Conflicts:     290000 | #Constraints:      52575
1182.76/1185.96	c #Conflicts:     291000 | #Constraints:      53575
1182.76/1185.96	c #Conflicts:     292000 | #Constraints:      54575
1182.76/1185.96	c #Conflicts:     293000 | #Constraints:      55575
1182.76/1185.96	c #Conflicts:     294000 | #Constraints:      56575
1182.76/1185.96	c #Conflicts:     295000 | #Constraints:      57575
1182.76/1185.96	c #Conflicts:     296000 | #Constraints:      58575
1182.76/1185.96	c #Conflicts:     297000 | #Constraints:      59575
1182.76/1185.96	c INPROCESSING
1182.76/1185.96	c GARBAGE COLLECT
1182.76/1185.96	c rational objective 151
1318.45/1322.07	c #Conflicts:     298000 | #Constraints:      40061
1318.45/1322.07	c #Conflicts:     299000 | #Constraints:      41061
1318.45/1322.07	c #Conflicts:     300000 | #Constraints:      42061
1318.45/1322.07	c #Conflicts:     301000 | #Constraints:      43061
1318.45/1322.07	c #Conflicts:     302000 | #Constraints:      44062
1318.45/1322.07	c #Conflicts:     303000 | #Constraints:      45062
1318.45/1322.07	c #Conflicts:     304000 | #Constraints:      46062
1318.45/1322.07	c #Conflicts:     305000 | #Constraints:      47063
1318.45/1322.07	c #Conflicts:     306000 | #Constraints:      48063
1318.45/1322.07	c #Conflicts:     307000 | #Constraints:      49063
1318.45/1322.07	c #Conflicts:     308000 | #Constraints:      50063
1318.45/1322.07	c #Conflicts:     309000 | #Constraints:      51063
1318.45/1322.07	c #Conflicts:     310000 | #Constraints:      52063
1318.45/1322.07	c #Conflicts:     311000 | #Constraints:      53063
1318.45/1322.07	c #Conflicts:     312000 | #Constraints:      54063
1318.45/1322.07	c #Conflicts:     313000 | #Constraints:      55063
1318.45/1322.07	c #Conflicts:     314000 | #Constraints:      56063
1318.45/1322.07	c #Conflicts:     315000 | #Constraints:      57063
1318.45/1322.07	c #Conflicts:     316000 | #Constraints:      58063
1318.45/1322.07	c #Conflicts:     317000 | #Constraints:      59064
1318.45/1322.07	c #Conflicts:     318000 | #Constraints:      60064
1318.45/1322.07	c #Conflicts:     319000 | #Constraints:      61064
1318.45/1322.07	c #Conflicts:     320000 | #Constraints:      62064
1318.45/1322.07	c #Conflicts:     321000 | #Constraints:      63064
1318.45/1322.07	c #Conflicts:     322000 | #Constraints:      64064
1318.45/1322.07	c #Conflicts:     323000 | #Constraints:      65064
1318.45/1322.07	c #Conflicts:     324000 | #Constraints:      66064
1318.45/1322.07	c #Conflicts:     325000 | #Constraints:      67064
1318.45/1322.07	c #Conflicts:     326000 | #Constraints:      68064
1318.45/1322.07	c #Conflicts:     327000 | #Constraints:      69064
1318.45/1322.07	c #Conflicts:     328000 | #Constraints:      70064
1318.45/1322.07	c #Conflicts:     329000 | #Constraints:      71064
1318.45/1322.07	c #Conflicts:     330000 | #Constraints:      72064
1318.45/1322.07	c #Conflicts:     331000 | #Constraints:      73065
1318.45/1322.07	c #Conflicts:     332000 | #Constraints:      74065
1318.45/1322.07	c #Conflicts:     333000 | #Constraints:      75065
1318.45/1322.07	c #Conflicts:     334000 | #Constraints:      76065
1318.45/1322.07	c #Conflicts:     335000 | #Constraints:      77065
1318.45/1322.07	c INPROCESSING
1318.45/1322.07	c GARBAGE COLLECT
1318.45/1322.07	c rational objective 151
1377.56/1381.30	c #Conflicts:     336000 | #Constraints:      49088
1377.56/1381.30	c #Conflicts:     337000 | #Constraints:      50088
1377.56/1381.30	c #Conflicts:     338000 | #Constraints:      51088
1377.56/1381.30	c #Conflicts:     339000 | #Constraints:      52088
1377.56/1381.30	c #Conflicts:     340000 | #Constraints:      53088
1377.56/1381.30	c #Conflicts:     341000 | #Constraints:      54088
1377.56/1381.30	c #Conflicts:     342000 | #Constraints:      55088
1377.56/1381.30	c #Conflicts:     343000 | #Constraints:      56088
1377.56/1381.30	c #Conflicts:     344000 | #Constraints:      57088
1377.56/1381.30	c #Conflicts:     345000 | #Constraints:      58088
1377.56/1381.30	c #Conflicts:     346000 | #Constraints:      59088
1377.56/1381.30	c #Conflicts:     347000 | #Constraints:      60089
1377.56/1381.30	c #Conflicts:     348000 | #Constraints:      61089
1377.56/1381.30	c #Conflicts:     349000 | #Constraints:      62090
1377.56/1381.30	c #Conflicts:     350000 | #Constraints:      63090
1377.56/1381.30	c #Conflicts:     351000 | #Constraints:      64090
1377.56/1381.30	c INPROCESSING
1377.56/1381.30	c GARBAGE COLLECT
1377.56/1381.30	c rational objective 151
1514.54/1518.74	c #Conflicts:     352000 | #Constraints:      42985
1514.54/1518.74	c #Conflicts:     353000 | #Constraints:      43985
1514.54/1518.74	c #Conflicts:     354000 | #Constraints:      44985
1514.54/1518.74	c #Conflicts:     355000 | #Constraints:      45986
1514.54/1518.74	c #Conflicts:     356000 | #Constraints:      46986
1514.54/1518.74	c #Conflicts:     357000 | #Constraints:      47986
1514.54/1518.74	c #Conflicts:     358000 | #Constraints:      48986
1514.54/1518.74	c #Conflicts:     359000 | #Constraints:      49986
1514.54/1518.74	c #Conflicts:     360000 | #Constraints:      50986
1514.54/1518.74	c #Conflicts:     361000 | #Constraints:      51986
1514.54/1518.74	c #Conflicts:     362000 | #Constraints:      52986
1514.54/1518.74	c #Conflicts:     363000 | #Constraints:      53987
1514.54/1518.74	c #Conflicts:     364000 | #Constraints:      54987
1514.54/1518.74	c #Conflicts:     365000 | #Constraints:      55987
1514.54/1518.74	c #Conflicts:     366000 | #Constraints:      56987
1514.54/1518.74	c #Conflicts:     367000 | #Constraints:      57987
1514.54/1518.74	c #Conflicts:     368000 | #Constraints:      58987
1514.54/1518.74	c #Conflicts:     369000 | #Constraints:      59987
1514.54/1518.74	c #Conflicts:     370000 | #Constraints:      60987
1514.54/1518.74	c #Conflicts:     371000 | #Constraints:      61987
1514.54/1518.74	c #Conflicts:     372000 | #Constraints:      62987
1514.54/1518.74	c #Conflicts:     373000 | #Constraints:      63987
1514.54/1518.74	c #Conflicts:     374000 | #Constraints:      64987
1514.54/1518.74	c #Conflicts:     375000 | #Constraints:      65987
1514.54/1518.74	c #Conflicts:     376000 | #Constraints:      66987
1514.54/1518.74	c #Conflicts:     377000 | #Constraints:      67987
1514.54/1518.74	c #Conflicts:     378000 | #Constraints:      68988
1514.54/1518.74	c #Conflicts:     379000 | #Constraints:      69988
1514.54/1518.74	c #Conflicts:     380000 | #Constraints:      70988
1514.54/1518.74	c #Conflicts:     381000 | #Constraints:      71988
1514.54/1518.74	c #Conflicts:     382000 | #Constraints:      72988
1514.54/1518.74	c #Conflicts:     383000 | #Constraints:      73988
1514.54/1518.74	c #Conflicts:     384000 | #Constraints:      74988
1514.54/1518.74	c #Conflicts:     385000 | #Constraints:      75988
1514.54/1518.74	c #Conflicts:     386000 | #Constraints:      76988
1514.54/1518.74	c #Conflicts:     387000 | #Constraints:      77988
1514.54/1518.74	c #Conflicts:     388000 | #Constraints:      78988
1514.54/1518.74	c #Conflicts:     389000 | #Constraints:      79988
1514.54/1518.74	c #Conflicts:     390000 | #Constraints:      80988
1514.54/1518.74	c #Conflicts:     391000 | #Constraints:      81988
1514.54/1518.74	c INPROCESSING
1514.54/1518.74	c GARBAGE COLLECT
1514.54/1518.74	c rational objective 151
1563.59/1567.91	c #Conflicts:     392000 | #Constraints:      51340
1563.59/1567.91	c #Conflicts:     393000 | #Constraints:      52340
1563.59/1567.91	c #Conflicts:     394000 | #Constraints:      53340
1563.59/1567.91	c #Conflicts:     395000 | #Constraints:      54340
1563.59/1567.91	c #Conflicts:     396000 | #Constraints:      55340
1563.59/1567.91	c #Conflicts:     397000 | #Constraints:      56340
1563.59/1567.91	c #Conflicts:     398000 | #Constraints:      57340
1563.59/1567.91	c #Conflicts:     399000 | #Constraints:      58340
1563.59/1567.91	c #Conflicts:     400000 | #Constraints:      59340
1563.59/1567.91	c #Conflicts:     401000 | #Constraints:      60340
1563.59/1567.91	c #Conflicts:     402000 | #Constraints:      61340
1563.59/1567.91	c #Conflicts:     403000 | #Constraints:      62340
1563.59/1567.91	c #Conflicts:     404000 | #Constraints:      63340
1563.59/1567.91	c #Conflicts:     405000 | #Constraints:      64340
1563.59/1567.91	c #Conflicts:     406000 | #Constraints:      65340
1563.59/1567.91	c #Conflicts:     407000 | #Constraints:      66340
1563.59/1567.91	c #Conflicts:     408000 | #Constraints:      67340
1563.59/1567.91	c INPROCESSING
1563.59/1567.91	c GARBAGE COLLECT
1563.59/1567.91	c rational objective 151
1730.47/1735.31	c #Conflicts:     409000 | #Constraints:      44668
1730.47/1735.31	c #Conflicts:     410000 | #Constraints:      45668
1730.47/1735.31	c #Conflicts:     411000 | #Constraints:      46668
1730.47/1735.31	c #Conflicts:     412000 | #Constraints:      47668
1730.47/1735.31	c #Conflicts:     413000 | #Constraints:      48669
1730.47/1735.31	c #Conflicts:     414000 | #Constraints:      49669
1730.47/1735.31	c #Conflicts:     415000 | #Constraints:      50670
1730.47/1735.31	c #Conflicts:     416000 | #Constraints:      51670
1730.47/1735.31	c #Conflicts:     417000 | #Constraints:      52670
1730.47/1735.31	c #Conflicts:     418000 | #Constraints:      53670
1730.47/1735.31	c #Conflicts:     419000 | #Constraints:      54670
1730.47/1735.31	c #Conflicts:     420000 | #Constraints:      55670
1730.47/1735.31	c #Conflicts:     421000 | #Constraints:      56670
1730.47/1735.31	c #Conflicts:     422000 | #Constraints:      57670
1730.47/1735.31	c #Conflicts:     423000 | #Constraints:      58670
1730.47/1735.31	c #Conflicts:     424000 | #Constraints:      59670
1730.47/1735.31	c #Conflicts:     425000 | #Constraints:      60670
1730.47/1735.31	c #Conflicts:     426000 | #Constraints:      61670
1730.47/1735.31	c #Conflicts:     427000 | #Constraints:      62670
1730.47/1735.31	c #Conflicts:     428000 | #Constraints:      63671
1730.47/1735.31	c #Conflicts:     429000 | #Constraints:      64671
1730.47/1735.31	c #Conflicts:     430000 | #Constraints:      65671
1730.47/1735.31	c #Conflicts:     431000 | #Constraints:      66671
1730.47/1735.31	c #Conflicts:     432000 | #Constraints:      67671
1730.47/1735.31	c #Conflicts:     433000 | #Constraints:      68671
1730.47/1735.31	c #Conflicts:     434000 | #Constraints:      69671
1730.47/1735.31	c #Conflicts:     435000 | #Constraints:      70671
1730.47/1735.31	c #Conflicts:     436000 | #Constraints:      71672
1730.47/1735.31	c #Conflicts:     437000 | #Constraints:      72672
1730.47/1735.31	c #Conflicts:     438000 | #Constraints:      73672
1730.47/1735.31	c #Conflicts:     439000 | #Constraints:      74672
1730.47/1735.31	c #Conflicts:     440000 | #Constraints:      75672
1730.47/1735.31	c #Conflicts:     441000 | #Constraints:      76673
1730.47/1735.31	c #Conflicts:     442000 | #Constraints:      77673
1730.47/1735.31	c #Conflicts:     443000 | #Constraints:      78673
1730.47/1735.31	c #Conflicts:     444000 | #Constraints:      79673
1730.47/1735.31	c #Conflicts:     445000 | #Constraints:      80673
1730.47/1735.31	c #Conflicts:     446000 | #Constraints:      81673
1730.47/1735.31	c #Conflicts:     447000 | #Constraints:      82673
1730.47/1735.31	c #Conflicts:     448000 | #Constraints:      83674
1730.47/1735.31	c #Conflicts:     449000 | #Constraints:      84674
1730.47/1735.31	c #Conflicts:     450000 | #Constraints:      85674
1730.47/1735.31	c #Conflicts:     451000 | #Constraints:      86674
1730.47/1735.31	c #Conflicts:     452000 | #Constraints:      87674
1730.47/1735.31	c INPROCESSING
1730.47/1735.31	c GARBAGE COLLECT
1730.47/1735.31	c rational objective 151
1782.21/1787.21	c #Conflicts:     453000 | #Constraints:      54185
1782.21/1787.21	c #Conflicts:     454000 | #Constraints:      55185
1782.21/1787.21	c #Conflicts:     455000 | #Constraints:      56185
1782.21/1787.21	c #Conflicts:     456000 | #Constraints:      57185
1782.21/1787.21	c #Conflicts:     457000 | #Constraints:      58185
1782.21/1787.21	c #Conflicts:     458000 | #Constraints:      59185
1782.21/1787.21	c #Conflicts:     459000 | #Constraints:      60185
1782.21/1787.21	c #Conflicts:     460000 | #Constraints:      61185
1782.21/1787.21	c #Conflicts:     461000 | #Constraints:      62185
1782.21/1787.21	c #Conflicts:     462000 | #Constraints:      63185
1782.21/1787.21	c #Conflicts:     463000 | #Constraints:      64185
1782.21/1787.21	c #Conflicts:     464000 | #Constraints:      65185
1782.21/1787.21	c #Conflicts:     465000 | #Constraints:      66185
1782.21/1787.21	c #Conflicts:     466000 | #Constraints:      67185
1782.21/1787.21	c #Conflicts:     467000 | #Constraints:      68185
1782.21/1787.21	c #Conflicts:     468000 | #Constraints:      69185
1782.21/1787.21	c #Conflicts:     469000 | #Constraints:      70185
1782.21/1787.21	c #Conflicts:     470000 | #Constraints:      71185
1782.21/1787.21	c #Conflicts:     471000 | #Constraints:      72185
1782.21/1787.21	c INPROCESSING
1782.21/1787.21	c GARBAGE COLLECT
1782.21/1787.21	c rational objective 151
2290.39/2297.10	c #Conflicts:     472000 | #Constraints:      47130
2290.39/2297.10	c #Conflicts:     473000 | #Constraints:      48130
2290.39/2297.10	c #Conflicts:     474000 | #Constraints:      49130
2290.39/2297.10	c #Conflicts:     475000 | #Constraints:      50130
2290.39/2297.10	c #Conflicts:     476000 | #Constraints:      51130
2290.39/2297.10	c #Conflicts:     477000 | #Constraints:      52130
2290.39/2297.10	c #Conflicts:     478000 | #Constraints:      53131
2290.39/2297.10	c #Conflicts:     479000 | #Constraints:      54131
2290.39/2297.10	c #Conflicts:     480000 | #Constraints:      55131
2290.39/2297.10	c #Conflicts:     481000 | #Constraints:      56131
2290.39/2297.10	c #Conflicts:     482000 | #Constraints:      57131
2290.39/2297.10	c #Conflicts:     483000 | #Constraints:      58131
2290.39/2297.10	c #Conflicts:     484000 | #Constraints:      59131
2290.39/2297.10	c #Conflicts:     485000 | #Constraints:      60131
2290.39/2297.10	c #Conflicts:     486000 | #Constraints:      61131
2290.39/2297.10	c #Conflicts:     487000 | #Constraints:      62131
2290.39/2297.10	c #Conflicts:     488000 | #Constraints:      63131
2290.39/2297.10	c #Conflicts:     489000 | #Constraints:      64132
2290.39/2297.10	c #Conflicts:     490000 | #Constraints:      65132
2290.39/2297.10	c #Conflicts:     491000 | #Constraints:      66132
2290.39/2297.10	c #Conflicts:     492000 | #Constraints:      67132
2290.39/2297.10	c #Conflicts:     493000 | #Constraints:      68132
2290.39/2297.10	c #Conflicts:     494000 | #Constraints:      69132
2290.39/2297.10	c #Conflicts:     495000 | #Constraints:      70132
2290.39/2297.10	c #Conflicts:     496000 | #Constraints:      71132
2290.39/2297.10	c #Conflicts:     497000 | #Constraints:      72132
2290.39/2297.10	c #Conflicts:     498000 | #Constraints:      73132
2290.39/2297.10	c #Conflicts:     499000 | #Constraints:      74132
2290.39/2297.10	c #Conflicts:     500000 | #Constraints:      75132
2290.39/2297.10	c #Conflicts:     501000 | #Constraints:      76132
2290.39/2297.10	c #Conflicts:     502000 | #Constraints:      77132
2290.39/2297.10	c #Conflicts:     503000 | #Constraints:      78132
2290.39/2297.10	c #Conflicts:     504000 | #Constraints:      79132
2290.39/2297.10	c #Conflicts:     505000 | #Constraints:      80132
2290.39/2297.10	c #Conflicts:     506000 | #Constraints:      81132
2290.39/2297.10	c #Conflicts:     507000 | #Constraints:      82132
2290.39/2297.10	c #Conflicts:     508000 | #Constraints:      83132
2290.39/2297.10	c #Conflicts:     509000 | #Constraints:      84133
2290.39/2297.10	c #Conflicts:     510000 | #Constraints:      85133
2290.39/2297.10	c #Conflicts:     511000 | #Constraints:      86133
2290.39/2297.10	c #Conflicts:     512000 | #Constraints:      87133
2290.39/2297.10	c #Conflicts:     513000 | #Constraints:      88133
2290.39/2297.10	c #Conflicts:     514000 | #Constraints:      89133
2290.39/2297.10	c #Conflicts:     515000 | #Constraints:      90133
2290.39/2297.10	c #Conflicts:     516000 | #Constraints:      91133
2290.39/2297.10	c #Conflicts:     517000 | #Constraints:      92133
2290.39/2297.10	c INPROCESSING
2290.39/2297.10	c GARBAGE COLLECT
2290.39/2297.10	c rational objective 151
2392.77/2399.78	c #Conflicts:     518000 | #Constraints:      56391
2392.77/2399.78	c #Conflicts:     519000 | #Constraints:      57391
2392.77/2399.78	c #Conflicts:     520000 | #Constraints:      58391
2392.77/2399.78	c #Conflicts:     521000 | #Constraints:      59391
2392.77/2399.78	c #Conflicts:     522000 | #Constraints:      60391
2392.77/2399.78	c #Conflicts:     523000 | #Constraints:      61391
2392.77/2399.78	c #Conflicts:     524000 | #Constraints:      62391
2392.77/2399.78	c #Conflicts:     525000 | #Constraints:      63393
2392.77/2399.78	c #Conflicts:     526000 | #Constraints:      64393
2392.77/2399.78	c #Conflicts:     527000 | #Constraints:      65393
2392.77/2399.78	c #Conflicts:     528000 | #Constraints:      66393
2392.77/2399.78	c #Conflicts:     529000 | #Constraints:      67393
2392.77/2399.78	c #Conflicts:     530000 | #Constraints:      68394
2392.77/2399.78	c #Conflicts:     531000 | #Constraints:      69394
2392.77/2399.78	c #Conflicts:     532000 | #Constraints:      70394
2392.77/2399.78	c #Conflicts:     533000 | #Constraints:      71394
2392.77/2399.78	c #Conflicts:     534000 | #Constraints:      72394
2392.77/2399.78	c #Conflicts:     535000 | #Constraints:      73394
2392.77/2399.78	c #Conflicts:     536000 | #Constraints:      74394
2392.77/2399.78	c #Conflicts:     537000 | #Constraints:      75394
2392.77/2399.78	c INPROCESSING
2392.77/2399.78	c GARBAGE COLLECT
2392.77/2399.78	c rational objective 151
2586.97/2594.58	c #Conflicts:     538000 | #Constraints:      48451
2586.97/2594.58	c #Conflicts:     539000 | #Constraints:      49451
2586.97/2594.58	c #Conflicts:     540000 | #Constraints:      50451
2586.97/2594.58	c #Conflicts:     541000 | #Constraints:      51451
2586.97/2594.58	c #Conflicts:     542000 | #Constraints:      52451
2586.97/2594.58	c #Conflicts:     543000 | #Constraints:      53451
2586.97/2594.58	c #Conflicts:     544000 | #Constraints:      54451
2586.97/2594.58	c #Conflicts:     545000 | #Constraints:      55451
2586.97/2594.58	c #Conflicts:     546000 | #Constraints:      56452
2586.97/2594.58	c #Conflicts:     547000 | #Constraints:      57452
2586.97/2594.58	c #Conflicts:     548000 | #Constraints:      58452
2586.97/2594.58	c #Conflicts:     549000 | #Constraints:      59452
2586.97/2594.58	c #Conflicts:     550000 | #Constraints:      60453
2586.97/2594.58	c #Conflicts:     551000 | #Constraints:      61453
2586.97/2594.58	c #Conflicts:     552000 | #Constraints:      62453
2586.97/2594.58	c #Conflicts:     553000 | #Constraints:      63453
2586.97/2594.58	c #Conflicts:     554000 | #Constraints:      64453
2586.97/2594.58	c #Conflicts:     555000 | #Constraints:      65453
2586.97/2594.58	c #Conflicts:     556000 | #Constraints:      66453
2586.97/2594.58	c #Conflicts:     557000 | #Constraints:      67453
2586.97/2594.58	c #Conflicts:     558000 | #Constraints:      68453
2586.97/2594.58	c #Conflicts:     559000 | #Constraints:      69453
2586.97/2594.58	c #Conflicts:     560000 | #Constraints:      70453
2586.97/2594.58	c #Conflicts:     561000 | #Constraints:      71453
2586.97/2594.58	c #Conflicts:     562000 | #Constraints:      72453
2586.97/2594.58	c #Conflicts:     563000 | #Constraints:      73453
2586.97/2594.58	c #Conflicts:     564000 | #Constraints:      74454
2586.97/2594.58	c #Conflicts:     565000 | #Constraints:      75454
2586.97/2594.58	c #Conflicts:     566000 | #Constraints:      76454
2586.97/2594.58	c #Conflicts:     567000 | #Constraints:      77454
2586.97/2594.58	c #Conflicts:     568000 | #Constraints:      78454
2586.97/2594.58	c #Conflicts:     569000 | #Constraints:      79454
2586.97/2594.58	c #Conflicts:     570000 | #Constraints:      80454
2586.97/2594.58	c #Conflicts:     571000 | #Constraints:      81454
2586.97/2594.58	c #Conflicts:     572000 | #Constraints:      82454
2586.97/2594.58	c #Conflicts:     573000 | #Constraints:      83454
2586.97/2594.58	c #Conflicts:     574000 | #Constraints:      84454
2586.97/2594.58	c #Conflicts:     575000 | #Constraints:      85454
2586.97/2594.58	c #Conflicts:     576000 | #Constraints:      86454
2586.97/2594.58	c #Conflicts:     577000 | #Constraints:      87454
2586.97/2594.58	c #Conflicts:     578000 | #Constraints:      88454
2586.97/2594.58	c #Conflicts:     579000 | #Constraints:      89455
2586.97/2594.58	c #Conflicts:     580000 | #Constraints:      90455
2586.97/2594.58	c #Conflicts:     581000 | #Constraints:      91455
2586.97/2594.58	c #Conflicts:     582000 | #Constraints:      92455
2586.97/2594.58	c #Conflicts:     583000 | #Constraints:      93455
2586.97/2594.58	c #Conflicts:     584000 | #Constraints:      94456
2586.97/2594.58	c #Conflicts:     585000 | #Constraints:      95456
2586.97/2594.58	c #Conflicts:     586000 | #Constraints:      96456
2586.97/2594.58	c #Conflicts:     587000 | #Constraints:      97456
2586.97/2594.58	c INPROCESSING
2586.97/2594.58	c GARBAGE COLLECT
2586.97/2594.58	c rational objective 151
2722.01/2729.97	c #Conflicts:     588000 | #Constraints:      59488
2722.01/2729.97	c #Conflicts:     589000 | #Constraints:      60488
2722.01/2729.97	c #Conflicts:     590000 | #Constraints:      61488
2722.01/2729.97	c #Conflicts:     591000 | #Constraints:      62488
2722.01/2729.97	c #Conflicts:     592000 | #Constraints:      63488
2722.01/2729.97	c #Conflicts:     593000 | #Constraints:      64488
2722.01/2729.97	c #Conflicts:     594000 | #Constraints:      65488
2722.01/2729.97	c #Conflicts:     595000 | #Constraints:      66488
2722.01/2729.97	c #Conflicts:     596000 | #Constraints:      67488
2722.01/2729.97	c #Conflicts:     597000 | #Constraints:      68488
2722.01/2729.97	c #Conflicts:     598000 | #Constraints:      69488
2722.01/2729.97	c #Conflicts:     599000 | #Constraints:      70488
2722.01/2729.97	c #Conflicts:     600000 | #Constraints:      71489
2722.01/2729.97	c #Conflicts:     601000 | #Constraints:      72489
2722.01/2729.97	c #Conflicts:     602000 | #Constraints:      73489
2722.01/2729.97	c #Conflicts:     603000 | #Constraints:      74489
2722.01/2729.97	c #Conflicts:     604000 | #Constraints:      75489
2722.01/2729.97	c #Conflicts:     605000 | #Constraints:      76489
2722.01/2729.97	c #Conflicts:     606000 | #Constraints:      77489
2722.01/2729.97	c #Conflicts:     607000 | #Constraints:      78489
2722.01/2729.97	c #Conflicts:     608000 | #Constraints:      79489
2722.01/2729.97	c INPROCESSING
2722.01/2729.97	c GARBAGE COLLECT
2722.01/2729.97	c rational objective 151
2901.94/2910.34	c #Conflicts:     609000 | #Constraints:      51181
2901.94/2910.34	c #Conflicts:     610000 | #Constraints:      52181
2901.94/2910.34	c #Conflicts:     611000 | #Constraints:      53181
2901.94/2910.34	c #Conflicts:     612000 | #Constraints:      54181
2901.94/2910.34	c #Conflicts:     613000 | #Constraints:      55181
2901.94/2910.34	c #Conflicts:     614000 | #Constraints:      56181
2901.94/2910.34	c #Conflicts:     615000 | #Constraints:      57181
2901.94/2910.34	c #Conflicts:     616000 | #Constraints:      58181
2901.94/2910.34	c #Conflicts:     617000 | #Constraints:      59181
2901.94/2910.34	c #Conflicts:     618000 | #Constraints:      60181
2901.94/2910.34	c #Conflicts:     619000 | #Constraints:      61181
2901.94/2910.34	c #Conflicts:     620000 | #Constraints:      62182
2901.94/2910.34	c #Conflicts:     621000 | #Constraints:      63182
2901.94/2910.34	c #Conflicts:     622000 | #Constraints:      64183
2901.94/2910.34	c #Conflicts:     623000 | #Constraints:      65183
2901.94/2910.34	c #Conflicts:     624000 | #Constraints:      66183
2901.94/2910.34	c #Conflicts:     625000 | #Constraints:      67183
2901.94/2910.34	c #Conflicts:     626000 | #Constraints:      68183
2901.94/2910.34	c #Conflicts:     627000 | #Constraints:      69183
2901.94/2910.34	c #Conflicts:     628000 | #Constraints:      70183
2901.94/2910.34	c #Conflicts:     629000 | #Constraints:      71183
2901.94/2910.34	c #Conflicts:     630000 | #Constraints:      72183
2901.94/2910.34	c #Conflicts:     631000 | #Constraints:      73183
2901.94/2910.34	c #Conflicts:     632000 | #Constraints:      74183
2901.94/2910.34	c #Conflicts:     633000 | #Constraints:      75183
2901.94/2910.34	c #Conflicts:     634000 | #Constraints:      76184
2901.94/2910.34	c #Conflicts:     635000 | #Constraints:      77184
2901.94/2910.34	c #Conflicts:     636000 | #Constraints:      78184
2901.94/2910.34	c #Conflicts:     637000 | #Constraints:      79184
2901.94/2910.34	c #Conflicts:     638000 | #Constraints:      80184
2901.94/2910.34	c #Conflicts:     639000 | #Constraints:      81184
2901.94/2910.34	c #Conflicts:     640000 | #Constraints:      82184
2901.94/2910.34	c #Conflicts:     641000 | #Constraints:      83184
2901.94/2910.34	c #Conflicts:     642000 | #Constraints:      84184
2901.94/2910.34	c #Conflicts:     643000 | #Constraints:      85184
2901.94/2910.34	c #Conflicts:     644000 | #Constraints:      86184
2901.94/2910.34	c #Conflicts:     645000 | #Constraints:      87184
2901.94/2910.34	c #Conflicts:     646000 | #Constraints:      88184
2901.94/2910.34	c #Conflicts:     647000 | #Constraints:      89184
2901.94/2910.34	c #Conflicts:     648000 | #Constraints:      90184
2901.94/2910.34	c #Conflicts:     649000 | #Constraints:      91184
2901.94/2910.34	c #Conflicts:     650000 | #Constraints:      92184
2901.94/2910.34	c #Conflicts:     651000 | #Constraints:      93184
2901.94/2910.34	c #Conflicts:     652000 | #Constraints:      94184
2901.94/2910.34	c #Conflicts:     653000 | #Constraints:      95184
2901.94/2910.34	c #Conflicts:     654000 | #Constraints:      96184
2901.94/2910.34	c #Conflicts:     655000 | #Constraints:      97184
2901.94/2910.34	c #Conflicts:     656000 | #Constraints:      98184
2901.94/2910.34	c #Conflicts:     657000 | #Constraints:      99185
2901.94/2910.34	c #Conflicts:     658000 | #Constraints:     100185
2901.94/2910.34	c #Conflicts:     659000 | #Constraints:     101185
2901.94/2910.34	c #Conflicts:     660000 | #Constraints:     102185
2901.94/2910.34	c #Conflicts:     661000 | #Constraints:     103185
2901.94/2910.34	c INPROCESSING
2901.94/2910.34	c GARBAGE COLLECT
2901.94/2910.34	c rational objective 151
3074.34/3083.17	c #Conflicts:     662000 | #Constraints:      62143
3074.34/3083.17	c #Conflicts:     663000 | #Constraints:      63143
3074.34/3083.17	c #Conflicts:     664000 | #Constraints:      64143
3074.34/3083.17	c #Conflicts:     665000 | #Constraints:      65143
3074.34/3083.17	c #Conflicts:     666000 | #Constraints:      66143
3074.34/3083.17	c #Conflicts:     667000 | #Constraints:      67143
3074.34/3083.17	c #Conflicts:     668000 | #Constraints:      68143
3074.34/3083.17	c #Conflicts:     669000 | #Constraints:      69143
3074.34/3083.17	c #Conflicts:     670000 | #Constraints:      70144
3074.34/3083.17	c #Conflicts:     671000 | #Constraints:      71144
3074.34/3083.17	c #Conflicts:     672000 | #Constraints:      72144
3074.34/3083.17	c #Conflicts:     673000 | #Constraints:      73144
3074.34/3083.17	c #Conflicts:     674000 | #Constraints:      74144
3074.34/3083.17	c #Conflicts:     675000 | #Constraints:      75144
3074.34/3083.17	c #Conflicts:     676000 | #Constraints:      76144
3074.34/3083.17	c #Conflicts:     677000 | #Constraints:      77144
3074.34/3083.17	c #Conflicts:     678000 | #Constraints:      78144
3074.34/3083.17	c #Conflicts:     679000 | #Constraints:      79144
3074.34/3083.17	c #Conflicts:     680000 | #Constraints:      80144
3074.34/3083.17	c #Conflicts:     681000 | #Constraints:      81144
3074.34/3083.17	c #Conflicts:     682000 | #Constraints:      82144
3074.34/3083.17	c #Conflicts:     683000 | #Constraints:      83144
3074.34/3083.17	c #Conflicts:     684000 | #Constraints:      84144
3074.34/3083.17	c INPROCESSING
3074.34/3083.17	c GARBAGE COLLECT
3074.34/3083.17	c rational objective 151
3295.49/3304.80	c #Conflicts:     685000 | #Constraints:      54282
3295.49/3304.80	c #Conflicts:     686000 | #Constraints:      55283
3295.49/3304.80	c #Conflicts:     687000 | #Constraints:      56283
3295.49/3304.80	c #Conflicts:     688000 | #Constraints:      57284
3295.49/3304.80	c #Conflicts:     689000 | #Constraints:      58284
3295.49/3304.80	c #Conflicts:     690000 | #Constraints:      59284
3295.49/3304.80	c #Conflicts:     691000 | #Constraints:      60284
3295.49/3304.80	c #Conflicts:     692000 | #Constraints:      61284
3295.49/3304.80	c #Conflicts:     693000 | #Constraints:      62284
3295.49/3304.80	c #Conflicts:     694000 | #Constraints:      63284
3295.49/3304.80	c #Conflicts:     695000 | #Constraints:      64284
3295.49/3304.80	c #Conflicts:     696000 | #Constraints:      65284
3295.49/3304.80	c #Conflicts:     697000 | #Constraints:      66284
3295.49/3304.80	c #Conflicts:     698000 | #Constraints:      67284
3295.49/3304.80	c #Conflicts:     699000 | #Constraints:      68284
3295.49/3304.80	c #Conflicts:     700000 | #Constraints:      69284
3295.49/3304.80	c #Conflicts:     701000 | #Constraints:      70284
3295.49/3304.80	c #Conflicts:     702000 | #Constraints:      71284
3295.49/3304.80	c #Conflicts:     703000 | #Constraints:      72284
3295.49/3304.80	c #Conflicts:     704000 | #Constraints:      73284
3295.49/3304.80	c #Conflicts:     705000 | #Constraints:      74284
3295.49/3304.80	c #Conflicts:     706000 | #Constraints:      75285
3295.49/3304.80	c #Conflicts:     707000 | #Constraints:      76285
3295.49/3304.80	c #Conflicts:     708000 | #Constraints:      77285
3295.49/3304.80	c #Conflicts:     709000 | #Constraints:      78285
3295.49/3304.80	c #Conflicts:     710000 | #Constraints:      79285
3295.49/3304.80	c #Conflicts:     711000 | #Constraints:      80285
3295.49/3304.80	c #Conflicts:     712000 | #Constraints:      81285
3295.49/3304.80	c #Conflicts:     713000 | #Constraints:      82285
3295.49/3304.80	c #Conflicts:     714000 | #Constraints:      83286
3295.49/3304.80	c #Conflicts:     715000 | #Constraints:      84286
3295.49/3304.80	c #Conflicts:     716000 | #Constraints:      85286
3295.49/3304.80	c #Conflicts:     717000 | #Constraints:      86286
3295.49/3304.80	c #Conflicts:     718000 | #Constraints:      87286
3295.49/3304.80	c #Conflicts:     719000 | #Constraints:      88286
3295.49/3304.80	c #Conflicts:     720000 | #Constraints:      89286
3295.49/3304.80	c #Conflicts:     721000 | #Constraints:      90286
3295.49/3304.80	c #Conflicts:     722000 | #Constraints:      91286
3295.49/3304.80	c #Conflicts:     723000 | #Constraints:      92286
3295.49/3304.80	c #Conflicts:     724000 | #Constraints:      93286
3295.49/3304.80	c #Conflicts:     725000 | #Constraints:      94286
3295.49/3304.80	c #Conflicts:     726000 | #Constraints:      95286
3295.49/3304.80	c #Conflicts:     727000 | #Constraints:      96286
3295.49/3304.80	c #Conflicts:     728000 | #Constraints:      97286
3295.49/3304.80	c #Conflicts:     729000 | #Constraints:      98286
3295.49/3304.80	c #Conflicts:     730000 | #Constraints:      99286
3295.49/3304.80	c #Conflicts:     731000 | #Constraints:     100286
3295.49/3304.80	c #Conflicts:     732000 | #Constraints:     101287
3295.49/3304.80	c #Conflicts:     733000 | #Constraints:     102287
3295.49/3304.80	c #Conflicts:     734000 | #Constraints:     103287
3295.49/3304.80	c #Conflicts:     735000 | #Constraints:     104287
3295.49/3304.80	c #Conflicts:     736000 | #Constraints:     105287
3295.49/3304.80	c #Conflicts:     737000 | #Constraints:     106287
3295.49/3304.80	c #Conflicts:     738000 | #Constraints:     107287
3295.49/3304.80	c #Conflicts:     739000 | #Constraints:     108287
3295.49/3304.80	c #Conflicts:     740000 | #Constraints:     109287
3295.49/3304.80	c INPROCESSING
3295.49/3304.80	c GARBAGE COLLECT
3295.49/3304.80	c #Conflicts:     741000 | #Constraints:      65440
3295.49/3304.80	c #Conflicts:     742000 | #Constraints:      66440
3295.49/3304.80	c #Conflicts:     743000 | #Constraints:      67440
3295.49/3304.80	c #Conflicts:     744000 | #Constraints:      68440
3295.49/3304.80	c #Conflicts:     745000 | #Constraints:      69440
3295.49/3304.80	c #Conflicts:     746000 | #Constraints:      70440
3295.49/3304.80	c #Conflicts:     747000 | #Constraints:      71440
3295.49/3304.80	c #Conflicts:     748000 | #Constraints:      72441
3295.49/3304.80	c #Conflicts:     749000 | #Constraints:      73441
3295.49/3304.80	c #Conflicts:     750000 | #Constraints:      74442
3295.49/3304.80	c #Conflicts:     751000 | #Constraints:      75442
3295.49/3304.80	c #Conflicts:     752000 | #Constraints:      76442
3295.49/3304.80	c #Conflicts:     753000 | #Constraints:      77443
3295.49/3304.80	c #Conflicts:     754000 | #Constraints:      78443
3295.49/3304.80	c #Conflicts:     755000 | #Constraints:      79443
3295.49/3304.80	c #Conflicts:     756000 | #Constraints:      80443
3295.49/3304.80	c #Conflicts:     757000 | #Constraints:      81443
3295.49/3304.80	c #Conflicts:     758000 | #Constraints:      82444
3295.49/3304.80	c #Conflicts:     759000 | #Constraints:      83444
3295.49/3304.80	c #Conflicts:     760000 | #Constraints:      84444
3295.49/3304.80	c #Conflicts:     761000 | #Constraints:      85444
3295.49/3304.80	c #Conflicts:     762000 | #Constraints:      86444
3295.49/3304.80	c #Conflicts:     763000 | #Constraints:      87444
3417.80/3427.42	c INPROCESSING
3417.80/3427.42	c GARBAGE COLLECT
3417.80/3427.42	c rational objective 151
3600.08/3610.11	c #Conflicts:     764000 | #Constraints:      55558
3600.08/3610.11	c #Conflicts:     765000 | #Constraints:      56558
3600.08/3610.11	c #Conflicts:     766000 | #Constraints:      57558
3600.08/3610.11	c #Conflicts:     767000 | #Constraints:      58558
3600.08/3610.11	c #Conflicts:     768000 | #Constraints:      59558
3600.08/3610.11	c #Conflicts:     769000 | #Constraints:      60558
3600.08/3610.11	c #Conflicts:     770000 | #Constraints:      61558
3600.08/3610.11	c #Conflicts:     771000 | #Constraints:      62558
3600.08/3610.11	c #Conflicts:     772000 | #Constraints:      63558
3600.08/3610.11	c #Conflicts:     773000 | #Constraints:      64559
3600.08/3610.11	c #Conflicts:     774000 | #Constraints:      65559
3600.08/3610.11	c #Conflicts:     775000 | #Constraints:      66559
3600.08/3610.11	c #Conflicts:     776000 | #Constraints:      67559
3600.08/3610.11	c #Conflicts:     777000 | #Constraints:      68559
3600.08/3610.11	c #Conflicts:     778000 | #Constraints:      69559
3600.08/3610.11	c #Conflicts:     779000 | #Constraints:      70560
3600.08/3610.11	c #Conflicts:     780000 | #Constraints:      71560
3600.08/3610.11	c #Conflicts:     781000 | #Constraints:      72560
3600.08/3610.11	c #Conflicts:     782000 | #Constraints:      73560
3600.08/3610.11	c #Conflicts:     783000 | #Constraints:      74560
3600.08/3610.11	c #Conflicts:     784000 | #Constraints:      75560
3600.08/3610.11	c #Conflicts:     785000 | #Constraints:      76560
3600.08/3610.11	c #Conflicts:     786000 | #Constraints:      77560
3600.08/3610.11	c #Conflicts:     787000 | #Constraints:      78560
3600.08/3610.11	c #Conflicts:     788000 | #Constraints:      79560
3600.08/3610.11	c #Conflicts:     789000 | #Constraints:      80560
3600.08/3610.11	c #Conflicts:     790000 | #Constraints:      81560
3600.08/3610.11	c #Conflicts:     791000 | #Constraints:      82560
3600.08/3610.11	c #Conflicts:     792000 | #Constraints:      83560
3600.08/3610.11	c #Conflicts:     793000 | #Constraints:      84561
3600.08/3610.11	c #Conflicts:     794000 | #Constraints:      85561
3600.08/3610.11	c #Conflicts:     795000 | #Constraints:      86561
3600.08/3610.11	c #Conflicts:     796000 | #Constraints:      87561
3600.08/3610.11	c #Conflicts:     797000 | #Constraints:      88561
3600.08/3610.11	c #Conflicts:     798000 | #Constraints:      89561
3600.08/3610.11	c #Conflicts:     799000 | #Constraints:      90561
3600.08/3610.11	c #Conflicts:     800000 | #Constraints:      91561
3600.08/3610.11	c #Conflicts:     801000 | #Constraints:      92561
3600.08/3610.11	c #Conflicts:     802000 | #Constraints:      93561
3600.08/3610.11	c #Conflicts:     803000 | #Constraints:      94561
3600.08/3610.11	c #Conflicts:     804000 | #Constraints:      95561
3600.08/3610.11	c #Conflicts:     805000 | #Constraints:      96561
3600.08/3610.11	c #Conflicts:     806000 | #Constraints:      97561
3600.08/3610.11	c #Conflicts:     807000 | #Constraints:      98562
3600.08/3610.11	c #Conflicts:     808000 | #Constraints:      99562
3600.08/3610.11	c #Conflicts:     809000 | #Constraints:     100562
3600.08/3610.11	c #Conflicts:     810000 | #Constraints:     101562
3600.08/3610.11	c #Conflicts:     811000 | #Constraints:     102562
3600.08/3610.11	c #Conflicts:     812000 | #Constraints:     103562
3600.08/3610.11	c #Conflicts:     813000 | #Constraints:     104562
3600.08/3610.11	c #Conflicts:     814000 | #Constraints:     105562
3600.08/3610.11	c #Conflicts:     815000 | #Constraints:     106562
3600.08/3610.11	c #Conflicts:     816000 | #Constraints:     107562
3600.08/3610.11	c #Conflicts:     817000 | #Constraints:     108562
3600.08/3610.11	c #Conflicts:     818000 | #Constraints:     109562
3600.08/3610.11	c #Conflicts:     819000 | #Constraints:     110562
3600.08/3610.11	c #Conflicts:     820000 | #Constraints:     111562
3600.08/3610.11	c #Conflicts:     821000 | #Constraints:     112562
3600.08/3610.11	c #Conflicts:     822000 | #Constraints:     113562
3600.08/3610.11	c INPROCESSING
3600.08/3610.11	c GARBAGE COLLECT
3600.08/3610.11	c #Conflicts:     823000 | #Constraints:      67400
3600.08/3610.11	c #Conflicts:     824000 | #Constraints:      68400
3600.08/3610.11	c #Conflicts:     825000 | #Constraints:      69400
3600.08/3610.11	c #Conflicts:     826000 | #Constraints:      70400
3600.08/3610.11	c #Conflicts:     827000 | #Constraints:      71400
3600.08/3610.11	c #Conflicts:     828000 | #Constraints:      72400
3600.08/3610.11	c #Conflicts:     829000 | #Constraints:      73400
3600.08/3610.11	c #Conflicts:     830000 | #Constraints:      74400
3600.08/3610.11	c #Conflicts:     831000 | #Constraints:      75400
3600.08/3610.11	c #Conflicts:     832000 | #Constraints:      76400
3600.08/3610.11	c Program interrupted by user.
3600.08/3610.16	c cpu time 3562.67 s
3600.08/3610.16	c deterministic time 232631304010 2.33e+11
3600.08/3610.16	c optimization time 11.008 s
3600.08/3610.16	c total solve time 3551.44 s
3600.08/3610.16	c core-guided solve time 0 s
3600.08/3610.16	c propagation time 1690.58 s
3600.08/3610.16	c conflict analysis time 601.866 s
3600.08/3610.16	c propagations 633654492
3600.08/3610.16	c resolve steps 38934962
3600.08/3610.16	c decisions 14260287
3600.08/3610.16	c conflicts 832751
3600.08/3610.16	c restarts 1787
3600.08/3610.16	c inprocessing phases 39
3600.08/3610.16	c input clauses 18122
3600.08/3610.16	c input cardinalities 151
3600.08/3610.16	c input general constraints 0
3600.08/3610.16	c input average constraint length 6.43
3600.08/3610.16	c input average constraint degree 1.97
3600.08/3610.16	c learned clauses 529787
3600.08/3610.16	c learned cardinalities 34777
3600.08/3610.16	c learned general constraints 268257
3600.08/3610.16	c learned average constraint length 1145.87
3600.08/3610.16	c learned average constraint degree 760382361.91
3600.08/3610.16	c watched constraints 201559
3600.08/3610.16	c counting constraints 66698
3600.08/3610.16	c gcd simplifications 4076
3600.08/3610.16	c detected cardinalities 4518
3600.08/3610.16	c weakened non-implied lits 206682564
3600.08/3610.16	c weakened non-implying lits 276115
3600.08/3610.16	c original variables 17969
3600.08/3610.16	c clausal propagations 278383693
3600.08/3610.16	c cardinality propagations 216494656
3600.08/3610.16	c watched propagations 44298954
3600.08/3610.16	c counting propagations 86787460
3600.08/3610.16	c watch lookups 11386818746
3600.08/3610.16	c watch backjump lookups 9324589234
3600.08/3610.16	c watch checks 167408727926
3600.08/3610.16	c propagation checks 39815100191
3600.08/3610.16	c constraint additions 3397745467
3600.08/3610.16	c trail pops 648731944
3600.08/3610.16	c formula constraints 18273
3600.08/3610.16	c learned constraints 832679
3600.08/3610.16	c bound constraints 0
3600.08/3610.16	c core-guided constraints 0
3600.08/3610.16	c encountered formula constraints 27065598
3600.08/3610.16	c encountered learned constraints 12700281
3600.08/3610.16	c encountered bound constraints 0
3600.08/3610.16	c encountered core-guided constraints 0
3600.08/3610.16	c LP total time 1928.83 s
3600.08/3610.16	c LP solve time 1925.47 s
3600.08/3610.16	c LP constraints added 21510
3600.08/3610.16	c LP constraints removed 3024
3600.08/3610.16	c LP pivots internal 834848
3600.08/3610.16	c LP pivots root 840874
3600.08/3610.16	c LP calls 103
3600.08/3610.16	c LP optimalities 25
3600.08/3610.16	c LP no pivot count 2
3600.08/3610.16	c LP infeasibilities 71
3600.08/3610.16	c LP valid Farkas constraints 71
3600.08/3610.16	c LP learned Farkas constraints 71
3600.08/3610.16	c LP basis resets 0
3600.08/3610.16	c LP cycling count 0
3600.08/3610.16	c LP singular count 0
3600.08/3610.16	c LP no primal count 0
3600.08/3610.16	c LP no farkas count 0
3600.08/3610.16	c LP other issue count 0
3600.08/3610.16	c LP Gomory cuts 0
3600.08/3610.16	c LP learned cuts 3237
3600.08/3610.16	c LP deleted cuts 3024
3600.08/3610.16	c LP encountered Gomory constraints 0
3600.08/3610.16	c LP encountered Farkas constraints 1624
3600.08/3610.16	c LP encountered learned Farkas constraints 139
3600.08/3610.16	c CG auxiliary variables introduced 0
3600.08/3610.16	c CG solutions found 0
3600.08/3610.16	c CG cores constructed 0
3600.08/3610.16	c CG core cardinality constraints returned 0
3600.08/3610.16	c CG unit cores 0
3600.08/3610.16	c CG single cores 0
3600.08/3610.16	c CG blocks removed during cardinality reduction 0
3600.08/3610.16	c CG first core best 0
3600.08/3610.16	c CG decision core best 0
3600.08/3610.16	c CG core reduction tie 0
3600.08/3610.16	c CG core degree average 0.00
3600.08/3610.16	c CG core slack average 0.00
3600.08/3610.16	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: 64059 MiB (45614 MiB free)
  memory of node 1: 64510 MiB (53761 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100335 s]*
/proc/loadavg: 4.20 4.16 4.11 6/246 367970
/proc/meminfo: memFree=101754956/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=43116 memory=10432 CPUtime=0.09 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 2243 0 0 0 7 2 0 0 20 0 1 0 42924261 44150784 2608 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 10779 2608 1359 992 0 2637 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43116 KiB
Current children cumulated memory: 10432 KiB

[startup+0.212835 s]*
/proc/loadavg: 4.20 4.16 4.11 6/246 367970
/proc/meminfo: memFree=101751476/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=43652 memory=13004 CPUtime=0.2 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 2388 0 0 0 16 4 0 0 20 0 1 0 42924261 44699648 3251 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 10913 3251 1359 992 0 2771 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43652 KiB
Current children cumulated memory: 13004 KiB

[startup+0.312403 s]*
/proc/loadavg: 4.20 4.16 4.11 5/246 367970
/proc/meminfo: memFree=101732436/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=61172 memory=31668 CPUtime=0.29 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 7854 0 0 0 23 6 0 0 20 0 1 0 42924261 62640128 7917 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 15293 7917 1657 992 0 7151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61172 KiB
Current children cumulated memory: 31668 KiB

[startup+0.700277 s]
/proc/loadavg: 4.20 4.16 4.11 4/246 367970
/proc/meminfo: memFree=101723724/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=70064 memory=37388 CPUtime=0.67 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 9269 0 0 0 60 7 0 0 20 0 1 0 42924261 71745536 9347 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 17516 9347 1705 992 0 9374 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70064 KiB
Current children cumulated memory: 37388 KiB

[startup+1.50029 s]
/proc/loadavg: 4.20 4.16 4.11 5/244 367984
/proc/meminfo: memFree=102059584/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=72188 memory=40020 CPUtime=1.47 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 9947 0 0 0 139 8 0 0 20 0 1 0 42924261 73920512 10005 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 18047 10005 1705 992 0 9905 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 40020 KiB

[startup+3.11259 s]
/proc/loadavg: 4.20 4.16 4.11 5/241 367997
/proc/meminfo: memFree=102044172/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=72552 memory=42836 CPUtime=3.07 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 10571 0 0 0 289 18 0 0 20 0 1 0 42924261 74293248 10709 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 18138 10709 1753 992 0 9996 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 72552 KiB
Current children cumulated memory: 42836 KiB

[startup+6.30027 s]
/proc/loadavg: 4.18 4.16 4.11 5/241 367999
/proc/meminfo: memFree=102004052/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=76780 memory=46752 CPUtime=6.26 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 11498 0 0 0 605 21 0 0 20 0 1 0 42924261 78622720 11688 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 19195 11688 1813 992 0 11053 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 46752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.15 4.11 5/241 367999
/proc/meminfo: memFree=101930268/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=80660 memory=49384 CPUtime=12.65 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 12201 0 0 0 1232 33 0 0 20 0 1 0 42924261 82595840 12346 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 20165 12346 1813 992 0 12023 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80660 KiB
Current children cumulated memory: 49384 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.16 4.11 5/246 368022
/proc/meminfo: memFree=102093564/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=111336 memory=69988 CPUtime=25.42 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 15752 0 0 0 2494 48 0 0 20 0 1 0 42924261 114008064 17497 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 27834 17497 1845 992 0 19692 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 111336 KiB
Current children cumulated memory: 69988 KiB

[startup+51.1127 s]
/proc/loadavg: 4.13 4.15 4.11 5/246 368025
/proc/meminfo: memFree=101918472/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=120488 memory=79400 CPUtime=50.98 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 17603 0 0 0 4995 103 0 0 20 0 1 0 42924261 123379712 19850 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 30122 19850 1845 992 0 21980 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 79400 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/245 368033
/proc/meminfo: memFree=101562040/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=155428 memory=117608 CPUtime=102.05 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 22052 0 0 0 10011 194 0 0 20 0 1 0 42924261 159158272 29402 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 38857 29402 1845 992 0 30715 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 155428 KiB
Current children cumulated memory: 117608 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/245 368044
/proc/meminfo: memFree=101265560/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=173940 memory=137028 CPUtime=161.91 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 26403 0 0 0 15901 290 0 0 20 0 1 0 42924261 178114560 34257 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 43485 34257 1845 992 0 35343 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 173940 KiB
Current children cumulated memory: 137028 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/246 368055
/proc/meminfo: memFree=100665500/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=205480 memory=152188 CPUtime=221.77 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 27749 0 0 0 21852 325 0 0 20 0 1 0 42924261 210411520 38047 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 51370 38047 1845 992 0 43228 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 205480 KiB
Current children cumulated memory: 152188 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/247 368066
/proc/meminfo: memFree=100049856/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=259916 memory=199624 CPUtime=281.62 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 29448 0 0 0 27740 422 0 0 20 0 1 0 42924261 266153984 49906 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 64979 49906 1845 992 0 56837 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 259916 KiB
Current children cumulated memory: 199624 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/247 368080
/proc/meminfo: memFree=99155000/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=261744 memory=200940 CPUtime=341.44 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 29764 0 0 0 33700 444 0 0 20 0 1 0 42924261 268025856 50235 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 65436 50235 1845 992 0 57294 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 261744 KiB
Current children cumulated memory: 200940 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/247 368091
/proc/meminfo: memFree=98900968/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=262912 memory=202500 CPUtime=401.26 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 30091 0 0 0 39664 462 0 0 20 0 1 0 42924261 269221888 50625 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 65728 50625 1845 992 0 57586 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 262912 KiB
Current children cumulated memory: 202500 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/247 368101
/proc/meminfo: memFree=98254212/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=274368 memory=217248 CPUtime=461.08 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 32898 0 0 0 45546 562 0 0 20 0 1 0 42924261 280952832 54312 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 68592 54312 1845 992 0 60450 0

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

Current children cumulated memory: 1423500 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.16 4.20 5/247 369173
/proc/meminfo: memFree=91039424/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984080 memory=1422224 CPUtime=2913.91 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 129429 0 0 0 288287 3104 0 0 20 0 1 0 42924261 2031697920 355556 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496020 355556 1845 992 0 487878 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 1984080 KiB
Current children cumulated memory: 1422224 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.20 6/248 369185
/proc/meminfo: memFree=90794208/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984080 memory=1423772 CPUtime=2973.78 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 130100 0 0 0 294215 3163 0 0 20 0 1 0 42924261 2031697920 355943 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496020 355943 1845 992 0 487878 0
Current children cumulated CPU time: 2973.78 s
Current children cumulated vsize: 1984080 KiB
Current children cumulated memory: 1423772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.14 4.19 5/246 369577
/proc/meminfo: memFree=89671764/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984332 memory=1424348 CPUtime=3033.63 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 130333 0 0 0 300181 3182 0 0 20 0 1 0 42924261 2031955968 356087 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496083 356087 1845 992 0 487941 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 1984332 KiB
Current children cumulated memory: 1424348 KiB

[startup+3102.3 s]
/proc/loadavg: 4.01 4.12 4.17 5/246 370103
/proc/meminfo: memFree=95703812/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984464 memory=1424692 CPUtime=3093.47 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 130663 0 0 0 306112 3235 0 0 20 0 1 0 42924261 2032091136 356173 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496116 356173 1845 992 0 487974 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1424692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.17 6/248 370304
/proc/meminfo: memFree=95372104/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984464 memory=1424692 CPUtime=3153.34 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 131134 0 0 0 312031 3303 0 0 20 0 1 0 42924261 2032091136 356173 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496116 356173 1845 992 0 487974 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1424692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.10 4.16 5/247 370481
/proc/meminfo: memFree=94946112/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984464 memory=1424692 CPUtime=3213.19 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 131568 0 0 0 317964 3355 0 0 20 0 1 0 42924261 2032091136 356173 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496116 356173 1845 992 0 487974 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1424692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.16 10/249 370493
/proc/meminfo: memFree=94594964/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984464 memory=1424692 CPUtime=3273.05 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 131994 0 0 0 323876 3429 0 0 20 0 1 0 42924261 2032091136 356173 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496116 356173 1845 992 0 487974 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1424692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/250 370562
/proc/meminfo: memFree=94386696/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984684 memory=1424824 CPUtime=3332.9 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 132261 0 0 0 329818 3472 0 0 20 0 1 0 42924261 2032316416 356206 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496171 356206 1845 992 0 488029 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 1984684 KiB
Current children cumulated memory: 1424824 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/250 370573
/proc/meminfo: memFree=94212768/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984684 memory=1425028 CPUtime=3392.75 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 132361 0 0 0 335781 3494 0 0 20 0 1 0 42924261 2032316416 356257 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496171 356257 1845 992 0 488029 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 1984684 KiB
Current children cumulated memory: 1425028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.15 5/250 370583
/proc/meminfo: memFree=93880912/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984816 memory=1425104 CPUtime=3452.62 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 132936 0 0 0 341695 3567 0 0 20 0 1 0 42924261 2032451584 356276 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496204 356276 1845 992 0 488062 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1425104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/249 370593
/proc/meminfo: memFree=93590668/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984816 memory=1425104 CPUtime=3512.47 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 133469 0 0 0 347596 3651 0 0 20 0 1 0 42924261 2032451584 356276 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496204 356276 1845 992 0 488062 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1425104 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.14 5/249 370604
/proc/meminfo: memFree=93165124/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1984816 memory=1425104 CPUtime=3572.34 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 133999 0 0 0 353524 3710 0 0 20 0 1 0 42924261 2032451584 356276 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496204 356276 1845 992 0 488062 0
Current children cumulated CPU time: 3572.34 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1425104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.11 4.11 4.14 5/245 370610
/proc/meminfo: memFree=93007692/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1985048 memory=1425132 CPUtime=3600.08 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 134251 0 0 0 356266 3742 0 0 20 0 1 0 42924261 2032689152 356283 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496262 356283 1845 992 0 488120 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1985048 KiB
Current children cumulated memory: 1425132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3562.67 s, system=37.4389 s

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

[startup+3610.11 s]
/proc/loadavg: 4.11 4.11 4.14 5/245 370610
/proc/meminfo: memFree=93007692/131655788 swapFree=131070704/131071996
[pid=367969] ppid=367966 vsize=1985048 memory=1425132 CPUtime=3600.08 cores=1,3
/proc/367969/stat : 367969 (roundingsat) R 367966 367969 364870 0 -1 4194304 134251 0 0 0 356266 3742 0 0 20 0 1 0 42924261 2032689152 356283 134679101440 4194304 8254357 140722975538224 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28221440 140722975540059 140722975540321 140722975540321 140722975547337 0
/proc/367969/statm: 496262 356283 1845 992 0 488120 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1985048 KiB
Current children cumulated memory: 1425132 KiB

Child status: 0

Real time (s): 3610.17
CPU time (s): 3600.11
CPU user time (s): 3562.67
CPU system time (s): 37.4389
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 1985048
Max. memory (cumulated for all children) (KiB): 1425132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.67
system time used= 37.4389
maximum resident set size= 1425132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15137288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 779
involuntary context switches= 4046


# summary of solver processes directly reported to runsolver:
#   pid: 367969
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3562.67
#   total CPU system time (s): 37.4389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0922 second user time and 33.1571 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-27 10:35:49
IDJOB=4460676
IDBENCH=158279
IDSOLVER=3086
FILE ID=nodeC008/4460676-1722069349
RUNJOBID= nodeC008-1722064837-364882
SLURM_JOB_ID= 8248110
Free space on /tmp= 723636 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K151.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-4460676-1722069349/watcher-4460676-1722069349 -o /tmp/evaluation-result-4460676-1722069349/solver-4460676-1722069349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364882 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460676-1722069349 --lp-cut-gomory=0 HOME/instance-4460676-1722069349.opb

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

MD5SUM BENCH= abcade21393c5164863b40206a5f4f64
RANDOM SEED=1882266722

nodeC008.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		: 3657.402
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.19
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.128
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.33
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.289
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.19
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.123
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.33
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.801
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.19
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		: 3662.923
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.33
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.379
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.19
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.374
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        101762412 kB
MemAvailable:   128137012 kB
Buffers:          375236 kB
Cached:         26753520 kB
SwapCached:          732 kB
Active:          2962240 kB
Inactive:       26201944 kB
Active(anon):       1620 kB
Inactive(anon):  2087716 kB
Active(file):    2960620 kB
Inactive(file): 24114228 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             71696 kB
Writeback:             0 kB
AnonPages:       2034808 kB
Mapped:           131360 kB
Shmem:             53860 kB
KReclaimable:     279568 kB
Slab:             402888 kB
SReclaimable:     279568 kB
SUnreclaim:       123320 kB
KernelStack:        3968 kB
PageTables:        13644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2500212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1355776 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-27 11:35:59