0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.02	c #variables 3850 #constraints 3992
4.98/5.03	c #Conflicts:       1000 | #Constraints:       4991
4.98/5.03	c #Conflicts:       2000 | #Constraints:       5991
4.98/5.03	c INPROCESSING
4.98/5.03	c GARBAGE COLLECT
4.98/5.03	c #Conflicts:       3000 | #Constraints:       5494
4.98/5.03	c #Conflicts:       4000 | #Constraints:       6494
4.98/5.03	c INPROCESSING
4.98/5.03	c GARBAGE COLLECT
4.98/5.03	c #Conflicts:       5000 | #Constraints:       5945
4.98/5.03	c #Conflicts:       6000 | #Constraints:       6946
4.98/5.03	c INPROCESSING
4.98/5.03	c GARBAGE COLLECT
4.98/5.03	c rational objective 70
6.57/6.60	c #Conflicts:       7000 | #Constraints:       5983
6.57/6.60	c #Conflicts:       8000 | #Constraints:       6983
6.57/6.60	c #Conflicts:       9000 | #Constraints:       7983
6.57/6.60	c INPROCESSING
6.57/6.60	c GARBAGE COLLECT
6.57/6.60	c rational objective 70
7.77/7.87	c #Conflicts:      10000 | #Constraints:       6719
7.77/7.87	c #Conflicts:      11000 | #Constraints:       7719
7.77/7.87	c #Conflicts:      12000 | #Constraints:       8719
7.77/7.87	c INPROCESSING
7.77/7.87	c GARBAGE COLLECT
7.77/7.87	c rational objective 70
10.06/10.14	c #Conflicts:      13000 | #Constraints:       7209
10.06/10.14	c #Conflicts:      14000 | #Constraints:       8209
10.06/10.14	c #Conflicts:      15000 | #Constraints:       9209
10.06/10.14	c INPROCESSING
10.06/10.14	c GARBAGE COLLECT
10.06/10.14	c rational objective 70
11.65/11.78	c #Conflicts:      16000 | #Constraints:       7477
11.65/11.78	c #Conflicts:      17000 | #Constraints:       8477
11.65/11.78	c #Conflicts:      18000 | #Constraints:       9477
11.65/11.78	c INPROCESSING
11.65/11.78	c GARBAGE COLLECT
11.65/11.78	c rational objective 70
14.34/14.49	c #Conflicts:      19000 | #Constraints:       7505
14.34/14.49	c #Conflicts:      20000 | #Constraints:       8506
14.34/14.49	c #Conflicts:      21000 | #Constraints:       9506
14.34/14.49	c INPROCESSING
14.34/14.49	c GARBAGE COLLECT
14.34/14.49	c rational objective 70
16.04/16.18	c #Conflicts:      22000 | #Constraints:       7318
16.04/16.18	c #Conflicts:      23000 | #Constraints:       8319
16.04/16.18	c #Conflicts:      24000 | #Constraints:       9320
16.04/16.18	c #Conflicts:      25000 | #Constraints:      10320
16.04/16.18	c INPROCESSING
16.04/16.18	c GARBAGE COLLECT
16.04/16.18	c rational objective 70
18.03/18.13	c #Conflicts:      26000 | #Constraints:       7925
18.03/18.13	c #Conflicts:      27000 | #Constraints:       8925
18.03/18.13	c #Conflicts:      28000 | #Constraints:       9925
18.03/18.13	c #Conflicts:      29000 | #Constraints:      10925
18.03/18.13	c INPROCESSING
18.03/18.13	c GARBAGE COLLECT
18.03/18.13	c rational objective 70
20.22/20.32	c #Conflicts:      30000 | #Constraints:       8331
20.22/20.32	c #Conflicts:      31000 | #Constraints:       9331
20.22/20.32	c #Conflicts:      32000 | #Constraints:      10332
20.22/20.32	c #Conflicts:      33000 | #Constraints:      11333
20.22/20.32	c INPROCESSING
20.22/20.32	c GARBAGE COLLECT
20.22/20.32	c rational objective 70
23.92/24.08	c #Conflicts:      34000 | #Constraints:       8547
23.92/24.08	c #Conflicts:      35000 | #Constraints:       9548
23.92/24.08	c #Conflicts:      36000 | #Constraints:      10548
23.92/24.08	c #Conflicts:      37000 | #Constraints:      11548
23.92/24.08	c INPROCESSING
23.92/24.08	c GARBAGE COLLECT
23.92/24.08	c rational objective 70
27.20/27.35	c #Conflicts:      38000 | #Constraints:       8578
27.20/27.35	c #Conflicts:      39000 | #Constraints:       9580
27.20/27.35	c #Conflicts:      40000 | #Constraints:      10584
27.20/27.35	c #Conflicts:      41000 | #Constraints:      11584
27.20/27.35	c INPROCESSING
27.20/27.35	c GARBAGE COLLECT
27.20/27.35	c rational objective 70
29.49/29.65	c #Conflicts:      42000 | #Constraints:       8387
29.49/29.65	c #Conflicts:      43000 | #Constraints:       9387
29.49/29.65	c #Conflicts:      44000 | #Constraints:      10387
29.49/29.65	c #Conflicts:      45000 | #Constraints:      11387
29.49/29.65	c #Conflicts:      46000 | #Constraints:      12387
29.49/29.65	c INPROCESSING
29.49/29.65	c GARBAGE COLLECT
29.49/29.65	c rational objective 70
33.18/33.38	c #Conflicts:      47000 | #Constraints:       8993
33.18/33.38	c #Conflicts:      48000 | #Constraints:       9994
33.18/33.38	c #Conflicts:      49000 | #Constraints:      10995
33.18/33.38	c #Conflicts:      50000 | #Constraints:      11995
33.18/33.38	c #Conflicts:      51000 | #Constraints:      12996
33.18/33.38	c INPROCESSING
33.18/33.38	c GARBAGE COLLECT
33.18/33.38	c rational objective 70
35.88/36.03	c #Conflicts:      52000 | #Constraints:       9428
35.88/36.03	c #Conflicts:      53000 | #Constraints:      10430
35.88/36.03	c #Conflicts:      54000 | #Constraints:      11430
35.88/36.03	c #Conflicts:      55000 | #Constraints:      12431
35.88/36.03	c #Conflicts:      56000 | #Constraints:      13431
35.88/36.03	c INPROCESSING
35.88/36.03	c GARBAGE COLLECT
35.88/36.03	c rational objective 70
39.46/39.68	c #Conflicts:      57000 | #Constraints:       9641
39.46/39.68	c #Conflicts:      58000 | #Constraints:      10642
39.46/39.68	c #Conflicts:      59000 | #Constraints:      11642
39.46/39.68	c #Conflicts:      60000 | #Constraints:      12642
39.46/39.68	c #Conflicts:      61000 | #Constraints:      13642
39.46/39.68	c INPROCESSING
39.46/39.68	c GARBAGE COLLECT
39.46/39.68	c rational objective 70
44.25/44.48	c #Conflicts:      62000 | #Constraints:       9640
44.25/44.48	c #Conflicts:      63000 | #Constraints:      10640
44.25/44.48	c #Conflicts:      64000 | #Constraints:      11640
44.25/44.48	c #Conflicts:      65000 | #Constraints:      12640
44.25/44.48	c #Conflicts:      66000 | #Constraints:      13640
44.25/44.48	c INPROCESSING
44.25/44.48	c GARBAGE COLLECT
44.25/44.48	c rational objective 70
47.63/47.84	c #Conflicts:      67000 | #Constraints:       9429
47.63/47.84	c #Conflicts:      68000 | #Constraints:      10429
47.63/47.84	c #Conflicts:      69000 | #Constraints:      11429
47.63/47.84	c #Conflicts:      70000 | #Constraints:      12429
47.63/47.84	c #Conflicts:      71000 | #Constraints:      13429
47.63/47.84	c #Conflicts:      72000 | #Constraints:      14429
47.63/47.84	c INPROCESSING
47.63/47.84	c GARBAGE COLLECT
47.63/47.84	c rational objective 70
52.92/53.13	c #Conflicts:      73000 | #Constraints:      10029
52.92/53.13	c #Conflicts:      74000 | #Constraints:      11029
52.92/53.13	c #Conflicts:      75000 | #Constraints:      12029
52.92/53.13	c #Conflicts:      76000 | #Constraints:      13029
52.92/53.13	c #Conflicts:      77000 | #Constraints:      14030
52.92/53.13	c #Conflicts:      78000 | #Constraints:      15030
52.92/53.13	c INPROCESSING
52.92/53.13	c GARBAGE COLLECT
52.92/53.13	c rational objective 70
57.20/57.40	c #Conflicts:      79000 | #Constraints:      10439
57.20/57.40	c #Conflicts:      80000 | #Constraints:      11441
57.20/57.40	c #Conflicts:      81000 | #Constraints:      12442
57.20/57.40	c #Conflicts:      82000 | #Constraints:      13442
57.20/57.40	c #Conflicts:      83000 | #Constraints:      14442
57.20/57.40	c #Conflicts:      84000 | #Constraints:      15442
57.20/57.40	c INPROCESSING
57.20/57.40	c GARBAGE COLLECT
57.20/57.40	c rational objective 70
61.68/61.98	c #Conflicts:      85000 | #Constraints:      10643
61.68/61.98	c #Conflicts:      86000 | #Constraints:      11643
61.68/61.98	c #Conflicts:      87000 | #Constraints:      12643
61.68/61.98	c #Conflicts:      88000 | #Constraints:      13643
61.68/61.98	c #Conflicts:      89000 | #Constraints:      14644
61.68/61.98	c #Conflicts:      90000 | #Constraints:      15644
61.68/61.98	c INPROCESSING
61.68/61.98	c GARBAGE COLLECT
61.68/61.98	c rational objective 70
67.27/67.55	c #Conflicts:      91000 | #Constraints:      10652
67.27/67.55	c #Conflicts:      92000 | #Constraints:      11652
67.27/67.55	c #Conflicts:      93000 | #Constraints:      12652
67.27/67.55	c #Conflicts:      94000 | #Constraints:      13652
67.27/67.55	c #Conflicts:      95000 | #Constraints:      14653
67.27/67.55	c #Conflicts:      96000 | #Constraints:      15654
67.27/67.55	c INPROCESSING
67.27/67.55	c GARBAGE COLLECT
67.27/67.55	c rational objective 70
75.33/75.67	c #Conflicts:      97000 | #Constraints:      10459
75.33/75.67	c #Conflicts:      98000 | #Constraints:      11459
75.33/75.67	c #Conflicts:      99000 | #Constraints:      12459
75.33/75.67	c #Conflicts:     100000 | #Constraints:      13459
75.33/75.67	c #Conflicts:     101000 | #Constraints:      14459
75.33/75.67	c #Conflicts:     102000 | #Constraints:      15459
75.33/75.67	c #Conflicts:     103000 | #Constraints:      16459
75.33/75.67	c INPROCESSING
75.33/75.67	c GARBAGE COLLECT
75.33/75.67	c rational objective 70
80.32/80.69	c #Conflicts:     104000 | #Constraints:      11070
80.32/80.69	c #Conflicts:     105000 | #Constraints:      12070
80.32/80.69	c #Conflicts:     106000 | #Constraints:      13070
80.32/80.69	c #Conflicts:     107000 | #Constraints:      14070
80.32/80.69	c #Conflicts:     108000 | #Constraints:      15070
80.32/80.69	c #Conflicts:     109000 | #Constraints:      16070
80.32/80.69	c #Conflicts:     110000 | #Constraints:      17070
80.32/80.69	c INPROCESSING
80.32/80.69	c GARBAGE COLLECT
80.32/80.69	c rational objective 70
84.90/85.24	c #Conflicts:     111000 | #Constraints:      11490
84.90/85.24	c #Conflicts:     112000 | #Constraints:      12490
84.90/85.24	c #Conflicts:     113000 | #Constraints:      13490
84.90/85.24	c #Conflicts:     114000 | #Constraints:      14490
84.90/85.24	c #Conflicts:     115000 | #Constraints:      15490
84.90/85.24	c #Conflicts:     116000 | #Constraints:      16490
84.90/85.24	c #Conflicts:     117000 | #Constraints:      17490
84.90/85.24	c INPROCESSING
84.90/85.24	c GARBAGE COLLECT
84.90/85.24	c rational objective 70
92.78/93.15	c #Conflicts:     118000 | #Constraints:      11664
92.78/93.15	c #Conflicts:     119000 | #Constraints:      12664
92.78/93.15	c #Conflicts:     120000 | #Constraints:      13664
92.78/93.15	c #Conflicts:     121000 | #Constraints:      14665
92.78/93.15	c #Conflicts:     122000 | #Constraints:      15665
92.78/93.15	c #Conflicts:     123000 | #Constraints:      16665
92.78/93.15	c #Conflicts:     124000 | #Constraints:      17665
92.78/93.15	c INPROCESSING
92.78/93.15	c GARBAGE COLLECT
92.78/93.15	c rational objective 70
99.15/99.50	c #Conflicts:     125000 | #Constraints:      11695
99.15/99.50	c #Conflicts:     126000 | #Constraints:      12695
99.15/99.50	c #Conflicts:     127000 | #Constraints:      13695
99.15/99.50	c #Conflicts:     128000 | #Constraints:      14695
99.15/99.50	c #Conflicts:     129000 | #Constraints:      15695
99.15/99.50	c #Conflicts:     130000 | #Constraints:      16695
99.15/99.50	c #Conflicts:     131000 | #Constraints:      17695
99.15/99.50	c INPROCESSING
99.15/99.50	c GARBAGE COLLECT
99.15/99.50	c rational objective 70
104.34/104.71	c #Conflicts:     132000 | #Constraints:      11553
104.34/104.71	c #Conflicts:     133000 | #Constraints:      12553
104.34/104.71	c #Conflicts:     134000 | #Constraints:      13554
104.34/104.71	c #Conflicts:     135000 | #Constraints:      14554
104.34/104.71	c #Conflicts:     136000 | #Constraints:      15555
104.34/104.71	c #Conflicts:     137000 | #Constraints:      16555
104.34/104.71	c #Conflicts:     138000 | #Constraints:      17556
104.34/104.71	c #Conflicts:     139000 | #Constraints:      18556
104.34/104.71	c INPROCESSING
104.34/104.71	c GARBAGE COLLECT
104.34/104.71	c rational objective 70
140.69/141.22	c #Conflicts:     140000 | #Constraints:      12097
140.69/141.22	c #Conflicts:     141000 | #Constraints:      13098
140.69/141.22	c #Conflicts:     142000 | #Constraints:      14099
140.69/141.22	c #Conflicts:     143000 | #Constraints:      15099
140.69/141.22	c #Conflicts:     144000 | #Constraints:      16099
140.69/141.22	c #Conflicts:     145000 | #Constraints:      17099
140.69/141.22	c #Conflicts:     146000 | #Constraints:      18099
140.69/141.22	c #Conflicts:     147000 | #Constraints:      19099
140.69/141.22	c #Conflicts:     148000 | #Constraints:      20099
140.69/141.22	c #Conflicts:     149000 | #Constraints:      21099
140.69/141.22	c #Conflicts:     150000 | #Constraints:      22099
140.69/141.22	c #Conflicts:     151000 | #Constraints:      23099
140.69/141.22	c #Conflicts:     152000 | #Constraints:      24100
140.69/141.22	c #Conflicts:     153000 | #Constraints:      25100
140.69/141.22	c #Conflicts:     154000 | #Constraints:      26100
140.69/141.22	c #Conflicts:     155000 | #Constraints:      27101
140.69/141.22	c #Conflicts:     156000 | #Constraints:      28101
140.69/141.22	c #Conflicts:     157000 | #Constraints:      29101
140.69/141.22	c #Conflicts:     158000 | #Constraints:      30102
140.69/141.22	c #Conflicts:     159000 | #Constraints:      31102
140.69/141.22	c #Conflicts:     160000 | #Constraints:      32103
140.69/141.22	c #Conflicts:     161000 | #Constraints:      33103
140.69/141.22	c #Conflicts:     162000 | #Constraints:      34103
140.69/141.22	c #Conflicts:     163000 | #Constraints:      35103
140.69/141.22	c #Conflicts:     164000 | #Constraints:      36103
140.69/141.22	c #Conflicts:     165000 | #Constraints:      37103
140.69/141.22	c #Conflicts:     166000 | #Constraints:      38103
140.69/141.22	c #Conflicts:     167000 | #Constraints:      39103
140.69/141.22	c #Conflicts:     168000 | #Constraints:      40103
140.69/141.22	c #Conflicts:     169000 | #Constraints:      41103
140.69/141.22	c #Conflicts:     170000 | #Constraints:      42103
140.69/141.22	c #Conflicts:     171000 | #Constraints:      43103
140.69/141.22	c #Conflicts:     172000 | #Constraints:      44103
140.69/141.22	c #Conflicts:     173000 | #Constraints:      45103
140.69/141.22	c #Conflicts:     174000 | #Constraints:      46103
140.69/141.22	c INPROCESSING
140.69/141.22	c GARBAGE COLLECT
140.69/141.22	c rational objective 70
150.05/150.69	c #Conflicts:     175000 | #Constraints:      26070
150.05/150.69	c #Conflicts:     176000 | #Constraints:      27070
150.05/150.69	c #Conflicts:     177000 | #Constraints:      28070
150.05/150.69	c #Conflicts:     178000 | #Constraints:      29071
150.05/150.69	c #Conflicts:     179000 | #Constraints:      30071
150.05/150.69	c #Conflicts:     180000 | #Constraints:      31071
150.05/150.69	c #Conflicts:     181000 | #Constraints:      32071
150.05/150.69	c #Conflicts:     182000 | #Constraints:      33071
150.05/150.69	c INPROCESSING
150.05/150.69	c GARBAGE COLLECT
150.05/150.69	c rational objective 70
157.21/157.88	c #Conflicts:     183000 | #Constraints:      19097
157.21/157.88	c #Conflicts:     184000 | #Constraints:      20097
157.21/157.88	c #Conflicts:     185000 | #Constraints:      21098
157.21/157.88	c #Conflicts:     186000 | #Constraints:      22098
157.21/157.88	c #Conflicts:     187000 | #Constraints:      23098
157.21/157.88	c #Conflicts:     188000 | #Constraints:      24098
157.21/157.88	c #Conflicts:     189000 | #Constraints:      25098
157.21/157.88	c #Conflicts:     190000 | #Constraints:      26098
157.21/157.88	c #Conflicts:     191000 | #Constraints:      27098
157.21/157.88	c #Conflicts:     192000 | #Constraints:      28098
157.21/157.88	c INPROCESSING
157.21/157.88	c GARBAGE COLLECT
157.21/157.88	c rational objective 70
164.99/165.64	c #Conflicts:     193000 | #Constraints:      17087
164.99/165.64	c #Conflicts:     194000 | #Constraints:      18087
164.99/165.64	c #Conflicts:     195000 | #Constraints:      19087
164.99/165.64	c #Conflicts:     196000 | #Constraints:      20087
164.99/165.64	c #Conflicts:     197000 | #Constraints:      21087
164.99/165.64	c #Conflicts:     198000 | #Constraints:      22087
164.99/165.64	c #Conflicts:     199000 | #Constraints:      23087
164.99/165.64	c #Conflicts:     200000 | #Constraints:      24087
164.99/165.64	c #Conflicts:     201000 | #Constraints:      25087
164.99/165.64	c INPROCESSING
164.99/165.64	c GARBAGE COLLECT
164.99/165.64	c rational objective 70
172.46/173.12	c #Conflicts:     202000 | #Constraints:      15386
172.46/173.12	c #Conflicts:     203000 | #Constraints:      16386
172.46/173.12	c #Conflicts:     204000 | #Constraints:      17387
172.46/173.12	c #Conflicts:     205000 | #Constraints:      18387
172.46/173.12	c #Conflicts:     206000 | #Constraints:      19387
172.46/173.12	c #Conflicts:     207000 | #Constraints:      20387
172.46/173.12	c #Conflicts:     208000 | #Constraints:      21387
172.46/173.12	c #Conflicts:     209000 | #Constraints:      22387
172.46/173.12	c #Conflicts:     210000 | #Constraints:      23387
172.46/173.12	c INPROCESSING
172.46/173.12	c GARBAGE COLLECT
172.46/173.12	c rational objective 70
178.63/179.37	c #Conflicts:     211000 | #Constraints:      14287
178.63/179.37	c #Conflicts:     212000 | #Constraints:      15287
178.63/179.37	c #Conflicts:     213000 | #Constraints:      16288
178.63/179.37	c #Conflicts:     214000 | #Constraints:      17289
178.63/179.37	c #Conflicts:     215000 | #Constraints:      18289
178.63/179.37	c #Conflicts:     216000 | #Constraints:      19289
178.63/179.37	c #Conflicts:     217000 | #Constraints:      20289
178.63/179.37	c #Conflicts:     218000 | #Constraints:      21289
178.63/179.37	c #Conflicts:     219000 | #Constraints:      22289
178.63/179.37	c #Conflicts:     220000 | #Constraints:      23289
178.63/179.37	c INPROCESSING
178.63/179.37	c GARBAGE COLLECT
178.63/179.37	c rational objective 70
229.31/230.20	c #Conflicts:     221000 | #Constraints:      14372
229.31/230.20	c #Conflicts:     222000 | #Constraints:      15372
229.31/230.20	c #Conflicts:     223000 | #Constraints:      16372
229.31/230.20	c #Conflicts:     224000 | #Constraints:      17373
229.31/230.20	c #Conflicts:     225000 | #Constraints:      18373
229.31/230.20	c #Conflicts:     226000 | #Constraints:      19373
229.31/230.20	c #Conflicts:     227000 | #Constraints:      20373
229.31/230.20	c #Conflicts:     228000 | #Constraints:      21373
229.31/230.20	c #Conflicts:     229000 | #Constraints:      22373
229.31/230.20	c #Conflicts:     230000 | #Constraints:      23374
229.31/230.20	c #Conflicts:     231000 | #Constraints:      24374
229.31/230.20	c #Conflicts:     232000 | #Constraints:      25375
229.31/230.20	c #Conflicts:     233000 | #Constraints:      26376
229.31/230.20	c #Conflicts:     234000 | #Constraints:      27377
229.31/230.20	c #Conflicts:     235000 | #Constraints:      28378
229.31/230.20	c #Conflicts:     236000 | #Constraints:      29378
229.31/230.20	c #Conflicts:     237000 | #Constraints:      30379
229.31/230.20	c #Conflicts:     238000 | #Constraints:      31379
229.31/230.20	c #Conflicts:     239000 | #Constraints:      32379
229.31/230.20	c #Conflicts:     240000 | #Constraints:      33379
229.31/230.20	c #Conflicts:     241000 | #Constraints:      34379
229.31/230.20	c #Conflicts:     242000 | #Constraints:      35379
229.31/230.20	c #Conflicts:     243000 | #Constraints:      36379
229.31/230.20	c #Conflicts:     244000 | #Constraints:      37379
229.31/230.20	c #Conflicts:     245000 | #Constraints:      38379
229.31/230.20	c #Conflicts:     246000 | #Constraints:      39379
229.31/230.20	c #Conflicts:     247000 | #Constraints:      40379
229.31/230.20	c #Conflicts:     248000 | #Constraints:      41379
229.31/230.20	c #Conflicts:     249000 | #Constraints:      42380
229.31/230.20	c #Conflicts:     250000 | #Constraints:      43380
229.31/230.20	c #Conflicts:     251000 | #Constraints:      44380
229.31/230.20	c #Conflicts:     252000 | #Constraints:      45381
229.31/230.20	c #Conflicts:     253000 | #Constraints:      46381
229.31/230.20	c #Conflicts:     254000 | #Constraints:      47381
229.31/230.20	c #Conflicts:     255000 | #Constraints:      48381
229.31/230.20	c #Conflicts:     256000 | #Constraints:      49381
229.31/230.20	c #Conflicts:     257000 | #Constraints:      50381
229.31/230.20	c #Conflicts:     258000 | #Constraints:      51381
229.31/230.20	c #Conflicts:     259000 | #Constraints:      52381
229.31/230.20	c #Conflicts:     260000 | #Constraints:      53381
229.31/230.20	c #Conflicts:     261000 | #Constraints:      54381
229.31/230.20	c #Conflicts:     262000 | #Constraints:      55381
229.31/230.20	c INPROCESSING
229.31/230.20	c GARBAGE COLLECT
229.31/230.20	c rational objective 70
245.35/246.33	c #Conflicts:     263000 | #Constraints:      30316
245.35/246.33	c #Conflicts:     264000 | #Constraints:      31317
245.35/246.33	c #Conflicts:     265000 | #Constraints:      32317
245.35/246.33	c #Conflicts:     266000 | #Constraints:      33317
245.35/246.33	c #Conflicts:     267000 | #Constraints:      34317
245.35/246.33	c #Conflicts:     268000 | #Constraints:      35317
245.35/246.33	c #Conflicts:     269000 | #Constraints:      36317
245.35/246.33	c #Conflicts:     270000 | #Constraints:      37317
245.35/246.33	c #Conflicts:     271000 | #Constraints:      38317
245.35/246.33	c #Conflicts:     272000 | #Constraints:      39318
245.35/246.33	c #Conflicts:     273000 | #Constraints:      40318
245.35/246.33	c INPROCESSING
245.35/246.33	c GARBAGE COLLECT
245.35/246.33	c rational objective 70
257.78/258.80	c #Conflicts:     274000 | #Constraints:      22765
257.78/258.80	c #Conflicts:     275000 | #Constraints:      23765
257.78/258.80	c #Conflicts:     276000 | #Constraints:      24765
257.78/258.80	c #Conflicts:     277000 | #Constraints:      25765
257.78/258.80	c #Conflicts:     278000 | #Constraints:      26765
257.78/258.80	c #Conflicts:     279000 | #Constraints:      27765
257.78/258.80	c #Conflicts:     280000 | #Constraints:      28765
257.78/258.80	c #Conflicts:     281000 | #Constraints:      29766
257.78/258.80	c #Conflicts:     282000 | #Constraints:      30766
257.78/258.80	c #Conflicts:     283000 | #Constraints:      31766
257.78/258.80	c #Conflicts:     284000 | #Constraints:      32766
257.78/258.80	c #Conflicts:     285000 | #Constraints:      33766
257.78/258.80	c INPROCESSING
257.78/258.80	c GARBAGE COLLECT
257.78/258.80	c rational objective 70
266.26/267.37	c #Conflicts:     286000 | #Constraints:      19922
266.26/267.37	c #Conflicts:     287000 | #Constraints:      20922
266.26/267.37	c #Conflicts:     288000 | #Constraints:      21922
266.26/267.37	c #Conflicts:     289000 | #Constraints:      22922
266.26/267.37	c #Conflicts:     290000 | #Constraints:      23922
266.26/267.37	c #Conflicts:     291000 | #Constraints:      24922
266.26/267.37	c #Conflicts:     292000 | #Constraints:      25922
266.26/267.37	c #Conflicts:     293000 | #Constraints:      26922
266.26/267.37	c #Conflicts:     294000 | #Constraints:      27922
266.26/267.37	c #Conflicts:     295000 | #Constraints:      28922
266.26/267.37	c #Conflicts:     296000 | #Constraints:      29922
266.26/267.37	c INPROCESSING
266.26/267.37	c GARBAGE COLLECT
266.26/267.37	c rational objective 70
274.72/275.80	c #Conflicts:     297000 | #Constraints:      17784
274.72/275.80	c #Conflicts:     298000 | #Constraints:      18784
274.72/275.80	c #Conflicts:     299000 | #Constraints:      19784
274.72/275.80	c #Conflicts:     300000 | #Constraints:      20784
274.72/275.80	c #Conflicts:     301000 | #Constraints:      21784
274.72/275.80	c #Conflicts:     302000 | #Constraints:      22784
274.72/275.80	c #Conflicts:     303000 | #Constraints:      23784
274.72/275.80	c #Conflicts:     304000 | #Constraints:      24785
274.72/275.80	c #Conflicts:     305000 | #Constraints:      25785
274.72/275.80	c #Conflicts:     306000 | #Constraints:      26785
274.72/275.80	c #Conflicts:     307000 | #Constraints:      27785
274.72/275.80	c #Conflicts:     308000 | #Constraints:      28785
274.72/275.80	c INPROCESSING
274.72/275.80	c GARBAGE COLLECT
274.72/275.80	c rational objective 70
344.32/345.70	c #Conflicts:     309000 | #Constraints:      17428
344.32/345.70	c #Conflicts:     310000 | #Constraints:      18430
344.32/345.70	c #Conflicts:     311000 | #Constraints:      19430
344.32/345.70	c #Conflicts:     312000 | #Constraints:      20431
344.32/345.70	c #Conflicts:     313000 | #Constraints:      21431
344.32/345.70	c #Conflicts:     314000 | #Constraints:      22431
344.32/345.70	c #Conflicts:     315000 | #Constraints:      23431
344.32/345.70	c #Conflicts:     316000 | #Constraints:      24431
344.32/345.70	c #Conflicts:     317000 | #Constraints:      25431
344.32/345.70	c #Conflicts:     318000 | #Constraints:      26431
344.32/345.70	c #Conflicts:     319000 | #Constraints:      27431
344.32/345.70	c #Conflicts:     320000 | #Constraints:      28432
344.32/345.70	c #Conflicts:     321000 | #Constraints:      29432
344.32/345.70	c #Conflicts:     322000 | #Constraints:      30432
344.32/345.70	c #Conflicts:     323000 | #Constraints:      31432
344.32/345.70	c #Conflicts:     324000 | #Constraints:      32432
344.32/345.70	c #Conflicts:     325000 | #Constraints:      33432
344.32/345.70	c #Conflicts:     326000 | #Constraints:      34432
344.32/345.70	c #Conflicts:     327000 | #Constraints:      35432
344.32/345.70	c #Conflicts:     328000 | #Constraints:      36432
344.32/345.70	c #Conflicts:     329000 | #Constraints:      37432
344.32/345.70	c #Conflicts:     330000 | #Constraints:      38432
344.32/345.70	c #Conflicts:     331000 | #Constraints:      39432
344.32/345.70	c #Conflicts:     332000 | #Constraints:      40432
344.32/345.70	c #Conflicts:     333000 | #Constraints:      41432
344.32/345.70	c #Conflicts:     334000 | #Constraints:      42432
344.32/345.70	c #Conflicts:     335000 | #Constraints:      43432
344.32/345.70	c #Conflicts:     336000 | #Constraints:      44432
344.32/345.70	c #Conflicts:     337000 | #Constraints:      45432
344.32/345.70	c #Conflicts:     338000 | #Constraints:      46432
344.32/345.70	c #Conflicts:     339000 | #Constraints:      47433
344.32/345.70	c #Conflicts:     340000 | #Constraints:      48433
344.32/345.70	c #Conflicts:     341000 | #Constraints:      49433
344.32/345.70	c #Conflicts:     342000 | #Constraints:      50433
344.32/345.70	c #Conflicts:     343000 | #Constraints:      51433
344.32/345.70	c #Conflicts:     344000 | #Constraints:      52433
344.32/345.70	c #Conflicts:     345000 | #Constraints:      53433
344.32/345.70	c #Conflicts:     346000 | #Constraints:      54433
344.32/345.70	c #Conflicts:     347000 | #Constraints:      55433
344.32/345.70	c #Conflicts:     348000 | #Constraints:      56433
344.32/345.70	c #Conflicts:     349000 | #Constraints:      57433
344.32/345.70	c #Conflicts:     350000 | #Constraints:      58434
344.32/345.70	c #Conflicts:     351000 | #Constraints:      59434
344.32/345.70	c #Conflicts:     352000 | #Constraints:      60434
344.32/345.70	c #Conflicts:     353000 | #Constraints:      61434
344.32/345.70	c #Conflicts:     354000 | #Constraints:      62434
344.32/345.70	c #Conflicts:     355000 | #Constraints:      63434
344.32/345.70	c #Conflicts:     356000 | #Constraints:      64434
344.32/345.70	c INPROCESSING
344.32/345.70	c GARBAGE COLLECT
344.32/345.70	c rational objective 70
361.35/362.84	c #Conflicts:     357000 | #Constraints:      34854
361.35/362.84	c #Conflicts:     358000 | #Constraints:      35854
361.35/362.84	c #Conflicts:     359000 | #Constraints:      36854
361.35/362.84	c #Conflicts:     360000 | #Constraints:      37854
361.35/362.84	c #Conflicts:     361000 | #Constraints:      38854
361.35/362.84	c #Conflicts:     362000 | #Constraints:      39854
361.35/362.84	c #Conflicts:     363000 | #Constraints:      40854
361.35/362.84	c #Conflicts:     364000 | #Constraints:      41854
361.35/362.84	c #Conflicts:     365000 | #Constraints:      42854
361.35/362.84	c #Conflicts:     366000 | #Constraints:      43854
361.35/362.84	c #Conflicts:     367000 | #Constraints:      44854
361.35/362.84	c #Conflicts:     368000 | #Constraints:      45854
361.35/362.84	c #Conflicts:     369000 | #Constraints:      46854
361.35/362.84	c INPROCESSING
361.35/362.84	c GARBAGE COLLECT
361.35/362.84	c rational objective 70
378.28/379.86	c #Conflicts:     370000 | #Constraints:      26153
378.28/379.86	c #Conflicts:     371000 | #Constraints:      27153
378.28/379.86	c #Conflicts:     372000 | #Constraints:      28153
378.28/379.86	c #Conflicts:     373000 | #Constraints:      29153
378.28/379.86	c #Conflicts:     374000 | #Constraints:      30153
378.28/379.86	c #Conflicts:     375000 | #Constraints:      31153
378.28/379.86	c #Conflicts:     376000 | #Constraints:      32153
378.28/379.86	c #Conflicts:     377000 | #Constraints:      33153
378.28/379.86	c #Conflicts:     378000 | #Constraints:      34153
378.28/379.86	c #Conflicts:     379000 | #Constraints:      35154
378.28/379.86	c #Conflicts:     380000 | #Constraints:      36154
378.28/379.86	c #Conflicts:     381000 | #Constraints:      37154
378.28/379.86	c #Conflicts:     382000 | #Constraints:      38154
378.28/379.86	c INPROCESSING
378.28/379.86	c GARBAGE COLLECT
378.28/379.86	c rational objective 70
394.61/396.27	c #Conflicts:     383000 | #Constraints:      21785
394.61/396.27	c #Conflicts:     384000 | #Constraints:      22785
394.61/396.27	c #Conflicts:     385000 | #Constraints:      23785
394.61/396.27	c #Conflicts:     386000 | #Constraints:      24785
394.61/396.27	c #Conflicts:     387000 | #Constraints:      25785
394.61/396.27	c #Conflicts:     388000 | #Constraints:      26785
394.61/396.27	c #Conflicts:     389000 | #Constraints:      27785
394.61/396.27	c #Conflicts:     390000 | #Constraints:      28785
394.61/396.27	c #Conflicts:     391000 | #Constraints:      29786
394.61/396.27	c #Conflicts:     392000 | #Constraints:      30786
394.61/396.27	c #Conflicts:     393000 | #Constraints:      31786
394.61/396.27	c #Conflicts:     394000 | #Constraints:      32786
394.61/396.27	c #Conflicts:     395000 | #Constraints:      33787
394.61/396.27	c #Conflicts:     396000 | #Constraints:      34787
394.61/396.27	c INPROCESSING
394.61/396.27	c GARBAGE COLLECT
394.61/396.27	c rational objective 70
411.14/412.85	c #Conflicts:     397000 | #Constraints:      20441
411.14/412.85	c #Conflicts:     398000 | #Constraints:      21441
411.14/412.85	c #Conflicts:     399000 | #Constraints:      22441
411.14/412.85	c #Conflicts:     400000 | #Constraints:      23441
411.14/412.85	c #Conflicts:     401000 | #Constraints:      24441
411.14/412.85	c #Conflicts:     402000 | #Constraints:      25441
411.14/412.85	c #Conflicts:     403000 | #Constraints:      26441
411.14/412.85	c #Conflicts:     404000 | #Constraints:      27441
411.14/412.85	c #Conflicts:     405000 | #Constraints:      28441
411.14/412.85	c #Conflicts:     406000 | #Constraints:      29441
411.14/412.85	c #Conflicts:     407000 | #Constraints:      30441
411.14/412.85	c #Conflicts:     408000 | #Constraints:      31441
411.14/412.85	c #Conflicts:     409000 | #Constraints:      32442
411.14/412.85	c INPROCESSING
411.14/412.85	c GARBAGE COLLECT
411.14/412.85	c rational objective 70
500.58/502.63	c #Conflicts:     410000 | #Constraints:      18972
500.58/502.63	c #Conflicts:     411000 | #Constraints:      19972
500.58/502.63	c #Conflicts:     412000 | #Constraints:      20972
500.58/502.63	c #Conflicts:     413000 | #Constraints:      21972
500.58/502.63	c #Conflicts:     414000 | #Constraints:      22972
500.58/502.63	c #Conflicts:     415000 | #Constraints:      23972
500.58/502.63	c #Conflicts:     416000 | #Constraints:      24972
500.58/502.63	c #Conflicts:     417000 | #Constraints:      25972
500.58/502.63	c #Conflicts:     418000 | #Constraints:      26972
500.58/502.63	c #Conflicts:     419000 | #Constraints:      27973
500.58/502.63	c #Conflicts:     420000 | #Constraints:      28973
500.58/502.63	c #Conflicts:     421000 | #Constraints:      29973
500.58/502.63	c #Conflicts:     422000 | #Constraints:      30973
500.58/502.63	c #Conflicts:     423000 | #Constraints:      31973
500.58/502.63	c #Conflicts:     424000 | #Constraints:      32974
500.58/502.63	c #Conflicts:     425000 | #Constraints:      33974
500.58/502.63	c #Conflicts:     426000 | #Constraints:      34974
500.58/502.63	c #Conflicts:     427000 | #Constraints:      35974
500.58/502.63	c #Conflicts:     428000 | #Constraints:      36974
500.58/502.63	c #Conflicts:     429000 | #Constraints:      37974
500.58/502.63	c #Conflicts:     430000 | #Constraints:      38974
500.58/502.63	c #Conflicts:     431000 | #Constraints:      39974
500.58/502.63	c #Conflicts:     432000 | #Constraints:      40974
500.58/502.63	c #Conflicts:     433000 | #Constraints:      41974
500.58/502.63	c #Conflicts:     434000 | #Constraints:      42974
500.58/502.63	c #Conflicts:     435000 | #Constraints:      43974
500.58/502.63	c #Conflicts:     436000 | #Constraints:      44974
500.58/502.63	c #Conflicts:     437000 | #Constraints:      45974
500.58/502.63	c #Conflicts:     438000 | #Constraints:      46974
500.58/502.63	c #Conflicts:     439000 | #Constraints:      47975
500.58/502.63	c #Conflicts:     440000 | #Constraints:      48975
500.58/502.63	c #Conflicts:     441000 | #Constraints:      49975
500.58/502.63	c #Conflicts:     442000 | #Constraints:      50975
500.58/502.63	c #Conflicts:     443000 | #Constraints:      51975
500.58/502.63	c #Conflicts:     444000 | #Constraints:      52975
500.58/502.63	c #Conflicts:     445000 | #Constraints:      53975
500.58/502.63	c #Conflicts:     446000 | #Constraints:      54975
500.58/502.63	c #Conflicts:     447000 | #Constraints:      55975
500.58/502.63	c #Conflicts:     448000 | #Constraints:      56975
500.58/502.63	c #Conflicts:     449000 | #Constraints:      57975
500.58/502.63	c #Conflicts:     450000 | #Constraints:      58975
500.58/502.63	c #Conflicts:     451000 | #Constraints:      59975
500.58/502.63	c #Conflicts:     452000 | #Constraints:      60975
500.58/502.63	c #Conflicts:     453000 | #Constraints:      61975
500.58/502.63	c #Conflicts:     454000 | #Constraints:      62976
500.58/502.63	c #Conflicts:     455000 | #Constraints:      63976
500.58/502.63	c #Conflicts:     456000 | #Constraints:      64976
500.58/502.63	c #Conflicts:     457000 | #Constraints:      65976
500.58/502.63	c #Conflicts:     458000 | #Constraints:      66976
500.58/502.63	c #Conflicts:     459000 | #Constraints:      67976
500.58/502.63	c #Conflicts:     460000 | #Constraints:      68976
500.58/502.63	c #Conflicts:     461000 | #Constraints:      69976
500.58/502.63	c #Conflicts:     462000 | #Constraints:      70976
500.58/502.63	c #Conflicts:     463000 | #Constraints:      71976
500.58/502.63	c #Conflicts:     464000 | #Constraints:      72976
500.58/502.63	c INPROCESSING
500.58/502.63	c GARBAGE COLLECT
500.58/502.63	c rational objective 70
525.10/527.29	c #Conflicts:     465000 | #Constraints:      39257
525.10/527.29	c #Conflicts:     466000 | #Constraints:      40257
525.10/527.29	c #Conflicts:     467000 | #Constraints:      41257
525.10/527.29	c #Conflicts:     468000 | #Constraints:      42257
525.10/527.29	c #Conflicts:     469000 | #Constraints:      43257
525.10/527.29	c #Conflicts:     470000 | #Constraints:      44257
525.10/527.29	c #Conflicts:     471000 | #Constraints:      45257
525.10/527.29	c #Conflicts:     472000 | #Constraints:      46257
525.10/527.29	c #Conflicts:     473000 | #Constraints:      47257
525.10/527.29	c #Conflicts:     474000 | #Constraints:      48257
525.10/527.29	c #Conflicts:     475000 | #Constraints:      49257
525.10/527.29	c #Conflicts:     476000 | #Constraints:      50257
525.10/527.29	c #Conflicts:     477000 | #Constraints:      51257
525.10/527.29	c #Conflicts:     478000 | #Constraints:      52257
525.10/527.29	c #Conflicts:     479000 | #Constraints:      53257
525.10/527.29	c INPROCESSING
525.10/527.29	c GARBAGE COLLECT
525.10/527.29	c rational objective 70
542.64/544.86	c #Conflicts:     480000 | #Constraints:      29474
542.64/544.86	c #Conflicts:     481000 | #Constraints:      30474
542.64/544.86	c #Conflicts:     482000 | #Constraints:      31474
542.64/544.86	c #Conflicts:     483000 | #Constraints:      32476
542.64/544.86	c #Conflicts:     484000 | #Constraints:      33477
542.64/544.86	c #Conflicts:     485000 | #Constraints:      34477
542.64/544.86	c #Conflicts:     486000 | #Constraints:      35477
542.64/544.86	c #Conflicts:     487000 | #Constraints:      36477
542.64/544.86	c #Conflicts:     488000 | #Constraints:      37477
542.64/544.86	c #Conflicts:     489000 | #Constraints:      38477
542.64/544.86	c #Conflicts:     490000 | #Constraints:      39477
542.64/544.86	c #Conflicts:     491000 | #Constraints:      40477
542.64/544.86	c #Conflicts:     492000 | #Constraints:      41477
542.64/544.86	c #Conflicts:     493000 | #Constraints:      42477
542.64/544.86	c #Conflicts:     494000 | #Constraints:      43477
542.64/544.86	c INPROCESSING
542.64/544.86	c GARBAGE COLLECT
542.64/544.86	c rational objective 70
562.18/564.46	c #Conflicts:     495000 | #Constraints:      24629
562.18/564.46	c #Conflicts:     496000 | #Constraints:      25629
562.18/564.46	c #Conflicts:     497000 | #Constraints:      26629
562.18/564.46	c #Conflicts:     498000 | #Constraints:      27630
562.18/564.46	c #Conflicts:     499000 | #Constraints:      28631
562.18/564.46	c #Conflicts:     500000 | #Constraints:      29631
562.18/564.46	c #Conflicts:     501000 | #Constraints:      30631
562.18/564.46	c #Conflicts:     502000 | #Constraints:      31631
562.18/564.46	c #Conflicts:     503000 | #Constraints:      32631
562.18/564.46	c #Conflicts:     504000 | #Constraints:      33631
562.18/564.46	c #Conflicts:     505000 | #Constraints:      34631
562.18/564.46	c #Conflicts:     506000 | #Constraints:      35631
562.18/564.46	c #Conflicts:     507000 | #Constraints:      36631
562.18/564.46	c #Conflicts:     508000 | #Constraints:      37631
562.18/564.46	c #Conflicts:     509000 | #Constraints:      38631
562.18/564.46	c INPROCESSING
562.18/564.46	c GARBAGE COLLECT
562.18/564.46	c rational objective 70
574.63/576.95	c #Conflicts:     510000 | #Constraints:      22104
574.63/576.95	c #Conflicts:     511000 | #Constraints:      23104
574.63/576.95	c #Conflicts:     512000 | #Constraints:      24104
574.63/576.95	c #Conflicts:     513000 | #Constraints:      25104
574.63/576.95	c #Conflicts:     514000 | #Constraints:      26104
574.63/576.95	c #Conflicts:     515000 | #Constraints:      27104
574.63/576.95	c #Conflicts:     516000 | #Constraints:      28104
574.63/576.95	c #Conflicts:     517000 | #Constraints:      29104
574.63/576.95	c #Conflicts:     518000 | #Constraints:      30104
574.63/576.95	c #Conflicts:     519000 | #Constraints:      31104
574.63/576.95	c #Conflicts:     520000 | #Constraints:      32104
574.63/576.95	c #Conflicts:     521000 | #Constraints:      33104
574.63/576.95	c #Conflicts:     522000 | #Constraints:      34104
574.63/576.95	c #Conflicts:     523000 | #Constraints:      35105
574.63/576.95	c #Conflicts:     524000 | #Constraints:      36105
574.63/576.95	c #Conflicts:     525000 | #Constraints:      37105
574.63/576.95	c INPROCESSING
574.63/576.95	c GARBAGE COLLECT
574.63/576.95	c rational objective 70
588.98/591.32	c #Conflicts:     526000 | #Constraints:      21586
588.98/591.32	c #Conflicts:     527000 | #Constraints:      22586
588.98/591.32	c #Conflicts:     528000 | #Constraints:      23586
588.98/591.32	c #Conflicts:     529000 | #Constraints:      24586
588.98/591.32	c #Conflicts:     530000 | #Constraints:      25586
588.98/591.32	c #Conflicts:     531000 | #Constraints:      26586
588.98/591.32	c #Conflicts:     532000 | #Constraints:      27586
588.98/591.32	c #Conflicts:     533000 | #Constraints:      28586
588.98/591.32	c #Conflicts:     534000 | #Constraints:      29586
588.98/591.32	c #Conflicts:     535000 | #Constraints:      30586
588.98/591.32	c #Conflicts:     536000 | #Constraints:      31586
588.98/591.32	c #Conflicts:     537000 | #Constraints:      32586
588.98/591.32	c #Conflicts:     538000 | #Constraints:      33586
588.98/591.32	c #Conflicts:     539000 | #Constraints:      34586
588.98/591.32	c #Conflicts:     540000 | #Constraints:      35586
588.98/591.32	c INPROCESSING
588.98/591.32	c GARBAGE COLLECT
588.98/591.32	c rational objective 70
701.10/703.82	c #Conflicts:     541000 | #Constraints:      20539
701.10/703.82	c #Conflicts:     542000 | #Constraints:      21539
701.10/703.82	c #Conflicts:     543000 | #Constraints:      22540
701.10/703.82	c #Conflicts:     544000 | #Constraints:      23540
701.10/703.82	c #Conflicts:     545000 | #Constraints:      24540
701.10/703.82	c #Conflicts:     546000 | #Constraints:      25540
701.10/703.82	c #Conflicts:     547000 | #Constraints:      26540
701.10/703.82	c #Conflicts:     548000 | #Constraints:      27540
701.10/703.82	c #Conflicts:     549000 | #Constraints:      28540
701.10/703.82	c #Conflicts:     550000 | #Constraints:      29540
701.10/703.82	c #Conflicts:     551000 | #Constraints:      30540
701.10/703.82	c #Conflicts:     552000 | #Constraints:      31540
701.10/703.82	c #Conflicts:     553000 | #Constraints:      32540
701.10/703.82	c #Conflicts:     554000 | #Constraints:      33540
701.10/703.82	c #Conflicts:     555000 | #Constraints:      34541
701.10/703.82	c #Conflicts:     556000 | #Constraints:      35541
701.10/703.82	c #Conflicts:     557000 | #Constraints:      36541
701.10/703.82	c #Conflicts:     558000 | #Constraints:      37541
701.10/703.82	c #Conflicts:     559000 | #Constraints:      38542
701.10/703.82	c #Conflicts:     560000 | #Constraints:      39542
701.10/703.82	c #Conflicts:     561000 | #Constraints:      40542
701.10/703.82	c #Conflicts:     562000 | #Constraints:      41542
701.10/703.82	c #Conflicts:     563000 | #Constraints:      42542
701.10/703.82	c #Conflicts:     564000 | #Constraints:      43542
701.10/703.82	c #Conflicts:     565000 | #Constraints:      44542
701.10/703.82	c #Conflicts:     566000 | #Constraints:      45542
701.10/703.82	c #Conflicts:     567000 | #Constraints:      46542
701.10/703.82	c #Conflicts:     568000 | #Constraints:      47542
701.10/703.82	c #Conflicts:     569000 | #Constraints:      48543
701.10/703.82	c #Conflicts:     570000 | #Constraints:      49543
701.10/703.82	c #Conflicts:     571000 | #Constraints:      50543
701.10/703.82	c #Conflicts:     572000 | #Constraints:      51543
701.10/703.82	c #Conflicts:     573000 | #Constraints:      52543
701.10/703.82	c #Conflicts:     574000 | #Constraints:      53543
701.10/703.82	c #Conflicts:     575000 | #Constraints:      54543
701.10/703.82	c #Conflicts:     576000 | #Constraints:      55543
701.10/703.82	c #Conflicts:     577000 | #Constraints:      56543
701.10/703.82	c #Conflicts:     578000 | #Constraints:      57543
701.10/703.82	c #Conflicts:     579000 | #Constraints:      58543
701.10/703.82	c #Conflicts:     580000 | #Constraints:      59543
701.10/703.82	c #Conflicts:     581000 | #Constraints:      60544
701.10/703.82	c #Conflicts:     582000 | #Constraints:      61544
701.10/703.82	c #Conflicts:     583000 | #Constraints:      62544
701.10/703.82	c #Conflicts:     584000 | #Constraints:      63544
701.10/703.82	c #Conflicts:     585000 | #Constraints:      64544
701.10/703.82	c #Conflicts:     586000 | #Constraints:      65544
701.10/703.82	c #Conflicts:     587000 | #Constraints:      66544
701.10/703.82	c #Conflicts:     588000 | #Constraints:      67544
701.10/703.82	c #Conflicts:     589000 | #Constraints:      68544
701.10/703.82	c #Conflicts:     590000 | #Constraints:      69544
701.10/703.82	c #Conflicts:     591000 | #Constraints:      70544
701.10/703.82	c #Conflicts:     592000 | #Constraints:      71544
701.10/703.82	c #Conflicts:     593000 | #Constraints:      72544
701.10/703.82	c #Conflicts:     594000 | #Constraints:      73544
701.10/703.82	c #Conflicts:     595000 | #Constraints:      74544
701.10/703.82	c #Conflicts:     596000 | #Constraints:      75544
701.10/703.82	c #Conflicts:     597000 | #Constraints:      76544
701.10/703.82	c #Conflicts:     598000 | #Constraints:      77544
701.10/703.82	c #Conflicts:     599000 | #Constraints:      78544
701.10/703.82	c #Conflicts:     600000 | #Constraints:      79544
701.10/703.82	c #Conflicts:     601000 | #Constraints:      80544
701.10/703.82	c #Conflicts:     602000 | #Constraints:      81544
701.10/703.82	c #Conflicts:     603000 | #Constraints:      82544
701.10/703.82	c INPROCESSING
701.10/703.82	c GARBAGE COLLECT
701.10/703.82	c rational objective 70
730.60/733.47	c #Conflicts:     604000 | #Constraints:      44226
730.60/733.47	c #Conflicts:     605000 | #Constraints:      45226
730.60/733.47	c #Conflicts:     606000 | #Constraints:      46226
730.60/733.47	c #Conflicts:     607000 | #Constraints:      47226
730.60/733.47	c #Conflicts:     608000 | #Constraints:      48226
730.60/733.47	c #Conflicts:     609000 | #Constraints:      49226
730.60/733.47	c #Conflicts:     610000 | #Constraints:      50226
730.60/733.47	c #Conflicts:     611000 | #Constraints:      51226
730.60/733.47	c #Conflicts:     612000 | #Constraints:      52226
730.60/733.47	c #Conflicts:     613000 | #Constraints:      53226
730.60/733.47	c #Conflicts:     614000 | #Constraints:      54226
730.60/733.47	c #Conflicts:     615000 | #Constraints:      55226
730.60/733.47	c #Conflicts:     616000 | #Constraints:      56226
730.60/733.47	c #Conflicts:     617000 | #Constraints:      57227
730.60/733.47	c #Conflicts:     618000 | #Constraints:      58227
730.60/733.47	c #Conflicts:     619000 | #Constraints:      59227
730.60/733.47	c #Conflicts:     620000 | #Constraints:      60227
730.60/733.47	c INPROCESSING
730.60/733.47	c GARBAGE COLLECT
730.60/733.47	c rational objective 70
752.03/754.92	c #Conflicts:     621000 | #Constraints:      33142
752.03/754.92	c #Conflicts:     622000 | #Constraints:      34142
752.03/754.92	c #Conflicts:     623000 | #Constraints:      35142
752.03/754.92	c #Conflicts:     624000 | #Constraints:      36142
752.03/754.92	c #Conflicts:     625000 | #Constraints:      37142
752.03/754.92	c #Conflicts:     626000 | #Constraints:      38142
752.03/754.92	c #Conflicts:     627000 | #Constraints:      39142
752.03/754.92	c #Conflicts:     628000 | #Constraints:      40142
752.03/754.92	c #Conflicts:     629000 | #Constraints:      41142
752.03/754.92	c #Conflicts:     630000 | #Constraints:      42142
752.03/754.92	c #Conflicts:     631000 | #Constraints:      43142
752.03/754.92	c #Conflicts:     632000 | #Constraints:      44143
752.03/754.92	c #Conflicts:     633000 | #Constraints:      45143
752.03/754.92	c #Conflicts:     634000 | #Constraints:      46144
752.03/754.92	c #Conflicts:     635000 | #Constraints:      47144
752.03/754.92	c #Conflicts:     636000 | #Constraints:      48144
752.03/754.92	c #Conflicts:     637000 | #Constraints:      49144
752.03/754.92	c INPROCESSING
752.03/754.92	c GARBAGE COLLECT
752.03/754.92	c rational objective 70
769.08/772.02	c #Conflicts:     638000 | #Constraints:      27515
769.08/772.02	c #Conflicts:     639000 | #Constraints:      28515
769.08/772.02	c #Conflicts:     640000 | #Constraints:      29515
769.08/772.02	c #Conflicts:     641000 | #Constraints:      30515
769.08/772.02	c #Conflicts:     642000 | #Constraints:      31515
769.08/772.02	c #Conflicts:     643000 | #Constraints:      32515
769.08/772.02	c #Conflicts:     644000 | #Constraints:      33515
769.08/772.02	c #Conflicts:     645000 | #Constraints:      34515
769.08/772.02	c #Conflicts:     646000 | #Constraints:      35515
769.08/772.02	c #Conflicts:     647000 | #Constraints:      36515
769.08/772.02	c #Conflicts:     648000 | #Constraints:      37515
769.08/772.02	c #Conflicts:     649000 | #Constraints:      38515
769.08/772.02	c #Conflicts:     650000 | #Constraints:      39515
769.08/772.02	c #Conflicts:     651000 | #Constraints:      40515
769.08/772.02	c #Conflicts:     652000 | #Constraints:      41515
769.08/772.02	c #Conflicts:     653000 | #Constraints:      42515
769.08/772.02	c #Conflicts:     654000 | #Constraints:      43515
769.08/772.02	c INPROCESSING
769.08/772.02	c GARBAGE COLLECT
769.08/772.02	c rational objective 70
789.02/792.06	c #Conflicts:     655000 | #Constraints:      24585
789.02/792.06	c #Conflicts:     656000 | #Constraints:      25585
789.02/792.06	c #Conflicts:     657000 | #Constraints:      26585
789.02/792.06	c #Conflicts:     658000 | #Constraints:      27585
789.02/792.06	c #Conflicts:     659000 | #Constraints:      28585
789.02/792.06	c #Conflicts:     660000 | #Constraints:      29585
789.02/792.06	c #Conflicts:     661000 | #Constraints:      30585
789.02/792.06	c #Conflicts:     662000 | #Constraints:      31586
789.02/792.06	c #Conflicts:     663000 | #Constraints:      32586
789.02/792.06	c #Conflicts:     664000 | #Constraints:      33586
789.02/792.06	c #Conflicts:     665000 | #Constraints:      34587
789.02/792.06	c #Conflicts:     666000 | #Constraints:      35587
789.02/792.06	c #Conflicts:     667000 | #Constraints:      36587
789.02/792.06	c #Conflicts:     668000 | #Constraints:      37587
789.02/792.06	c #Conflicts:     669000 | #Constraints:      38587
789.02/792.06	c #Conflicts:     670000 | #Constraints:      39587
789.02/792.06	c #Conflicts:     671000 | #Constraints:      40587
789.02/792.06	c #Conflicts:     672000 | #Constraints:      41587
789.02/792.06	c INPROCESSING
789.02/792.06	c GARBAGE COLLECT
789.02/792.06	c rational objective 70
808.95/812.08	c #Conflicts:     673000 | #Constraints:      23873
808.95/812.08	c #Conflicts:     674000 | #Constraints:      24873
808.95/812.08	c #Conflicts:     675000 | #Constraints:      25873
808.95/812.08	c #Conflicts:     676000 | #Constraints:      26873
808.95/812.08	c #Conflicts:     677000 | #Constraints:      27873
808.95/812.08	c #Conflicts:     678000 | #Constraints:      28873
808.95/812.08	c #Conflicts:     679000 | #Constraints:      29873
808.95/812.08	c #Conflicts:     680000 | #Constraints:      30873
808.95/812.08	c #Conflicts:     681000 | #Constraints:      31873
808.95/812.08	c #Conflicts:     682000 | #Constraints:      32874
808.95/812.08	c #Conflicts:     683000 | #Constraints:      33874
808.95/812.08	c #Conflicts:     684000 | #Constraints:      34874
808.95/812.08	c #Conflicts:     685000 | #Constraints:      35874
808.95/812.08	c #Conflicts:     686000 | #Constraints:      36875
808.95/812.08	c #Conflicts:     687000 | #Constraints:      37876
808.95/812.08	c #Conflicts:     688000 | #Constraints:      38876
808.95/812.08	c #Conflicts:     689000 | #Constraints:      39876
808.95/812.08	c INPROCESSING
808.95/812.08	c GARBAGE COLLECT
808.95/812.08	c rational objective 70
951.95/955.52	c #Conflicts:     690000 | #Constraints:      22643
951.95/955.52	c #Conflicts:     691000 | #Constraints:      23643
951.95/955.52	c #Conflicts:     692000 | #Constraints:      24643
951.95/955.52	c #Conflicts:     693000 | #Constraints:      25643
951.95/955.52	c #Conflicts:     694000 | #Constraints:      26643
951.95/955.52	c #Conflicts:     695000 | #Constraints:      27643
951.95/955.52	c #Conflicts:     696000 | #Constraints:      28643
951.95/955.52	c #Conflicts:     697000 | #Constraints:      29643
951.95/955.52	c #Conflicts:     698000 | #Constraints:      30643
951.95/955.52	c #Conflicts:     699000 | #Constraints:      31643
951.95/955.52	c #Conflicts:     700000 | #Constraints:      32643
951.95/955.52	c #Conflicts:     701000 | #Constraints:      33643
951.95/955.52	c #Conflicts:     702000 | #Constraints:      34643
951.95/955.52	c #Conflicts:     703000 | #Constraints:      35643
951.95/955.52	c #Conflicts:     704000 | #Constraints:      36643
951.95/955.52	c #Conflicts:     705000 | #Constraints:      37643
951.95/955.52	c #Conflicts:     706000 | #Constraints:      38643
951.95/955.52	c #Conflicts:     707000 | #Constraints:      39643
951.95/955.52	c #Conflicts:     708000 | #Constraints:      40643
951.95/955.52	c #Conflicts:     709000 | #Constraints:      41643
951.95/955.52	c #Conflicts:     710000 | #Constraints:      42643
951.95/955.52	c #Conflicts:     711000 | #Constraints:      43643
951.95/955.52	c #Conflicts:     712000 | #Constraints:      44643
951.95/955.52	c #Conflicts:     713000 | #Constraints:      45643
951.95/955.52	c #Conflicts:     714000 | #Constraints:      46643
951.95/955.52	c #Conflicts:     715000 | #Constraints:      47643
951.95/955.52	c #Conflicts:     716000 | #Constraints:      48643
951.95/955.52	c #Conflicts:     717000 | #Constraints:      49643
951.95/955.52	c #Conflicts:     718000 | #Constraints:      50643
951.95/955.52	c #Conflicts:     719000 | #Constraints:      51643
951.95/955.52	c #Conflicts:     720000 | #Constraints:      52643
951.95/955.52	c #Conflicts:     721000 | #Constraints:      53643
951.95/955.52	c #Conflicts:     722000 | #Constraints:      54643
951.95/955.52	c #Conflicts:     723000 | #Constraints:      55643
951.95/955.52	c #Conflicts:     724000 | #Constraints:      56643
951.95/955.52	c #Conflicts:     725000 | #Constraints:      57643
951.95/955.52	c #Conflicts:     726000 | #Constraints:      58643
951.95/955.52	c #Conflicts:     727000 | #Constraints:      59643
951.95/955.52	c #Conflicts:     728000 | #Constraints:      60643
951.95/955.52	c #Conflicts:     729000 | #Constraints:      61643
951.95/955.52	c #Conflicts:     730000 | #Constraints:      62643
951.95/955.52	c #Conflicts:     731000 | #Constraints:      63643
951.95/955.52	c #Conflicts:     732000 | #Constraints:      64643
951.95/955.52	c #Conflicts:     733000 | #Constraints:      65643
951.95/955.52	c #Conflicts:     734000 | #Constraints:      66643
951.95/955.52	c #Conflicts:     735000 | #Constraints:      67643
951.95/955.52	c #Conflicts:     736000 | #Constraints:      68643
951.95/955.52	c #Conflicts:     737000 | #Constraints:      69643
951.95/955.52	c #Conflicts:     738000 | #Constraints:      70643
951.95/955.52	c #Conflicts:     739000 | #Constraints:      71643
951.95/955.52	c #Conflicts:     740000 | #Constraints:      72643
951.95/955.52	c #Conflicts:     741000 | #Constraints:      73643
951.95/955.52	c #Conflicts:     742000 | #Constraints:      74643
951.95/955.52	c #Conflicts:     743000 | #Constraints:      75643
951.95/955.52	c #Conflicts:     744000 | #Constraints:      76643
951.95/955.52	c #Conflicts:     745000 | #Constraints:      77643
951.95/955.52	c #Conflicts:     746000 | #Constraints:      78643
951.95/955.52	c #Conflicts:     747000 | #Constraints:      79643
951.95/955.52	c #Conflicts:     748000 | #Constraints:      80643
951.95/955.52	c #Conflicts:     749000 | #Constraints:      81643
951.95/955.52	c #Conflicts:     750000 | #Constraints:      82643
951.95/955.52	c #Conflicts:     751000 | #Constraints:      83644
951.95/955.52	c #Conflicts:     752000 | #Constraints:      84644
951.95/955.52	c #Conflicts:     753000 | #Constraints:      85644
951.95/955.52	c #Conflicts:     754000 | #Constraints:      86645
951.95/955.52	c #Conflicts:     755000 | #Constraints:      87645
951.95/955.52	c #Conflicts:     756000 | #Constraints:      88645
951.95/955.52	c #Conflicts:     757000 | #Constraints:      89645
951.95/955.52	c #Conflicts:     758000 | #Constraints:      90645
951.95/955.52	c #Conflicts:     759000 | #Constraints:      91645
951.95/955.52	c INPROCESSING
951.95/955.52	c GARBAGE COLLECT
951.95/955.52	c rational objective 70
986.22/989.91	c #Conflicts:     760000 | #Constraints:      48492
986.22/989.91	c #Conflicts:     761000 | #Constraints:      49492
986.22/989.91	c #Conflicts:     762000 | #Constraints:      50492
986.22/989.91	c #Conflicts:     763000 | #Constraints:      51492
986.22/989.91	c #Conflicts:     764000 | #Constraints:      52492
986.22/989.91	c #Conflicts:     765000 | #Constraints:      53492
986.22/989.91	c #Conflicts:     766000 | #Constraints:      54492
986.22/989.91	c #Conflicts:     767000 | #Constraints:      55492
986.22/989.91	c #Conflicts:     768000 | #Constraints:      56492
986.22/989.91	c #Conflicts:     769000 | #Constraints:      57492
986.22/989.91	c #Conflicts:     770000 | #Constraints:      58492
986.22/989.91	c #Conflicts:     771000 | #Constraints:      59492
986.22/989.91	c #Conflicts:     772000 | #Constraints:      60493
986.22/989.91	c #Conflicts:     773000 | #Constraints:      61493
986.22/989.91	c #Conflicts:     774000 | #Constraints:      62493
986.22/989.91	c #Conflicts:     775000 | #Constraints:      63493
986.22/989.91	c #Conflicts:     776000 | #Constraints:      64493
986.22/989.91	c #Conflicts:     777000 | #Constraints:      65493
986.22/989.91	c #Conflicts:     778000 | #Constraints:      66493
986.22/989.91	c INPROCESSING
986.22/989.91	c GARBAGE COLLECT
986.22/989.91	c rational objective 70
1012.53/1016.38	c #Conflicts:     779000 | #Constraints:      35877
1012.53/1016.38	c #Conflicts:     780000 | #Constraints:      36877
1012.53/1016.38	c #Conflicts:     781000 | #Constraints:      37878
1012.53/1016.38	c #Conflicts:     782000 | #Constraints:      38878
1012.53/1016.38	c #Conflicts:     783000 | #Constraints:      39878
1012.53/1016.38	c #Conflicts:     784000 | #Constraints:      40878
1012.53/1016.38	c #Conflicts:     785000 | #Constraints:      41878
1012.53/1016.38	c #Conflicts:     786000 | #Constraints:      42878
1012.53/1016.38	c #Conflicts:     787000 | #Constraints:      43878
1012.53/1016.38	c #Conflicts:     788000 | #Constraints:      44878
1012.53/1016.38	c #Conflicts:     789000 | #Constraints:      45878
1012.53/1016.38	c #Conflicts:     790000 | #Constraints:      46878
1012.53/1016.38	c #Conflicts:     791000 | #Constraints:      47878
1012.53/1016.38	c #Conflicts:     792000 | #Constraints:      48878
1012.53/1016.38	c #Conflicts:     793000 | #Constraints:      49878
1012.53/1016.38	c #Conflicts:     794000 | #Constraints:      50878
1012.53/1016.38	c #Conflicts:     795000 | #Constraints:      51878
1012.53/1016.38	c #Conflicts:     796000 | #Constraints:      52878
1012.53/1016.38	c #Conflicts:     797000 | #Constraints:      53878
1012.53/1016.38	c #Conflicts:     798000 | #Constraints:      54878
1012.53/1016.39	c INPROCESSING
1012.53/1016.39	c GARBAGE COLLECT
1012.53/1016.39	c rational objective 70
1039.93/1043.88	c #Conflicts:     799000 | #Constraints:      30562
1039.93/1043.88	c #Conflicts:     800000 | #Constraints:      31562
1039.93/1043.88	c #Conflicts:     801000 | #Constraints:      32562
1039.93/1043.88	c #Conflicts:     802000 | #Constraints:      33562
1039.93/1043.88	c #Conflicts:     803000 | #Constraints:      34562
1039.93/1043.88	c #Conflicts:     804000 | #Constraints:      35562
1039.93/1043.88	c #Conflicts:     805000 | #Constraints:      36563
1039.93/1043.88	c #Conflicts:     806000 | #Constraints:      37563
1039.93/1043.88	c #Conflicts:     807000 | #Constraints:      38563
1039.93/1043.88	c #Conflicts:     808000 | #Constraints:      39563
1039.93/1043.88	c #Conflicts:     809000 | #Constraints:      40563
1039.93/1043.88	c #Conflicts:     810000 | #Constraints:      41563
1039.93/1043.88	c #Conflicts:     811000 | #Constraints:      42563
1039.93/1043.88	c #Conflicts:     812000 | #Constraints:      43563
1039.93/1043.88	c #Conflicts:     813000 | #Constraints:      44563
1039.93/1043.88	c #Conflicts:     814000 | #Constraints:      45563
1039.93/1043.88	c #Conflicts:     815000 | #Constraints:      46563
1039.93/1043.88	c #Conflicts:     816000 | #Constraints:      47563
1039.93/1043.88	c #Conflicts:     817000 | #Constraints:      48563
1039.93/1043.88	c INPROCESSING
1039.93/1043.88	c GARBAGE COLLECT
1039.93/1043.88	c rational objective 70
1065.44/1069.48	c #Conflicts:     818000 | #Constraints:      27133
1065.44/1069.48	c #Conflicts:     819000 | #Constraints:      28133
1065.44/1069.48	c #Conflicts:     820000 | #Constraints:      29133
1065.44/1069.48	c #Conflicts:     821000 | #Constraints:      30133
1065.44/1069.48	c #Conflicts:     822000 | #Constraints:      31133
1065.44/1069.48	c #Conflicts:     823000 | #Constraints:      32133
1065.44/1069.48	c #Conflicts:     824000 | #Constraints:      33133
1065.44/1069.48	c #Conflicts:     825000 | #Constraints:      34133
1065.44/1069.48	c #Conflicts:     826000 | #Constraints:      35134
1065.44/1069.48	c #Conflicts:     827000 | #Constraints:      36134
1065.44/1069.48	c #Conflicts:     828000 | #Constraints:      37134
1065.44/1069.48	c #Conflicts:     829000 | #Constraints:      38134
1065.44/1069.48	c #Conflicts:     830000 | #Constraints:      39134
1065.44/1069.48	c #Conflicts:     831000 | #Constraints:      40134
1065.44/1069.48	c #Conflicts:     832000 | #Constraints:      41134
1065.44/1069.48	c #Conflicts:     833000 | #Constraints:      42134
1065.44/1069.48	c #Conflicts:     834000 | #Constraints:      43135
1065.44/1069.48	c #Conflicts:     835000 | #Constraints:      44135
1065.44/1069.48	c #Conflicts:     836000 | #Constraints:      45135
1065.44/1069.48	c #Conflicts:     837000 | #Constraints:      46135
1065.44/1069.48	c INPROCESSING
1065.44/1069.48	c GARBAGE COLLECT
1065.44/1069.48	c rational objective 70
1091.55/1095.61	c #Conflicts:     838000 | #Constraints:      26108
1091.55/1095.61	c #Conflicts:     839000 | #Constraints:      27108
1091.55/1095.61	c #Conflicts:     840000 | #Constraints:      28108
1091.55/1095.61	c #Conflicts:     841000 | #Constraints:      29108
1091.55/1095.61	c #Conflicts:     842000 | #Constraints:      30108
1091.55/1095.61	c #Conflicts:     843000 | #Constraints:      31108
1091.55/1095.61	c #Conflicts:     844000 | #Constraints:      32108
1091.55/1095.61	c #Conflicts:     845000 | #Constraints:      33109
1091.55/1095.61	c #Conflicts:     846000 | #Constraints:      34109
1091.55/1095.61	c #Conflicts:     847000 | #Constraints:      35109
1091.55/1095.61	c #Conflicts:     848000 | #Constraints:      36109
1091.55/1095.61	c #Conflicts:     849000 | #Constraints:      37109
1091.55/1095.61	c #Conflicts:     850000 | #Constraints:      38109
1091.55/1095.61	c #Conflicts:     851000 | #Constraints:      39109
1091.55/1095.61	c #Conflicts:     852000 | #Constraints:      40109
1091.55/1095.61	c #Conflicts:     853000 | #Constraints:      41109
1091.55/1095.61	c #Conflicts:     854000 | #Constraints:      42109
1091.55/1095.61	c #Conflicts:     855000 | #Constraints:      43109
1091.55/1095.61	c #Conflicts:     856000 | #Constraints:      44109
1091.55/1095.61	c INPROCESSING
1091.55/1095.61	c GARBAGE COLLECT
1091.55/1095.61	c rational objective 70
1189.88/1194.30	c #Conflicts:     857000 | #Constraints:      24768
1189.88/1194.30	c #Conflicts:     858000 | #Constraints:      25768
1189.88/1194.30	c #Conflicts:     859000 | #Constraints:      26768
1189.88/1194.30	c #Conflicts:     860000 | #Constraints:      27768
1189.88/1194.30	c #Conflicts:     861000 | #Constraints:      28768
1189.88/1194.30	c #Conflicts:     862000 | #Constraints:      29768
1189.88/1194.30	c #Conflicts:     863000 | #Constraints:      30768
1189.88/1194.30	c #Conflicts:     864000 | #Constraints:      31768
1189.88/1194.30	c #Conflicts:     865000 | #Constraints:      32768
1189.88/1194.30	c #Conflicts:     866000 | #Constraints:      33768
1189.88/1194.30	c #Conflicts:     867000 | #Constraints:      34768
1189.88/1194.30	c #Conflicts:     868000 | #Constraints:      35769
1189.88/1194.30	c #Conflicts:     869000 | #Constraints:      36769
1189.88/1194.30	c #Conflicts:     870000 | #Constraints:      37769
1189.88/1194.30	c #Conflicts:     871000 | #Constraints:      38769
1189.88/1194.30	c #Conflicts:     872000 | #Constraints:      39769
1189.88/1194.30	c #Conflicts:     873000 | #Constraints:      40769
1189.88/1194.30	c #Conflicts:     874000 | #Constraints:      41769
1189.88/1194.30	c #Conflicts:     875000 | #Constraints:      42769
1189.88/1194.30	c #Conflicts:     876000 | #Constraints:      43769
1189.88/1194.30	c #Conflicts:     877000 | #Constraints:      44769
1189.88/1194.30	c #Conflicts:     878000 | #Constraints:      45769
1189.88/1194.30	c #Conflicts:     879000 | #Constraints:      46769
1189.88/1194.30	c #Conflicts:     880000 | #Constraints:      47769
1189.88/1194.30	c #Conflicts:     881000 | #Constraints:      48769
1189.88/1194.30	c #Conflicts:     882000 | #Constraints:      49769
1189.88/1194.30	c #Conflicts:     883000 | #Constraints:      50769
1189.88/1194.30	c #Conflicts:     884000 | #Constraints:      51769
1189.88/1194.30	c #Conflicts:     885000 | #Constraints:      52769
1189.88/1194.30	c #Conflicts:     886000 | #Constraints:      53769
1189.88/1194.30	c #Conflicts:     887000 | #Constraints:      54769
1189.88/1194.30	c #Conflicts:     888000 | #Constraints:      55769
1189.88/1194.30	c #Conflicts:     889000 | #Constraints:      56769
1189.88/1194.30	c #Conflicts:     890000 | #Constraints:      57769
1189.88/1194.30	c #Conflicts:     891000 | #Constraints:      58769
1189.88/1194.30	c #Conflicts:     892000 | #Constraints:      59769
1189.88/1194.30	c #Conflicts:     893000 | #Constraints:      60770
1189.88/1194.30	c #Conflicts:     894000 | #Constraints:      61770
1189.88/1194.30	c #Conflicts:     895000 | #Constraints:      62771
1189.88/1194.30	c #Conflicts:     896000 | #Constraints:      63771
1189.88/1194.30	c #Conflicts:     897000 | #Constraints:      64771
1189.88/1194.30	c #Conflicts:     898000 | #Constraints:      65772
1189.88/1194.30	c #Conflicts:     899000 | #Constraints:      66772
1189.88/1194.30	c #Conflicts:     900000 | #Constraints:      67773
1189.88/1194.30	c #Conflicts:     901000 | #Constraints:      68773
1189.88/1194.30	c #Conflicts:     902000 | #Constraints:      69773
1189.88/1194.30	c #Conflicts:     903000 | #Constraints:      70774
1189.88/1194.30	c #Conflicts:     904000 | #Constraints:      71774
1189.88/1194.30	c #Conflicts:     905000 | #Constraints:      72774
1189.88/1194.30	c #Conflicts:     906000 | #Constraints:      73774
1189.88/1194.30	c #Conflicts:     907000 | #Constraints:      74774
1189.88/1194.30	c cpu time 1174.79 s
1189.88/1194.30	c deterministic time 145832588930 1.46e+11
1189.88/1194.30	c optimization time 9.6e-05 s
1189.88/1194.30	c total solve time 1174.77 s
1189.88/1194.30	c core-guided solve time 0 s
1189.88/1194.30	c propagation time 825.986 s
1189.88/1194.30	c conflict analysis time 281.483 s
1189.88/1194.30	c propagations 305573976
1189.88/1194.30	c resolve steps 30990422
1189.88/1194.30	c decisions 4960714
1189.88/1194.30	c conflicts 907948
1189.88/1194.30	c restarts 1978
1189.88/1194.30	c inprocessing phases 63
1189.88/1194.30	c input clauses 3922
1189.88/1194.30	c input cardinalities 70
1189.88/1194.30	c input general constraints 0
1189.88/1194.30	c input average constraint length 6.01
1189.88/1194.30	c input average constraint degree 1.93
1189.88/1194.30	c learned clauses 641844
1189.88/1194.30	c learned cardinalities 16764
1189.88/1194.30	c learned general constraints 249450
1189.88/1194.30	c learned average constraint length 573.20
1189.88/1194.30	c learned average constraint degree 20197931.02
1189.88/1194.30	c watched constraints 213269
1189.88/1194.30	c counting constraints 36181
1189.88/1194.30	c gcd simplifications 2348
1189.88/1194.30	c detected cardinalities 992
1189.88/1194.30	c weakened non-implied lits 106084013
1189.88/1194.30	c weakened non-implying lits 196891
1189.88/1194.30	c original variables 3850
1189.88/1194.30	c clausal propagations 118937166
1189.88/1194.30	c cardinality propagations 103087967
1189.88/1194.30	c watched propagations 24452437
1189.88/1194.30	c counting propagations 56835328
1189.88/1194.30	c watch lookups 13539862786
1189.88/1194.30	c watch backjump lookups 10450544448
1189.88/1194.30	c watch checks 99877676678
1189.88/1194.30	c propagation checks 19749701435
1189.88/1194.30	c constraint additions 1591729932
1189.88/1194.30	c trail pops 311441916
1189.88/1194.30	c formula constraints 3992
1189.88/1194.30	c learned constraints 907838
1189.88/1194.30	c bound constraints 0
1189.88/1194.30	c core-guided constraints 0
1189.88/1194.30	c encountered formula constraints 17933277
1189.88/1194.30	c encountered learned constraints 13964052
1189.88/1194.30	c encountered bound constraints 0
1189.88/1194.30	c encountered core-guided constraints 0
1189.88/1194.30	c LP total time 205.396 s
1189.88/1194.30	c LP solve time 202.35 s
1189.88/1194.30	c LP constraints added 6780
1189.88/1194.30	c LP constraints removed 2737
1189.88/1194.30	c LP pivots internal 908697
1189.88/1194.30	c LP pivots root 188347
1189.88/1194.30	c LP calls 332
1189.88/1194.30	c LP optimalities 218
1189.88/1194.30	c LP no pivot count 6
1189.88/1194.30	c LP infeasibilities 110
1189.88/1194.30	c LP valid Farkas constraints 110
1189.88/1194.30	c LP learned Farkas constraints 110
1189.88/1194.30	c LP basis resets 0
1189.88/1194.30	c LP cycling count 0
1189.88/1194.30	c LP singular count 0
1189.88/1194.30	c LP no primal count 0
1189.88/1194.30	c LP no farkas count 0
1189.88/1194.30	c LP other issue count 0
1189.88/1194.30	c LP Gomory cuts 0
1189.88/1194.30	c LP learned cuts 2788
1189.88/1194.30	c LP deleted cuts 2737
1189.88/1194.30	c LP encountered Gomory constraints 0
1189.88/1194.30	c LP encountered Farkas constraints 693
1189.88/1194.30	c LP encountered learned Farkas constraints 238
1189.88/1194.30	c CG auxiliary variables introduced 0
1189.88/1194.30	c CG solutions found 0
1189.88/1194.30	c CG cores constructed 0
1189.88/1194.30	c CG core cardinality constraints returned 0
1189.88/1194.30	c CG unit cores 0
1189.88/1194.30	c CG single cores 0
1189.88/1194.30	c CG blocks removed during cardinality reduction 0
1189.88/1194.30	c CG first core best 0
1189.88/1194.30	c CG decision core best 0
1189.88/1194.30	c CG core reduction tie 0
1189.88/1194.30	c CG core degree average 0.00
1189.88/1194.30	c CG core slack average 0.00
1189.88/1194.30	s SATISFIABLE
1189.88/1194.30	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850

