0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.01	c #variables 601 #constraints 838
0.00/0.02	c rational objective 300.5
0.08/0.20	c #Conflicts:       1000 | #Constraints:       1843
0.08/0.20	c #Conflicts:       2000 | #Constraints:       2843
0.08/0.20	c INPROCESSING
0.08/0.20	c GARBAGE COLLECT
0.08/0.20	c #Conflicts:       3000 | #Constraints:       2877
0.08/0.20	c #Conflicts:       4000 | #Constraints:       3877
0.08/0.20	c INPROCESSING
0.08/0.20	c GARBAGE COLLECT
0.08/0.20	c #Conflicts:       5000 | #Constraints:       3300
0.08/0.20	c #Conflicts:       6000 | #Constraints:       4300
0.08/0.20	c INPROCESSING
0.08/0.20	c GARBAGE COLLECT
0.08/0.20	c rational objective 300.5
0.19/0.29	c #Conflicts:       7000 | #Constraints:       3311
0.19/0.29	c #Conflicts:       8000 | #Constraints:       4311
0.19/0.29	c #Conflicts:       9000 | #Constraints:       5311
0.19/0.29	c INPROCESSING
0.19/0.29	c GARBAGE COLLECT
0.19/0.29	c rational objective 300.5
0.29/0.39	c #Conflicts:      10000 | #Constraints:       4011
0.29/0.39	c #Conflicts:      11000 | #Constraints:       5011
0.29/0.39	c #Conflicts:      12000 | #Constraints:       6011
0.29/0.39	c INPROCESSING
0.29/0.39	c GARBAGE COLLECT
0.29/0.39	c rational objective 300.5
0.39/0.49	c #Conflicts:      13000 | #Constraints:       4473
0.39/0.49	c #Conflicts:      14000 | #Constraints:       5473
0.39/0.49	c #Conflicts:      15000 | #Constraints:       6473
0.39/0.49	c INPROCESSING
0.39/0.49	c GARBAGE COLLECT
0.39/0.49	c rational objective 300.5
0.58/0.61	c #Conflicts:      16000 | #Constraints:       4705
0.58/0.61	c #Conflicts:      17000 | #Constraints:       5705
0.58/0.61	c #Conflicts:      18000 | #Constraints:       6705
0.58/0.61	c INPROCESSING
0.58/0.61	c GARBAGE COLLECT
0.58/0.61	c rational objective 300.5
0.68/0.73	c #Conflicts:      19000 | #Constraints:       4717
0.68/0.73	c #Conflicts:      20000 | #Constraints:       5717
0.68/0.73	c #Conflicts:      21000 | #Constraints:       6717
0.68/0.73	c INPROCESSING
0.68/0.73	c GARBAGE COLLECT
0.68/0.73	c rational objective 300.5
0.77/0.87	c #Conflicts:      22000 | #Constraints:       4523
0.77/0.87	c #Conflicts:      23000 | #Constraints:       5523
0.77/0.87	c #Conflicts:      24000 | #Constraints:       6523
0.77/0.87	c #Conflicts:      25000 | #Constraints:       7523
0.77/0.87	c INPROCESSING
0.77/0.87	c GARBAGE COLLECT
0.77/0.87	c rational objective 300.5
0.98/1.01	c #Conflicts:      26000 | #Constraints:       5129
0.98/1.01	c #Conflicts:      27000 | #Constraints:       6129
0.98/1.01	c #Conflicts:      28000 | #Constraints:       7129
0.98/1.01	c #Conflicts:      29000 | #Constraints:       8129
0.98/1.01	c INPROCESSING
0.98/1.01	c GARBAGE COLLECT
0.98/1.01	c rational objective 300.5
1.08/1.16	c #Conflicts:      30000 | #Constraints:       5532
1.08/1.16	c #Conflicts:      31000 | #Constraints:       6532
1.08/1.16	c #Conflicts:      32000 | #Constraints:       7532
1.08/1.16	c #Conflicts:      33000 | #Constraints:       8532
1.08/1.16	c INPROCESSING
1.08/1.16	c GARBAGE COLLECT
1.08/1.16	c rational objective 300.5
1.28/1.32	c #Conflicts:      34000 | #Constraints:       5729
1.28/1.32	c #Conflicts:      35000 | #Constraints:       6729
1.28/1.32	c #Conflicts:      36000 | #Constraints:       7729
1.28/1.32	c #Conflicts:      37000 | #Constraints:       8729
1.28/1.32	c INPROCESSING
1.28/1.32	c GARBAGE COLLECT
1.28/1.32	c rational objective 300.5
1.47/1.50	c #Conflicts:      38000 | #Constraints:       5733
1.47/1.50	c #Conflicts:      39000 | #Constraints:       6733
1.47/1.50	c #Conflicts:      40000 | #Constraints:       7733
1.47/1.50	c #Conflicts:      41000 | #Constraints:       8733
1.47/1.50	c INPROCESSING
1.47/1.50	c GARBAGE COLLECT
1.47/1.50	c rational objective 300.5
1.57/1.69	c #Conflicts:      42000 | #Constraints:       5536
1.57/1.69	c #Conflicts:      43000 | #Constraints:       6536
1.57/1.69	c #Conflicts:      44000 | #Constraints:       7536
1.57/1.69	c #Conflicts:      45000 | #Constraints:       8536
1.57/1.69	c #Conflicts:      46000 | #Constraints:       9536
1.57/1.69	c INPROCESSING
1.57/1.69	c GARBAGE COLLECT
1.57/1.69	c rational objective 300.5
1.78/1.87	c #Conflicts:      47000 | #Constraints:       6133
1.78/1.87	c #Conflicts:      48000 | #Constraints:       7134
1.78/1.87	c #Conflicts:      49000 | #Constraints:       8134
1.78/1.87	c #Conflicts:      50000 | #Constraints:       9134
1.78/1.87	c #Conflicts:      51000 | #Constraints:      10134
1.78/1.87	c INPROCESSING
1.78/1.87	c GARBAGE COLLECT
1.78/1.87	c rational objective 300.5
1.98/2.05	c #Conflicts:      52000 | #Constraints:       6533
1.98/2.05	c #Conflicts:      53000 | #Constraints:       7533
1.98/2.05	c #Conflicts:      54000 | #Constraints:       8533
1.98/2.05	c #Conflicts:      55000 | #Constraints:       9533
1.98/2.05	c #Conflicts:      56000 | #Constraints:      10533
1.98/2.05	c INPROCESSING
1.98/2.05	c GARBAGE COLLECT
1.98/2.05	c rational objective 300.5
2.18/2.25	c #Conflicts:      57000 | #Constraints:       6730
2.18/2.25	c #Conflicts:      58000 | #Constraints:       7730
2.18/2.25	c #Conflicts:      59000 | #Constraints:       8730
2.18/2.25	c #Conflicts:      60000 | #Constraints:       9730
2.18/2.25	c #Conflicts:      61000 | #Constraints:      10730
2.18/2.25	c INPROCESSING
2.18/2.25	c GARBAGE COLLECT
2.18/2.25	c rational objective 300.5
2.37/2.46	c #Conflicts:      62000 | #Constraints:       6737
2.37/2.46	c #Conflicts:      63000 | #Constraints:       7737
2.37/2.46	c #Conflicts:      64000 | #Constraints:       8737
2.37/2.46	c #Conflicts:      65000 | #Constraints:       9737
2.37/2.46	c #Conflicts:      66000 | #Constraints:      10737
2.37/2.46	c INPROCESSING
2.37/2.46	c GARBAGE COLLECT
2.37/2.46	c rational objective 300.5
2.58/2.67	c #Conflicts:      67000 | #Constraints:       6537
2.58/2.67	c #Conflicts:      68000 | #Constraints:       7537
2.58/2.67	c #Conflicts:      69000 | #Constraints:       8537
2.58/2.67	c #Conflicts:      70000 | #Constraints:       9537
2.58/2.67	c #Conflicts:      71000 | #Constraints:      10537
2.58/2.67	c #Conflicts:      72000 | #Constraints:      11537
2.58/2.67	c INPROCESSING
2.58/2.67	c GARBAGE COLLECT
2.58/2.67	c rational objective 300.5
2.77/2.89	c #Conflicts:      73000 | #Constraints:       7128
2.77/2.89	c #Conflicts:      74000 | #Constraints:       8128
2.77/2.89	c #Conflicts:      75000 | #Constraints:       9128
2.77/2.89	c #Conflicts:      76000 | #Constraints:      10129
2.77/2.89	c #Conflicts:      77000 | #Constraints:      11129
2.77/2.89	c #Conflicts:      78000 | #Constraints:      12129
2.77/2.89	c INPROCESSING
2.77/2.89	c GARBAGE COLLECT
2.77/2.89	c rational objective 300.5
3.07/3.11	c #Conflicts:      79000 | #Constraints:       7535
3.07/3.11	c #Conflicts:      80000 | #Constraints:       8535
3.07/3.11	c #Conflicts:      81000 | #Constraints:       9535
3.07/3.11	c #Conflicts:      82000 | #Constraints:      10535
3.07/3.11	c #Conflicts:      83000 | #Constraints:      11535
3.07/3.11	c #Conflicts:      84000 | #Constraints:      12535
3.07/3.11	c INPROCESSING
3.07/3.11	c GARBAGE COLLECT
3.07/3.11	c rational objective 300.5
3.27/3.35	c #Conflicts:      85000 | #Constraints:       7735
3.27/3.35	c #Conflicts:      86000 | #Constraints:       8735
3.27/3.35	c #Conflicts:      87000 | #Constraints:       9735
3.27/3.35	c #Conflicts:      88000 | #Constraints:      10735
3.27/3.35	c #Conflicts:      89000 | #Constraints:      11735
3.27/3.35	c #Conflicts:      90000 | #Constraints:      12735
3.27/3.35	c INPROCESSING
3.27/3.35	c GARBAGE COLLECT
3.27/3.35	c rational objective 300.5
3.57/3.62	c #Conflicts:      91000 | #Constraints:       7735
3.57/3.62	c #Conflicts:      92000 | #Constraints:       8735
3.57/3.62	c #Conflicts:      93000 | #Constraints:       9735
3.57/3.62	c #Conflicts:      94000 | #Constraints:      10735
3.57/3.62	c #Conflicts:      95000 | #Constraints:      11735
3.57/3.62	c #Conflicts:      96000 | #Constraints:      12735
3.57/3.62	c INPROCESSING
3.57/3.62	c GARBAGE COLLECT
3.57/3.62	c rational objective 300.5
3.77/3.88	c #Conflicts:      97000 | #Constraints:       7539
3.77/3.88	c #Conflicts:      98000 | #Constraints:       8539
3.77/3.88	c #Conflicts:      99000 | #Constraints:       9539
3.77/3.88	c #Conflicts:     100000 | #Constraints:      10539
3.77/3.88	c #Conflicts:     101000 | #Constraints:      11539
3.77/3.88	c #Conflicts:     102000 | #Constraints:      12539
3.77/3.88	c #Conflicts:     103000 | #Constraints:      13539
3.77/3.88	c INPROCESSING
3.77/3.88	c GARBAGE COLLECT
3.77/3.88	c rational objective 300.5
4.08/4.12	c #Conflicts:     104000 | #Constraints:       8132
4.08/4.12	c #Conflicts:     105000 | #Constraints:       9132
4.08/4.12	c #Conflicts:     106000 | #Constraints:      10132
4.08/4.12	c #Conflicts:     107000 | #Constraints:      11132
4.08/4.12	c #Conflicts:     108000 | #Constraints:      12132
4.08/4.12	c #Conflicts:     109000 | #Constraints:      13132
4.08/4.12	c #Conflicts:     110000 | #Constraints:      14132
4.08/4.12	c INPROCESSING
4.08/4.12	c GARBAGE COLLECT
4.08/4.12	c rational objective 300.5
4.27/4.36	c #Conflicts:     111000 | #Constraints:       8528
4.27/4.36	c #Conflicts:     112000 | #Constraints:       9528
4.27/4.36	c #Conflicts:     113000 | #Constraints:      10528
4.27/4.36	c #Conflicts:     114000 | #Constraints:      11528
4.27/4.36	c #Conflicts:     115000 | #Constraints:      12528
4.27/4.36	c #Conflicts:     116000 | #Constraints:      13528
4.27/4.36	c #Conflicts:     117000 | #Constraints:      14528
4.27/4.36	c INPROCESSING
4.27/4.36	c GARBAGE COLLECT
4.27/4.36	c rational objective 300.5
4.57/4.63	c #Conflicts:     118000 | #Constraints:       8733
4.57/4.63	c #Conflicts:     119000 | #Constraints:       9733
4.57/4.63	c #Conflicts:     120000 | #Constraints:      10733
4.57/4.63	c #Conflicts:     121000 | #Constraints:      11733
4.57/4.63	c #Conflicts:     122000 | #Constraints:      12733
4.57/4.63	c #Conflicts:     123000 | #Constraints:      13733
4.57/4.63	c #Conflicts:     124000 | #Constraints:      14733
4.57/4.63	c INPROCESSING
4.57/4.63	c GARBAGE COLLECT
4.57/4.63	c rational objective 300.5
4.77/4.87	c #Conflicts:     125000 | #Constraints:       8732
4.77/4.87	c #Conflicts:     126000 | #Constraints:       9732
4.77/4.87	c #Conflicts:     127000 | #Constraints:      10732
4.77/4.87	c #Conflicts:     128000 | #Constraints:      11732
4.77/4.87	c #Conflicts:     129000 | #Constraints:      12732
4.77/4.87	c #Conflicts:     130000 | #Constraints:      13732
4.77/4.87	c #Conflicts:     131000 | #Constraints:      14732
4.77/4.87	c INPROCESSING
4.77/4.87	c GARBAGE COLLECT
4.77/4.87	c rational objective 300.5
5.08/5.14	c #Conflicts:     132000 | #Constraints:       8532
5.08/5.14	c #Conflicts:     133000 | #Constraints:       9532
5.08/5.14	c #Conflicts:     134000 | #Constraints:      10532
5.08/5.14	c #Conflicts:     135000 | #Constraints:      11532
5.08/5.14	c #Conflicts:     136000 | #Constraints:      12532
5.08/5.14	c #Conflicts:     137000 | #Constraints:      13532
5.08/5.14	c #Conflicts:     138000 | #Constraints:      14532
5.08/5.14	c #Conflicts:     139000 | #Constraints:      15532
5.08/5.14	c INPROCESSING
5.08/5.14	c GARBAGE COLLECT
5.08/5.14	c rational objective 300.5
5.37/5.44	c #Conflicts:     140000 | #Constraints:       9142
5.37/5.44	c #Conflicts:     141000 | #Constraints:      10142
5.37/5.44	c #Conflicts:     142000 | #Constraints:      11142
5.37/5.44	c #Conflicts:     143000 | #Constraints:      12142
5.37/5.44	c #Conflicts:     144000 | #Constraints:      13142
5.37/5.44	c #Conflicts:     145000 | #Constraints:      14142
5.37/5.44	c #Conflicts:     146000 | #Constraints:      15142
5.37/5.44	c #Conflicts:     147000 | #Constraints:      16142
5.37/5.44	c INPROCESSING
5.37/5.44	c GARBAGE COLLECT
5.37/5.44	c rational objective 300.5
5.66/5.73	c #Conflicts:     148000 | #Constraints:       9546
5.66/5.73	c #Conflicts:     149000 | #Constraints:      10546
5.66/5.73	c #Conflicts:     150000 | #Constraints:      11546
5.66/5.73	c #Conflicts:     151000 | #Constraints:      12546
5.66/5.73	c #Conflicts:     152000 | #Constraints:      13546
5.66/5.73	c #Conflicts:     153000 | #Constraints:      14546
5.66/5.73	c #Conflicts:     154000 | #Constraints:      15546
5.66/5.73	c #Conflicts:     155000 | #Constraints:      16546
5.66/5.73	c INPROCESSING
5.66/5.73	c GARBAGE COLLECT
5.66/5.73	c rational objective 300.5
5.97/6.01	c #Conflicts:     156000 | #Constraints:       9743
5.97/6.01	c #Conflicts:     157000 | #Constraints:      10743
5.97/6.01	c #Conflicts:     158000 | #Constraints:      11743
5.97/6.01	c #Conflicts:     159000 | #Constraints:      12743
5.97/6.01	c #Conflicts:     160000 | #Constraints:      13743
5.97/6.01	c #Conflicts:     161000 | #Constraints:      14743
5.97/6.01	c #Conflicts:     162000 | #Constraints:      15743
5.97/6.01	c #Conflicts:     163000 | #Constraints:      16743
5.97/6.01	c INPROCESSING
5.97/6.01	c GARBAGE COLLECT
5.97/6.01	c rational objective 300.5
6.27/6.30	c #Conflicts:     164000 | #Constraints:       9748
6.27/6.30	c #Conflicts:     165000 | #Constraints:      10748
6.27/6.30	c #Conflicts:     166000 | #Constraints:      11748
6.27/6.30	c #Conflicts:     167000 | #Constraints:      12748
6.27/6.30	c #Conflicts:     168000 | #Constraints:      13748
6.27/6.30	c #Conflicts:     169000 | #Constraints:      14748
6.27/6.30	c #Conflicts:     170000 | #Constraints:      15748
6.27/6.30	c #Conflicts:     171000 | #Constraints:      16748
6.27/6.30	c INPROCESSING
6.27/6.30	c GARBAGE COLLECT
6.27/6.30	c rational objective 300.5
6.57/6.62	c #Conflicts:     172000 | #Constraints:       9543
6.57/6.62	c #Conflicts:     173000 | #Constraints:      10543
6.57/6.62	c #Conflicts:     174000 | #Constraints:      11543
6.57/6.62	c #Conflicts:     175000 | #Constraints:      12543
6.57/6.62	c #Conflicts:     176000 | #Constraints:      13543
6.57/6.62	c #Conflicts:     177000 | #Constraints:      14543
6.57/6.62	c #Conflicts:     178000 | #Constraints:      15543
6.57/6.62	c #Conflicts:     179000 | #Constraints:      16543
6.57/6.62	c #Conflicts:     180000 | #Constraints:      17543
6.57/6.62	c INPROCESSING
6.57/6.62	c GARBAGE COLLECT
6.57/6.62	c rational objective 300.5
6.87/6.93	c #Conflicts:     181000 | #Constraints:      10140
6.87/6.93	c #Conflicts:     182000 | #Constraints:      11140
6.87/6.93	c #Conflicts:     183000 | #Constraints:      12140
6.87/6.93	c #Conflicts:     184000 | #Constraints:      13140
6.87/6.93	c #Conflicts:     185000 | #Constraints:      14140
6.87/6.93	c #Conflicts:     186000 | #Constraints:      15140
6.87/6.93	c #Conflicts:     187000 | #Constraints:      16140
6.87/6.93	c #Conflicts:     188000 | #Constraints:      17140
6.87/6.93	c #Conflicts:     189000 | #Constraints:      18140
6.87/6.93	c INPROCESSING
6.87/6.93	c GARBAGE COLLECT
6.87/6.93	c rational objective 300.5
7.17/7.28	c #Conflicts:     190000 | #Constraints:      10551
7.17/7.28	c #Conflicts:     191000 | #Constraints:      11551
7.17/7.28	c #Conflicts:     192000 | #Constraints:      12551
7.17/7.28	c #Conflicts:     193000 | #Constraints:      13551
7.17/7.28	c #Conflicts:     194000 | #Constraints:      14551
7.17/7.28	c #Conflicts:     195000 | #Constraints:      15551
7.17/7.28	c #Conflicts:     196000 | #Constraints:      16551
7.17/7.28	c #Conflicts:     197000 | #Constraints:      17551
7.17/7.28	c #Conflicts:     198000 | #Constraints:      18552
7.17/7.28	c INPROCESSING
7.17/7.28	c GARBAGE COLLECT
7.17/7.28	c rational objective 300.5
7.56/7.64	c #Conflicts:     199000 | #Constraints:      10747
7.56/7.64	c #Conflicts:     200000 | #Constraints:      11747
7.56/7.64	c #Conflicts:     201000 | #Constraints:      12747
7.56/7.64	c #Conflicts:     202000 | #Constraints:      13747
7.56/7.64	c #Conflicts:     203000 | #Constraints:      14747
7.56/7.64	c #Conflicts:     204000 | #Constraints:      15747
7.56/7.64	c #Conflicts:     205000 | #Constraints:      16747
7.56/7.64	c #Conflicts:     206000 | #Constraints:      17747
7.56/7.64	c #Conflicts:     207000 | #Constraints:      18747
7.56/7.64	c INPROCESSING
7.56/7.64	c GARBAGE COLLECT
7.56/7.64	c rational objective 300.5
7.96/8.01	c #Conflicts:     208000 | #Constraints:      10757
7.96/8.01	c #Conflicts:     209000 | #Constraints:      11757
7.96/8.01	c #Conflicts:     210000 | #Constraints:      12757
7.96/8.01	c #Conflicts:     211000 | #Constraints:      13757
7.96/8.01	c #Conflicts:     212000 | #Constraints:      14757
7.96/8.01	c #Conflicts:     213000 | #Constraints:      15757
7.96/8.01	c #Conflicts:     214000 | #Constraints:      16757
7.96/8.01	c #Conflicts:     215000 | #Constraints:      17757
7.96/8.01	c #Conflicts:     216000 | #Constraints:      18757
7.96/8.01	c INPROCESSING
7.96/8.01	c GARBAGE COLLECT
7.96/8.01	c rational objective 300.5
8.26/8.33	c #Conflicts:     217000 | #Constraints:      10551
8.26/8.33	c #Conflicts:     218000 | #Constraints:      11551
8.26/8.33	c #Conflicts:     219000 | #Constraints:      12551
8.26/8.33	c #Conflicts:     220000 | #Constraints:      13551
8.26/8.33	c #Conflicts:     221000 | #Constraints:      14551
8.26/8.33	c #Conflicts:     222000 | #Constraints:      15551
8.26/8.33	c #Conflicts:     223000 | #Constraints:      16551
8.26/8.33	c #Conflicts:     224000 | #Constraints:      17551
8.26/8.33	c #Conflicts:     225000 | #Constraints:      18551
8.26/8.33	c #Conflicts:     226000 | #Constraints:      19551
8.26/8.33	c INPROCESSING
8.26/8.33	c GARBAGE COLLECT
8.26/8.33	c rational objective 300.5
8.56/8.66	c #Conflicts:     227000 | #Constraints:      11146
8.56/8.66	c #Conflicts:     228000 | #Constraints:      12146
8.56/8.66	c #Conflicts:     229000 | #Constraints:      13146
8.56/8.66	c #Conflicts:     230000 | #Constraints:      14146
8.56/8.66	c #Conflicts:     231000 | #Constraints:      15146
8.56/8.66	c #Conflicts:     232000 | #Constraints:      16146
8.56/8.66	c #Conflicts:     233000 | #Constraints:      17146
8.56/8.66	c #Conflicts:     234000 | #Constraints:      18146
8.56/8.66	c #Conflicts:     235000 | #Constraints:      19146
8.56/8.66	c #Conflicts:     236000 | #Constraints:      20147
8.56/8.66	c INPROCESSING
8.56/8.66	c GARBAGE COLLECT
8.56/8.66	c rational objective 300.5
8.86/8.97	c #Conflicts:     237000 | #Constraints:      11542
8.86/8.97	c #Conflicts:     238000 | #Constraints:      12542
8.86/8.97	c #Conflicts:     239000 | #Constraints:      13542
8.86/8.97	c #Conflicts:     240000 | #Constraints:      14542
8.86/8.97	c #Conflicts:     241000 | #Constraints:      15542
8.86/8.97	c #Conflicts:     242000 | #Constraints:      16542
8.86/8.97	c #Conflicts:     243000 | #Constraints:      17542
8.86/8.97	c #Conflicts:     244000 | #Constraints:      18542
8.86/8.97	c #Conflicts:     245000 | #Constraints:      19542
8.86/8.97	c #Conflicts:     246000 | #Constraints:      20542
8.86/8.97	c INPROCESSING
8.86/8.97	c GARBAGE COLLECT
8.86/8.97	c rational objective 300.5
9.26/9.33	c #Conflicts:     247000 | #Constraints:      11750
9.26/9.33	c #Conflicts:     248000 | #Constraints:      12750
9.26/9.33	c #Conflicts:     249000 | #Constraints:      13750
9.26/9.33	c #Conflicts:     250000 | #Constraints:      14750
9.26/9.33	c #Conflicts:     251000 | #Constraints:      15750
9.26/9.33	c #Conflicts:     252000 | #Constraints:      16750
9.26/9.33	c #Conflicts:     253000 | #Constraints:      17750
9.26/9.33	c #Conflicts:     254000 | #Constraints:      18750
9.26/9.33	c #Conflicts:     255000 | #Constraints:      19750
9.26/9.33	c #Conflicts:     256000 | #Constraints:      20750
9.26/9.33	c INPROCESSING
9.26/9.33	c GARBAGE COLLECT
9.26/9.33	c rational objective 300.5
9.56/9.69	c #Conflicts:     257000 | #Constraints:      11753
9.56/9.69	c #Conflicts:     258000 | #Constraints:      12753
9.56/9.69	c #Conflicts:     259000 | #Constraints:      13753
9.56/9.69	c #Conflicts:     260000 | #Constraints:      14753
9.56/9.69	c #Conflicts:     261000 | #Constraints:      15753
9.56/9.69	c #Conflicts:     262000 | #Constraints:      16753
9.56/9.69	c #Conflicts:     263000 | #Constraints:      17753
9.56/9.69	c #Conflicts:     264000 | #Constraints:      18753
9.56/9.69	c #Conflicts:     265000 | #Constraints:      19753
9.56/9.69	c #Conflicts:     266000 | #Constraints:      20753
9.56/9.69	c INPROCESSING
9.56/9.69	c GARBAGE COLLECT
9.56/9.69	c rational objective 300.5
9.96/10.10	c #Conflicts:     267000 | #Constraints:      11550
9.96/10.10	c #Conflicts:     268000 | #Constraints:      12550
9.96/10.10	c #Conflicts:     269000 | #Constraints:      13550
9.96/10.10	c #Conflicts:     270000 | #Constraints:      14550
9.96/10.10	c #Conflicts:     271000 | #Constraints:      15550
9.96/10.10	c #Conflicts:     272000 | #Constraints:      16550
9.96/10.10	c #Conflicts:     273000 | #Constraints:      17550
9.96/10.10	c #Conflicts:     274000 | #Constraints:      18550
9.96/10.10	c #Conflicts:     275000 | #Constraints:      19550
9.96/10.10	c #Conflicts:     276000 | #Constraints:      20550
9.96/10.10	c #Conflicts:     277000 | #Constraints:      21550
9.96/10.10	c INPROCESSING
9.96/10.10	c GARBAGE COLLECT
9.96/10.10	c rational objective 300.5
10.35/10.47	c #Conflicts:     278000 | #Constraints:      12147
10.35/10.47	c #Conflicts:     279000 | #Constraints:      13147
10.35/10.47	c #Conflicts:     280000 | #Constraints:      14147
10.35/10.47	c #Conflicts:     281000 | #Constraints:      15147
10.35/10.47	c #Conflicts:     282000 | #Constraints:      16147
10.35/10.47	c #Conflicts:     283000 | #Constraints:      17147
10.35/10.47	c #Conflicts:     284000 | #Constraints:      18147
10.35/10.47	c #Conflicts:     285000 | #Constraints:      19147
10.35/10.47	c #Conflicts:     286000 | #Constraints:      20147
10.35/10.47	c #Conflicts:     287000 | #Constraints:      21147
10.35/10.47	c #Conflicts:     288000 | #Constraints:      22147
10.35/10.47	c INPROCESSING
10.35/10.47	c GARBAGE COLLECT
10.35/10.47	c rational objective 300.5
10.76/10.85	c #Conflicts:     289000 | #Constraints:      12550
10.76/10.85	c #Conflicts:     290000 | #Constraints:      13550
10.76/10.85	c #Conflicts:     291000 | #Constraints:      14550
10.76/10.85	c #Conflicts:     292000 | #Constraints:      15550
10.76/10.85	c #Conflicts:     293000 | #Constraints:      16550
10.76/10.85	c #Conflicts:     294000 | #Constraints:      17550
10.76/10.85	c #Conflicts:     295000 | #Constraints:      18550
10.76/10.85	c #Conflicts:     296000 | #Constraints:      19550
10.76/10.85	c #Conflicts:     297000 | #Constraints:      20550
10.76/10.85	c #Conflicts:     298000 | #Constraints:      21550
10.76/10.85	c #Conflicts:     299000 | #Constraints:      22550
10.76/10.85	c INPROCESSING
10.76/10.85	c GARBAGE COLLECT
10.76/10.85	c rational objective 300.5
11.16/11.23	c #Conflicts:     300000 | #Constraints:      12753
11.16/11.23	c #Conflicts:     301000 | #Constraints:      13753
11.16/11.23	c #Conflicts:     302000 | #Constraints:      14753
11.16/11.23	c #Conflicts:     303000 | #Constraints:      15753
11.16/11.23	c #Conflicts:     304000 | #Constraints:      16753
11.16/11.23	c #Conflicts:     305000 | #Constraints:      17753
11.16/11.23	c #Conflicts:     306000 | #Constraints:      18753
11.16/11.23	c #Conflicts:     307000 | #Constraints:      19753
11.16/11.23	c #Conflicts:     308000 | #Constraints:      20753
11.16/11.23	c #Conflicts:     309000 | #Constraints:      21753
11.16/11.23	c #Conflicts:     310000 | #Constraints:      22753
11.16/11.23	c INPROCESSING
11.16/11.23	c GARBAGE COLLECT
11.16/11.23	c rational objective 300.5
11.56/11.62	c #Conflicts:     311000 | #Constraints:      12753
11.56/11.62	c #Conflicts:     312000 | #Constraints:      13753
11.56/11.62	c #Conflicts:     313000 | #Constraints:      14753
11.56/11.62	c #Conflicts:     314000 | #Constraints:      15753
11.56/11.62	c #Conflicts:     315000 | #Constraints:      16753
11.56/11.62	c #Conflicts:     316000 | #Constraints:      17753
11.56/11.62	c #Conflicts:     317000 | #Constraints:      18753
11.56/11.62	c #Conflicts:     318000 | #Constraints:      19753
11.56/11.62	c #Conflicts:     319000 | #Constraints:      20753
11.56/11.62	c #Conflicts:     320000 | #Constraints:      21753
11.56/11.62	c #Conflicts:     321000 | #Constraints:      22753
11.56/11.62	c INPROCESSING
11.56/11.62	c GARBAGE COLLECT
11.56/11.62	c rational objective 300.5
11.96/12.05	c #Conflicts:     322000 | #Constraints:      12560
11.96/12.05	c #Conflicts:     323000 | #Constraints:      13560
11.96/12.05	c #Conflicts:     324000 | #Constraints:      14560
11.96/12.05	c #Conflicts:     325000 | #Constraints:      15560
11.96/12.05	c #Conflicts:     326000 | #Constraints:      16560
11.96/12.05	c #Conflicts:     327000 | #Constraints:      17560
11.96/12.05	c #Conflicts:     328000 | #Constraints:      18560
11.96/12.05	c #Conflicts:     329000 | #Constraints:      19560
11.96/12.05	c #Conflicts:     330000 | #Constraints:      20560
11.96/12.05	c #Conflicts:     331000 | #Constraints:      21560
11.96/12.05	c #Conflicts:     332000 | #Constraints:      22560
11.96/12.05	c #Conflicts:     333000 | #Constraints:      23560
11.96/12.05	c INPROCESSING
11.96/12.05	c GARBAGE COLLECT
11.96/12.05	c rational objective 300.5
12.35/12.44	c #Conflicts:     334000 | #Constraints:      13161
12.35/12.44	c #Conflicts:     335000 | #Constraints:      14161
12.35/12.44	c #Conflicts:     336000 | #Constraints:      15161
12.35/12.44	c #Conflicts:     337000 | #Constraints:      16161
12.35/12.44	c #Conflicts:     338000 | #Constraints:      17161
12.35/12.44	c #Conflicts:     339000 | #Constraints:      18161
12.35/12.44	c #Conflicts:     340000 | #Constraints:      19161
12.35/12.44	c #Conflicts:     341000 | #Constraints:      20161
12.35/12.44	c #Conflicts:     342000 | #Constraints:      21161
12.35/12.44	c #Conflicts:     343000 | #Constraints:      22161
12.35/12.44	c #Conflicts:     344000 | #Constraints:      23161
12.35/12.44	c #Conflicts:     345000 | #Constraints:      24161
12.35/12.44	c INPROCESSING
12.35/12.44	c GARBAGE COLLECT
12.35/12.44	c rational objective 300.5
12.75/12.84	c #Conflicts:     346000 | #Constraints:      13569
12.75/12.84	c #Conflicts:     347000 | #Constraints:      14569
12.75/12.84	c #Conflicts:     348000 | #Constraints:      15569
12.75/12.84	c #Conflicts:     349000 | #Constraints:      16569
12.75/12.84	c #Conflicts:     350000 | #Constraints:      17569
12.75/12.84	c #Conflicts:     351000 | #Constraints:      18569
12.75/12.84	c #Conflicts:     352000 | #Constraints:      19569
12.75/12.84	c #Conflicts:     353000 | #Constraints:      20569
12.75/12.84	c #Conflicts:     354000 | #Constraints:      21569
12.75/12.84	c #Conflicts:     355000 | #Constraints:      22569
12.75/12.84	c #Conflicts:     356000 | #Constraints:      23569
12.75/12.84	c #Conflicts:     357000 | #Constraints:      24569
12.75/12.84	c INPROCESSING
12.75/12.84	c GARBAGE COLLECT
12.75/12.84	c rational objective 300.5
13.15/13.22	c #Conflicts:     358000 | #Constraints:      13762
13.15/13.22	c #Conflicts:     359000 | #Constraints:      14762
13.15/13.22	c #Conflicts:     360000 | #Constraints:      15762
13.15/13.22	c #Conflicts:     361000 | #Constraints:      16762
13.15/13.22	c #Conflicts:     362000 | #Constraints:      17762
13.15/13.22	c #Conflicts:     363000 | #Constraints:      18762
13.15/13.22	c #Conflicts:     364000 | #Constraints:      19762
13.15/13.22	c #Conflicts:     365000 | #Constraints:      20762
13.15/13.22	c #Conflicts:     366000 | #Constraints:      21762
13.15/13.22	c #Conflicts:     367000 | #Constraints:      22762
13.15/13.22	c #Conflicts:     368000 | #Constraints:      23762
13.15/13.22	c #Conflicts:     369000 | #Constraints:      24762
13.15/13.22	c INPROCESSING
13.15/13.22	c GARBAGE COLLECT
13.15/13.22	c rational objective 300.5
13.55/13.67	c #Conflicts:     370000 | #Constraints:      13775
13.55/13.67	c #Conflicts:     371000 | #Constraints:      14775
13.55/13.67	c #Conflicts:     372000 | #Constraints:      15775
13.55/13.67	c #Conflicts:     373000 | #Constraints:      16775
13.55/13.67	c #Conflicts:     374000 | #Constraints:      17775
13.55/13.67	c #Conflicts:     375000 | #Constraints:      18775
13.55/13.67	c #Conflicts:     376000 | #Constraints:      19775
13.55/13.67	c #Conflicts:     377000 | #Constraints:      20775
13.55/13.67	c #Conflicts:     378000 | #Constraints:      21775
13.55/13.67	c #Conflicts:     379000 | #Constraints:      22775
13.55/13.67	c #Conflicts:     380000 | #Constraints:      23775
13.55/13.67	c #Conflicts:     381000 | #Constraints:      24775
13.55/13.67	c INPROCESSING
13.55/13.67	c GARBAGE COLLECT
13.55/13.67	c rational objective 300.5
13.96/14.06	c #Conflicts:     382000 | #Constraints:      13572
13.96/14.06	c #Conflicts:     383000 | #Constraints:      14572
13.96/14.06	c #Conflicts:     384000 | #Constraints:      15572
13.96/14.06	c #Conflicts:     385000 | #Constraints:      16572
13.96/14.06	c #Conflicts:     386000 | #Constraints:      17572
13.96/14.06	c #Conflicts:     387000 | #Constraints:      18572
13.96/14.06	c #Conflicts:     388000 | #Constraints:      19572
13.96/14.06	c #Conflicts:     389000 | #Constraints:      20572
13.96/14.06	c #Conflicts:     390000 | #Constraints:      21572
13.96/14.06	c #Conflicts:     391000 | #Constraints:      22572
13.96/14.06	c #Conflicts:     392000 | #Constraints:      23572
13.96/14.06	c #Conflicts:     393000 | #Constraints:      24572
13.96/14.06	c #Conflicts:     394000 | #Constraints:      25572
13.96/14.06	c INPROCESSING
13.96/14.06	c GARBAGE COLLECT
13.96/14.06	c rational objective 300.5
14.44/14.51	c #Conflicts:     395000 | #Constraints:      14177
14.44/14.51	c #Conflicts:     396000 | #Constraints:      15177
14.44/14.51	c #Conflicts:     397000 | #Constraints:      16177
14.44/14.51	c #Conflicts:     398000 | #Constraints:      17177
14.44/14.51	c #Conflicts:     399000 | #Constraints:      18177
14.44/14.51	c #Conflicts:     400000 | #Constraints:      19177
14.44/14.51	c #Conflicts:     401000 | #Constraints:      20177
14.44/14.51	c #Conflicts:     402000 | #Constraints:      21177
14.44/14.51	c #Conflicts:     403000 | #Constraints:      22177
14.44/14.51	c #Conflicts:     404000 | #Constraints:      23177
14.44/14.51	c #Conflicts:     405000 | #Constraints:      24177
14.44/14.51	c #Conflicts:     406000 | #Constraints:      25177
14.44/14.51	c #Conflicts:     407000 | #Constraints:      26177
14.44/14.51	c INPROCESSING
14.44/14.51	c GARBAGE COLLECT
14.44/14.51	c rational objective 300.5
14.84/14.98	c #Conflicts:     408000 | #Constraints:      14573
14.84/14.98	c #Conflicts:     409000 | #Constraints:      15573
14.84/14.98	c #Conflicts:     410000 | #Constraints:      16573
14.84/14.98	c #Conflicts:     411000 | #Constraints:      17573
14.84/14.98	c #Conflicts:     412000 | #Constraints:      18573
14.84/14.98	c #Conflicts:     413000 | #Constraints:      19573
14.84/14.98	c #Conflicts:     414000 | #Constraints:      20573
14.84/14.98	c #Conflicts:     415000 | #Constraints:      21573
14.84/14.98	c #Conflicts:     416000 | #Constraints:      22573
14.84/14.98	c #Conflicts:     417000 | #Constraints:      23573
14.84/14.98	c #Conflicts:     418000 | #Constraints:      24573
14.84/14.98	c #Conflicts:     419000 | #Constraints:      25573
14.84/14.98	c #Conflicts:     420000 | #Constraints:      26573
14.84/14.98	c INPROCESSING
14.84/14.98	c GARBAGE COLLECT
14.84/14.98	c rational objective 300.5
15.35/15.48	c #Conflicts:     421000 | #Constraints:      14767
15.35/15.48	c #Conflicts:     422000 | #Constraints:      15767
15.35/15.48	c #Conflicts:     423000 | #Constraints:      16767
15.35/15.48	c #Conflicts:     424000 | #Constraints:      17767
15.35/15.48	c #Conflicts:     425000 | #Constraints:      18767
15.35/15.48	c #Conflicts:     426000 | #Constraints:      19767
15.35/15.48	c #Conflicts:     427000 | #Constraints:      20767
15.35/15.48	c #Conflicts:     428000 | #Constraints:      21767
15.35/15.48	c #Conflicts:     429000 | #Constraints:      22767
15.35/15.48	c #Conflicts:     430000 | #Constraints:      23767
15.35/15.48	c #Conflicts:     431000 | #Constraints:      24767
15.35/15.48	c #Conflicts:     432000 | #Constraints:      25767
15.35/15.48	c #Conflicts:     433000 | #Constraints:      26767
15.35/15.48	c INPROCESSING
15.35/15.48	c GARBAGE COLLECT
15.35/15.48	c rational objective 300.5
15.85/15.99	c #Conflicts:     434000 | #Constraints:      14776
15.85/15.99	c #Conflicts:     435000 | #Constraints:      15776
15.85/15.99	c #Conflicts:     436000 | #Constraints:      16776
15.85/15.99	c #Conflicts:     437000 | #Constraints:      17776
15.85/15.99	c #Conflicts:     438000 | #Constraints:      18776
15.85/15.99	c #Conflicts:     439000 | #Constraints:      19776
15.85/15.99	c #Conflicts:     440000 | #Constraints:      20776
15.85/15.99	c #Conflicts:     441000 | #Constraints:      21776
15.85/15.99	c #Conflicts:     442000 | #Constraints:      22776
15.85/15.99	c #Conflicts:     443000 | #Constraints:      23776
15.85/15.99	c #Conflicts:     444000 | #Constraints:      24776
15.85/15.99	c #Conflicts:     445000 | #Constraints:      25776
15.85/15.99	c #Conflicts:     446000 | #Constraints:      26776
15.85/15.99	c INPROCESSING
15.85/15.99	c GARBAGE COLLECT
15.85/15.99	c rational objective 300.5
16.35/16.47	c #Conflicts:     447000 | #Constraints:      14580
16.35/16.47	c #Conflicts:     448000 | #Constraints:      15580
16.35/16.47	c #Conflicts:     449000 | #Constraints:      16580
16.35/16.47	c #Conflicts:     450000 | #Constraints:      17580
16.35/16.47	c #Conflicts:     451000 | #Constraints:      18580
16.35/16.47	c #Conflicts:     452000 | #Constraints:      19580
16.35/16.47	c #Conflicts:     453000 | #Constraints:      20580
16.35/16.47	c #Conflicts:     454000 | #Constraints:      21580
16.35/16.47	c #Conflicts:     455000 | #Constraints:      22580
16.35/16.47	c #Conflicts:     456000 | #Constraints:      23580
16.35/16.47	c #Conflicts:     457000 | #Constraints:      24580
16.35/16.47	c #Conflicts:     458000 | #Constraints:      25580
16.35/16.47	c #Conflicts:     459000 | #Constraints:      26580
16.35/16.47	c #Conflicts:     460000 | #Constraints:      27580
16.35/16.47	c INPROCESSING
16.35/16.47	c GARBAGE COLLECT
16.35/16.47	c rational objective 300.5
16.85/16.99	c #Conflicts:     461000 | #Constraints:      15178
16.85/16.99	c #Conflicts:     462000 | #Constraints:      16178
16.85/16.99	c #Conflicts:     463000 | #Constraints:      17178
16.85/16.99	c #Conflicts:     464000 | #Constraints:      18178
16.85/16.99	c #Conflicts:     465000 | #Constraints:      19178
16.85/16.99	c #Conflicts:     466000 | #Constraints:      20178
16.85/16.99	c #Conflicts:     467000 | #Constraints:      21178
16.85/16.99	c #Conflicts:     468000 | #Constraints:      22178
16.85/16.99	c #Conflicts:     469000 | #Constraints:      23178
16.85/16.99	c #Conflicts:     470000 | #Constraints:      24178
16.85/16.99	c #Conflicts:     471000 | #Constraints:      25178
16.85/16.99	c #Conflicts:     472000 | #Constraints:      26178
16.85/16.99	c #Conflicts:     473000 | #Constraints:      27178
16.85/16.99	c #Conflicts:     474000 | #Constraints:      28178
16.85/16.99	c INPROCESSING
16.85/16.99	c GARBAGE COLLECT
16.85/16.99	c rational objective 300.5
17.45/17.56	c #Conflicts:     475000 | #Constraints:      15582
17.45/17.56	c #Conflicts:     476000 | #Constraints:      16582
17.45/17.56	c #Conflicts:     477000 | #Constraints:      17582
17.45/17.56	c #Conflicts:     478000 | #Constraints:      18582
17.45/17.56	c #Conflicts:     479000 | #Constraints:      19582
17.45/17.56	c #Conflicts:     480000 | #Constraints:      20582
17.45/17.56	c #Conflicts:     481000 | #Constraints:      21582
17.45/17.56	c #Conflicts:     482000 | #Constraints:      22582
17.45/17.56	c #Conflicts:     483000 | #Constraints:      23582
17.45/17.56	c #Conflicts:     484000 | #Constraints:      24582
17.45/17.56	c #Conflicts:     485000 | #Constraints:      25582
17.45/17.56	c #Conflicts:     486000 | #Constraints:      26582
17.45/17.56	c #Conflicts:     487000 | #Constraints:      27582
17.45/17.56	c #Conflicts:     488000 | #Constraints:      28582
17.45/17.56	c INPROCESSING
17.45/17.56	c GARBAGE COLLECT
17.45/17.56	c rational objective 300.5
17.94/18.09	c #Conflicts:     489000 | #Constraints:      15787
17.94/18.09	c #Conflicts:     490000 | #Constraints:      16787
17.94/18.09	c #Conflicts:     491000 | #Constraints:      17787
17.94/18.09	c #Conflicts:     492000 | #Constraints:      18787
17.94/18.09	c #Conflicts:     493000 | #Constraints:      19787
17.94/18.09	c #Conflicts:     494000 | #Constraints:      20787
17.94/18.09	c #Conflicts:     495000 | #Constraints:      21787
17.94/18.09	c #Conflicts:     496000 | #Constraints:      22787
17.94/18.09	c #Conflicts:     497000 | #Constraints:      23787
17.94/18.09	c #Conflicts:     498000 | #Constraints:      24787
17.94/18.09	c #Conflicts:     499000 | #Constraints:      25787
17.94/18.09	c #Conflicts:     500000 | #Constraints:      26787
17.94/18.09	c #Conflicts:     501000 | #Constraints:      27787
17.94/18.09	c #Conflicts:     502000 | #Constraints:      28787
17.94/18.09	c INPROCESSING
17.94/18.09	c GARBAGE COLLECT
17.94/18.09	c rational objective 300.5
18.54/18.65	c #Conflicts:     503000 | #Constraints:      15791
18.54/18.65	c #Conflicts:     504000 | #Constraints:      16791
18.54/18.65	c #Conflicts:     505000 | #Constraints:      17791
18.54/18.65	c #Conflicts:     506000 | #Constraints:      18791
18.54/18.65	c #Conflicts:     507000 | #Constraints:      19791
18.54/18.65	c #Conflicts:     508000 | #Constraints:      20791
18.54/18.65	c #Conflicts:     509000 | #Constraints:      21791
18.54/18.65	c #Conflicts:     510000 | #Constraints:      22791
18.54/18.65	c #Conflicts:     511000 | #Constraints:      23791
18.54/18.65	c #Conflicts:     512000 | #Constraints:      24791
18.54/18.65	c #Conflicts:     513000 | #Constraints:      25791
18.54/18.65	c #Conflicts:     514000 | #Constraints:      26791
18.54/18.65	c #Conflicts:     515000 | #Constraints:      27791
18.54/18.65	c #Conflicts:     516000 | #Constraints:      28791
18.54/18.65	c INPROCESSING
18.54/18.65	c GARBAGE COLLECT
18.54/18.65	c rational objective 300.5
19.05/19.17	c #Conflicts:     517000 | #Constraints:      15591
19.05/19.17	c #Conflicts:     518000 | #Constraints:      16591
19.05/19.17	c #Conflicts:     519000 | #Constraints:      17591
19.05/19.17	c #Conflicts:     520000 | #Constraints:      18591
19.05/19.17	c #Conflicts:     521000 | #Constraints:      19591
19.05/19.17	c #Conflicts:     522000 | #Constraints:      20591
19.05/19.17	c #Conflicts:     523000 | #Constraints:      21591
19.05/19.17	c #Conflicts:     524000 | #Constraints:      22591
19.05/19.17	c #Conflicts:     525000 | #Constraints:      23591
19.05/19.17	c #Conflicts:     526000 | #Constraints:      24591
19.05/19.17	c #Conflicts:     527000 | #Constraints:      25591
19.05/19.17	c #Conflicts:     528000 | #Constraints:      26591
19.05/19.17	c #Conflicts:     529000 | #Constraints:      27591
19.05/19.17	c #Conflicts:     530000 | #Constraints:      28591
19.05/19.17	c #Conflicts:     531000 | #Constraints:      29591
19.05/19.17	c INPROCESSING
19.05/19.17	c GARBAGE COLLECT
19.05/19.17	c rational objective 300.5
19.64/19.71	c #Conflicts:     532000 | #Constraints:      16193
19.64/19.71	c #Conflicts:     533000 | #Constraints:      17193
19.64/19.71	c #Conflicts:     534000 | #Constraints:      18193
19.64/19.71	c #Conflicts:     535000 | #Constraints:      19193
19.64/19.71	c #Conflicts:     536000 | #Constraints:      20193
19.64/19.71	c #Conflicts:     537000 | #Constraints:      21193
19.64/19.71	c #Conflicts:     538000 | #Constraints:      22193
19.64/19.71	c #Conflicts:     539000 | #Constraints:      23193
19.64/19.71	c #Conflicts:     540000 | #Constraints:      24193
19.64/19.71	c #Conflicts:     541000 | #Constraints:      25193
19.64/19.71	c #Conflicts:     542000 | #Constraints:      26193
19.64/19.71	c #Conflicts:     543000 | #Constraints:      27193
19.64/19.71	c #Conflicts:     544000 | #Constraints:      28193
19.64/19.71	c #Conflicts:     545000 | #Constraints:      29193
19.64/19.71	c #Conflicts:     546000 | #Constraints:      30193
19.64/19.71	c INPROCESSING
19.64/19.71	c GARBAGE COLLECT
19.64/19.71	c rational objective 300.5
20.14/20.28	c #Conflicts:     547000 | #Constraints:      16595
20.14/20.28	c #Conflicts:     548000 | #Constraints:      17595
20.14/20.28	c #Conflicts:     549000 | #Constraints:      18595
20.14/20.28	c #Conflicts:     550000 | #Constraints:      19595
20.14/20.28	c #Conflicts:     551000 | #Constraints:      20595
20.14/20.28	c #Conflicts:     552000 | #Constraints:      21595
20.14/20.28	c #Conflicts:     553000 | #Constraints:      22595
20.14/20.28	c #Conflicts:     554000 | #Constraints:      23595
20.14/20.28	c #Conflicts:     555000 | #Constraints:      24595
20.14/20.28	c #Conflicts:     556000 | #Constraints:      25595
20.14/20.28	c #Conflicts:     557000 | #Constraints:      26595
20.14/20.28	c #Conflicts:     558000 | #Constraints:      27595
20.14/20.28	c #Conflicts:     559000 | #Constraints:      28595
20.14/20.28	c #Conflicts:     560000 | #Constraints:      29595
20.14/20.28	c #Conflicts:     561000 | #Constraints:      30595
20.14/20.28	c INPROCESSING
20.14/20.28	c GARBAGE COLLECT
20.14/20.28	c rational objective 300.5
20.74/20.81	c #Conflicts:     562000 | #Constraints:      16787
20.74/20.81	c #Conflicts:     563000 | #Constraints:      17787
20.74/20.81	c #Conflicts:     564000 | #Constraints:      18787
20.74/20.81	c #Conflicts:     565000 | #Constraints:      19787
20.74/20.81	c #Conflicts:     566000 | #Constraints:      20787
20.74/20.81	c #Conflicts:     567000 | #Constraints:      21787
20.74/20.81	c #Conflicts:     568000 | #Constraints:      22787
20.74/20.81	c #Conflicts:     569000 | #Constraints:      23787
20.74/20.81	c #Conflicts:     570000 | #Constraints:      24787
20.74/20.81	c #Conflicts:     571000 | #Constraints:      25787
20.74/20.81	c #Conflicts:     572000 | #Constraints:      26787
20.74/20.81	c #Conflicts:     573000 | #Constraints:      27787
20.74/20.81	c #Conflicts:     574000 | #Constraints:      28787
20.74/20.81	c #Conflicts:     575000 | #Constraints:      29787
20.74/20.81	c #Conflicts:     576000 | #Constraints:      30787
20.74/20.81	c INPROCESSING
20.74/20.81	c GARBAGE COLLECT
20.74/20.81	c rational objective 300.5
21.23/21.37	c #Conflicts:     577000 | #Constraints:      16797
21.23/21.37	c #Conflicts:     578000 | #Constraints:      17797
21.23/21.37	c #Conflicts:     579000 | #Constraints:      18797
21.23/21.37	c #Conflicts:     580000 | #Constraints:      19797
21.23/21.37	c #Conflicts:     581000 | #Constraints:      20797
21.23/21.37	c #Conflicts:     582000 | #Constraints:      21797
21.23/21.37	c #Conflicts:     583000 | #Constraints:      22797
21.23/21.37	c #Conflicts:     584000 | #Constraints:      23797
21.23/21.37	c #Conflicts:     585000 | #Constraints:      24797
21.23/21.37	c #Conflicts:     586000 | #Constraints:      25797
21.23/21.37	c #Conflicts:     587000 | #Constraints:      26797
21.23/21.37	c #Conflicts:     588000 | #Constraints:      27797
21.23/21.37	c #Conflicts:     589000 | #Constraints:      28797
21.23/21.37	c #Conflicts:     590000 | #Constraints:      29797
21.23/21.37	c #Conflicts:     591000 | #Constraints:      30797
21.23/21.37	c INPROCESSING
21.23/21.37	c GARBAGE COLLECT
21.23/21.37	c rational objective 300.5
21.94/22.00	c #Conflicts:     592000 | #Constraints:      16599
21.94/22.00	c #Conflicts:     593000 | #Constraints:      17599
21.94/22.00	c #Conflicts:     594000 | #Constraints:      18599
21.94/22.00	c #Conflicts:     595000 | #Constraints:      19599
21.94/22.00	c #Conflicts:     596000 | #Constraints:      20599
21.94/22.00	c #Conflicts:     597000 | #Constraints:      21599
21.94/22.00	c #Conflicts:     598000 | #Constraints:      22599
21.94/22.00	c #Conflicts:     599000 | #Constraints:      23599
21.94/22.00	c #Conflicts:     600000 | #Constraints:      24599
21.94/22.00	c #Conflicts:     601000 | #Constraints:      25599
21.94/22.00	c #Conflicts:     602000 | #Constraints:      26599
21.94/22.00	c #Conflicts:     603000 | #Constraints:      27599
21.94/22.00	c #Conflicts:     604000 | #Constraints:      28599
21.94/22.00	c #Conflicts:     605000 | #Constraints:      29599
21.94/22.00	c #Conflicts:     606000 | #Constraints:      30599
21.94/22.00	c #Conflicts:     607000 | #Constraints:      31599
21.94/22.00	c INPROCESSING
21.94/22.00	c GARBAGE COLLECT
21.94/22.00	c rational objective 300.5
22.53/22.61	c #Conflicts:     608000 | #Constraints:      17197
22.53/22.61	c #Conflicts:     609000 | #Constraints:      18197
22.53/22.61	c #Conflicts:     610000 | #Constraints:      19197
22.53/22.61	c #Conflicts:     611000 | #Constraints:      20197
22.53/22.61	c #Conflicts:     612000 | #Constraints:      21197
22.53/22.61	c #Conflicts:     613000 | #Constraints:      22197
22.53/22.61	c #Conflicts:     614000 | #Constraints:      23197
22.53/22.61	c #Conflicts:     615000 | #Constraints:      24197
22.53/22.61	c #Conflicts:     616000 | #Constraints:      25197
22.53/22.61	c #Conflicts:     617000 | #Constraints:      26197
22.53/22.61	c #Conflicts:     618000 | #Constraints:      27197
22.53/22.61	c #Conflicts:     619000 | #Constraints:      28197
22.53/22.61	c #Conflicts:     620000 | #Constraints:      29197
22.53/22.61	c #Conflicts:     621000 | #Constraints:      30197
22.53/22.61	c #Conflicts:     622000 | #Constraints:      31197
22.53/22.61	c #Conflicts:     623000 | #Constraints:      32197
22.53/22.61	c INPROCESSING
22.53/22.61	c GARBAGE COLLECT
22.53/22.61	c rational objective 300.5
23.13/23.22	c #Conflicts:     624000 | #Constraints:      17595
23.13/23.22	c #Conflicts:     625000 | #Constraints:      18595
23.13/23.22	c #Conflicts:     626000 | #Constraints:      19595
23.13/23.22	c #Conflicts:     627000 | #Constraints:      20595
23.13/23.22	c #Conflicts:     628000 | #Constraints:      21595
23.13/23.22	c #Conflicts:     629000 | #Constraints:      22595
23.13/23.22	c #Conflicts:     630000 | #Constraints:      23595
23.13/23.22	c #Conflicts:     631000 | #Constraints:      24595
23.13/23.22	c #Conflicts:     632000 | #Constraints:      25595
23.13/23.22	c #Conflicts:     633000 | #Constraints:      26595
23.13/23.22	c #Conflicts:     634000 | #Constraints:      27595
23.13/23.22	c #Conflicts:     635000 | #Constraints:      28595
23.13/23.22	c #Conflicts:     636000 | #Constraints:      29595
23.13/23.22	c #Conflicts:     637000 | #Constraints:      30595
23.13/23.22	c #Conflicts:     638000 | #Constraints:      31595
23.13/23.22	c #Conflicts:     639000 | #Constraints:      32595
23.13/23.22	c INPROCESSING
23.13/23.22	c GARBAGE COLLECT
23.13/23.22	c rational objective 300.5
23.73/23.80	c #Conflicts:     640000 | #Constraints:      17795
23.73/23.80	c #Conflicts:     641000 | #Constraints:      18795
23.73/23.80	c #Conflicts:     642000 | #Constraints:      19795
23.73/23.80	c #Conflicts:     643000 | #Constraints:      20795
23.73/23.80	c #Conflicts:     644000 | #Constraints:      21795
23.73/23.80	c #Conflicts:     645000 | #Constraints:      22795
23.73/23.80	c #Conflicts:     646000 | #Constraints:      23795
23.73/23.80	c #Conflicts:     647000 | #Constraints:      24795
23.73/23.80	c #Conflicts:     648000 | #Constraints:      25795
23.73/23.80	c #Conflicts:     649000 | #Constraints:      26795
23.73/23.80	c #Conflicts:     650000 | #Constraints:      27795
23.73/23.80	c #Conflicts:     651000 | #Constraints:      28795
23.73/23.80	c #Conflicts:     652000 | #Constraints:      29795
23.73/23.80	c #Conflicts:     653000 | #Constraints:      30795
23.73/23.80	c #Conflicts:     654000 | #Constraints:      31795
23.73/23.80	c #Conflicts:     655000 | #Constraints:      32795
23.73/23.80	c INPROCESSING
23.73/23.80	c GARBAGE COLLECT
23.73/23.80	c rational objective 300.5
24.33/24.42	c #Conflicts:     656000 | #Constraints:      17796
24.33/24.42	c #Conflicts:     657000 | #Constraints:      18796
24.33/24.42	c #Conflicts:     658000 | #Constraints:      19796
24.33/24.42	c #Conflicts:     659000 | #Constraints:      20796
24.33/24.42	c #Conflicts:     660000 | #Constraints:      21796
24.33/24.42	c #Conflicts:     661000 | #Constraints:      22796
24.33/24.42	c #Conflicts:     662000 | #Constraints:      23796
24.33/24.42	c #Conflicts:     663000 | #Constraints:      24796
24.33/24.42	c #Conflicts:     664000 | #Constraints:      25796
24.33/24.42	c #Conflicts:     665000 | #Constraints:      26796
24.33/24.42	c #Conflicts:     666000 | #Constraints:      27796
24.33/24.42	c #Conflicts:     667000 | #Constraints:      28796
24.33/24.42	c #Conflicts:     668000 | #Constraints:      29796
24.33/24.42	c #Conflicts:     669000 | #Constraints:      30796
24.33/24.42	c #Conflicts:     670000 | #Constraints:      31796
24.33/24.42	c #Conflicts:     671000 | #Constraints:      32796
24.33/24.42	c INPROCESSING
24.33/24.42	c GARBAGE COLLECT
24.33/24.42	c rational objective 300.5
24.93/25.06	c #Conflicts:     672000 | #Constraints:      17595
24.93/25.06	c #Conflicts:     673000 | #Constraints:      18595
24.93/25.06	c #Conflicts:     674000 | #Constraints:      19595
24.93/25.06	c #Conflicts:     675000 | #Constraints:      20595
24.93/25.06	c #Conflicts:     676000 | #Constraints:      21595
24.93/25.06	c #Conflicts:     677000 | #Constraints:      22595
24.93/25.06	c #Conflicts:     678000 | #Constraints:      23595
24.93/25.06	c #Conflicts:     679000 | #Constraints:      24595
24.93/25.06	c #Conflicts:     680000 | #Constraints:      25595
24.93/25.06	c #Conflicts:     681000 | #Constraints:      26595
24.93/25.06	c #Conflicts:     682000 | #Constraints:      27595
24.93/25.06	c #Conflicts:     683000 | #Constraints:      28595
24.93/25.06	c #Conflicts:     684000 | #Constraints:      29595
24.93/25.06	c #Conflicts:     685000 | #Constraints:      30595
24.93/25.06	c #Conflicts:     686000 | #Constraints:      31595
24.93/25.06	c #Conflicts:     687000 | #Constraints:      32595
24.93/25.06	c #Conflicts:     688000 | #Constraints:      33595
24.93/25.06	c INPROCESSING
24.93/25.06	c GARBAGE COLLECT
24.93/25.06	c rational objective 300.5
25.52/25.69	c #Conflicts:     689000 | #Constraints:      18197
25.52/25.69	c #Conflicts:     690000 | #Constraints:      19197
25.52/25.69	c #Conflicts:     691000 | #Constraints:      20197
25.52/25.69	c #Conflicts:     692000 | #Constraints:      21197
25.52/25.69	c #Conflicts:     693000 | #Constraints:      22197
25.52/25.69	c #Conflicts:     694000 | #Constraints:      23197
25.52/25.69	c #Conflicts:     695000 | #Constraints:      24197
25.52/25.69	c #Conflicts:     696000 | #Constraints:      25197
25.52/25.69	c #Conflicts:     697000 | #Constraints:      26197
25.52/25.69	c #Conflicts:     698000 | #Constraints:      27197
25.52/25.69	c #Conflicts:     699000 | #Constraints:      28197
25.52/25.69	c #Conflicts:     700000 | #Constraints:      29197
25.52/25.69	c #Conflicts:     701000 | #Constraints:      30197
25.52/25.69	c #Conflicts:     702000 | #Constraints:      31197
25.52/25.69	c #Conflicts:     703000 | #Constraints:      32197
25.52/25.69	c #Conflicts:     704000 | #Constraints:      33197
25.52/25.69	c #Conflicts:     705000 | #Constraints:      34197
25.52/25.69	c INPROCESSING
25.52/25.69	c GARBAGE COLLECT
25.52/25.69	c rational objective 300.5
26.22/26.39	c #Conflicts:     706000 | #Constraints:      18594
26.22/26.39	c #Conflicts:     707000 | #Constraints:      19594
26.22/26.39	c #Conflicts:     708000 | #Constraints:      20594
26.22/26.39	c #Conflicts:     709000 | #Constraints:      21594
26.22/26.39	c #Conflicts:     710000 | #Constraints:      22594
26.22/26.39	c #Conflicts:     711000 | #Constraints:      23594
26.22/26.39	c #Conflicts:     712000 | #Constraints:      24594
26.22/26.39	c #Conflicts:     713000 | #Constraints:      25594
26.22/26.39	c #Conflicts:     714000 | #Constraints:      26594
26.22/26.39	c #Conflicts:     715000 | #Constraints:      27594
26.22/26.39	c #Conflicts:     716000 | #Constraints:      28594
26.22/26.39	c #Conflicts:     717000 | #Constraints:      29594
26.22/26.39	c #Conflicts:     718000 | #Constraints:      30594
26.22/26.39	c #Conflicts:     719000 | #Constraints:      31594
26.22/26.39	c #Conflicts:     720000 | #Constraints:      32594
26.22/26.39	c #Conflicts:     721000 | #Constraints:      33594
26.22/26.39	c #Conflicts:     722000 | #Constraints:      34594
26.22/26.39	c INPROCESSING
26.22/26.39	c GARBAGE COLLECT
26.22/26.39	c rational objective 300.5
26.92/27.07	c #Conflicts:     723000 | #Constraints:      18796
26.92/27.07	c #Conflicts:     724000 | #Constraints:      19796
26.92/27.07	c #Conflicts:     725000 | #Constraints:      20796
26.92/27.07	c #Conflicts:     726000 | #Constraints:      21796
26.92/27.07	c #Conflicts:     727000 | #Constraints:      22796
26.92/27.07	c #Conflicts:     728000 | #Constraints:      23796
26.92/27.07	c #Conflicts:     729000 | #Constraints:      24796
26.92/27.07	c #Conflicts:     730000 | #Constraints:      25796
26.92/27.07	c #Conflicts:     731000 | #Constraints:      26796
26.92/27.07	c #Conflicts:     732000 | #Constraints:      27796
26.92/27.07	c #Conflicts:     733000 | #Constraints:      28796
26.92/27.07	c #Conflicts:     734000 | #Constraints:      29796
26.92/27.07	c #Conflicts:     735000 | #Constraints:      30796
26.92/27.07	c #Conflicts:     736000 | #Constraints:      31796
26.92/27.07	c #Conflicts:     737000 | #Constraints:      32796
26.92/27.07	c #Conflicts:     738000 | #Constraints:      33796
26.92/27.07	c #Conflicts:     739000 | #Constraints:      34796
26.92/27.07	c INPROCESSING
26.92/27.07	c GARBAGE COLLECT
26.92/27.07	c rational objective 300.5
27.62/27.76	c #Conflicts:     740000 | #Constraints:      18795
27.62/27.76	c #Conflicts:     741000 | #Constraints:      19795
27.62/27.76	c #Conflicts:     742000 | #Constraints:      20795
27.62/27.76	c #Conflicts:     743000 | #Constraints:      21795
27.62/27.76	c #Conflicts:     744000 | #Constraints:      22795
27.62/27.76	c #Conflicts:     745000 | #Constraints:      23795
27.62/27.76	c #Conflicts:     746000 | #Constraints:      24795
27.62/27.76	c #Conflicts:     747000 | #Constraints:      25795
27.62/27.76	c #Conflicts:     748000 | #Constraints:      26795
27.62/27.76	c #Conflicts:     749000 | #Constraints:      27795
27.62/27.76	c #Conflicts:     750000 | #Constraints:      28795
27.62/27.76	c #Conflicts:     751000 | #Constraints:      29795
27.62/27.76	c #Conflicts:     752000 | #Constraints:      30795
27.62/27.76	c #Conflicts:     753000 | #Constraints:      31795
27.62/27.76	c #Conflicts:     754000 | #Constraints:      32795
27.62/27.76	c #Conflicts:     755000 | #Constraints:      33795
27.62/27.76	c #Conflicts:     756000 | #Constraints:      34795
27.62/27.76	c INPROCESSING
27.62/27.76	c GARBAGE COLLECT
27.62/27.76	c rational objective 300.5
28.32/28.46	c #Conflicts:     757000 | #Constraints:      18596
28.32/28.46	c #Conflicts:     758000 | #Constraints:      19596
28.32/28.46	c #Conflicts:     759000 | #Constraints:      20596
28.32/28.46	c #Conflicts:     760000 | #Constraints:      21596
28.32/28.46	c #Conflicts:     761000 | #Constraints:      22596
28.32/28.46	c #Conflicts:     762000 | #Constraints:      23596
28.32/28.46	c #Conflicts:     763000 | #Constraints:      24596
28.32/28.46	c #Conflicts:     764000 | #Constraints:      25596
28.32/28.46	c #Conflicts:     765000 | #Constraints:      26596
28.32/28.46	c #Conflicts:     766000 | #Constraints:      27596
28.32/28.46	c #Conflicts:     767000 | #Constraints:      28596
28.32/28.46	c #Conflicts:     768000 | #Constraints:      29596
28.32/28.46	c #Conflicts:     769000 | #Constraints:      30596
28.32/28.46	c #Conflicts:     770000 | #Constraints:      31596
28.32/28.46	c #Conflicts:     771000 | #Constraints:      32596
28.32/28.46	c #Conflicts:     772000 | #Constraints:      33596
28.32/28.46	c #Conflicts:     773000 | #Constraints:      34596
28.32/28.46	c #Conflicts:     774000 | #Constraints:      35596
28.32/28.46	c INPROCESSING
28.32/28.46	c GARBAGE COLLECT
28.32/28.46	c rational objective 300.5
29.11/29.20	c #Conflicts:     775000 | #Constraints:      19194
29.11/29.20	c #Conflicts:     776000 | #Constraints:      20194
29.11/29.20	c #Conflicts:     777000 | #Constraints:      21194
29.11/29.20	c #Conflicts:     778000 | #Constraints:      22194
29.11/29.20	c #Conflicts:     779000 | #Constraints:      23194
29.11/29.20	c #Conflicts:     780000 | #Constraints:      24194
29.11/29.20	c #Conflicts:     781000 | #Constraints:      25194
29.11/29.20	c #Conflicts:     782000 | #Constraints:      26194
29.11/29.20	c #Conflicts:     783000 | #Constraints:      27194
29.11/29.20	c #Conflicts:     784000 | #Constraints:      28194
29.11/29.20	c #Conflicts:     785000 | #Constraints:      29194
29.11/29.20	c #Conflicts:     786000 | #Constraints:      30194
29.11/29.20	c #Conflicts:     787000 | #Constraints:      31194
29.11/29.20	c #Conflicts:     788000 | #Constraints:      32194
29.11/29.20	c #Conflicts:     789000 | #Constraints:      33194
29.11/29.20	c #Conflicts:     790000 | #Constraints:      34194
29.11/29.20	c #Conflicts:     791000 | #Constraints:      35194
29.11/29.20	c #Conflicts:     792000 | #Constraints:      36194
29.11/29.20	c INPROCESSING
29.11/29.20	c GARBAGE COLLECT
29.11/29.20	c rational objective 300.5
29.81/29.93	c #Conflicts:     793000 | #Constraints:      19597
29.81/29.93	c #Conflicts:     794000 | #Constraints:      20597
29.81/29.93	c #Conflicts:     795000 | #Constraints:      21597
29.81/29.93	c #Conflicts:     796000 | #Constraints:      22597
29.81/29.93	c #Conflicts:     797000 | #Constraints:      23597
29.81/29.93	c #Conflicts:     798000 | #Constraints:      24597
29.81/29.93	c #Conflicts:     799000 | #Constraints:      25597
29.81/29.93	c #Conflicts:     800000 | #Constraints:      26597
29.81/29.93	c #Conflicts:     801000 | #Constraints:      27597
29.81/29.93	c #Conflicts:     802000 | #Constraints:      28597
29.81/29.93	c #Conflicts:     803000 | #Constraints:      29597
29.81/29.93	c #Conflicts:     804000 | #Constraints:      30597
29.81/29.93	c #Conflicts:     805000 | #Constraints:      31597
29.81/29.93	c #Conflicts:     806000 | #Constraints:      32597
29.81/29.93	c #Conflicts:     807000 | #Constraints:      33597
29.81/29.93	c #Conflicts:     808000 | #Constraints:      34597
29.81/29.93	c #Conflicts:     809000 | #Constraints:      35597
29.81/29.93	c #Conflicts:     810000 | #Constraints:      36597
29.81/29.93	c INPROCESSING
29.81/29.93	c GARBAGE COLLECT
29.81/29.93	c rational objective 300.5
30.51/30.65	c #Conflicts:     811000 | #Constraints:      19796
30.51/30.65	c #Conflicts:     812000 | #Constraints:      20796
30.51/30.65	c #Conflicts:     813000 | #Constraints:      21796
30.51/30.65	c #Conflicts:     814000 | #Constraints:      22796
30.51/30.65	c #Conflicts:     815000 | #Constraints:      23796
30.51/30.65	c #Conflicts:     816000 | #Constraints:      24796
30.51/30.65	c #Conflicts:     817000 | #Constraints:      25796
30.51/30.65	c #Conflicts:     818000 | #Constraints:      26796
30.51/30.65	c #Conflicts:     819000 | #Constraints:      27796
30.51/30.65	c #Conflicts:     820000 | #Constraints:      28796
30.51/30.65	c #Conflicts:     821000 | #Constraints:      29796
30.51/30.65	c #Conflicts:     822000 | #Constraints:      30796
30.51/30.65	c #Conflicts:     823000 | #Constraints:      31796
30.51/30.65	c #Conflicts:     824000 | #Constraints:      32796
30.51/30.65	c #Conflicts:     825000 | #Constraints:      33796
30.51/30.65	c #Conflicts:     826000 | #Constraints:      34796
30.51/30.65	c #Conflicts:     827000 | #Constraints:      35796
30.51/30.65	c #Conflicts:     828000 | #Constraints:      36796
30.51/30.65	c INPROCESSING
30.51/30.65	c GARBAGE COLLECT
30.51/30.65	c rational objective 300.5
31.30/31.42	c #Conflicts:     829000 | #Constraints:      19799
31.30/31.42	c #Conflicts:     830000 | #Constraints:      20799
31.30/31.42	c #Conflicts:     831000 | #Constraints:      21799
31.30/31.42	c #Conflicts:     832000 | #Constraints:      22799
31.30/31.42	c #Conflicts:     833000 | #Constraints:      23799
31.30/31.42	c #Conflicts:     834000 | #Constraints:      24799
31.30/31.42	c #Conflicts:     835000 | #Constraints:      25799
31.30/31.42	c #Conflicts:     836000 | #Constraints:      26799
31.30/31.42	c #Conflicts:     837000 | #Constraints:      27799
31.30/31.42	c #Conflicts:     838000 | #Constraints:      28799
31.30/31.42	c #Conflicts:     839000 | #Constraints:      29799
31.30/31.42	c #Conflicts:     840000 | #Constraints:      30799
31.30/31.42	c #Conflicts:     841000 | #Constraints:      31799
31.30/31.42	c #Conflicts:     842000 | #Constraints:      32799
31.30/31.42	c #Conflicts:     843000 | #Constraints:      33799
31.30/31.42	c #Conflicts:     844000 | #Constraints:      34799
31.30/31.42	c #Conflicts:     845000 | #Constraints:      35799
31.30/31.42	c #Conflicts:     846000 | #Constraints:      36799
31.30/31.42	c INPROCESSING
31.30/31.42	c GARBAGE COLLECT
31.30/31.42	c rational objective 300.5
32.01/32.18	c #Conflicts:     847000 | #Constraints:      19596
32.01/32.18	c #Conflicts:     848000 | #Constraints:      20596
32.01/32.18	c #Conflicts:     849000 | #Constraints:      21596
32.01/32.18	c #Conflicts:     850000 | #Constraints:      22596
32.01/32.18	c #Conflicts:     851000 | #Constraints:      23596
32.01/32.18	c #Conflicts:     852000 | #Constraints:      24596
32.01/32.18	c #Conflicts:     853000 | #Constraints:      25596
32.01/32.18	c #Conflicts:     854000 | #Constraints:      26596
32.01/32.18	c #Conflicts:     855000 | #Constraints:      27596
32.01/32.18	c #Conflicts:     856000 | #Constraints:      28596
32.01/32.18	c #Conflicts:     857000 | #Constraints:      29596
32.01/32.18	c #Conflicts:     858000 | #Constraints:      30596
32.01/32.18	c #Conflicts:     859000 | #Constraints:      31596
32.01/32.18	c #Conflicts:     860000 | #Constraints:      32596
32.01/32.18	c #Conflicts:     861000 | #Constraints:      33596
32.01/32.18	c #Conflicts:     862000 | #Constraints:      34596
32.01/32.18	c #Conflicts:     863000 | #Constraints:      35596
32.01/32.18	c #Conflicts:     864000 | #Constraints:      36596
32.01/32.18	c #Conflicts:     865000 | #Constraints:      37596
32.01/32.18	c INPROCESSING
32.01/32.18	c GARBAGE COLLECT
32.01/32.18	c rational objective 300.5
32.91/33.01	c #Conflicts:     866000 | #Constraints:      20197
32.91/33.01	c #Conflicts:     867000 | #Constraints:      21197
32.91/33.01	c #Conflicts:     868000 | #Constraints:      22197
32.91/33.01	c #Conflicts:     869000 | #Constraints:      23197
32.91/33.01	c #Conflicts:     870000 | #Constraints:      24197
32.91/33.01	c #Conflicts:     871000 | #Constraints:      25197
32.91/33.01	c #Conflicts:     872000 | #Constraints:      26197
32.91/33.01	c #Conflicts:     873000 | #Constraints:      27197
32.91/33.01	c #Conflicts:     874000 | #Constraints:      28197
32.91/33.01	c #Conflicts:     875000 | #Constraints:      29197
32.91/33.01	c #Conflicts:     876000 | #Constraints:      30197
32.91/33.01	c #Conflicts:     877000 | #Constraints:      31197
32.91/33.01	c #Conflicts:     878000 | #Constraints:      32197
32.91/33.01	c #Conflicts:     879000 | #Constraints:      33197
32.91/33.01	c #Conflicts:     880000 | #Constraints:      34197
32.91/33.01	c #Conflicts:     881000 | #Constraints:      35197
32.91/33.01	c #Conflicts:     882000 | #Constraints:      36197
32.91/33.01	c #Conflicts:     883000 | #Constraints:      37197
32.91/33.01	c #Conflicts:     884000 | #Constraints:      38197
32.91/33.01	c INPROCESSING
32.91/33.01	c GARBAGE COLLECT
32.91/33.01	c rational objective 300.5
33.71/33.82	c #Conflicts:     885000 | #Constraints:      20594
33.71/33.82	c #Conflicts:     886000 | #Constraints:      21594
33.71/33.82	c #Conflicts:     887000 | #Constraints:      22594
33.71/33.82	c #Conflicts:     888000 | #Constraints:      23594
33.71/33.82	c #Conflicts:     889000 | #Constraints:      24594
33.71/33.82	c #Conflicts:     890000 | #Constraints:      25594
33.71/33.82	c #Conflicts:     891000 | #Constraints:      26594
33.71/33.82	c #Conflicts:     892000 | #Constraints:      27594
33.71/33.82	c #Conflicts:     893000 | #Constraints:      28594
33.71/33.82	c #Conflicts:     894000 | #Constraints:      29594
33.71/33.82	c #Conflicts:     895000 | #Constraints:      30594
33.71/33.82	c #Conflicts:     896000 | #Constraints:      31594
33.71/33.82	c #Conflicts:     897000 | #Constraints:      32594
33.71/33.82	c #Conflicts:     898000 | #Constraints:      33594
33.71/33.82	c #Conflicts:     899000 | #Constraints:      34594
33.71/33.82	c #Conflicts:     900000 | #Constraints:      35594
33.71/33.82	c #Conflicts:     901000 | #Constraints:      36594
33.71/33.82	c #Conflicts:     902000 | #Constraints:      37594
33.71/33.82	c #Conflicts:     903000 | #Constraints:      38594
33.71/33.82	c INPROCESSING
33.71/33.82	c GARBAGE COLLECT
33.71/33.82	c rational objective 300.5
34.51/34.67	c #Conflicts:     904000 | #Constraints:      20798
34.51/34.67	c #Conflicts:     905000 | #Constraints:      21798
34.51/34.67	c #Conflicts:     906000 | #Constraints:      22798
34.51/34.67	c #Conflicts:     907000 | #Constraints:      23798
34.51/34.67	c #Conflicts:     908000 | #Constraints:      24798
34.51/34.67	c #Conflicts:     909000 | #Constraints:      25798
34.51/34.67	c #Conflicts:     910000 | #Constraints:      26798
34.51/34.67	c #Conflicts:     911000 | #Constraints:      27798
34.51/34.67	c #Conflicts:     912000 | #Constraints:      28798
34.51/34.67	c #Conflicts:     913000 | #Constraints:      29798
34.51/34.67	c #Conflicts:     914000 | #Constraints:      30798
34.51/34.67	c #Conflicts:     915000 | #Constraints:      31798
34.51/34.67	c #Conflicts:     916000 | #Constraints:      32798
34.51/34.67	c #Conflicts:     917000 | #Constraints:      33798
34.51/34.67	c #Conflicts:     918000 | #Constraints:      34798
34.51/34.67	c #Conflicts:     919000 | #Constraints:      35798
34.51/34.67	c #Conflicts:     920000 | #Constraints:      36798
34.51/34.67	c #Conflicts:     921000 | #Constraints:      37798
34.51/34.67	c #Conflicts:     922000 | #Constraints:      38798
34.51/34.67	c INPROCESSING
34.51/34.67	c GARBAGE COLLECT
34.51/34.67	c rational objective 300.5
35.40/35.55	c #Conflicts:     923000 | #Constraints:      20796
35.40/35.55	c #Conflicts:     924000 | #Constraints:      21796
35.40/35.55	c #Conflicts:     925000 | #Constraints:      22796
35.40/35.55	c #Conflicts:     926000 | #Constraints:      23796
35.40/35.55	c #Conflicts:     927000 | #Constraints:      24796
35.40/35.55	c #Conflicts:     928000 | #Constraints:      25796
35.40/35.55	c #Conflicts:     929000 | #Constraints:      26796
35.40/35.55	c #Conflicts:     930000 | #Constraints:      27796
35.40/35.55	c #Conflicts:     931000 | #Constraints:      28796
35.40/35.55	c #Conflicts:     932000 | #Constraints:      29796
35.40/35.55	c #Conflicts:     933000 | #Constraints:      30796
35.40/35.55	c #Conflicts:     934000 | #Constraints:      31796
35.40/35.55	c #Conflicts:     935000 | #Constraints:      32796
35.40/35.55	c #Conflicts:     936000 | #Constraints:      33796
35.40/35.55	c #Conflicts:     937000 | #Constraints:      34796
35.40/35.55	c #Conflicts:     938000 | #Constraints:      35796
35.40/35.55	c #Conflicts:     939000 | #Constraints:      36796
35.40/35.55	c #Conflicts:     940000 | #Constraints:      37796
35.40/35.55	c #Conflicts:     941000 | #Constraints:      38796
35.40/35.55	c INPROCESSING
35.40/35.55	c GARBAGE COLLECT
35.40/35.55	c rational objective 300.5
36.30/36.47	c #Conflicts:     942000 | #Constraints:      20597
36.30/36.47	c #Conflicts:     943000 | #Constraints:      21597
36.30/36.47	c #Conflicts:     944000 | #Constraints:      22597
36.30/36.47	c #Conflicts:     945000 | #Constraints:      23597
36.30/36.47	c #Conflicts:     946000 | #Constraints:      24597
36.30/36.47	c #Conflicts:     947000 | #Constraints:      25597
36.30/36.47	c #Conflicts:     948000 | #Constraints:      26597
36.30/36.47	c #Conflicts:     949000 | #Constraints:      27597
36.30/36.47	c #Conflicts:     950000 | #Constraints:      28597
36.30/36.47	c #Conflicts:     951000 | #Constraints:      29597
36.30/36.47	c #Conflicts:     952000 | #Constraints:      30597
36.30/36.47	c #Conflicts:     953000 | #Constraints:      31597
36.30/36.47	c #Conflicts:     954000 | #Constraints:      32597
36.30/36.47	c #Conflicts:     955000 | #Constraints:      33597
36.30/36.47	c #Conflicts:     956000 | #Constraints:      34597
36.30/36.47	c #Conflicts:     957000 | #Constraints:      35597
36.30/36.47	c #Conflicts:     958000 | #Constraints:      36597
36.30/36.47	c #Conflicts:     959000 | #Constraints:      37597
36.30/36.47	c #Conflicts:     960000 | #Constraints:      38597
36.30/36.47	c #Conflicts:     961000 | #Constraints:      39597
36.30/36.47	c INPROCESSING
36.30/36.47	c GARBAGE COLLECT
36.30/36.47	c rational objective 300.5
37.20/37.37	c #Conflicts:     962000 | #Constraints:      21196
37.20/37.37	c #Conflicts:     963000 | #Constraints:      22196
37.20/37.37	c #Conflicts:     964000 | #Constraints:      23196
37.20/37.37	c #Conflicts:     965000 | #Constraints:      24196
37.20/37.37	c #Conflicts:     966000 | #Constraints:      25196
37.20/37.37	c #Conflicts:     967000 | #Constraints:      26196
37.20/37.37	c #Conflicts:     968000 | #Constraints:      27196
37.20/37.37	c #Conflicts:     969000 | #Constraints:      28196
37.20/37.37	c #Conflicts:     970000 | #Constraints:      29196
37.20/37.37	c #Conflicts:     971000 | #Constraints:      30196
37.20/37.37	c #Conflicts:     972000 | #Constraints:      31196
37.20/37.37	c #Conflicts:     973000 | #Constraints:      32196
37.20/37.37	c #Conflicts:     974000 | #Constraints:      33196
37.20/37.37	c #Conflicts:     975000 | #Constraints:      34196
37.20/37.37	c #Conflicts:     976000 | #Constraints:      35196
37.20/37.37	c #Conflicts:     977000 | #Constraints:      36196
37.20/37.37	c #Conflicts:     978000 | #Constraints:      37196
37.20/37.37	c #Conflicts:     979000 | #Constraints:      38196
37.20/37.37	c #Conflicts:     980000 | #Constraints:      39196
37.20/37.37	c #Conflicts:     981000 | #Constraints:      40196
37.20/37.37	c INPROCESSING
37.20/37.37	c GARBAGE COLLECT
37.20/37.37	c rational objective 300.5
38.10/38.28	c #Conflicts:     982000 | #Constraints:      21600
38.10/38.28	c #Conflicts:     983000 | #Constraints:      22600
38.10/38.28	c #Conflicts:     984000 | #Constraints:      23600
38.10/38.28	c #Conflicts:     985000 | #Constraints:      24600
38.10/38.28	c #Conflicts:     986000 | #Constraints:      25600
38.10/38.28	c #Conflicts:     987000 | #Constraints:      26600
38.10/38.28	c #Conflicts:     988000 | #Constraints:      27600
38.10/38.28	c #Conflicts:     989000 | #Constraints:      28600
38.10/38.28	c #Conflicts:     990000 | #Constraints:      29600
38.10/38.28	c #Conflicts:     991000 | #Constraints:      30600
38.10/38.28	c #Conflicts:     992000 | #Constraints:      31600
38.10/38.28	c #Conflicts:     993000 | #Constraints:      32600
38.10/38.28	c #Conflicts:     994000 | #Constraints:      33600
38.10/38.28	c #Conflicts:     995000 | #Constraints:      34600
38.10/38.28	c #Conflicts:     996000 | #Constraints:      35600
38.10/38.28	c #Conflicts:     997000 | #Constraints:      36600
38.10/38.28	c #Conflicts:     998000 | #Constraints:      37600
38.10/38.28	c #Conflicts:     999000 | #Constraints:      38600
38.10/38.28	c #Conflicts:    1000000 | #Constraints:      39600
38.10/38.28	c #Conflicts:    1001000 | #Constraints:      40600
38.10/38.28	c INPROCESSING
38.10/38.28	c GARBAGE COLLECT
38.10/38.28	c rational objective 300.5
39.19/39.37	c #Conflicts:    1002000 | #Constraints:      21800
39.19/39.37	c #Conflicts:    1003000 | #Constraints:      22800
39.19/39.37	c #Conflicts:    1004000 | #Constraints:      23800
39.19/39.37	c #Conflicts:    1005000 | #Constraints:      24800
39.19/39.37	c #Conflicts:    1006000 | #Constraints:      25800
39.19/39.37	c #Conflicts:    1007000 | #Constraints:      26800
39.19/39.37	c #Conflicts:    1008000 | #Constraints:      27800
39.19/39.37	c #Conflicts:    1009000 | #Constraints:      28800
39.19/39.37	c #Conflicts:    1010000 | #Constraints:      29800
39.19/39.37	c #Conflicts:    1011000 | #Constraints:      30800
39.19/39.37	c #Conflicts:    1012000 | #Constraints:      31800
39.19/39.37	c #Conflicts:    1013000 | #Constraints:      32800
39.19/39.37	c #Conflicts:    1014000 | #Constraints:      33800
39.19/39.37	c #Conflicts:    1015000 | #Constraints:      34800
39.19/39.37	c #Conflicts:    1016000 | #Constraints:      35800
39.19/39.37	c #Conflicts:    1017000 | #Constraints:      36800
39.19/39.37	c #Conflicts:    1018000 | #Constraints:      37800
39.19/39.37	c #Conflicts:    1019000 | #Constraints:      38800
39.19/39.37	c #Conflicts:    1020000 | #Constraints:      39800
39.19/39.37	c #Conflicts:    1021000 | #Constraints:      40800
39.19/39.37	c INPROCESSING
39.19/39.37	c GARBAGE COLLECT
39.19/39.37	c rational objective 300.5
40.09/40.28	c #Conflicts:    1022000 | #Constraints:      21806
40.09/40.28	c #Conflicts:    1023000 | #Constraints:      22806
40.09/40.28	c #Conflicts:    1024000 | #Constraints:      23806
40.09/40.28	c #Conflicts:    1025000 | #Constraints:      24806
40.09/40.28	c #Conflicts:    1026000 | #Constraints:      25806
40.09/40.28	c #Conflicts:    1027000 | #Constraints:      26806
40.09/40.28	c #Conflicts:    1028000 | #Constraints:      27806
40.09/40.28	c #Conflicts:    1029000 | #Constraints:      28806
40.09/40.28	c #Conflicts:    1030000 | #Constraints:      29806
40.09/40.28	c #Conflicts:    1031000 | #Constraints:      30806
40.09/40.28	c #Conflicts:    1032000 | #Constraints:      31806
40.09/40.28	c #Conflicts:    1033000 | #Constraints:      32806
40.09/40.28	c #Conflicts:    1034000 | #Constraints:      33806
40.09/40.28	c #Conflicts:    1035000 | #Constraints:      34806
40.09/40.28	c #Conflicts:    1036000 | #Constraints:      35806
40.09/40.28	c #Conflicts:    1037000 | #Constraints:      36806
40.09/40.28	c #Conflicts:    1038000 | #Constraints:      37806
40.09/40.28	c #Conflicts:    1039000 | #Constraints:      38806
40.09/40.28	c #Conflicts:    1040000 | #Constraints:      39806
40.09/40.28	c #Conflicts:    1041000 | #Constraints:      40806
40.09/40.28	c INPROCESSING
40.09/40.28	c GARBAGE COLLECT
40.09/40.28	c rational objective 300.5
41.09/41.20	c #Conflicts:    1042000 | #Constraints:      21609
41.09/41.20	c #Conflicts:    1043000 | #Constraints:      22609
41.09/41.20	c #Conflicts:    1044000 | #Constraints:      23609
41.09/41.20	c #Conflicts:    1045000 | #Constraints:      24609
41.09/41.20	c #Conflicts:    1046000 | #Constraints:      25609
41.09/41.20	c #Conflicts:    1047000 | #Constraints:      26609
41.09/41.20	c #Conflicts:    1048000 | #Constraints:      27609
41.09/41.20	c #Conflicts:    1049000 | #Constraints:      28609
41.09/41.20	c #Conflicts:    1050000 | #Constraints:      29609
41.09/41.20	c #Conflicts:    1051000 | #Constraints:      30609
41.09/41.20	c #Conflicts:    1052000 | #Constraints:      31609
41.09/41.20	c #Conflicts:    1053000 | #Constraints:      32609
41.09/41.20	c #Conflicts:    1054000 | #Constraints:      33609
41.09/41.20	c #Conflicts:    1055000 | #Constraints:      34609
41.09/41.20	c #Conflicts:    1056000 | #Constraints:      35609
41.09/41.20	c #Conflicts:    1057000 | #Constraints:      36609
41.09/41.20	c #Conflicts:    1058000 | #Constraints:      37609
41.09/41.20	c #Conflicts:    1059000 | #Constraints:      38609
41.09/41.20	c #Conflicts:    1060000 | #Constraints:      39609
41.09/41.20	c #Conflicts:    1061000 | #Constraints:      40609
41.09/41.20	c #Conflicts:    1062000 | #Constraints:      41609
41.09/41.20	c INPROCESSING
41.09/41.20	c GARBAGE COLLECT
41.09/41.20	c rational objective 300.5
41.19/41.31	c #Conflicts:    1063000 | #Constraints:       9426
41.19/41.31	c #Conflicts:    1064000 | #Constraints:      10426
41.19/41.31	c #Conflicts:    1065000 | #Constraints:      11426
41.19/41.31	c cpu time 37.8482 s
41.19/41.31	c deterministic time 1498227574 1.50e+09
41.19/41.31	c optimization time 6.9e-05 s
41.19/41.31	c total solve time 37.8442 s
41.19/41.31	c core-guided solve time 0 s
41.19/41.31	c propagation time 27.0415 s
41.19/41.31	c conflict analysis time 5.28956 s
41.19/41.31	c propagations 4971435
41.19/41.31	c resolve steps 3112560
41.19/41.31	c decisions 1779673
41.19/41.31	c conflicts 1065458
41.19/41.31	c restarts 2046
41.19/41.31	c inprocessing phases 94
41.19/41.31	c garbage collections 94 ,( 100.00 )
41.19/41.31	c input clauses 2 ,( 0.24 )
41.19/41.31	c input cardinalities 836 ,( 99.76 )
41.19/41.31	c input general constraints 0 ,( 0.00 )
41.19/41.31	c input average constraint length 4.00
41.19/41.31	c input average constraint degree 2.00
41.19/41.31	c learned clauses 1048113 ,( 98.32 )
41.19/41.31	c learned cardinalities 2672 ,( 0.25 )
41.19/41.31	c learned general constraints 15205 ,( 1.43 )
41.19/41.31	c learned average constraint length 16.26
41.19/41.31	c learned average constraint degree 1556353.54
41.19/41.31	c watched  CF 32, 64, 128, Arb: 7068 , 0 , 0 , 0
41.19/41.31	c counting CF 32, 64, 128, Arb: 8137 , 0 , 0 , 0
41.19/41.31	c watched   constraints 7068 ,( 46.48 ) 
41.19/41.31	c counting  constraints 8137 ,( 53.52 ) 
41.19/41.31	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 337291442 , 9571675 , 13773355 ,( 11928455 , 1844900 )
41.19/41.31	c gcd simplifications 13707
41.19/41.31	c detected cardinalities 823
41.19/41.31	c weakened non-implied lits 139330
41.19/41.31	c weakened non-implying lits 1551
41.19/41.31	c original variables 601
41.19/41.31	c clausal propagations 2279632
41.19/41.31	c cardinality propagations 985672
41.19/41.31	c watched propagations 68061
41.19/41.31	c counting propagations 558534
41.19/41.31	c watch lookups 701942710
41.19/41.31	c watch backjump lookups 0
41.19/41.31	c watch checks 703197354
41.19/41.31	c propagation checks 24835433
41.19/41.31	c constraint additions 53577300
41.19/41.31	c trail pops 7816542
41.19/41.31	c formula constraints 838
41.19/41.31	c learned constraints 1065449
41.19/41.31	c bound constraints 0
41.19/41.31	c core-guided constraints 0
41.19/41.31	c encountered formula constraints 63509
41.19/41.31	c encountered learned constraints 4113314
41.19/41.31	c encountered bound constraints 0
41.19/41.31	c encountered core-guided constraints 0
41.19/41.31	c LP total time 6.24795 s
41.19/41.31	c LP solve time 4.46 s
41.19/41.31	c LP constraints added 1429
41.19/41.31	c LP constraints removed 583
41.19/41.31	c LP pivots internal 106550
41.19/41.31	c LP pivots root 576
41.19/41.31	c LP calls 10843
41.19/41.31	c LP optimalities 10835
41.19/41.31	c LP no pivot count 971
41.19/41.31	c LP infeasibilities 8
41.19/41.31	c LP valid Farkas constraints 8
41.19/41.31	c LP learned Farkas constraints 8
41.19/41.31	c LP basis resets 0
41.19/41.31	c LP cycling count 0
41.19/41.31	c LP singular count 0
41.19/41.31	c LP no primal count 0
41.19/41.31	c LP no farkas count 0
41.19/41.31	c LP other issue count 0
41.19/41.31	c LP Gomory cuts 525
41.19/41.31	c LP learned cuts 66
41.19/41.31	c LP deleted cuts 583
41.19/41.31	c LP encountered Gomory constraints 0
41.19/41.31	c LP encountered Farkas constraints 1177
41.19/41.31	c LP encountered learned Farkas constraints 10
41.19/41.31	c CG auxiliary variables introduced 0
41.19/41.31	c CG solutions found 0
41.19/41.31	c CG cores constructed 0
41.19/41.31	c CG core cardinality constraints returned 0
41.19/41.31	c CG unit cores 0
41.19/41.31	c CG single cores 0
41.19/41.31	c CG blocks removed during cardinality reduction 0
41.19/41.31	c CG first core best 0
41.19/41.31	c CG decision core best 0
41.19/41.31	c CG core reduction tie 0
41.19/41.31	c CG core degree average 0.00
41.19/41.31	c CG core slack average 0.00
41.19/41.31	c CG core upper bound improvements 0
41.19/41.31	c STR number of successful calls 0
41.19/41.31	c STR number of unsuccessful calls 0
41.19/41.31	c STR number of inconclusive calls 0
41.19/41.31	c STR number of successful attempts 0
41.19/41.31	c STR number of unsuccessful attempts 0
41.19/41.31	c STR number of inconclusive attempts 0
41.19/41.31	c STR average degree increase per successful call inf
41.19/41.31	c STR average degree increase per successful attempt inf
41.19/41.31	c STR total number of conflicts for successful attempts 0
41.19/41.31	c STR total number of conflicts for unsuccessful attempts 0
41.19/41.31	c STR total number of conflicts for inconclusive attempts 0
41.19/41.31	c STR average number of conflicts per successful attempt inf
41.19/41.31	c STR average number of conflicts per unsuccessful attempt inf
41.19/41.31	c STR average number of conflicts per inconclusive attempt inf
41.19/41.31	c AVG.sumWPerc 41.79 
41.19/41.31	c bigint constraints 0 
41.19/41.31	s UNSATISFIABLE

