Trace number 4460679

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.03 3608.83

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K165.opb
MD5SUM75fbe782de7ac9ce41dec078153ff02c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark179.209
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19635
Total number of constraints19967
Number of constraints which are clauses19802
Number of constraints which are cardinality constraints (but not clauses)165
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint165
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 166
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.09/0.10	c #variables 19635 #constraints 19967
93.05/93.36	c #Conflicts:       1000 | #Constraints:      20966
93.05/93.36	c #Conflicts:       2000 | #Constraints:      21966
93.05/93.36	c INPROCESSING
93.05/93.36	c GARBAGE COLLECT
93.05/93.36	c #Conflicts:       3000 | #Constraints:      21219
93.05/93.36	c #Conflicts:       4000 | #Constraints:      22219
93.05/93.36	c INPROCESSING
93.05/93.36	c GARBAGE COLLECT
93.05/93.36	c #Conflicts:       5000 | #Constraints:      21712
93.05/93.36	c #Conflicts:       6000 | #Constraints:      22712
93.05/93.36	c INPROCESSING
93.05/93.36	c GARBAGE COLLECT
93.05/93.36	c #Conflicts:       7000 | #Constraints:      21816
93.05/93.36	c #Conflicts:       8000 | #Constraints:      22816
93.05/93.36	c #Conflicts:       9000 | #Constraints:      23816
93.05/93.36	c #Conflicts:      10000 | #Constraints:      24816
93.05/93.36	c #Conflicts:      11000 | #Constraints:      25816
93.05/93.36	c #Conflicts:      12000 | #Constraints:      26817
93.05/93.36	c INPROCESSING
93.05/93.36	c GARBAGE COLLECT
93.05/93.36	c #Conflicts:      13000 | #Constraints:      23821
93.05/93.36	c #Conflicts:      14000 | #Constraints:      24821
93.05/93.36	c #Conflicts:      15000 | #Constraints:      25821
93.05/93.36	c #Conflicts:      16000 | #Constraints:      26821
93.05/93.36	c INPROCESSING
93.05/93.36	c GARBAGE COLLECT
93.05/93.36	c #Conflicts:      17000 | #Constraints:      24002
93.05/93.36	c #Conflicts:      18000 | #Constraints:      25002
93.05/93.36	c #Conflicts:      19000 | #Constraints:      26002
93.05/93.36	c #Conflicts:      20000 | #Constraints:      27002
93.05/93.36	c #Conflicts:      21000 | #Constraints:      28002
93.05/93.36	c #Conflicts:      22000 | #Constraints:      29002
93.05/93.36	c #Conflicts:      23000 | #Constraints:      30002
93.05/93.36	c #Conflicts:      24000 | #Constraints:      31002
93.05/93.36	c #Conflicts:      25000 | #Constraints:      32002
93.05/93.36	c INPROCESSING
93.05/93.36	c GARBAGE COLLECT
93.05/93.36	c rational objective 165
113.71/114.07	c #Conflicts:      26000 | #Constraints:      26537
113.71/114.07	c #Conflicts:      27000 | #Constraints:      27537
113.71/114.07	c #Conflicts:      28000 | #Constraints:      28537
113.71/114.07	c #Conflicts:      29000 | #Constraints:      29537
113.71/114.07	c #Conflicts:      30000 | #Constraints:      30537
113.71/114.07	c INPROCESSING
113.71/114.07	c GARBAGE COLLECT
113.71/114.07	c rational objective 165
156.21/156.60	c #Conflicts:      31000 | #Constraints:      25971
156.21/156.60	c #Conflicts:      32000 | #Constraints:      26971
156.21/156.60	c #Conflicts:      33000 | #Constraints:      27971
156.21/156.60	c #Conflicts:      34000 | #Constraints:      28971
156.21/156.60	c #Conflicts:      35000 | #Constraints:      29971
156.21/156.60	c #Conflicts:      36000 | #Constraints:      30971
156.21/156.60	c #Conflicts:      37000 | #Constraints:      31971
156.21/156.60	c #Conflicts:      38000 | #Constraints:      32971
156.21/156.60	c #Conflicts:      39000 | #Constraints:      33971
156.21/156.60	c #Conflicts:      40000 | #Constraints:      34971
156.21/156.60	c #Conflicts:      41000 | #Constraints:      35971
156.21/156.60	c #Conflicts:      42000 | #Constraints:      36971
156.21/156.60	c #Conflicts:      43000 | #Constraints:      37971
156.21/156.60	c INPROCESSING
156.21/156.60	c GARBAGE COLLECT
156.21/156.60	c rational objective 165
178.16/178.66	c #Conflicts:      44000 | #Constraints:      29945
178.16/178.66	c #Conflicts:      45000 | #Constraints:      30945
178.16/178.66	c #Conflicts:      46000 | #Constraints:      31945
178.16/178.66	c #Conflicts:      47000 | #Constraints:      32945
178.16/178.66	c #Conflicts:      48000 | #Constraints:      33945
178.16/178.66	c #Conflicts:      49000 | #Constraints:      34945
178.16/178.66	c INPROCESSING
178.16/178.66	c GARBAGE COLLECT
178.16/178.66	c rational objective 165
224.64/225.24	c #Conflicts:      50000 | #Constraints:      28476
224.64/225.24	c #Conflicts:      51000 | #Constraints:      29476
224.64/225.24	c #Conflicts:      52000 | #Constraints:      30476
224.64/225.24	c #Conflicts:      53000 | #Constraints:      31476
224.64/225.24	c #Conflicts:      54000 | #Constraints:      32476
224.64/225.24	c #Conflicts:      55000 | #Constraints:      33476
224.64/225.24	c #Conflicts:      56000 | #Constraints:      34476
224.64/225.24	c #Conflicts:      57000 | #Constraints:      35476
224.64/225.24	c #Conflicts:      58000 | #Constraints:      36476
224.64/225.24	c #Conflicts:      59000 | #Constraints:      37476
224.64/225.24	c #Conflicts:      60000 | #Constraints:      38476
224.64/225.24	c #Conflicts:      61000 | #Constraints:      39476
224.64/225.24	c #Conflicts:      62000 | #Constraints:      40476
224.64/225.24	c #Conflicts:      63000 | #Constraints:      41476
224.64/225.24	c #Conflicts:      64000 | #Constraints:      42476
224.64/225.24	c #Conflicts:      65000 | #Constraints:      43476
224.64/225.24	c INPROCESSING
224.64/225.24	c GARBAGE COLLECT
224.64/225.24	c rational objective 165
396.23/397.25	c #Conflicts:      66000 | #Constraints:      32879
396.23/397.25	c #Conflicts:      67000 | #Constraints:      33879
396.23/397.25	c #Conflicts:      68000 | #Constraints:      34879
396.23/397.25	c #Conflicts:      69000 | #Constraints:      35879
396.23/397.25	c #Conflicts:      70000 | #Constraints:      36879
396.23/397.25	c #Conflicts:      71000 | #Constraints:      37880
396.23/397.25	c #Conflicts:      72000 | #Constraints:      38880
396.23/397.25	c INPROCESSING
396.23/397.25	c GARBAGE COLLECT
396.23/397.25	c #Conflicts:      73000 | #Constraints:      30936
396.23/397.25	c #Conflicts:      74000 | #Constraints:      31936
396.23/397.25	c #Conflicts:      75000 | #Constraints:      32936
396.23/397.25	c #Conflicts:      76000 | #Constraints:      33936
396.23/397.25	c #Conflicts:      77000 | #Constraints:      34936
396.23/397.25	c #Conflicts:      78000 | #Constraints:      35937
396.23/397.25	c #Conflicts:      79000 | #Constraints:      36937
396.23/397.25	c #Conflicts:      80000 | #Constraints:      37937
396.23/397.25	c #Conflicts:      81000 | #Constraints:      38937
396.23/397.25	c #Conflicts:      82000 | #Constraints:      39937
396.23/397.25	c #Conflicts:      83000 | #Constraints:      40937
396.23/397.25	c #Conflicts:      84000 | #Constraints:      41937
396.23/397.25	c #Conflicts:      85000 | #Constraints:      42937
396.23/397.25	c #Conflicts:      86000 | #Constraints:      43937
396.23/397.25	c #Conflicts:      87000 | #Constraints:      44937
396.23/397.25	c #Conflicts:      88000 | #Constraints:      45937
396.23/397.25	c #Conflicts:      89000 | #Constraints:      46937
396.23/397.25	c #Conflicts:      90000 | #Constraints:      47937
396.23/397.25	c #Conflicts:      91000 | #Constraints:      48937
396.23/397.25	c INPROCESSING
396.23/397.25	c GARBAGE COLLECT
396.23/397.25	c rational objective 165
681.67/683.39	c #Conflicts:      92000 | #Constraints:      35658
681.67/683.39	c #Conflicts:      93000 | #Constraints:      36658
681.67/683.39	c #Conflicts:      94000 | #Constraints:      37658
681.67/683.39	c #Conflicts:      95000 | #Constraints:      38658
681.67/683.39	c #Conflicts:      96000 | #Constraints:      39658
681.67/683.39	c #Conflicts:      97000 | #Constraints:      40658
681.67/683.39	c #Conflicts:      98000 | #Constraints:      41658
681.67/683.39	c #Conflicts:      99000 | #Constraints:      42658
681.67/683.39	c #Conflicts:     100000 | #Constraints:      43658
681.67/683.39	c INPROCESSING
681.67/683.39	c GARBAGE COLLECT
681.67/683.39	c #Conflicts:     101000 | #Constraints:      33397
681.67/683.39	c #Conflicts:     102000 | #Constraints:      34397
681.67/683.39	c #Conflicts:     103000 | #Constraints:      35397
681.67/683.39	c #Conflicts:     104000 | #Constraints:      36397
681.67/683.39	c #Conflicts:     105000 | #Constraints:      37397
681.67/683.39	c #Conflicts:     106000 | #Constraints:      38397
681.67/683.39	c #Conflicts:     107000 | #Constraints:      39398
681.67/683.39	c #Conflicts:     108000 | #Constraints:      40398
681.67/683.39	c #Conflicts:     109000 | #Constraints:      41398
681.67/683.39	c #Conflicts:     110000 | #Constraints:      42398
681.67/683.39	c #Conflicts:     111000 | #Constraints:      43398
681.67/683.39	c #Conflicts:     112000 | #Constraints:      44399
681.67/683.39	c #Conflicts:     113000 | #Constraints:      45399
681.67/683.39	c #Conflicts:     114000 | #Constraints:      46399
681.67/683.39	c #Conflicts:     115000 | #Constraints:      47399
681.67/683.39	c #Conflicts:     116000 | #Constraints:      48400
681.67/683.39	c #Conflicts:     117000 | #Constraints:      49400
681.67/683.39	c #Conflicts:     118000 | #Constraints:      50400
681.67/683.39	c #Conflicts:     119000 | #Constraints:      51400
681.67/683.39	c #Conflicts:     120000 | #Constraints:      52400
681.67/683.39	c #Conflicts:     121000 | #Constraints:      53400
681.67/683.39	c INPROCESSING
681.67/683.39	c GARBAGE COLLECT
681.67/683.39	c #Conflicts:     122000 | #Constraints:      37685
681.67/683.39	c #Conflicts:     123000 | #Constraints:      38685
681.67/683.39	c #Conflicts:     124000 | #Constraints:      39685
681.67/683.39	c #Conflicts:     125000 | #Constraints:      40685
681.67/683.39	c #Conflicts:     126000 | #Constraints:      41685
681.67/683.39	c #Conflicts:     127000 | #Constraints:      42686
681.67/683.39	c #Conflicts:     128000 | #Constraints:      43686
681.67/683.39	c #Conflicts:     129000 | #Constraints:      44686
681.67/683.39	c #Conflicts:     130000 | #Constraints:      45686
681.67/683.39	c #Conflicts:     131000 | #Constraints:      46686
681.67/683.39	c #Conflicts:     132000 | #Constraints:      47686
681.67/683.39	c INPROCESSING
681.67/683.39	c GARBAGE COLLECT
681.67/683.39	c #Conflicts:     133000 | #Constraints:      36217
681.67/683.39	c #Conflicts:     134000 | #Constraints:      37217
681.67/683.39	c #Conflicts:     135000 | #Constraints:      38217
681.67/683.39	c #Conflicts:     136000 | #Constraints:      39217
681.67/683.39	c #Conflicts:     137000 | #Constraints:      40217
681.67/683.39	c #Conflicts:     138000 | #Constraints:      41217
681.67/683.39	c #Conflicts:     139000 | #Constraints:      42217
681.67/683.39	c #Conflicts:     140000 | #Constraints:      43217
681.67/683.39	c #Conflicts:     141000 | #Constraints:      44217
681.67/683.39	c #Conflicts:     142000 | #Constraints:      45217
681.67/683.39	c #Conflicts:     143000 | #Constraints:      46217
681.67/683.39	c #Conflicts:     144000 | #Constraints:      47217
681.67/683.39	c #Conflicts:     145000 | #Constraints:      48217
681.67/683.39	c #Conflicts:     146000 | #Constraints:      49217
681.67/683.39	c #Conflicts:     147000 | #Constraints:      50217
681.67/683.39	c #Conflicts:     148000 | #Constraints:      51217
681.67/683.39	c #Conflicts:     149000 | #Constraints:      52217
681.67/683.39	c #Conflicts:     150000 | #Constraints:      53218
681.67/683.39	c #Conflicts:     151000 | #Constraints:      54218
681.67/683.39	c #Conflicts:     152000 | #Constraints:      55218
681.67/683.39	c #Conflicts:     153000 | #Constraints:      56218
681.67/683.39	c #Conflicts:     154000 | #Constraints:      57218
681.67/683.39	c #Conflicts:     155000 | #Constraints:      58218
681.67/683.39	c #Conflicts:     156000 | #Constraints:      59218
681.67/683.39	c INPROCESSING
681.67/683.39	c GARBAGE COLLECT
681.67/683.39	c #Conflicts:     157000 | #Constraints:      40720
681.67/683.39	c #Conflicts:     158000 | #Constraints:      41720
681.67/683.39	c #Conflicts:     159000 | #Constraints:      42720
681.67/683.39	c #Conflicts:     160000 | #Constraints:      43720
681.67/683.39	c #Conflicts:     161000 | #Constraints:      44720
681.67/683.39	c #Conflicts:     162000 | #Constraints:      45720
681.67/683.39	c #Conflicts:     163000 | #Constraints:      46720
681.67/683.39	c #Conflicts:     164000 | #Constraints:      47720
681.67/683.39	c #Conflicts:     165000 | #Constraints:      48720
681.67/683.39	c #Conflicts:     166000 | #Constraints:      49720
681.67/683.39	c #Conflicts:     167000 | #Constraints:      50720
681.67/683.39	c #Conflicts:     168000 | #Constraints:      51720
850.28/852.33	c INPROCESSING
850.28/852.33	c GARBAGE COLLECT
850.28/852.33	c #Conflicts:     169000 | #Constraints:      38183
850.28/852.33	c #Conflicts:     170000 | #Constraints:      39183
850.28/852.33	c #Conflicts:     171000 | #Constraints:      40183
850.28/852.33	c #Conflicts:     172000 | #Constraints:      41183
850.28/852.33	c #Conflicts:     173000 | #Constraints:      42183
850.28/852.33	c #Conflicts:     174000 | #Constraints:      43183
850.28/852.33	c #Conflicts:     175000 | #Constraints:      44183
850.28/852.33	c #Conflicts:     176000 | #Constraints:      45183
850.28/852.33	c #Conflicts:     177000 | #Constraints:      46183
850.28/852.33	c #Conflicts:     178000 | #Constraints:      47183
850.28/852.33	c #Conflicts:     179000 | #Constraints:      48183
850.28/852.33	c #Conflicts:     180000 | #Constraints:      49183
850.28/852.33	c #Conflicts:     181000 | #Constraints:      50183
850.28/852.33	c #Conflicts:     182000 | #Constraints:      51183
850.28/852.33	c #Conflicts:     183000 | #Constraints:      52183
850.28/852.33	c #Conflicts:     184000 | #Constraints:      53183
850.28/852.33	c #Conflicts:     185000 | #Constraints:      54183
850.28/852.33	c #Conflicts:     186000 | #Constraints:      55183
850.28/852.33	c #Conflicts:     187000 | #Constraints:      56183
850.28/852.33	c #Conflicts:     188000 | #Constraints:      57183
850.28/852.33	c #Conflicts:     189000 | #Constraints:      58183
850.28/852.33	c #Conflicts:     190000 | #Constraints:      59183
850.28/852.33	c #Conflicts:     191000 | #Constraints:      60183
850.28/852.33	c #Conflicts:     192000 | #Constraints:      61183
850.28/852.33	c #Conflicts:     193000 | #Constraints:      62183
850.28/852.33	c #Conflicts:     194000 | #Constraints:      63183
850.28/852.33	c #Conflicts:     195000 | #Constraints:      64183
850.28/852.33	c #Conflicts:     196000 | #Constraints:      65183
850.28/852.33	c INPROCESSING
850.28/852.33	c GARBAGE COLLECT
850.28/852.33	c #Conflicts:     197000 | #Constraints:      43870
850.28/852.33	c #Conflicts:     198000 | #Constraints:      44870
850.28/852.33	c #Conflicts:     199000 | #Constraints:      45870
850.28/852.33	c #Conflicts:     200000 | #Constraints:      46871
850.28/852.33	c #Conflicts:     201000 | #Constraints:      47871
850.28/852.33	c #Conflicts:     202000 | #Constraints:      48871
850.28/852.33	c #Conflicts:     203000 | #Constraints:      49871
850.28/852.33	c #Conflicts:     204000 | #Constraints:      50871
850.28/852.33	c #Conflicts:     205000 | #Constraints:      51871
850.28/852.33	c #Conflicts:     206000 | #Constraints:      52871
850.28/852.33	c #Conflicts:     207000 | #Constraints:      53871
850.28/852.33	c #Conflicts:     208000 | #Constraints:      54871
850.28/852.33	c #Conflicts:     209000 | #Constraints:      55871
850.28/852.33	c INPROCESSING
850.28/852.33	c GARBAGE COLLECT
850.28/852.33	c rational objective 165
1063.28/1065.82	c #Conflicts:     210000 | #Constraints:      40649
1063.28/1065.82	c #Conflicts:     211000 | #Constraints:      41649
1063.28/1065.82	c #Conflicts:     212000 | #Constraints:      42649
1063.28/1065.82	c #Conflicts:     213000 | #Constraints:      43649
1063.28/1065.82	c #Conflicts:     214000 | #Constraints:      44649
1063.28/1065.82	c #Conflicts:     215000 | #Constraints:      45649
1063.28/1065.82	c #Conflicts:     216000 | #Constraints:      46650
1063.28/1065.82	c #Conflicts:     217000 | #Constraints:      47650
1063.28/1065.82	c #Conflicts:     218000 | #Constraints:      48651
1063.28/1065.82	c #Conflicts:     219000 | #Constraints:      49651
1063.28/1065.82	c #Conflicts:     220000 | #Constraints:      50651
1063.28/1065.82	c #Conflicts:     221000 | #Constraints:      51651
1063.28/1065.82	c #Conflicts:     222000 | #Constraints:      52652
1063.28/1065.82	c #Conflicts:     223000 | #Constraints:      53652
1063.28/1065.82	c #Conflicts:     224000 | #Constraints:      54653
1063.28/1065.82	c #Conflicts:     225000 | #Constraints:      55653
1063.28/1065.82	c #Conflicts:     226000 | #Constraints:      56654
1063.28/1065.82	c #Conflicts:     227000 | #Constraints:      57654
1063.28/1065.82	c #Conflicts:     228000 | #Constraints:      58654
1063.28/1065.82	c #Conflicts:     229000 | #Constraints:      59654
1063.28/1065.82	c #Conflicts:     230000 | #Constraints:      60655
1063.28/1065.82	c #Conflicts:     231000 | #Constraints:      61655
1063.28/1065.82	c #Conflicts:     232000 | #Constraints:      62655
1063.28/1065.82	c #Conflicts:     233000 | #Constraints:      63656
1063.28/1065.82	c #Conflicts:     234000 | #Constraints:      64656
1063.28/1065.82	c #Conflicts:     235000 | #Constraints:      65656
1063.28/1065.82	c #Conflicts:     236000 | #Constraints:      66656
1063.28/1065.82	c #Conflicts:     237000 | #Constraints:      67657
1063.28/1065.82	c #Conflicts:     238000 | #Constraints:      68657
1063.28/1065.82	c #Conflicts:     239000 | #Constraints:      69657
1063.28/1065.82	c #Conflicts:     240000 | #Constraints:      70658
1063.28/1065.82	c INPROCESSING
1063.28/1065.82	c GARBAGE COLLECT
1063.28/1065.82	c #Conflicts:     241000 | #Constraints:      47101
1063.28/1065.82	c #Conflicts:     242000 | #Constraints:      48101
1063.28/1065.82	c #Conflicts:     243000 | #Constraints:      49101
1063.28/1065.82	c #Conflicts:     244000 | #Constraints:      50101
1063.28/1065.82	c #Conflicts:     245000 | #Constraints:      51101
1063.28/1065.82	c #Conflicts:     246000 | #Constraints:      52101
1063.28/1065.82	c #Conflicts:     247000 | #Constraints:      53101
1063.28/1065.82	c #Conflicts:     248000 | #Constraints:      54101
1063.28/1065.82	c #Conflicts:     249000 | #Constraints:      55101
1063.28/1065.82	c #Conflicts:     250000 | #Constraints:      56101
1063.28/1065.82	c #Conflicts:     251000 | #Constraints:      57101
1063.28/1065.82	c #Conflicts:     252000 | #Constraints:      58101
1063.28/1065.82	c #Conflicts:     253000 | #Constraints:      59101
1063.28/1065.82	c #Conflicts:     254000 | #Constraints:      60101
1063.28/1065.82	c INPROCESSING
1063.28/1065.82	c GARBAGE COLLECT
1063.28/1065.82	c #Conflicts:     255000 | #Constraints:      42806
1063.28/1065.82	c #Conflicts:     256000 | #Constraints:      43806
1063.28/1065.82	c #Conflicts:     257000 | #Constraints:      44806
1063.28/1065.82	c #Conflicts:     258000 | #Constraints:      45806
1063.28/1065.82	c #Conflicts:     259000 | #Constraints:      46806
1063.28/1065.82	c #Conflicts:     260000 | #Constraints:      47806
1063.28/1065.82	c #Conflicts:     261000 | #Constraints:      48806
1063.28/1065.82	c #Conflicts:     262000 | #Constraints:      49806
1063.28/1065.82	c #Conflicts:     263000 | #Constraints:      50806
1063.28/1065.82	c #Conflicts:     264000 | #Constraints:      51806
1063.28/1065.82	c #Conflicts:     265000 | #Constraints:      52806
1063.28/1065.82	c #Conflicts:     266000 | #Constraints:      53806
1063.28/1065.82	c #Conflicts:     267000 | #Constraints:      54806
1063.28/1065.82	c #Conflicts:     268000 | #Constraints:      55806
1063.28/1065.82	c #Conflicts:     269000 | #Constraints:      56806
1063.28/1065.82	c #Conflicts:     270000 | #Constraints:      57806
1063.28/1065.82	c #Conflicts:     271000 | #Constraints:      58806
1063.28/1065.82	c #Conflicts:     272000 | #Constraints:      59806
1063.28/1065.82	c #Conflicts:     273000 | #Constraints:      60806
1063.28/1065.82	c #Conflicts:     274000 | #Constraints:      61806
1063.28/1065.82	c #Conflicts:     275000 | #Constraints:      62806
1063.28/1065.82	c #Conflicts:     276000 | #Constraints:      63806
1063.28/1065.82	c #Conflicts:     277000 | #Constraints:      64806
1063.28/1065.82	c #Conflicts:     278000 | #Constraints:      65806
1063.28/1065.82	c #Conflicts:     279000 | #Constraints:      66806
1063.28/1065.82	c #Conflicts:     280000 | #Constraints:      67806
1063.28/1065.82	c #Conflicts:     281000 | #Constraints:      68806
1063.28/1065.82	c #Conflicts:     282000 | #Constraints:      69806
1063.28/1065.82	c #Conflicts:     283000 | #Constraints:      70806
1063.28/1065.82	c #Conflicts:     284000 | #Constraints:      71806
1063.28/1065.82	c #Conflicts:     285000 | #Constraints:      72806
1063.28/1065.82	c #Conflicts:     286000 | #Constraints:      73806
1063.28/1065.82	c #Conflicts:     287000 | #Constraints:      74806
1068.97/1071.50	c #Conflicts:     288000 | #Constraints:      75806
1068.97/1071.50	c INPROCESSING
1068.97/1071.50	c GARBAGE COLLECT
1068.97/1071.50	c rational objective 165
1121.53/1124.28	c #Conflicts:     289000 | #Constraints:      49502
1121.53/1124.28	c #Conflicts:     290000 | #Constraints:      50502
1121.53/1124.28	c #Conflicts:     291000 | #Constraints:      51502
1121.53/1124.28	c #Conflicts:     292000 | #Constraints:      52502
1121.53/1124.28	c #Conflicts:     293000 | #Constraints:      53502
1121.53/1124.28	c #Conflicts:     294000 | #Constraints:      54503
1121.53/1124.28	c #Conflicts:     295000 | #Constraints:      55504
1121.53/1124.28	c #Conflicts:     296000 | #Constraints:      56504
1121.53/1124.28	c #Conflicts:     297000 | #Constraints:      57504
1121.53/1124.28	c #Conflicts:     298000 | #Constraints:      58504
1121.53/1124.28	c #Conflicts:     299000 | #Constraints:      59504
1121.53/1124.28	c #Conflicts:     300000 | #Constraints:      60504
1121.53/1124.28	c #Conflicts:     301000 | #Constraints:      61504
1121.53/1124.28	c #Conflicts:     302000 | #Constraints:      62504
1121.53/1124.28	c #Conflicts:     303000 | #Constraints:      63504
1121.53/1124.28	c INPROCESSING
1121.53/1124.28	c GARBAGE COLLECT
1121.53/1124.28	c rational objective 165
1361.72/1365.07	c #Conflicts:     304000 | #Constraints:      45028
1361.72/1365.07	c #Conflicts:     305000 | #Constraints:      46029
1361.72/1365.07	c #Conflicts:     306000 | #Constraints:      47030
1361.72/1365.07	c #Conflicts:     307000 | #Constraints:      48030
1361.72/1365.07	c #Conflicts:     308000 | #Constraints:      49031
1361.72/1365.07	c #Conflicts:     309000 | #Constraints:      50031
1361.72/1365.07	c #Conflicts:     310000 | #Constraints:      51031
1361.72/1365.07	c #Conflicts:     311000 | #Constraints:      52031
1361.72/1365.07	c #Conflicts:     312000 | #Constraints:      53031
1361.72/1365.07	c #Conflicts:     313000 | #Constraints:      54031
1361.72/1365.07	c #Conflicts:     314000 | #Constraints:      55031
1361.72/1365.07	c #Conflicts:     315000 | #Constraints:      56031
1361.72/1365.07	c #Conflicts:     316000 | #Constraints:      57032
1361.72/1365.07	c #Conflicts:     317000 | #Constraints:      58032
1361.72/1365.07	c #Conflicts:     318000 | #Constraints:      59032
1361.72/1365.07	c #Conflicts:     319000 | #Constraints:      60032
1361.72/1365.07	c #Conflicts:     320000 | #Constraints:      61032
1361.72/1365.07	c #Conflicts:     321000 | #Constraints:      62032
1361.72/1365.07	c #Conflicts:     322000 | #Constraints:      63032
1361.72/1365.07	c #Conflicts:     323000 | #Constraints:      64032
1361.72/1365.07	c #Conflicts:     324000 | #Constraints:      65032
1361.72/1365.07	c #Conflicts:     325000 | #Constraints:      66032
1361.72/1365.07	c #Conflicts:     326000 | #Constraints:      67032
1361.72/1365.07	c #Conflicts:     327000 | #Constraints:      68032
1361.72/1365.07	c #Conflicts:     328000 | #Constraints:      69033
1361.72/1365.07	c #Conflicts:     329000 | #Constraints:      70033
1361.72/1365.07	c #Conflicts:     330000 | #Constraints:      71033
1361.72/1365.07	c #Conflicts:     331000 | #Constraints:      72033
1361.72/1365.07	c #Conflicts:     332000 | #Constraints:      73033
1361.72/1365.07	c #Conflicts:     333000 | #Constraints:      74033
1361.72/1365.07	c #Conflicts:     334000 | #Constraints:      75033
1361.72/1365.07	c #Conflicts:     335000 | #Constraints:      76033
1361.72/1365.07	c #Conflicts:     336000 | #Constraints:      77033
1361.72/1365.07	c #Conflicts:     337000 | #Constraints:      78033
1361.72/1365.07	c #Conflicts:     338000 | #Constraints:      79033
1361.72/1365.07	c #Conflicts:     339000 | #Constraints:      80033
1361.72/1365.07	c #Conflicts:     340000 | #Constraints:      81033
1361.72/1365.07	c INPROCESSING
1361.72/1365.07	c GARBAGE COLLECT
1361.72/1365.07	c rational objective 165
1593.87/1597.71	c #Conflicts:     341000 | #Constraints:      51831
1593.87/1597.71	c #Conflicts:     342000 | #Constraints:      52831
1593.87/1597.71	c #Conflicts:     343000 | #Constraints:      53831
1593.87/1597.71	c #Conflicts:     344000 | #Constraints:      54831
1593.87/1597.71	c #Conflicts:     345000 | #Constraints:      55831
1593.87/1597.71	c #Conflicts:     346000 | #Constraints:      56831
1593.87/1597.71	c #Conflicts:     347000 | #Constraints:      57831
1593.87/1597.71	c #Conflicts:     348000 | #Constraints:      58831
1593.87/1597.71	c #Conflicts:     349000 | #Constraints:      59831
1593.87/1597.71	c #Conflicts:     350000 | #Constraints:      60831
1593.87/1597.71	c #Conflicts:     351000 | #Constraints:      61832
1593.87/1597.71	c #Conflicts:     352000 | #Constraints:      62833
1593.87/1597.71	c #Conflicts:     353000 | #Constraints:      63833
1593.87/1597.71	c #Conflicts:     354000 | #Constraints:      64833
1593.87/1597.71	c #Conflicts:     355000 | #Constraints:      65833
1593.87/1597.71	c #Conflicts:     356000 | #Constraints:      66833
1593.87/1597.71	c #Conflicts:     357000 | #Constraints:      67833
1593.87/1597.71	c INPROCESSING
1593.87/1597.71	c GARBAGE COLLECT
1593.87/1597.71	c #Conflicts:     358000 | #Constraints:      47912
1593.87/1597.71	c #Conflicts:     359000 | #Constraints:      48912
1593.87/1597.71	c #Conflicts:     360000 | #Constraints:      49912
1593.87/1597.71	c #Conflicts:     361000 | #Constraints:      50912
1593.87/1597.71	c #Conflicts:     362000 | #Constraints:      51912
1593.87/1597.71	c #Conflicts:     363000 | #Constraints:      52912
1593.87/1597.71	c #Conflicts:     364000 | #Constraints:      53912
1593.87/1597.71	c #Conflicts:     365000 | #Constraints:      54912
1593.87/1597.71	c #Conflicts:     366000 | #Constraints:      55912
1593.87/1597.71	c #Conflicts:     367000 | #Constraints:      56912
1593.87/1597.71	c #Conflicts:     368000 | #Constraints:      57912
1593.87/1597.71	c #Conflicts:     369000 | #Constraints:      58912
1593.87/1597.71	c #Conflicts:     370000 | #Constraints:      59912
1593.87/1597.71	c #Conflicts:     371000 | #Constraints:      60912
1593.87/1597.71	c #Conflicts:     372000 | #Constraints:      61912
1593.87/1597.71	c #Conflicts:     373000 | #Constraints:      62913
1593.87/1597.71	c #Conflicts:     374000 | #Constraints:      63913
1593.87/1597.71	c #Conflicts:     375000 | #Constraints:      64913
1593.87/1597.71	c #Conflicts:     376000 | #Constraints:      65913
1593.87/1597.71	c #Conflicts:     377000 | #Constraints:      66913
1593.87/1597.71	c #Conflicts:     378000 | #Constraints:      67913
1593.87/1597.71	c #Conflicts:     379000 | #Constraints:      68913
1593.87/1597.71	c #Conflicts:     380000 | #Constraints:      69913
1593.87/1597.71	c #Conflicts:     381000 | #Constraints:      70913
1593.87/1597.71	c #Conflicts:     382000 | #Constraints:      71913
1593.87/1597.71	c #Conflicts:     383000 | #Constraints:      72913
1593.87/1597.71	c #Conflicts:     384000 | #Constraints:      73913
1593.87/1597.71	c #Conflicts:     385000 | #Constraints:      74914
1593.87/1597.71	c #Conflicts:     386000 | #Constraints:      75914
1593.87/1597.71	c #Conflicts:     387000 | #Constraints:      76914
1593.87/1597.71	c #Conflicts:     388000 | #Constraints:      77914
1593.87/1597.71	c #Conflicts:     389000 | #Constraints:      78914
1593.87/1597.71	c #Conflicts:     390000 | #Constraints:      79914
1593.87/1597.71	c #Conflicts:     391000 | #Constraints:      80914
1593.87/1597.71	c #Conflicts:     392000 | #Constraints:      81914
1593.87/1597.71	c #Conflicts:     393000 | #Constraints:      82914
1593.87/1597.71	c #Conflicts:     394000 | #Constraints:      83914
1593.87/1597.71	c #Conflicts:     395000 | #Constraints:      84914
1593.87/1597.71	c #Conflicts:     396000 | #Constraints:      85914
1593.87/1597.71	c #Conflicts:     397000 | #Constraints:      86914
1593.87/1597.71	c INPROCESSING
1593.87/1597.71	c GARBAGE COLLECT
1593.87/1597.71	c #Conflicts:     398000 | #Constraints:      54770
1593.87/1597.71	c #Conflicts:     399000 | #Constraints:      55771
1593.87/1597.71	c #Conflicts:     400000 | #Constraints:      56771
1593.87/1597.71	c #Conflicts:     401000 | #Constraints:      57772
1593.87/1597.71	c #Conflicts:     402000 | #Constraints:      58772
1593.87/1597.71	c #Conflicts:     403000 | #Constraints:      59772
1593.87/1597.71	c #Conflicts:     404000 | #Constraints:      60773
1593.87/1597.71	c #Conflicts:     405000 | #Constraints:      61773
1593.87/1597.71	c #Conflicts:     406000 | #Constraints:      62773
1593.87/1597.71	c #Conflicts:     407000 | #Constraints:      63773
1593.87/1597.71	c #Conflicts:     408000 | #Constraints:      64774
1593.87/1597.71	c #Conflicts:     409000 | #Constraints:      65774
1593.87/1597.71	c #Conflicts:     410000 | #Constraints:      66774
1593.87/1597.71	c #Conflicts:     411000 | #Constraints:      67774
1593.87/1597.71	c #Conflicts:     412000 | #Constraints:      68774
1593.87/1597.71	c #Conflicts:     413000 | #Constraints:      69774
1593.87/1597.71	c #Conflicts:     414000 | #Constraints:      70774
1593.87/1597.71	c #Conflicts:     415000 | #Constraints:      71774
1593.87/1597.71	c INPROCESSING
1593.87/1597.71	c GARBAGE COLLECT
1593.87/1597.71	c rational objective 165
1865.75/1870.22	c #Conflicts:     416000 | #Constraints:      50383
1865.75/1870.22	c #Conflicts:     417000 | #Constraints:      51383
1865.75/1870.22	c #Conflicts:     418000 | #Constraints:      52383
1865.75/1870.22	c #Conflicts:     419000 | #Constraints:      53383
1865.75/1870.22	c #Conflicts:     420000 | #Constraints:      54383
1865.75/1870.22	c #Conflicts:     421000 | #Constraints:      55383
1865.75/1870.22	c #Conflicts:     422000 | #Constraints:      56383
1865.75/1870.22	c #Conflicts:     423000 | #Constraints:      57383
1865.75/1870.22	c #Conflicts:     424000 | #Constraints:      58383
1865.75/1870.22	c #Conflicts:     425000 | #Constraints:      59383
1865.75/1870.22	c #Conflicts:     426000 | #Constraints:      60383
1865.75/1870.22	c #Conflicts:     427000 | #Constraints:      61383
1865.75/1870.22	c #Conflicts:     428000 | #Constraints:      62383
1865.75/1870.22	c #Conflicts:     429000 | #Constraints:      63383
1865.75/1870.22	c #Conflicts:     430000 | #Constraints:      64383
1865.75/1870.22	c #Conflicts:     431000 | #Constraints:      65383
1865.75/1870.22	c #Conflicts:     432000 | #Constraints:      66383
1865.75/1870.22	c #Conflicts:     433000 | #Constraints:      67384
1865.75/1870.22	c #Conflicts:     434000 | #Constraints:      68384
1865.75/1870.22	c #Conflicts:     435000 | #Constraints:      69384
1865.75/1870.22	c #Conflicts:     436000 | #Constraints:      70384
1865.75/1870.22	c #Conflicts:     437000 | #Constraints:      71384
1865.75/1870.22	c #Conflicts:     438000 | #Constraints:      72384
1865.75/1870.22	c #Conflicts:     439000 | #Constraints:      73384
1865.75/1870.22	c #Conflicts:     440000 | #Constraints:      74384
1865.75/1870.22	c #Conflicts:     441000 | #Constraints:      75384
1865.75/1870.22	c #Conflicts:     442000 | #Constraints:      76384
1865.75/1870.22	c #Conflicts:     443000 | #Constraints:      77384
1865.75/1870.22	c #Conflicts:     444000 | #Constraints:      78384
1865.75/1870.22	c #Conflicts:     445000 | #Constraints:      79384
1865.75/1870.22	c #Conflicts:     446000 | #Constraints:      80384
1865.75/1870.22	c #Conflicts:     447000 | #Constraints:      81384
1865.75/1870.22	c #Conflicts:     448000 | #Constraints:      82384
1865.75/1870.22	c #Conflicts:     449000 | #Constraints:      83384
1865.75/1870.22	c #Conflicts:     450000 | #Constraints:      84384
1865.75/1870.22	c #Conflicts:     451000 | #Constraints:      85384
1865.75/1870.22	c #Conflicts:     452000 | #Constraints:      86384
1865.75/1870.22	c #Conflicts:     453000 | #Constraints:      87384
1865.75/1870.22	c #Conflicts:     454000 | #Constraints:      88384
1865.75/1870.22	c #Conflicts:     455000 | #Constraints:      89384
1865.75/1870.22	c #Conflicts:     456000 | #Constraints:      90384
1865.75/1870.22	c #Conflicts:     457000 | #Constraints:      91384
1865.75/1870.22	c #Conflicts:     458000 | #Constraints:      92384
1865.75/1870.22	c #Conflicts:     459000 | #Constraints:      93385
1865.75/1870.22	c INPROCESSING
1865.75/1870.22	c GARBAGE COLLECT
1865.75/1870.22	c #Conflicts:     460000 | #Constraints:      58262
1865.75/1870.22	c #Conflicts:     461000 | #Constraints:      59262
1865.75/1870.22	c #Conflicts:     462000 | #Constraints:      60262
1865.75/1870.22	c #Conflicts:     463000 | #Constraints:      61262
1865.75/1870.22	c #Conflicts:     464000 | #Constraints:      62262
1865.75/1870.22	c #Conflicts:     465000 | #Constraints:      63262
1865.75/1870.22	c #Conflicts:     466000 | #Constraints:      64262
1865.75/1870.22	c #Conflicts:     467000 | #Constraints:      65262
1865.75/1870.22	c #Conflicts:     468000 | #Constraints:      66262
1865.75/1870.22	c #Conflicts:     469000 | #Constraints:      67262
1865.75/1870.22	c #Conflicts:     470000 | #Constraints:      68262
1865.75/1870.22	c #Conflicts:     471000 | #Constraints:      69262
1865.75/1870.22	c #Conflicts:     472000 | #Constraints:      70262
1865.75/1870.22	c #Conflicts:     473000 | #Constraints:      71262
1865.75/1870.22	c #Conflicts:     474000 | #Constraints:      72262
1865.75/1870.22	c #Conflicts:     475000 | #Constraints:      73262
1865.75/1870.22	c #Conflicts:     476000 | #Constraints:      74263
1865.75/1870.22	c #Conflicts:     477000 | #Constraints:      75263
1865.75/1870.22	c #Conflicts:     478000 | #Constraints:      76263
1865.75/1870.22	c INPROCESSING
1865.75/1870.22	c GARBAGE COLLECT
1865.75/1870.22	c rational objective 165
2003.44/2008.28	c #Conflicts:     479000 | #Constraints:      52126
2003.44/2008.28	c #Conflicts:     480000 | #Constraints:      53126
2003.44/2008.28	c #Conflicts:     481000 | #Constraints:      54126
2003.44/2008.28	c #Conflicts:     482000 | #Constraints:      55126
2003.44/2008.28	c #Conflicts:     483000 | #Constraints:      56126
2003.44/2008.28	c #Conflicts:     484000 | #Constraints:      57126
2003.44/2008.28	c #Conflicts:     485000 | #Constraints:      58126
2003.44/2008.28	c #Conflicts:     486000 | #Constraints:      59126
2003.44/2008.28	c #Conflicts:     487000 | #Constraints:      60126
2003.44/2008.28	c #Conflicts:     488000 | #Constraints:      61126
2003.44/2008.28	c #Conflicts:     489000 | #Constraints:      62126
2003.44/2008.28	c #Conflicts:     490000 | #Constraints:      63127
2003.44/2008.28	c #Conflicts:     491000 | #Constraints:      64127
2003.44/2008.28	c #Conflicts:     492000 | #Constraints:      65127
2003.44/2008.28	c #Conflicts:     493000 | #Constraints:      66127
2003.44/2008.28	c #Conflicts:     494000 | #Constraints:      67127
2003.44/2008.28	c #Conflicts:     495000 | #Constraints:      68127
2003.44/2008.28	c #Conflicts:     496000 | #Constraints:      69127
2003.44/2008.28	c #Conflicts:     497000 | #Constraints:      70127
2003.44/2008.28	c #Conflicts:     498000 | #Constraints:      71127
2003.44/2008.28	c #Conflicts:     499000 | #Constraints:      72127
2003.44/2008.28	c #Conflicts:     500000 | #Constraints:      73127
2003.44/2008.28	c #Conflicts:     501000 | #Constraints:      74127
2003.44/2008.28	c #Conflicts:     502000 | #Constraints:      75127
2003.44/2008.28	c #Conflicts:     503000 | #Constraints:      76127
2003.44/2008.28	c #Conflicts:     504000 | #Constraints:      77127
2003.44/2008.28	c #Conflicts:     505000 | #Constraints:      78127
2003.44/2008.28	c #Conflicts:     506000 | #Constraints:      79127
2003.44/2008.28	c #Conflicts:     507000 | #Constraints:      80127
2003.44/2008.28	c #Conflicts:     508000 | #Constraints:      81128
2003.44/2008.28	c #Conflicts:     509000 | #Constraints:      82128
2003.44/2008.28	c #Conflicts:     510000 | #Constraints:      83128
2003.44/2008.28	c #Conflicts:     511000 | #Constraints:      84128
2003.44/2008.28	c #Conflicts:     512000 | #Constraints:      85128
2003.44/2008.28	c #Conflicts:     513000 | #Constraints:      86128
2003.44/2008.28	c #Conflicts:     514000 | #Constraints:      87128
2003.44/2008.28	c #Conflicts:     515000 | #Constraints:      88128
2003.44/2008.28	c #Conflicts:     516000 | #Constraints:      89128
2003.44/2008.28	c #Conflicts:     517000 | #Constraints:      90128
2003.44/2008.28	c #Conflicts:     518000 | #Constraints:      91128
2003.44/2008.28	c #Conflicts:     519000 | #Constraints:      92128
2003.44/2008.28	c #Conflicts:     520000 | #Constraints:      93128
2003.44/2008.28	c #Conflicts:     521000 | #Constraints:      94128
2003.44/2008.28	c #Conflicts:     522000 | #Constraints:      95128
2003.44/2008.28	c #Conflicts:     523000 | #Constraints:      96128
2003.44/2008.28	c #Conflicts:     524000 | #Constraints:      97128
2003.44/2008.28	c #Conflicts:     525000 | #Constraints:      98128
2003.44/2008.28	c INPROCESSING
2003.44/2008.28	c GARBAGE COLLECT
2003.44/2008.28	c rational objective 165
2039.36/2044.27	c #Conflicts:     526000 | #Constraints:      60987
2039.36/2044.27	c #Conflicts:     527000 | #Constraints:      61987
2039.36/2044.27	c #Conflicts:     528000 | #Constraints:      62987
2039.36/2044.27	c #Conflicts:     529000 | #Constraints:      63987
2039.36/2044.27	c #Conflicts:     530000 | #Constraints:      64987
2039.36/2044.27	c #Conflicts:     531000 | #Constraints:      65987
2039.36/2044.27	c #Conflicts:     532000 | #Constraints:      66987
2039.36/2044.27	c #Conflicts:     533000 | #Constraints:      67987
2039.36/2044.27	c #Conflicts:     534000 | #Constraints:      68987
2039.36/2044.27	c #Conflicts:     535000 | #Constraints:      69988
2039.36/2044.27	c #Conflicts:     536000 | #Constraints:      70989
2039.36/2044.27	c #Conflicts:     537000 | #Constraints:      71989
2039.36/2044.27	c #Conflicts:     538000 | #Constraints:      72989
2039.36/2044.27	c #Conflicts:     539000 | #Constraints:      73989
2039.36/2044.27	c #Conflicts:     540000 | #Constraints:      74989
2039.36/2044.27	c #Conflicts:     541000 | #Constraints:      75989
2039.36/2044.27	c #Conflicts:     542000 | #Constraints:      76989
2039.36/2044.27	c #Conflicts:     543000 | #Constraints:      77989
2039.36/2044.27	c #Conflicts:     544000 | #Constraints:      78989
2039.36/2044.27	c #Conflicts:     545000 | #Constraints:      79989
2039.36/2044.27	c INPROCESSING
2039.36/2044.27	c GARBAGE COLLECT
2039.36/2044.27	c rational objective 165
2278.00/2283.46	c #Conflicts:     546000 | #Constraints:      54257
2278.00/2283.46	c #Conflicts:     547000 | #Constraints:      55257
2278.00/2283.46	c #Conflicts:     548000 | #Constraints:      56257
2278.00/2283.46	c #Conflicts:     549000 | #Constraints:      57257
2278.00/2283.46	c #Conflicts:     550000 | #Constraints:      58257
2278.00/2283.46	c #Conflicts:     551000 | #Constraints:      59257
2278.00/2283.46	c #Conflicts:     552000 | #Constraints:      60257
2278.00/2283.46	c #Conflicts:     553000 | #Constraints:      61257
2278.00/2283.46	c #Conflicts:     554000 | #Constraints:      62257
2278.00/2283.46	c #Conflicts:     555000 | #Constraints:      63257
2278.00/2283.46	c #Conflicts:     556000 | #Constraints:      64257
2278.00/2283.46	c #Conflicts:     557000 | #Constraints:      65258
2278.00/2283.46	c #Conflicts:     558000 | #Constraints:      66258
2278.00/2283.46	c #Conflicts:     559000 | #Constraints:      67258
2278.00/2283.46	c #Conflicts:     560000 | #Constraints:      68258
2278.00/2283.46	c #Conflicts:     561000 | #Constraints:      69258
2278.00/2283.46	c #Conflicts:     562000 | #Constraints:      70258
2278.00/2283.46	c #Conflicts:     563000 | #Constraints:      71258
2278.00/2283.46	c #Conflicts:     564000 | #Constraints:      72258
2278.00/2283.46	c #Conflicts:     565000 | #Constraints:      73258
2278.00/2283.46	c #Conflicts:     566000 | #Constraints:      74258
2278.00/2283.46	c #Conflicts:     567000 | #Constraints:      75258
2278.00/2283.46	c #Conflicts:     568000 | #Constraints:      76258
2278.00/2283.46	c #Conflicts:     569000 | #Constraints:      77258
2278.00/2283.46	c #Conflicts:     570000 | #Constraints:      78258
2278.00/2283.46	c #Conflicts:     571000 | #Constraints:      79259
2278.00/2283.46	c #Conflicts:     572000 | #Constraints:      80259
2278.00/2283.46	c #Conflicts:     573000 | #Constraints:      81259
2278.00/2283.46	c #Conflicts:     574000 | #Constraints:      82259
2278.00/2283.46	c #Conflicts:     575000 | #Constraints:      83259
2278.00/2283.46	c #Conflicts:     576000 | #Constraints:      84259
2278.00/2283.46	c #Conflicts:     577000 | #Constraints:      85259
2278.00/2283.46	c #Conflicts:     578000 | #Constraints:      86259
2278.00/2283.46	c #Conflicts:     579000 | #Constraints:      87259
2278.00/2283.46	c #Conflicts:     580000 | #Constraints:      88259
2278.00/2283.46	c #Conflicts:     581000 | #Constraints:      89259
2278.00/2283.46	c #Conflicts:     582000 | #Constraints:      90259
2278.00/2283.46	c #Conflicts:     583000 | #Constraints:      91260
2278.00/2283.46	c #Conflicts:     584000 | #Constraints:      92260
2278.00/2283.46	c #Conflicts:     585000 | #Constraints:      93260
2278.00/2283.46	c #Conflicts:     586000 | #Constraints:      94260
2278.00/2283.46	c #Conflicts:     587000 | #Constraints:      95260
2278.00/2283.46	c #Conflicts:     588000 | #Constraints:      96260
2278.00/2283.46	c #Conflicts:     589000 | #Constraints:      97260
2278.00/2283.46	c #Conflicts:     590000 | #Constraints:      98260
2278.00/2283.46	c #Conflicts:     591000 | #Constraints:      99260
2278.00/2283.46	c #Conflicts:     592000 | #Constraints:     100260
2278.00/2283.46	c #Conflicts:     593000 | #Constraints:     101260
2278.00/2283.46	c #Conflicts:     594000 | #Constraints:     102260
2278.00/2283.46	c #Conflicts:     595000 | #Constraints:     103260
2278.00/2283.46	c INPROCESSING
2278.00/2283.46	c GARBAGE COLLECT
2278.00/2283.46	c rational objective 165
2357.43/2363.05	c #Conflicts:     596000 | #Constraints:      63266
2357.43/2363.05	c #Conflicts:     597000 | #Constraints:      64266
2357.43/2363.05	c #Conflicts:     598000 | #Constraints:      65266
2357.43/2363.05	c #Conflicts:     599000 | #Constraints:      66267
2357.43/2363.05	c #Conflicts:     600000 | #Constraints:      67268
2357.43/2363.05	c #Conflicts:     601000 | #Constraints:      68269
2357.43/2363.05	c #Conflicts:     602000 | #Constraints:      69269
2357.43/2363.05	c #Conflicts:     603000 | #Constraints:      70269
2357.43/2363.05	c #Conflicts:     604000 | #Constraints:      71269
2357.43/2363.05	c #Conflicts:     605000 | #Constraints:      72269
2357.43/2363.05	c #Conflicts:     606000 | #Constraints:      73269
2357.43/2363.05	c #Conflicts:     607000 | #Constraints:      74269
2357.43/2363.05	c #Conflicts:     608000 | #Constraints:      75269
2357.43/2363.05	c #Conflicts:     609000 | #Constraints:      76269
2357.43/2363.05	c #Conflicts:     610000 | #Constraints:      77269
2357.43/2363.05	c #Conflicts:     611000 | #Constraints:      78269
2357.43/2363.05	c #Conflicts:     612000 | #Constraints:      79269
2357.43/2363.05	c #Conflicts:     613000 | #Constraints:      80269
2357.43/2363.05	c #Conflicts:     614000 | #Constraints:      81269
2357.43/2363.05	c #Conflicts:     615000 | #Constraints:      82269
2357.43/2363.05	c #Conflicts:     616000 | #Constraints:      83269
2357.43/2363.05	c #Conflicts:     617000 | #Constraints:      84269
2357.43/2363.05	c INPROCESSING
2357.43/2363.05	c GARBAGE COLLECT
2357.43/2363.05	c rational objective 165
2628.79/2635.04	c #Conflicts:     618000 | #Constraints:      57341
2628.79/2635.04	c #Conflicts:     619000 | #Constraints:      58341
2628.79/2635.04	c #Conflicts:     620000 | #Constraints:      59341
2628.79/2635.04	c #Conflicts:     621000 | #Constraints:      60341
2628.79/2635.04	c #Conflicts:     622000 | #Constraints:      61341
2628.79/2635.04	c #Conflicts:     623000 | #Constraints:      62342
2628.79/2635.04	c #Conflicts:     624000 | #Constraints:      63342
2628.79/2635.04	c #Conflicts:     625000 | #Constraints:      64342
2628.79/2635.04	c #Conflicts:     626000 | #Constraints:      65342
2628.79/2635.04	c #Conflicts:     627000 | #Constraints:      66342
2628.79/2635.04	c #Conflicts:     628000 | #Constraints:      67342
2628.79/2635.04	c #Conflicts:     629000 | #Constraints:      68342
2628.79/2635.04	c #Conflicts:     630000 | #Constraints:      69342
2628.79/2635.04	c #Conflicts:     631000 | #Constraints:      70342
2628.79/2635.04	c #Conflicts:     632000 | #Constraints:      71342
2628.79/2635.04	c #Conflicts:     633000 | #Constraints:      72342
2628.79/2635.04	c #Conflicts:     634000 | #Constraints:      73342
2628.79/2635.04	c #Conflicts:     635000 | #Constraints:      74342
2628.79/2635.04	c #Conflicts:     636000 | #Constraints:      75343
2628.79/2635.04	c #Conflicts:     637000 | #Constraints:      76343
2628.79/2635.04	c #Conflicts:     638000 | #Constraints:      77343
2628.79/2635.04	c #Conflicts:     639000 | #Constraints:      78343
2628.79/2635.04	c #Conflicts:     640000 | #Constraints:      79343
2628.79/2635.04	c #Conflicts:     641000 | #Constraints:      80343
2628.79/2635.04	c #Conflicts:     642000 | #Constraints:      81343
2628.79/2635.04	c #Conflicts:     643000 | #Constraints:      82343
2628.79/2635.04	c #Conflicts:     644000 | #Constraints:      83343
2628.79/2635.04	c #Conflicts:     645000 | #Constraints:      84343
2628.79/2635.04	c #Conflicts:     646000 | #Constraints:      85343
2628.79/2635.04	c #Conflicts:     647000 | #Constraints:      86343
2628.79/2635.04	c #Conflicts:     648000 | #Constraints:      87343
2628.79/2635.04	c #Conflicts:     649000 | #Constraints:      88343
2628.79/2635.04	c #Conflicts:     650000 | #Constraints:      89344
2628.79/2635.04	c #Conflicts:     651000 | #Constraints:      90344
2628.79/2635.04	c #Conflicts:     652000 | #Constraints:      91344
2628.79/2635.04	c #Conflicts:     653000 | #Constraints:      92344
2628.79/2635.04	c #Conflicts:     654000 | #Constraints:      93344
2628.79/2635.04	c #Conflicts:     655000 | #Constraints:      94344
2628.79/2635.04	c #Conflicts:     656000 | #Constraints:      95344
2628.79/2635.04	c #Conflicts:     657000 | #Constraints:      96344
2628.79/2635.04	c #Conflicts:     658000 | #Constraints:      97344
2628.79/2635.04	c #Conflicts:     659000 | #Constraints:      98344
2628.79/2635.04	c #Conflicts:     660000 | #Constraints:      99344
2628.79/2635.04	c #Conflicts:     661000 | #Constraints:     100344
2628.79/2635.04	c #Conflicts:     662000 | #Constraints:     101345
2628.79/2635.04	c #Conflicts:     663000 | #Constraints:     102345
2628.79/2635.04	c #Conflicts:     664000 | #Constraints:     103345
2628.79/2635.04	c #Conflicts:     665000 | #Constraints:     104345
2628.79/2635.04	c #Conflicts:     666000 | #Constraints:     105345
2628.79/2635.04	c #Conflicts:     667000 | #Constraints:     106345
2628.79/2635.04	c #Conflicts:     668000 | #Constraints:     107345
2628.79/2635.04	c #Conflicts:     669000 | #Constraints:     108345
2628.79/2635.04	c INPROCESSING
2628.79/2635.04	c GARBAGE COLLECT
2628.79/2635.04	c rational objective 165
2677.65/2684.08	c #Conflicts:     670000 | #Constraints:      65631
2677.65/2684.08	c #Conflicts:     671000 | #Constraints:      66631
2677.65/2684.08	c #Conflicts:     672000 | #Constraints:      67631
2677.65/2684.08	c #Conflicts:     673000 | #Constraints:      68631
2677.65/2684.08	c #Conflicts:     674000 | #Constraints:      69631
2677.65/2684.08	c #Conflicts:     675000 | #Constraints:      70631
2677.65/2684.08	c #Conflicts:     676000 | #Constraints:      71631
2677.65/2684.08	c #Conflicts:     677000 | #Constraints:      72631
2677.65/2684.08	c #Conflicts:     678000 | #Constraints:      73631
2677.65/2684.08	c #Conflicts:     679000 | #Constraints:      74631
2677.65/2684.08	c #Conflicts:     680000 | #Constraints:      75631
2677.65/2684.08	c #Conflicts:     681000 | #Constraints:      76631
2677.65/2684.08	c #Conflicts:     682000 | #Constraints:      77631
2677.65/2684.08	c #Conflicts:     683000 | #Constraints:      78631
2677.65/2684.08	c #Conflicts:     684000 | #Constraints:      79631
2677.65/2684.08	c #Conflicts:     685000 | #Constraints:      80631
2677.65/2684.08	c #Conflicts:     686000 | #Constraints:      81631
2677.65/2684.08	c #Conflicts:     687000 | #Constraints:      82631
2677.65/2684.08	c #Conflicts:     688000 | #Constraints:      83631
2677.65/2684.08	c #Conflicts:     689000 | #Constraints:      84631
2677.65/2684.08	c #Conflicts:     690000 | #Constraints:      85631
2677.65/2684.08	c #Conflicts:     691000 | #Constraints:      86631
2677.65/2684.08	c #Conflicts:     692000 | #Constraints:      87631
2677.65/2684.08	c #Conflicts:     693000 | #Constraints:      88631
2677.65/2684.08	c INPROCESSING
2677.65/2684.08	c GARBAGE COLLECT
2677.65/2684.08	c rational objective 165
2811.76/2818.51	c #Conflicts:     694000 | #Constraints:      60502
2811.76/2818.51	c #Conflicts:     695000 | #Constraints:      61502
2811.76/2818.51	c #Conflicts:     696000 | #Constraints:      62502
2811.76/2818.51	c #Conflicts:     697000 | #Constraints:      63502
2811.76/2818.51	c #Conflicts:     698000 | #Constraints:      64502
2811.76/2818.51	c #Conflicts:     699000 | #Constraints:      65502
2811.76/2818.51	c #Conflicts:     700000 | #Constraints:      66503
2811.76/2818.51	c #Conflicts:     701000 | #Constraints:      67503
2811.76/2818.51	c #Conflicts:     702000 | #Constraints:      68503
2811.76/2818.51	c #Conflicts:     703000 | #Constraints:      69503
2811.76/2818.51	c #Conflicts:     704000 | #Constraints:      70503
2811.76/2818.51	c #Conflicts:     705000 | #Constraints:      71503
2811.76/2818.51	c #Conflicts:     706000 | #Constraints:      72503
2811.76/2818.51	c #Conflicts:     707000 | #Constraints:      73503
2811.76/2818.51	c #Conflicts:     708000 | #Constraints:      74503
2811.76/2818.51	c #Conflicts:     709000 | #Constraints:      75503
2811.76/2818.51	c #Conflicts:     710000 | #Constraints:      76503
2811.76/2818.51	c #Conflicts:     711000 | #Constraints:      77504
2811.76/2818.51	c #Conflicts:     712000 | #Constraints:      78504
2811.76/2818.51	c #Conflicts:     713000 | #Constraints:      79504
2811.76/2818.51	c #Conflicts:     714000 | #Constraints:      80504
2811.76/2818.51	c #Conflicts:     715000 | #Constraints:      81504
2811.76/2818.51	c #Conflicts:     716000 | #Constraints:      82504
2811.76/2818.51	c #Conflicts:     717000 | #Constraints:      83504
2811.76/2818.51	c #Conflicts:     718000 | #Constraints:      84504
2811.76/2818.51	c #Conflicts:     719000 | #Constraints:      85504
2811.76/2818.51	c #Conflicts:     720000 | #Constraints:      86505
2811.76/2818.51	c #Conflicts:     721000 | #Constraints:      87505
2811.76/2818.51	c #Conflicts:     722000 | #Constraints:      88505
2811.76/2818.51	c #Conflicts:     723000 | #Constraints:      89505
2811.76/2818.51	c #Conflicts:     724000 | #Constraints:      90505
2811.76/2818.51	c #Conflicts:     725000 | #Constraints:      91505
2811.76/2818.51	c #Conflicts:     726000 | #Constraints:      92505
2811.76/2818.51	c #Conflicts:     727000 | #Constraints:      93505
2811.76/2818.51	c #Conflicts:     728000 | #Constraints:      94505
2811.76/2818.51	c #Conflicts:     729000 | #Constraints:      95505
2811.76/2818.51	c #Conflicts:     730000 | #Constraints:      96505
2811.76/2818.51	c #Conflicts:     731000 | #Constraints:      97505
2811.76/2818.51	c #Conflicts:     732000 | #Constraints:      98505
2811.76/2818.51	c #Conflicts:     733000 | #Constraints:      99505
2811.76/2818.51	c #Conflicts:     734000 | #Constraints:     100505
2811.76/2818.51	c #Conflicts:     735000 | #Constraints:     101505
2811.76/2818.51	c #Conflicts:     736000 | #Constraints:     102505
2811.76/2818.51	c #Conflicts:     737000 | #Constraints:     103505
2811.76/2818.51	c #Conflicts:     738000 | #Constraints:     104505
2811.76/2818.51	c #Conflicts:     739000 | #Constraints:     105505
2811.76/2818.51	c #Conflicts:     740000 | #Constraints:     106505
2811.76/2818.51	c #Conflicts:     741000 | #Constraints:     107505
2811.76/2818.51	c #Conflicts:     742000 | #Constraints:     108505
2811.76/2818.51	c #Conflicts:     743000 | #Constraints:     109505
2811.76/2818.51	c #Conflicts:     744000 | #Constraints:     110505
2811.76/2818.51	c #Conflicts:     745000 | #Constraints:     111505
2811.76/2818.51	c #Conflicts:     746000 | #Constraints:     112505
2811.76/2818.51	c #Conflicts:     747000 | #Constraints:     113505
2811.76/2818.51	c #Conflicts:     748000 | #Constraints:     114505
2811.76/2818.51	c INPROCESSING
2811.76/2818.51	c GARBAGE COLLECT
2811.76/2818.51	c rational objective 165
2973.67/2980.86	c #Conflicts:     749000 | #Constraints:      68921
2973.67/2980.86	c #Conflicts:     750000 | #Constraints:      69921
2973.67/2980.86	c #Conflicts:     751000 | #Constraints:      70921
2973.67/2980.86	c #Conflicts:     752000 | #Constraints:      71922
2973.67/2980.86	c #Conflicts:     753000 | #Constraints:      72922
2973.67/2980.86	c #Conflicts:     754000 | #Constraints:      73922
2973.67/2980.86	c #Conflicts:     755000 | #Constraints:      74922
2973.67/2980.86	c #Conflicts:     756000 | #Constraints:      75922
2973.67/2980.86	c #Conflicts:     757000 | #Constraints:      76922
2973.67/2980.86	c #Conflicts:     758000 | #Constraints:      77922
2973.67/2980.86	c #Conflicts:     759000 | #Constraints:      78922
2973.67/2980.86	c #Conflicts:     760000 | #Constraints:      79922
2973.67/2980.86	c #Conflicts:     761000 | #Constraints:      80922
2973.67/2980.86	c #Conflicts:     762000 | #Constraints:      81922
2973.67/2980.86	c #Conflicts:     763000 | #Constraints:      82922
2973.67/2980.86	c #Conflicts:     764000 | #Constraints:      83922
2973.67/2980.86	c #Conflicts:     765000 | #Constraints:      84922
2973.67/2980.86	c #Conflicts:     766000 | #Constraints:      85922
2973.67/2980.86	c #Conflicts:     767000 | #Constraints:      86922
2973.67/2980.86	c #Conflicts:     768000 | #Constraints:      87923
2973.67/2980.86	c #Conflicts:     769000 | #Constraints:      88923
2973.67/2980.86	c #Conflicts:     770000 | #Constraints:      89923
2973.67/2980.86	c #Conflicts:     771000 | #Constraints:      90923
2973.67/2980.86	c #Conflicts:     772000 | #Constraints:      91923
2973.67/2980.86	c #Conflicts:     773000 | #Constraints:      92923
2973.67/2980.86	c INPROCESSING
2973.67/2980.86	c GARBAGE COLLECT
2973.67/2980.86	c rational objective 165
3189.35/3197.02	c #Conflicts:     774000 | #Constraints:      62383
3189.35/3197.02	c #Conflicts:     775000 | #Constraints:      63383
3189.35/3197.02	c #Conflicts:     776000 | #Constraints:      64383
3189.35/3197.02	c #Conflicts:     777000 | #Constraints:      65383
3189.35/3197.02	c #Conflicts:     778000 | #Constraints:      66383
3189.35/3197.02	c #Conflicts:     779000 | #Constraints:      67383
3189.35/3197.02	c #Conflicts:     780000 | #Constraints:      68383
3189.35/3197.02	c #Conflicts:     781000 | #Constraints:      69383
3189.35/3197.02	c #Conflicts:     782000 | #Constraints:      70384
3189.35/3197.02	c #Conflicts:     783000 | #Constraints:      71384
3189.35/3197.02	c #Conflicts:     784000 | #Constraints:      72385
3189.35/3197.02	c #Conflicts:     785000 | #Constraints:      73385
3189.35/3197.02	c #Conflicts:     786000 | #Constraints:      74385
3189.35/3197.02	c #Conflicts:     787000 | #Constraints:      75385
3189.35/3197.02	c #Conflicts:     788000 | #Constraints:      76385
3189.35/3197.02	c #Conflicts:     789000 | #Constraints:      77385
3189.35/3197.02	c #Conflicts:     790000 | #Constraints:      78386
3189.35/3197.02	c #Conflicts:     791000 | #Constraints:      79386
3189.35/3197.02	c #Conflicts:     792000 | #Constraints:      80386
3189.35/3197.02	c #Conflicts:     793000 | #Constraints:      81386
3189.35/3197.02	c #Conflicts:     794000 | #Constraints:      82386
3189.35/3197.02	c #Conflicts:     795000 | #Constraints:      83386
3189.35/3197.02	c #Conflicts:     796000 | #Constraints:      84386
3189.35/3197.02	c #Conflicts:     797000 | #Constraints:      85386
3189.35/3197.02	c #Conflicts:     798000 | #Constraints:      86386
3189.35/3197.02	c #Conflicts:     799000 | #Constraints:      87386
3189.35/3197.02	c #Conflicts:     800000 | #Constraints:      88386
3189.35/3197.02	c #Conflicts:     801000 | #Constraints:      89386
3189.35/3197.02	c #Conflicts:     802000 | #Constraints:      90386
3189.35/3197.02	c #Conflicts:     803000 | #Constraints:      91386
3189.35/3197.02	c #Conflicts:     804000 | #Constraints:      92386
3189.35/3197.02	c #Conflicts:     805000 | #Constraints:      93386
3189.35/3197.02	c #Conflicts:     806000 | #Constraints:      94386
3189.35/3197.02	c #Conflicts:     807000 | #Constraints:      95386
3189.35/3197.02	c #Conflicts:     808000 | #Constraints:      96386
3189.35/3197.02	c #Conflicts:     809000 | #Constraints:      97386
3189.35/3197.02	c #Conflicts:     810000 | #Constraints:      98386
3189.35/3197.02	c #Conflicts:     811000 | #Constraints:      99386
3189.35/3197.02	c #Conflicts:     812000 | #Constraints:     100387
3189.35/3197.02	c #Conflicts:     813000 | #Constraints:     101387
3189.35/3197.02	c #Conflicts:     814000 | #Constraints:     102387
3189.35/3197.02	c #Conflicts:     815000 | #Constraints:     103387
3189.35/3197.02	c #Conflicts:     816000 | #Constraints:     104387
3189.35/3197.02	c #Conflicts:     817000 | #Constraints:     105387
3189.35/3197.02	c #Conflicts:     818000 | #Constraints:     106387
3189.35/3197.02	c #Conflicts:     819000 | #Constraints:     107387
3189.35/3197.02	c #Conflicts:     820000 | #Constraints:     108388
3189.35/3197.02	c #Conflicts:     821000 | #Constraints:     109388
3189.35/3197.02	c #Conflicts:     822000 | #Constraints:     110388
3189.35/3197.02	c #Conflicts:     823000 | #Constraints:     111388
3189.35/3197.02	c #Conflicts:     824000 | #Constraints:     112388
3189.35/3197.02	c #Conflicts:     825000 | #Constraints:     113388
3189.35/3197.02	c #Conflicts:     826000 | #Constraints:     114388
3189.35/3197.02	c #Conflicts:     827000 | #Constraints:     115388
3189.35/3197.02	c #Conflicts:     828000 | #Constraints:     116388
3189.35/3197.02	c #Conflicts:     829000 | #Constraints:     117388
3189.35/3197.02	c #Conflicts:     830000 | #Constraints:     118388
3189.35/3197.02	c #Conflicts:     831000 | #Constraints:     119388
3189.35/3197.02	c #Conflicts:     832000 | #Constraints:     120388
3189.35/3197.02	c INPROCESSING
3189.35/3197.02	c GARBAGE COLLECT
3189.35/3197.02	c rational objective 165
3287.80/3295.71	c #Conflicts:     833000 | #Constraints:      72176
3287.80/3295.71	c #Conflicts:     834000 | #Constraints:      73176
3287.80/3295.71	c #Conflicts:     835000 | #Constraints:      74176
3287.80/3295.71	c #Conflicts:     836000 | #Constraints:      75176
3287.80/3295.71	c #Conflicts:     837000 | #Constraints:      76176
3287.80/3295.71	c #Conflicts:     838000 | #Constraints:      77176
3287.80/3295.71	c #Conflicts:     839000 | #Constraints:      78176
3287.80/3295.71	c #Conflicts:     840000 | #Constraints:      79176
3287.80/3295.71	c #Conflicts:     841000 | #Constraints:      80176
3287.80/3295.71	c #Conflicts:     842000 | #Constraints:      81176
3287.80/3295.71	c #Conflicts:     843000 | #Constraints:      82176
3287.80/3295.71	c #Conflicts:     844000 | #Constraints:      83176
3287.80/3295.71	c #Conflicts:     845000 | #Constraints:      84176
3287.80/3295.71	c #Conflicts:     846000 | #Constraints:      85176
3287.80/3295.71	c #Conflicts:     847000 | #Constraints:      86176
3287.80/3295.71	c #Conflicts:     848000 | #Constraints:      87176
3287.80/3295.71	c #Conflicts:     849000 | #Constraints:      88176
3287.80/3295.71	c #Conflicts:     850000 | #Constraints:      89176
3287.80/3295.71	c #Conflicts:     851000 | #Constraints:      90176
3287.80/3295.71	c #Conflicts:     852000 | #Constraints:      91176
3287.80/3295.71	c #Conflicts:     853000 | #Constraints:      92177
3287.80/3295.71	c #Conflicts:     854000 | #Constraints:      93177
3287.80/3295.71	c #Conflicts:     855000 | #Constraints:      94177
3287.80/3295.71	c #Conflicts:     856000 | #Constraints:      95177
3287.80/3295.71	c #Conflicts:     857000 | #Constraints:      96177
3287.80/3295.71	c #Conflicts:     858000 | #Constraints:      97177
3287.80/3295.71	c INPROCESSING
3287.80/3295.71	c GARBAGE COLLECT
3287.80/3295.71	c rational objective 165
3488.34/3496.88	c #Conflicts:     859000 | #Constraints:      65447
3488.34/3496.88	c #Conflicts:     860000 | #Constraints:      66448
3488.34/3496.88	c #Conflicts:     861000 | #Constraints:      67449
3488.34/3496.88	c #Conflicts:     862000 | #Constraints:      68449
3488.34/3496.88	c #Conflicts:     863000 | #Constraints:      69449
3488.34/3496.88	c #Conflicts:     864000 | #Constraints:      70449
3488.34/3496.88	c #Conflicts:     865000 | #Constraints:      71449
3488.34/3496.88	c #Conflicts:     866000 | #Constraints:      72450
3488.34/3496.88	c #Conflicts:     867000 | #Constraints:      73450
3488.34/3496.88	c #Conflicts:     868000 | #Constraints:      74450
3488.34/3496.88	c #Conflicts:     869000 | #Constraints:      75450
3488.34/3496.88	c #Conflicts:     870000 | #Constraints:      76450
3488.34/3496.88	c #Conflicts:     871000 | #Constraints:      77450
3488.34/3496.88	c #Conflicts:     872000 | #Constraints:      78451
3488.34/3496.88	c #Conflicts:     873000 | #Constraints:      79451
3488.34/3496.88	c #Conflicts:     874000 | #Constraints:      80451
3488.34/3496.88	c #Conflicts:     875000 | #Constraints:      81451
3488.34/3496.88	c #Conflicts:     876000 | #Constraints:      82451
3488.34/3496.88	c #Conflicts:     877000 | #Constraints:      83451
3488.34/3496.88	c #Conflicts:     878000 | #Constraints:      84451
3488.34/3496.88	c #Conflicts:     879000 | #Constraints:      85451
3488.34/3496.88	c #Conflicts:     880000 | #Constraints:      86451
3488.34/3496.88	c #Conflicts:     881000 | #Constraints:      87451
3488.34/3496.88	c #Conflicts:     882000 | #Constraints:      88451
3488.34/3496.88	c #Conflicts:     883000 | #Constraints:      89451
3488.34/3496.88	c #Conflicts:     884000 | #Constraints:      90451
3488.34/3496.88	c #Conflicts:     885000 | #Constraints:      91451
3488.34/3496.88	c #Conflicts:     886000 | #Constraints:      92451
3488.34/3496.88	c #Conflicts:     887000 | #Constraints:      93451
3488.34/3496.88	c #Conflicts:     888000 | #Constraints:      94452
3488.34/3496.88	c #Conflicts:     889000 | #Constraints:      95452
3488.34/3496.88	c #Conflicts:     890000 | #Constraints:      96452
3488.34/3496.88	c #Conflicts:     891000 | #Constraints:      97452
3488.34/3496.88	c #Conflicts:     892000 | #Constraints:      98452
3488.34/3496.88	c #Conflicts:     893000 | #Constraints:      99452
3488.34/3496.88	c #Conflicts:     894000 | #Constraints:     100452
3488.34/3496.88	c #Conflicts:     895000 | #Constraints:     101452
3488.34/3496.88	c #Conflicts:     896000 | #Constraints:     102452
3488.34/3496.88	c #Conflicts:     897000 | #Constraints:     103452
3488.34/3496.88	c #Conflicts:     898000 | #Constraints:     104452
3488.34/3496.88	c #Conflicts:     899000 | #Constraints:     105452
3488.34/3496.88	c #Conflicts:     900000 | #Constraints:     106452
3488.34/3496.88	c #Conflicts:     901000 | #Constraints:     107452
3488.34/3496.88	c #Conflicts:     902000 | #Constraints:     108452
3488.34/3496.88	c #Conflicts:     903000 | #Constraints:     109452
3488.34/3496.88	c #Conflicts:     904000 | #Constraints:     110452
3488.34/3496.88	c #Conflicts:     905000 | #Constraints:     111452
3488.34/3496.88	c #Conflicts:     906000 | #Constraints:     112452
3488.34/3496.88	c #Conflicts:     907000 | #Constraints:     113452
3488.34/3496.88	c #Conflicts:     908000 | #Constraints:     114452
3488.34/3496.88	c #Conflicts:     909000 | #Constraints:     115452
3488.34/3496.88	c #Conflicts:     910000 | #Constraints:     116452
3488.34/3496.88	c #Conflicts:     911000 | #Constraints:     117452
3488.34/3496.88	c #Conflicts:     912000 | #Constraints:     118452
3488.34/3496.88	c #Conflicts:     913000 | #Constraints:     119452
3488.34/3496.88	c #Conflicts:     914000 | #Constraints:     120452
3488.34/3496.88	c #Conflicts:     915000 | #Constraints:     121452
3488.34/3496.88	c #Conflicts:     916000 | #Constraints:     122452
3488.34/3496.88	c #Conflicts:     917000 | #Constraints:     123452
3488.34/3496.88	c #Conflicts:     918000 | #Constraints:     124452
3488.34/3496.88	c #Conflicts:     919000 | #Constraints:     125452
3488.34/3496.88	c #Conflicts:     920000 | #Constraints:     126452
3488.34/3496.88	c INPROCESSING
3488.34/3496.88	c GARBAGE COLLECT
3488.34/3496.88	c rational objective 165
3563.61/3572.34	c #Conflicts:     921000 | #Constraints:      75286
3563.61/3572.34	c #Conflicts:     922000 | #Constraints:      76286
3563.61/3572.34	c #Conflicts:     923000 | #Constraints:      77286
3563.61/3572.34	c #Conflicts:     924000 | #Constraints:      78286
3563.61/3572.34	c #Conflicts:     925000 | #Constraints:      79286
3563.61/3572.34	c #Conflicts:     926000 | #Constraints:      80286
3563.61/3572.34	c #Conflicts:     927000 | #Constraints:      81286
3563.61/3572.34	c #Conflicts:     928000 | #Constraints:      82286
3563.61/3572.34	c #Conflicts:     929000 | #Constraints:      83286
3563.61/3572.34	c #Conflicts:     930000 | #Constraints:      84286
3563.61/3572.34	c #Conflicts:     931000 | #Constraints:      85286
3563.61/3572.34	c #Conflicts:     932000 | #Constraints:      86286
3563.61/3572.34	c #Conflicts:     933000 | #Constraints:      87286
3563.61/3572.34	c #Conflicts:     934000 | #Constraints:      88286
3563.61/3572.34	c #Conflicts:     935000 | #Constraints:      89286
3563.61/3572.34	c #Conflicts:     936000 | #Constraints:      90286
3563.61/3572.34	c #Conflicts:     937000 | #Constraints:      91287
3563.61/3572.34	c #Conflicts:     938000 | #Constraints:      92287
3563.61/3572.34	c #Conflicts:     939000 | #Constraints:      93287
3563.61/3572.34	c #Conflicts:     940000 | #Constraints:      94287
3563.61/3572.34	c #Conflicts:     941000 | #Constraints:      95287
3563.61/3572.34	c #Conflicts:     942000 | #Constraints:      96287
3563.61/3572.34	c #Conflicts:     943000 | #Constraints:      97288
3563.61/3572.34	c #Conflicts:     944000 | #Constraints:      98288
3563.61/3572.34	c #Conflicts:     945000 | #Constraints:      99288
3563.61/3572.34	c #Conflicts:     946000 | #Constraints:     100288
3563.61/3572.34	c #Conflicts:     947000 | #Constraints:     101289
3563.61/3572.34	c INPROCESSING
3563.61/3572.34	c GARBAGE COLLECT
3563.61/3572.34	c rational objective 165
3600.01/3608.80	c #Conflicts:     948000 | #Constraints:      68184
3600.01/3608.80	c #Conflicts:     949000 | #Constraints:      69184
3600.01/3608.80	c #Conflicts:     950000 | #Constraints:      70184
3600.01/3608.80	c #Conflicts:     951000 | #Constraints:      71184
3600.01/3608.80	c #Conflicts:     952000 | #Constraints:      72184
3600.01/3608.80	c #Conflicts:     953000 | #Constraints:      73184
3600.01/3608.80	c #Conflicts:     954000 | #Constraints:      74184
3600.01/3608.80	c #Conflicts:     955000 | #Constraints:      75184
3600.01/3608.80	c #Conflicts:     956000 | #Constraints:      76184
3600.01/3608.80	c #Conflicts:     957000 | #Constraints:      77184
3600.01/3608.80	c #Conflicts:     958000 | #Constraints:      78184
3600.01/3608.80	c #Conflicts:     959000 | #Constraints:      79184
3600.01/3608.80	c #Conflicts:     960000 | #Constraints:      80184
3600.01/3608.80	c #Conflicts:     961000 | #Constraints:      81184
3600.01/3608.80	c #Conflicts:     962000 | #Constraints:      82184
3600.01/3608.80	c #Conflicts:     963000 | #Constraints:      83184
3600.01/3608.80	c #Conflicts:     964000 | #Constraints:      84185
3600.01/3608.80	c #Conflicts:     965000 | #Constraints:      85185
3600.01/3608.80	c #Conflicts:     966000 | #Constraints:      86186
3600.01/3608.80	c Program interrupted by user.
3600.01/3608.82	c cpu time 3561.23 s
3600.01/3608.82	c deterministic time 220865455933 2.21e+11
3600.01/3608.82	c optimization time 35.7928 s
3600.01/3608.82	c total solve time 3525.36 s
3600.01/3608.82	c core-guided solve time 0 s
3600.01/3608.82	c propagation time 1788.63 s
3600.01/3608.82	c conflict analysis time 582.677 s
3600.01/3608.82	c propagations 739722716
3600.01/3608.82	c resolve steps 42788161
3600.01/3608.82	c decisions 18590604
3600.01/3608.82	c conflicts 966959
3600.01/3608.82	c restarts 2044
3600.01/3608.82	c inprocessing phases 41
3600.01/3608.82	c input clauses 19802
3600.01/3608.82	c input cardinalities 165
3600.01/3608.82	c input general constraints 0
3600.01/3608.82	c input average constraint length 6.43
3600.01/3608.82	c input average constraint degree 1.97
3600.01/3608.82	c learned clauses 623516
3600.01/3608.82	c learned cardinalities 40813
3600.01/3608.82	c learned general constraints 302703
3600.01/3608.82	c learned average constraint length 1113.53
3600.01/3608.82	c learned average constraint degree 319662548.60
3600.01/3608.82	c watched constraints 224871
3600.01/3608.82	c counting constraints 77832
3600.01/3608.82	c gcd simplifications 3648
3600.01/3608.82	c detected cardinalities 5717
3600.01/3608.82	c weakened non-implied lits 212363499
3600.01/3608.82	c weakened non-implying lits 287849
3600.01/3608.82	c original variables 19635
3600.01/3608.82	c clausal propagations 331687259
3600.01/3608.82	c cardinality propagations 264612486
3600.01/3608.82	c watched propagations 39882852
3600.01/3608.82	c counting propagations 94546819
3600.01/3608.82	c watch lookups 12054635704
3600.01/3608.82	c watch backjump lookups 9707538413
3600.01/3608.82	c watch checks 142962933686
3600.01/3608.82	c propagation checks 50969685751
3600.01/3608.82	c constraint additions 3651324831
3600.01/3608.82	c trail pops 759263895
3600.01/3608.82	c formula constraints 19967
3600.01/3608.82	c learned constraints 966884
3600.01/3608.82	c bound constraints 0
3600.01/3608.82	c core-guided constraints 0
3600.01/3608.82	c encountered formula constraints 29046982
3600.01/3608.82	c encountered learned constraints 14706527
3600.01/3608.82	c encountered bound constraints 0
3600.01/3608.82	c encountered core-guided constraints 0
3600.01/3608.82	c LP total time 1995.76 s
3600.01/3608.82	c LP solve time 1992.01 s
3600.01/3608.82	c LP constraints added 23170
3600.01/3608.82	c LP constraints removed 3060
3600.01/3608.82	c LP pivots internal 978137
3600.01/3608.82	c LP pivots root 782195
3600.01/3608.82	c LP calls 130
3600.01/3608.82	c LP optimalities 49
3600.01/3608.82	c LP no pivot count 2
3600.01/3608.82	c LP infeasibilities 74
3600.01/3608.82	c LP valid Farkas constraints 74
3600.01/3608.82	c LP learned Farkas constraints 74
3600.01/3608.82	c LP basis resets 0
3600.01/3608.82	c LP cycling count 0
3600.01/3608.82	c LP singular count 0
3600.01/3608.82	c LP no primal count 0
3600.01/3608.82	c LP no farkas count 0
3600.01/3608.82	c LP other issue count 0
3600.01/3608.82	c LP Gomory cuts 0
3600.01/3608.82	c LP learned cuts 3203
3600.01/3608.82	c LP deleted cuts 3060
3600.01/3608.82	c LP encountered Gomory constraints 0
3600.01/3608.82	c LP encountered Farkas constraints 1193
3600.01/3608.82	c LP encountered learned Farkas constraints 344
3600.01/3608.82	c CG auxiliary variables introduced 0
3600.01/3608.82	c CG solutions found 0
3600.01/3608.82	c CG cores constructed 0
3600.01/3608.82	c CG core cardinality constraints returned 0
3600.01/3608.82	c CG unit cores 0
3600.01/3608.82	c CG single cores 0
3600.01/3608.82	c CG blocks removed during cardinality reduction 0
3600.01/3608.82	c CG first core best 0
3600.01/3608.82	c CG decision core best 0
3600.01/3608.82	c CG core reduction tie 0
3600.01/3608.82	c CG core degree average 0.00
3600.01/3608.82	c CG core slack average 0.00
3600.01/3608.82	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (39608 MiB free)
  memory of node 1: 64510 MiB (33387 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460679-1722069416/watcher-4460679-1722069416 -o /tmp/evaluation-result-4460679-1722069416/solver-4460679-1722069416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307175 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460679-1722069416 --lp-cut-gomory=0 HOME/instance-4460679-1722069416.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=311481, runsolver pid=311478
Current StackSize limit: 8192 KiB


[startup+0.100765 s]*
/proc/loadavg: 4.17 4.13 4.10 5/257 311482
/proc/meminfo: memFree=74731080/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=51672 memory=22388 CPUtime=0.09 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 5010 0 0 0 7 2 0 0 20 0 1 0 43471893 52912128 5597 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 12918 5597 1664 992 0 4776 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51672 KiB
Current children cumulated memory: 22388 KiB

[startup+0.205747 s]*
/proc/loadavg: 4.17 4.13 4.10 5/257 311482
/proc/meminfo: memFree=74714196/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=70864 memory=38108 CPUtime=0.19 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 9530 0 0 0 16 3 0 0 20 0 1 0 43471893 72564736 9527 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 17716 9527 1712 992 0 9574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70864 KiB
Current children cumulated memory: 38108 KiB

[startup+0.305633 s]*
/proc/loadavg: 4.17 4.13 4.10 5/257 311482
/proc/meminfo: memFree=74712556/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=71480 memory=39148 CPUtime=0.29 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 9786 0 0 0 26 3 0 0 20 0 1 0 43471893 73195520 9787 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 17870 9787 1712 992 0 9728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 39148 KiB

[startup+0.70017 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 311482
/proc/meminfo: memFree=74707376/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=73844 memory=42052 CPUtime=0.68 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 10520 0 0 0 64 4 0 0 20 0 1 0 43471893 75616256 10513 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 18461 10513 1712 992 0 10319 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73844 KiB
Current children cumulated memory: 42052 KiB

[startup+1.50017 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 311482
/proc/meminfo: memFree=74702140/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=74092 memory=42316 CPUtime=1.48 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 10621 0 0 0 137 11 0 0 20 0 1 0 43471893 75870208 10579 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 18523 10579 1712 992 0 10381 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74092 KiB
Current children cumulated memory: 42316 KiB

[startup+3.1055 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 311483
/proc/meminfo: memFree=74675080/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=77516 memory=47376 CPUtime=3.08 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 11354 0 0 0 287 21 0 0 20 0 1 0 43471893 79376384 11844 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 19379 11844 1744 992 0 11237 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77516 KiB
Current children cumulated memory: 47376 KiB

[startup+6.30018 s]
/proc/loadavg: 4.16 4.13 4.09 5/259 311485
/proc/meminfo: memFree=74652736/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=79236 memory=49480 CPUtime=6.26 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 11846 0 0 0 603 23 0 0 20 0 1 0 43471893 81137664 12370 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 19809 12370 1744 992 0 11667 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 79236 KiB
Current children cumulated memory: 49480 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/259 311487
/proc/meminfo: memFree=74593956/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=81956 memory=50692 CPUtime=12.64 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 12098 0 0 0 1228 36 0 0 20 0 1 0 43471893 83922944 12673 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 20489 12673 1806 992 0 12347 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 81956 KiB
Current children cumulated memory: 50692 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 311488
/proc/meminfo: memFree=74438332/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=98380 memory=61940 CPUtime=25.42 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 14358 0 0 0 2471 71 0 0 20 0 1 0 43471893 100741120 15485 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 24595 15485 1838 992 0 16453 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 98380 KiB
Current children cumulated memory: 61940 KiB

[startup+51.1056 s]
/proc/loadavg: 4.30 4.16 4.10 5/259 311491
/proc/meminfo: memFree=73470640/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=108048 memory=76784 CPUtime=50.97 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 16577 0 0 0 5003 94 0 0 20 0 1 0 43471893 110641152 19196 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 27012 19196 1838 992 0 18870 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 108048 KiB
Current children cumulated memory: 76784 KiB

[startup+102.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/263 311521
/proc/meminfo: memFree=84734984/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=134160 memory=99724 CPUtime=102.03 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 19741 0 0 0 10013 190 0 0 20 0 1 0 43471893 137379840 24931 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 33540 24931 1838 992 0 25398 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 134160 KiB
Current children cumulated memory: 99724 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 311531
/proc/meminfo: memFree=83468996/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=160728 memory=133200 CPUtime=161.89 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 22115 0 0 0 15919 270 0 0 20 0 1 0 43471893 164585472 33300 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 40182 33300 1838 992 0 32040 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 160728 KiB
Current children cumulated memory: 133200 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/261 311561
/proc/meminfo: memFree=110384920/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=198428 memory=155292 CPUtime=221.74 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 24635 0 0 0 21826 348 0 0 20 0 1 0 43471893 203190272 38823 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 49607 38823 1838 992 0 41465 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 198428 KiB
Current children cumulated memory: 155292 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 311603
/proc/meminfo: memFree=118369012/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=206924 memory=163332 CPUtime=281.6 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 26671 0 0 0 27748 412 0 0 20 0 1 0 43471893 211890176 40833 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 51731 40833 1838 992 0 43589 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 206924 KiB
Current children cumulated memory: 163332 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/261 311613
/proc/meminfo: memFree=118012028/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=262092 memory=198924 CPUtime=341.46 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 28469 0 0 0 33675 471 0 0 20 0 1 0 43471893 268382208 49731 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 65523 49731 1838 992 0 57381 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 262092 KiB
Current children cumulated memory: 198924 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/260 311624
/proc/meminfo: memFree=117724172/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=262912 memory=199876 CPUtime=401.32 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 28752 0 0 0 39630 502 0 0 20 0 1 0 43471893 269221888 49969 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 65728 49969 1838 992 0 57586 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 262912 KiB
Current children cumulated memory: 199876 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/259 311635
/proc/meminfo: memFree=117354840/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=273296 memory=209420 CPUtime=461.18 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 31200 0 0 0 45480 638 0 0 20 0 1 0 43471893 279855104 52355 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 68324 52355 1838 992 0 60182 0

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

Current children cumulated memory: 787724 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/259 312740
/proc/meminfo: memFree=107607976/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=908004 memory=804716 CPUtime=2855.45 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 90920 0 0 0 282417 3128 0 0 20 0 1 0 43471893 929796096 201179 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227001 201179 1838 992 0 218859 0
Current children cumulated CPU time: 2855.45 s
Current children cumulated vsize: 908004 KiB
Current children cumulated memory: 804716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 313134
/proc/meminfo: memFree=107359512/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=909440 memory=805792 CPUtime=2915.31 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 91345 0 0 0 288360 3171 0 0 20 0 1 0 43471893 931266560 201448 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227360 201448 1838 992 0 219218 0
Current children cumulated CPU time: 2915.31 s
Current children cumulated vsize: 909440 KiB
Current children cumulated memory: 805792 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/260 313145
/proc/meminfo: memFree=107147684/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=909572 memory=806112 CPUtime=2975.16 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 91587 0 0 0 294318 3198 0 0 20 0 1 0 43471893 931401728 201528 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227393 201528 1838 992 0 219251 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 909572 KiB
Current children cumulated memory: 806112 KiB

[startup+3042.3 s]
/proc/loadavg: 4.48 4.21 4.13 5/260 313156
/proc/meminfo: memFree=106795816/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=909572 memory=806112 CPUtime=3035.03 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 91998 0 0 0 300218 3285 0 0 20 0 1 0 43471893 931401728 201528 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227393 201528 1838 992 0 219251 0
Current children cumulated CPU time: 3035.03 s
Current children cumulated vsize: 909572 KiB
Current children cumulated memory: 806112 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.19 4.12 5/261 313335
/proc/meminfo: memFree=106519708/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=910024 memory=806256 CPUtime=3094.89 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 92221 0 0 0 306136 3353 0 0 20 0 1 0 43471893 931864576 201564 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227506 201564 1838 992 0 219364 0
Current children cumulated CPU time: 3094.89 s
Current children cumulated vsize: 910024 KiB
Current children cumulated memory: 806256 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/261 313439
/proc/meminfo: memFree=106645500/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=911944 memory=808012 CPUtime=3154.74 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 93040 0 0 0 312075 3399 0 0 20 0 1 0 43471893 933830656 202003 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227986 202003 1838 992 0 219844 0
Current children cumulated CPU time: 3154.74 s
Current children cumulated vsize: 911944 KiB
Current children cumulated memory: 808012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 313509
/proc/meminfo: memFree=106408628/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=911124 memory=807068 CPUtime=3214.59 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 94408 0 0 0 318022 3437 0 0 20 0 1 0 43471893 932990976 201767 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 227781 201767 1838 992 0 219639 0
Current children cumulated CPU time: 3214.59 s
Current children cumulated vsize: 911124 KiB
Current children cumulated memory: 807068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 313521
/proc/meminfo: memFree=106216860/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=913292 memory=809316 CPUtime=3274.44 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 95130 0 0 0 323939 3505 0 0 20 0 1 0 43471893 935211008 202329 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 228323 202329 1838 992 0 220181 0
Current children cumulated CPU time: 3274.44 s
Current children cumulated vsize: 913292 KiB
Current children cumulated memory: 809316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/262 313531
/proc/meminfo: memFree=105885328/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=914040 memory=810216 CPUtime=3334.28 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 95668 0 0 0 329820 3608 0 0 20 0 1 0 43471893 935976960 202554 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 228510 202554 1838 992 0 220368 0
Current children cumulated CPU time: 3334.28 s
Current children cumulated vsize: 914040 KiB
Current children cumulated memory: 810216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 313543
/proc/meminfo: memFree=105704684/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=914040 memory=810216 CPUtime=3394.11 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 96003 0 0 0 335741 3670 0 0 20 0 1 0 43471893 935976960 202554 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 228510 202554 1838 992 0 220368 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 914040 KiB
Current children cumulated memory: 810216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/261 313553
/proc/meminfo: memFree=105543512/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=914180 memory=810492 CPUtime=3453.93 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 96463 0 0 0 341657 3736 0 0 20 0 1 0 43471893 936120320 202623 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 228545 202623 1838 992 0 220403 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 914180 KiB
Current children cumulated memory: 810492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/262 313564
/proc/meminfo: memFree=105342032/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=919388 memory=815436 CPUtime=3513.76 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 97986 0 0 0 347575 3801 0 0 20 0 1 0 43471893 941453312 203859 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 229847 203859 1838 992 0 221705 0
Current children cumulated CPU time: 3513.76 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 815436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 313574
/proc/meminfo: memFree=105048316/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=919388 memory=815436 CPUtime=3573.59 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 98265 0 0 0 353503 3856 0 0 20 0 1 0 43471893 941453312 203859 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 229847 203859 1838 992 0 221705 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 815436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 313578
/proc/meminfo: memFree=104949780/131524600 swapFree=131054992/131071996
[pid=311481] ppid=311478 vsize=919388 memory=815436 CPUtime=3600.01 cores=4,6
/proc/311481/stat : 311481 (roundingsat) R 311478 311481 307164 0 -1 4194304 98372 0 0 0 356122 3879 0 0 20 0 1 0 43471893 941453312 203859 134679101440 4194304 8254357 140720741500000 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14704640 140720741507931 140720741508193 140720741508193 140720741515209 0
/proc/311481/statm: 229847 203859 1838 992 0 221705 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 919388 KiB
Current children cumulated memory: 815436 KiB

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

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

# cumulated CPU time of all completed processes:  user=3561.23 s, system=38.7964 s

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

Child status: 0

Real time (s): 3608.83
CPU time (s): 3600.03
CPU user time (s): 3561.23
CPU system time (s): 38.7964
CPU usage (%): 99.7562
Max. virtual memory (cumulated for all children) (KiB): 919388
Max. memory (cumulated for all children) (KiB): 815436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.23
system time used= 38.7964
maximum resident set size= 815436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98388
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10119680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 4265


# summary of solver processes directly reported to runsolver:
#   pid: 311481
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3561.23
#   total CPU system time (s): 38.7964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87645 second user time and 15.76 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-27 10:36:56
IDJOB=4460679
IDBENCH=158290
IDSOLVER=3086
FILE ID=nodeC035/4460679-1722069416
RUNJOBID= nodeC035-1722064836-307175
SLURM_JOB_ID= 8248103
Free space on /tmp= 889840 MiB

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

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

MD5SUM BENCH= 75fbe782de7ac9ce41dec078153ff02c
RANDOM SEED=1473402672

nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3634.013
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3689.949
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.189
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.874
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.246
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3689.956
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.507
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.972
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        74749224 kB
MemAvailable:   108780564 kB
Buffers:          376232 kB
Cached:         34447036 kB
SwapCached:          296 kB
Active:          2580552 kB
Inactive:       53470764 kB
Active(anon):       1980 kB
Inactive(anon): 21279360 kB
Active(file):    2578572 kB
Inactive(file): 32191404 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054992 kB
Dirty:            213436 kB
Writeback:             0 kB
AnonPages:      21227204 kB
Mapped:           111948 kB
Shmem:             53220 kB
KReclaimable:     202024 kB
Slab:             329328 kB
SReclaimable:     202024 kB
SUnreclaim:       127304 kB
KernelStack:        4176 kB
PageTables:        50764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   24634112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9060352 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:      414420 kB
DirectMap2M:    48642048 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC035 at 2024-07-27 11:37:05