OK	0

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100085 s]*
/proc/loadavg: 1.22 1.76 2.08 7/261 191660
/proc/meminfo: memFree=126733480/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=44904 memory=14052 CPUtime=0.09 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 2322 0 0 0 9 0 0 0 20 0 1 0 19584841 45981696 3513 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 11226 3513 1712 992 0 3084 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44904 KiB
Current children cumulated memory: 14052 KiB

[startup+0.206369 s]*
/proc/loadavg: 1.22 1.76 2.08 7/261 191660
/proc/meminfo: memFree=126729044/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=45156 memory=14316 CPUtime=0.19 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 2406 0 0 0 19 0 0 0 20 0 1 0 19584841 46239744 3579 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 11289 3579 1712 992 0 3147 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45156 KiB
Current children cumulated memory: 14316 KiB

[startup+0.305101 s]*
/proc/loadavg: 1.22 1.76 2.08 6/261 191662
/proc/meminfo: memFree=126727588/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=45376 memory=14580 CPUtime=0.29 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 2414 0 0 0 29 0 0 0 20 0 1 0 19584841 46465024 3645 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 11344 3645 1712 992 0 3202 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45376 KiB
Current children cumulated memory: 14580 KiB

[startup+0.700153 s]
/proc/loadavg: 1.22 1.76 2.08 6/261 191662
/proc/meminfo: memFree=126725564/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=45376 memory=15756 CPUtime=0.68 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 2681 0 0 0 65 3 0 0 20 0 1 0 19584841 46465024 3939 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 11344 3939 1744 992 0 3202 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45376 KiB
Current children cumulated memory: 15756 KiB