ERROR: no interpretation found !

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: 63665 MiB (62877 MiB free)
  memory of node 1: 64507 MiB (63890 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510762-1751196486/watcher-4510762-1751196486 -o /tmp/evaluation-result-4510762-1751196486/solver-4510762-1751196486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26737 --watchdog 3760 run-dec-ls.sh HOME/instance-4510762-1751196486.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27889, runsolver pid=27886
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.10 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810132/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=58176 memory=14932 CPUtime=0.08 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 1199 0 0 0 7 1 0 0 20 0 1 0 35326422 59572224 3733 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 14544 3733 2368 1147 0 1971 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62368 KiB
Current children cumulated memory: 18004 KiB

[startup+0.205627 s]*
/proc/loadavg: 4.10 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810132/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=58736 memory=15572 CPUtime=0.19 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 1341 0 0 0 16 3 0 0 20 0 1 0 35326422 60145664 3893 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 14684 3893 2368 1147 0 2111 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62928 KiB
Current children cumulated memory: 18644 KiB

[startup+0.305144 s]*
/proc/loadavg: 4.10 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810132/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=59020 memory=15700 CPUtime=0.29 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 1384 0 0 0 25 4 0 0 20 0 1 0 35326422 60436480 3925 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 14755 3925 2368 1147 0 2182 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63212 KiB
Current children cumulated memory: 18772 KiB

[startup+0.700168 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810132/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=59440 memory=16212 CPUtime=0.68 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 1490 0 0 0 58 10 0 0 20 0 1 0 35326422 60866560 4053 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 14860 4053 2368 1147 0 2287 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63632 KiB
Current children cumulated memory: 19284 KiB

[startup+1.50015 s]
/proc/loadavg: 4.10 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810276/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=60156 memory=16852 CPUtime=1.47 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 1675 0 0 0 126 21 0 0 20 0 1 0 35326422 61599744 4213 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 15039 4213 2368 1147 0 2466 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64348 KiB
Current children cumulated memory: 19924 KiB

[startup+3.10476 s]
/proc/loadavg: 4.09 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810592/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=61024 memory=17748 CPUtime=3.07 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 1889 0 0 0 264 43 0 0 20 0 1 0 35326422 62488576 4437 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 15256 4437 2368 1147 0 2683 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65216 KiB
Current children cumulated memory: 20820 KiB

[startup+6.30019 s]
/proc/loadavg: 4.09 4.09 4.04 5/268 27891
/proc/meminfo: memFree=129810832/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=62316 memory=19028 CPUtime=6.27 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 2218 0 0 0 550 77 0 0 20 0 1 0 35326422 63811584 4757 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 15579 4757 2368 1147 0 3006 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66508 KiB
Current children cumulated memory: 22100 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.08 4.04 5/268 27891
/proc/meminfo: memFree=129802624/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=63192 memory=20024 CPUtime=12.65 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 3458 0 0 0 1136 129 0 0 20 0 1 0 35326422 64708608 5006 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 15798 5006 2368 1147 0 3225 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67384 KiB
Current children cumulated memory: 23096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.04 5/268 27891
/proc/meminfo: memFree=129799852/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=65376 memory=23932 CPUtime=25.42 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 6391 0 0 0 2318 224 0 0 20 0 1 0 35326422 66945024 5983 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16344 5983 2368 1147 0 3771 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 69568 KiB
Current children cumulated memory: 27004 KiB

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

# cumulated CPU time of all completed processes:  user=37.8505 s, system=3.36638 s

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

[startup+25.6002 s]
/proc/loadavg: 4.15 4.10 4.04 5/268 27891
/proc/meminfo: memFree=129799852/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=65376 memory=23932 CPUtime=25.52 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 6391 0 0 0 2327 225 0 0 20 0 1 0 35326422 66945024 5983 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16344 5983 2368 1147 0 3771 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 69568 KiB
Current children cumulated memory: 27004 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.12 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129799880/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=66196 memory=24676 CPUtime=31.91 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 7243 0 0 0 2919 272 0 0 20 0 1 0 35326422 67784704 6169 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16549 6169 2368 1147 0 3976 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 70388 KiB
Current children cumulated memory: 27748 KiB

[startup+35.2001 s]
/proc/loadavg: 4.12 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129807944/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=66328 memory=24824 CPUtime=35.11 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 7581 0 0 0 3217 294 0 0 20 0 1 0 35326422 67919872 6206 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16582 6206 2368 1147 0 4009 0
Current children cumulated CPU time: 35.11 s
Current children cumulated vsize: 70520 KiB
Current children cumulated memory: 27896 KiB

[startup+38.4002 s]
/proc/loadavg: 4.11 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129807944/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=67104 memory=25496 CPUtime=38.3 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 8145 0 0 0 3515 315 0 0 20 0 1 0 35326422 68714496 6374 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16776 6374 2368 1147 0 4203 0
Current children cumulated CPU time: 38.3 s
Current children cumulated vsize: 71296 KiB
Current children cumulated memory: 28568 KiB

[startup+40.0001 s]*
/proc/loadavg: 4.11 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129806180/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=67168 memory=25640 CPUtime=39.9 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 8379 0 0 0 3664 326 0 0 20 0 1 0 35326422 68780032 6410 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16792 6410 2368 1147 0 4219 0
Current children cumulated CPU time: 39.9 s
Current children cumulated vsize: 71360 KiB
Current children cumulated memory: 28712 KiB

[startup+40.8001 s]
/proc/loadavg: 4.11 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129806180/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=67780 memory=26252 CPUtime=40.69 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 8664 0 0 0 3738 331 0 0 20 0 1 0 35326422 69406720 6563 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16945 6563 2368 1147 0 4372 0
Current children cumulated CPU time: 40.69 s
Current children cumulated vsize: 71972 KiB
Current children cumulated memory: 29324 KiB

[startup+41.2001 s]
/proc/loadavg: 4.11 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129806180/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=67780 memory=26252 CPUtime=41.09 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 8665 0 0 0 3774 335 0 0 20 0 1 0 35326422 69406720 6563 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16945 6563 2368 1147 0 4372 0
Current children cumulated CPU time: 41.09 s
Current children cumulated vsize: 71972 KiB
Current children cumulated memory: 29324 KiB

[startup+41.3001 s]
/proc/loadavg: 4.11 4.09 4.04 5/269 27893
/proc/meminfo: memFree=129806180/131250000 swapFree=33010684/33010684
[pid=27889] ppid=27886 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/27889/stat : 27889 (run-dec-ls.sh) S 27886 27889 26724 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35326422 4292608 768 18446744073709551615 94675324878848 94675325773381 140736417514736 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94675326012432 94675326060176 94675339931648 140736417524071 140736417524197 140736417524197 140736417529799 0
/proc/27889/statm: 1048 768 704 219 0 110 0
[pid=27891] ppid=27889 vsize=67780 memory=26252 CPUtime=41.19 cores=5,7
/proc/27891/stat : 27891 (roundingsat) R 27889 27889 26724 0 -1 4194304 8678 0 0 0 3783 336 0 0 20 0 1 0 35326422 69406720 6563 18446744073709551615 4227072 8923433 140734632066096 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18292736 140734632073632 140734632073768 140734632073768 140734632079338 0
/proc/27891/statm: 16945 6563 2368 1147 0 4372 0
Current children cumulated CPU time: 41.19 s
Current children cumulated vsize: 71972 KiB
Current children cumulated memory: 29324 KiB

Child status: 0

Real time (s): 41.3172
CPU time (s): 41.2169
CPU user time (s): 37.8505
CPU system time (s): 3.36638
CPU usage (%): 99.7574
Max. virtual memory (cumulated for all children) (KiB): 71972
Max. memory (cumulated for all children) (KiB): 29324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.8505
system time used= 3.36638
maximum resident set size= 26664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 63


# summary of solver processes directly reported to runsolver:
#   pid: 27889
#   total CPU time (s): 41.2169
#   total CPU user time (s): 37.8505
#   total CPU system time (s): 3.36638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093456 second user time and 0.196354 second system time

The end

Begin job on nodeC018 at 2025-06-29 13:28:06
IDJOB=4510762
IDBENCH=160385
IDSOLVER=3353
FILE ID=nodeC018/4510762-1751196486
RUNJOBID= nodeC018-1751192387-26737
SLURM_JOB_ID= 9587583
Free space on /tmp= 433040 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510762-1751196486/watcher-4510762-1751196486 -o /tmp/evaluation-result-4510762-1751196486/solver-4510762-1751196486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26737 --watchdog 3760  run-dec-ls.sh HOME/instance-4510762-1751196486.opb

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

MD5SUM BENCH= 31f6aff17a47c209cb9ee9a70845e10e
RANDOM SEED=1318922662

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.802
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.849
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3602.956
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.382
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.841
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.830
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3601.374
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3645.914
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129809732 kB
MemAvailable:   129503448 kB
Buffers:            3280 kB
Cached:           503636 kB
SwapCached:            0 kB
Active:           585920 kB
Inactive:         246456 kB
Active(anon):     343548 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   246456 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7632 kB
Writeback:             0 kB
AnonPages:        325908 kB
Mapped:           112664 kB
Shmem:             18076 kB
KReclaimable:      87856 kB
Slab:             171440 kB
SReclaimable:      87856 kB
SUnreclaim:        83584 kB
KernelStack:        4352 kB
PageTables:         3916 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     681768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC018 at 2025-06-29 13:28:47