[startup+1.50015 s]
/proc/loadavg: 1.44 1.80 2.09 6/261 191662
/proc/meminfo: memFree=126708232/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=46612 memory=17340 CPUtime=1.48 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 3103 0 0 0 142 6 0 0 20 0 1 0 19584841 47730688 4335 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 11653 4335 1744 992 0 3511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 17340 KiB

[startup+3.10639 s]
/proc/loadavg: 1.44 1.80 2.09 6/261 191662
/proc/meminfo: memFree=126688616/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=47860 memory=21056 CPUtime=3.08 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 3435 0 0 0 296 12 0 0 20 0 1 0 19584841 49008640 5264 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 11965 5264 1838 992 0 3823 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47860 KiB
Current children cumulated memory: 21056 KiB

[startup+6.30015 s]
/proc/loadavg: 1.65 1.83 2.10 6/261 191662
/proc/meminfo: memFree=126663440/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=55048 memory=26432 CPUtime=6.26 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 5002 0 0 0 607 19 0 0 20 0 1 0 19584841 56369152 6608 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 13762 6608 1838 992 0 5620 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55048 KiB
Current children cumulated memory: 26432 KiB

[startup+12.7001 s]
/proc/loadavg: 1.84 1.87 2.11 6/259 191663
/proc/meminfo: memFree=126588196/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=59796 memory=32104 CPUtime=12.64 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 6997 0 0 0 1230 34 0 0 20 0 1 0 19584841 61231104 8026 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 14949 8026 1838 992 0 6807 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59796 KiB
Current children cumulated memory: 32104 KiB

[startup+25.5002 s]
/proc/loadavg: 2.17 1.94 2.13 7/259 191665
/proc/meminfo: memFree=126451396/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=69324 memory=36444 CPUtime=25.4 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 8151 0 0 0 2471 69 0 0 20 0 1 0 19584841 70987776 9111 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 17331 9111 1838 992 0 9189 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 69324 KiB
Current children cumulated memory: 36444 KiB

[startup+51.1059 s]
/proc/loadavg: 2.95 2.15 2.20 6/259 191715
/proc/meminfo: memFree=126242408/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=73992 memory=47424 CPUtime=50.92 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 9436 0 0 0 4955 137 0 0 20 0 1 0 19584841 75767808 11856 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 18498 11856 1838 992 0 10356 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 73992 KiB
Current children cumulated memory: 47424 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 2.49 2.31 6/259 191723
/proc/meminfo: memFree=125764484/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=89248 memory=54940 CPUtime=101.95 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 10762 0 0 0 9940 255 0 0 20 0 1 0 19584841 91389952 13735 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 22312 13735 1838 992 0 14170 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 89248 KiB
Current children cumulated memory: 54940 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.80 2.43 6/259 191735
/proc/meminfo: memFree=125095588/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=206216 memory=146928 CPUtime=161.7 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 16694 0 0 0 15815 355 0 0 20 0 1 0 19584841 211165184 36732 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 51554 36732 1838 992 0 43412 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 206216 KiB
Current children cumulated memory: 146928 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 3.07 2.55 6/259 191791
/proc/meminfo: memFree=125006568/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=213564 memory=160004 CPUtime=221.44 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 18471 0 0 0 21694 450 0 0 20 0 1 0 19584841 218689536 40001 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 53391 40001 1838 992 0 45249 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 213564 KiB
Current children cumulated memory: 160004 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 3.32 2.67 6/257 191801
/proc/meminfo: memFree=124423436/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=217840 memory=176452 CPUtime=281.19 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 19946 0 0 0 27569 550 0 0 20 0 1 0 19584841 223068160 44113 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 54460 44113 1838 992 0 46318 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 176452 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.46 2.76 6/260 191818
/proc/meminfo: memFree=123818028/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=308032 memory=219648 CPUtime=340.93 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 22645 0 0 0 33478 615 0 0 20 0 1 0 19584841 315424768 54912 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 77008 54912 1838 992 0 68866 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 308032 KiB
Current children cumulated memory: 219648 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.58 2.85 6/260 191828
/proc/meminfo: memFree=123262016/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=309152 memory=225084 CPUtime=400.69 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 23960 0 0 0 39365 704 0 0 20 0 1 0 19584841 316571648 56271 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 77288 56271 1838 992 0 69146 0
Current children cumulated CPU time: 400.69 s
Current children cumulated vsize: 309152 KiB
Current children cumulated memory: 225084 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.69 2.93 6/260 191839
/proc/meminfo: memFree=122784308/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=311336 memory=229776 CPUtime=460.44 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 24521 0 0 0 45270 774 0 0 20 0 1 0 19584841 318808064 57444 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 77834 57444 1838 992 0 69692 0

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

/proc/loadavg: 4.19 3.99 3.28 6/260 192443
/proc/meminfo: memFree=120422768/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=326228 memory=296636 CPUtime=759.41 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 30436 0 0 0 74871 1070 0 0 20 0 1 0 19584841 334057472 74159 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 81557 74159 1838 992 0 73415 0
Current children cumulated CPU time: 759.41 s
Current children cumulated vsize: 326228 KiB
Current children cumulated memory: 296636 KiB

[startup+822.3 s]
/proc/loadavg: 4.12 4.00 3.33 6/260 192454
/proc/meminfo: memFree=120006800/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=326640 memory=296952 CPUtime=819.21 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 31444 0 0 0 80768 1153 0 0 20 0 1 0 19584841 334479360 74238 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 81660 74238 1838 992 0 73518 0
Current children cumulated CPU time: 819.21 s
Current children cumulated vsize: 326640 KiB
Current children cumulated memory: 296952 KiB

[startup+882.3 s]
/proc/loadavg: 4.08 4.01 3.38 6/260 192465
/proc/meminfo: memFree=119642596/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=327296 memory=297776 CPUtime=879.01 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 31766 0 0 0 86696 1205 0 0 20 0 1 0 19584841 335151104 74444 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 81824 74444 1838 992 0 73682 0
Current children cumulated CPU time: 879.01 s
Current children cumulated vsize: 327296 KiB
Current children cumulated memory: 297776 KiB

[startup+942.3 s]
/proc/loadavg: 4.13 4.04 3.43 6/262 192536
/proc/meminfo: memFree=119278132/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=467700 memory=333112 CPUtime=938.79 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 34069 0 0 0 92640 1239 0 0 20 0 1 0 19584841 478924800 83278 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 116925 83278 1838 992 0 108783 0
Current children cumulated CPU time: 938.79 s
Current children cumulated vsize: 467700 KiB
Current children cumulated memory: 333112 KiB

[startup+1002.3 s]
/proc/loadavg: 4.10 4.05 3.48 6/262 192547
/proc/meminfo: memFree=118835580/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=470188 memory=351484 CPUtime=998.58 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 35333 0 0 0 98560 1298 0 0 20 0 1 0 19584841 481472512 87871 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117547 87871 1838 992 0 109405 0
Current children cumulated CPU time: 998.58 s
Current children cumulated vsize: 470188 KiB
Current children cumulated memory: 351484 KiB

[startup+1062.3 s]
/proc/loadavg: 4.14 4.07 3.52 6/262 192557
/proc/meminfo: memFree=118455412/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=470880 memory=352152 CPUtime=1058.37 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 35799 0 0 0 104464 1373 0 0 20 0 1 0 19584841 482181120 88038 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117720 88038 1838 992 0 109578 0
Current children cumulated CPU time: 1058.37 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 352152 KiB

[startup+1122.3 s]
/proc/loadavg: 4.11 4.07 3.56 6/262 192568
/proc/meminfo: memFree=118094144/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=470880 memory=352292 CPUtime=1118.15 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 35888 0 0 0 110360 1455 0 0 20 0 1 0 19584841 482181120 88073 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117720 88073 1838 992 0 109578 0
Current children cumulated CPU time: 1118.15 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 352292 KiB

[startup+1182.3 s]
/proc/loadavg: 4.08 4.07 3.60 6/262 192625
/proc/meminfo: memFree=119686416/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=470880 memory=352296 CPUtime=1177.93 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 35955 0 0 0 116289 1504 0 0 20 0 1 0 19584841 482181120 88074 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117720 88074 1838 992 0 109578 0
Current children cumulated CPU time: 1177.93 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 352296 KiB

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

# cumulated CPU time of all completed processes:  user=1174.79 s, system=15.1148 s

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

[startup+1184 s]*
/proc/loadavg: 4.08 4.07 3.60 6/262 192625
/proc/meminfo: memFree=119673920/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=470880 memory=352296 CPUtime=1179.62 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 35955 0 0 0 116458 1504 0 0 20 0 1 0 19584841 482181120 88074 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117720 88074 1838 992 0 109578 0
Current children cumulated CPU time: 1179.62 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 352296 KiB

[startup+1190.4 s]
/proc/loadavg: 4.08 4.07 3.60 6/262 192625
/proc/meminfo: memFree=119652768/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=471280 memory=352324 CPUtime=1186 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 36006 0 0 0 117092 1508 0 0 20 0 1 0 19584841 482590720 88081 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117820 88081 1838 992 0 109678 0
Current children cumulated CPU time: 1186 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 352324 KiB

[startup+1192 s]*
/proc/loadavg: 4.15 4.08 3.61 6/257 192626
/proc/meminfo: memFree=119640156/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=471280 memory=352324 CPUtime=1187.6 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 36007 0 0 0 117251 1509 0 0 20 0 1 0 19584841 482590720 88081 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117820 88081 1838 992 0 109678 0
Current children cumulated CPU time: 1187.6 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 352324 KiB

[startup+1193.6 s]
/proc/loadavg: 4.15 4.08 3.61 6/257 192626
/proc/meminfo: memFree=119632180/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=471280 memory=352324 CPUtime=1189.18 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 36016 0 0 0 117409 1509 0 0 20 0 1 0 19584841 482590720 88081 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117820 88081 1838 992 0 109678 0
Current children cumulated CPU time: 1189.18 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 352324 KiB

[startup+1194 s]*
/proc/loadavg: 4.15 4.08 3.61 6/257 192626
/proc/meminfo: memFree=119627040/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=471280 memory=352324 CPUtime=1189.59 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 36017 0 0 0 117449 1510 0 0 20 0 1 0 19584841 482590720 88081 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117820 88081 1838 992 0 109678 0
Current children cumulated CPU time: 1189.59 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 352324 KiB

[startup+1194.2 s]
/proc/loadavg: 4.15 4.08 3.61 6/257 192626
/proc/meminfo: memFree=119627040/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=471280 memory=352324 CPUtime=1189.78 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 36017 0 0 0 117468 1510 0 0 20 0 1 0 19584841 482590720 88081 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117820 88081 1838 992 0 109678 0
Current children cumulated CPU time: 1189.78 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 352324 KiB

[startup+1194.3 s]
/proc/loadavg: 4.15 4.08 3.61 6/257 192626
/proc/meminfo: memFree=119627040/131524600 swapFree=131056028/131071996
[pid=191653] ppid=191645 vsize=471280 memory=352588 CPUtime=1189.88 cores=0,2
/proc/191653/stat : 191653 (roundingsat) R 191645 191653 191587 0 -1 4194304 36030 0 0 0 117478 1510 0 0 20 0 1 0 19584841 482590720 88147 134679101440 4194304 8254037 140734353014032 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 23224320 140734353019740 140734353020002 140734353020002 140734353027017 0
/proc/191653/statm: 117820 88147 1838 992 0 109678 0
Current children cumulated CPU time: 1189.88 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 352588 KiB

Child status: 0

Real time (s): 1194.35
CPU time (s): 1189.9
CPU user time (s): 1174.79
CPU system time (s): 15.1148
CPU usage (%): 99.6275
Max. virtual memory (cumulated for all children) (KiB): 472084
Max. memory (cumulated for all children) (KiB): 352588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1174.79
system time used= 15.1148
maximum resident set size= 353160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3927904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 607
involuntary context switches= 8256


# summary of solver processes directly reported to runsolver:
#   pid: 191653
#   total CPU time (s): 1189.9
#   total CPU user time (s): 1174.79
#   total CPU system time (s): 15.1148

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16576 second user time and 5.88489 second system time

The end

Begin job on nodeC016 at 2024-07-24 16:16:03
IDJOB=4457184
IDBENCH=158370
IDSOLVER=3085
FILE ID=nodeC016/4457184-1721830563
RUNJOBID= nodeC016-1721830563-191597
SLURM_JOB_ID= 7891513
Free space on /tmp= 890084 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457184-1721830563/watcher-4457184-1721830563 -o /tmp/evaluation-result-4457184-1721830563/solver-4457184-1721830563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191597 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457184-1721830563 --lp-cut-gomory=0 HOME/instance-4457184-1721830563.opb

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

MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32
RANDOM SEED=13386568

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126773624 kB
MemAvailable:   129581628 kB
Buffers:          247000 kB
Cached:          3243532 kB
SwapCached:          256 kB
Active:          2242676 kB
Inactive:        1613884 kB
Active(anon):       4376 kB
Inactive(anon):   414048 kB
Active(file):    2238300 kB
Inactive(file):  1199836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:             22692 kB
Writeback:             0 kB
AnonPages:        366144 kB
Mapped:           102692 kB
Shmem:             52400 kB
KReclaimable:     419028 kB
Slab:             539248 kB
SReclaimable:     419028 kB
SUnreclaim:       120220 kB
KernelStack:        3928 kB
PageTables:         9824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     861364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC016 at 2024-07-24 16:35:58