0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.55	c #variables 4676 #constraints 509
2.37/2.94	c bounds - >= 0 @ 0.032959
2.37/2.94	c bounds 156 >= 0 @ 0.241847
2.37/2.94	c bounds 156 >= 1 @ 0.243463
2.37/2.94	c bounds 156 >= 2 @ 0.245401
2.37/2.94	c bounds 156 >= 3 @ 0.246443
2.37/2.94	c bounds 156 >= 4 @ 0.247619
2.37/2.94	c bounds 156 >= 5 @ 0.248463
2.37/2.94	c bounds 156 >= 6 @ 0.24963
2.37/2.94	c bounds 156 >= 7 @ 0.252509
2.37/2.94	c bounds 156 >= 8 @ 0.25338
2.37/2.94	c bounds 156 >= 9 @ 0.255359
2.37/2.94	c bounds 156 >= 10 @ 0.256351
2.37/2.94	c bounds 155 >= 10 @ 0.279866
2.37/2.94	c bounds 155 >= 11 @ 0.28121
2.37/2.94	c bounds 155 >= 12 @ 0.283189
2.37/2.94	c bounds 155 >= 13 @ 0.285179
2.37/2.94	c bounds 155 >= 14 @ 0.288162
2.37/2.94	c bounds 155 >= 15 @ 0.289154
2.37/2.94	c bounds 155 >= 16 @ 0.290142
2.37/2.94	c bounds 155 >= 17 @ 0.290772
2.37/2.94	c bounds 155 >= 18 @ 0.291127
2.37/2.94	c bounds 155 >= 19 @ 0.292111
2.37/2.94	c bounds 155 >= 20 @ 0.295089
2.37/2.94	c bounds 155 >= 21 @ 0.297191
2.37/2.94	c bounds 155 >= 22 @ 0.299063
2.37/2.94	c bounds 155 >= 23 @ 0.30105
2.37/2.94	c bounds 155 >= 24 @ 0.30105
2.37/2.94	c bounds 155 >= 25 @ 0.30105
2.37/2.94	c bounds 154 >= 25 @ 0.317366
2.37/2.94	c bounds 154 >= 26 @ 0.320025
2.37/2.94	c bounds 154 >= 27 @ 0.322924
2.37/2.94	c bounds 154 >= 28 @ 0.324905
2.37/2.94	c bounds 154 >= 29 @ 0.328082
2.37/2.94	c bounds 154 >= 30 @ 0.331171
2.37/2.94	c bounds 154 >= 31 @ 0.334869
2.37/2.94	c bounds 154 >= 32 @ 0.337857
2.37/2.94	c bounds 154 >= 33 @ 0.338844
2.37/2.94	c bounds 154 >= 34 @ 0.344137
2.37/2.94	c bounds 154 >= 35 @ 0.348767
2.37/2.94	c bounds 154 >= 36 @ 0.353764
2.37/2.94	c bounds 154 >= 37 @ 0.357777
2.37/2.94	c bounds 154 >= 38 @ 0.362094
2.37/2.94	c bounds 153 >= 38 @ 0.385094
2.37/2.94	c bounds 153 >= 39 @ 0.389334
2.37/2.94	c bounds 153 >= 40 @ 0.394578
2.37/2.94	c bounds 153 >= 41 @ 0.399266
2.37/2.94	c bounds 153 >= 42 @ 0.40406
2.37/2.94	c bounds 153 >= 43 @ 0.405015
2.37/2.94	c bounds 153 >= 44 @ 0.40704
2.37/2.94	c bounds 153 >= 45 @ 0.410379
2.37/2.94	c bounds 153 >= 46 @ 0.418196
2.37/2.94	c bounds 153 >= 47 @ 0.420879
2.37/2.94	c bounds 153 >= 48 @ 0.423986
2.37/2.94	c bounds 152 >= 48 @ 0.440364
2.37/2.94	c bounds 152 >= 49 @ 0.446772
2.37/2.94	c bounds 152 >= 50 @ 0.451107
2.37/2.94	c bounds 152 >= 51 @ 0.620856
2.37/2.94	c bounds 152 >= 52 @ 0.640485
2.37/2.94	c bounds 151 >= 52 @ 0.648663
2.37/2.94	c bounds 150 >= 52 @ 0.655754
2.37/2.94	c bounds 149 >= 52 @ 0.666932
2.37/2.94	c bounds 148 >= 52 @ 0.676894
2.37/2.94	c bounds 148 >= 53 @ 0.759226
2.37/2.94	c bounds 147 >= 53 @ 0.768128
2.37/2.94	c bounds 146 >= 53 @ 0.788256
2.37/2.94	c bounds 145 >= 53 @ 0.803754
2.37/2.94	c bounds 144 >= 53 @ 0.829714
2.37/2.94	c bounds 143 >= 53 @ 0.841039
2.37/2.94	c bounds 142 >= 53 @ 0.853529
2.37/2.94	c bounds 141 >= 53 @ 0.859914
2.37/2.94	c bounds 140 >= 53 @ 0.871131
2.37/2.94	c bounds 139 >= 53 @ 0.880642
2.37/2.94	c bounds 138 >= 53 @ 0.893963
2.37/2.94	c bounds 137 >= 53 @ 0.901128
2.37/2.94	c bounds 136 >= 53 @ 0.912494
2.37/2.94	c bounds 135 >= 53 @ 0.92655
2.37/2.94	c bounds 134 >= 53 @ 0.931416
2.37/2.94	c bounds 133 >= 53 @ 0.938705
2.37/2.94	c bounds 133 >= 54 @ 1.03176
2.37/2.94	c bounds 132 >= 54 @ 1.03862
2.37/2.94	c bounds 131 >= 54 @ 1.05141
2.37/2.94	c bounds 130 >= 54 @ 1.08207
2.37/2.94	c bounds 129 >= 54 @ 1.1449
2.37/2.94	c #Conflicts:       1000 | #Constraints:       1773
2.37/2.94	c bounds 128 >= 54 @ 1.17567
2.37/2.94	c bounds 127 >= 54 @ 1.19766
2.37/2.94	c bounds 126 >= 54 @ 1.22684
2.37/2.94	c bounds 125 >= 54 @ 1.24664
2.37/2.94	c bounds 124 >= 54 @ 1.26916
2.37/2.94	c bounds 123 >= 54 @ 1.28424
2.37/2.94	c bounds 122 >= 54 @ 1.29724
2.37/2.94	c bounds 121 >= 54 @ 1.31302
2.37/2.94	c bounds 120 >= 54 @ 1.33231
2.37/2.94	c bounds 119 >= 54 @ 1.3886
2.37/2.94	c #Conflicts:       2000 | #Constraints:       2783
2.37/2.94	c INPROCESSING
2.37/2.94	c GARBAGE COLLECT
2.37/2.94	c rational objective 60
4.47/5.05	c bounds 118 >= 54 @ 1.71927
4.47/5.05	c bounds 117 >= 54 @ 1.74887
4.47/5.05	c bounds 116 >= 54 @ 1.76813
4.47/5.05	c bounds 115 >= 54 @ 1.79014
4.47/5.05	c bounds 114 >= 54 @ 1.80356
4.47/5.05	c bounds 113 >= 54 @ 1.81681
4.47/5.05	c bounds 112 >= 54 @ 1.8326
4.47/5.05	c bounds 111 >= 54 @ 1.84396
4.47/5.05	c bounds 110 >= 54 @ 1.89032
4.47/5.05	c bounds 109 >= 54 @ 1.92995
4.47/5.05	c bounds 108 >= 54 @ 1.94864
4.47/5.05	c bounds 107 >= 54 @ 2.07192
4.47/5.05	c bounds 106 >= 54 @ 2.2092
4.47/5.05	c bounds 105 >= 54 @ 2.27372
4.47/5.05	c bounds 104 >= 54 @ 2.34325
4.47/5.05	c bounds 103 >= 54 @ 2.39722
4.47/5.05	c bounds 102 >= 54 @ 2.45719
4.47/5.05	c bounds 101 >= 54 @ 2.52641
4.47/5.05	c bounds 100 >= 54 @ 2.59744
4.47/5.05	c bounds 99 >= 54 @ 2.73031
4.47/5.05	c #Conflicts:       3000 | #Constraints:       2821
4.47/5.05	c bounds 98 >= 54 @ 2.82354
4.47/5.05	c bounds 98 >= 55 @ 2.92683
4.47/5.05	c bounds 97 >= 55 @ 3.1267
4.47/5.05	c bounds 96 >= 55 @ 3.1561
4.47/5.05	c #Conflicts:       4000 | #Constraints:       3845
4.47/5.05	c INPROCESSING
4.47/5.05	c GARBAGE COLLECT
4.47/5.05	c rational objective 60
6.35/6.97	c bounds 95 >= 55 @ 3.61787
6.35/6.97	c bounds 94 >= 55 @ 3.65462
6.35/6.97	c bounds 93 >= 55 @ 3.67026
6.35/6.97	c bounds 92 >= 55 @ 3.6899
6.35/6.97	c bounds 91 >= 55 @ 3.70678
6.35/6.97	c bounds 90 >= 55 @ 3.72288
6.35/6.97	c bounds 89 >= 55 @ 3.73726
6.35/6.97	c bounds 88 >= 55 @ 3.77351
6.35/6.97	c bounds 87 >= 55 @ 3.79784
6.35/6.97	c bounds 86 >= 55 @ 3.81962
6.35/6.97	c bounds 85 >= 55 @ 3.83551
6.35/6.97	c bounds 84 >= 55 @ 3.86281
6.35/6.97	c bounds 83 >= 55 @ 3.88151
6.35/6.97	c bounds 82 >= 55 @ 3.908
6.35/6.97	c bounds 81 >= 55 @ 3.97716
6.35/6.97	c bounds 80 >= 55 @ 4.07849
6.35/6.97	c bounds 79 >= 55 @ 4.1024
6.35/6.97	c bounds 78 >= 55 @ 4.15958
6.35/6.97	c bounds 77 >= 55 @ 4.18637
6.35/6.97	c #Conflicts:       5000 | #Constraints:       3238
6.35/6.97	c bounds 76 >= 55 @ 4.23411
6.35/6.97	c bounds 75 >= 55 @ 4.27534
6.35/6.97	c bounds 74 >= 55 @ 4.32054
6.35/6.97	c bounds 73 >= 55 @ 4.77303
6.35/6.97	c #Conflicts:       6000 | #Constraints:       4244
6.35/6.97	c INPROCESSING
6.35/6.97	c GARBAGE COLLECT
6.35/6.97	c rational objective 60
10.56/11.13	c bounds 72 >= 55 @ 5.43455
10.56/11.13	c #Conflicts:       7000 | #Constraints:       3230
10.56/11.13	c bounds 71 >= 55 @ 5.96112
10.56/11.13	c bounds 70 >= 55 @ 6.19684
10.56/11.13	c #Conflicts:       8000 | #Constraints:       4279
10.56/11.13	c #Conflicts:       9000 | #Constraints:       5310
10.56/11.13	c INPROCESSING
10.56/11.13	c GARBAGE COLLECT
10.56/11.13	c rational objective 60
12.56/13.19	c #Conflicts:      10000 | #Constraints:       3965
12.56/13.19	c bounds 70 >= 56 @ 9.78613
12.56/13.19	c #Conflicts:      11000 | #Constraints:       4988
12.56/13.19	c #Conflicts:      12000 | #Constraints:       5988
12.56/13.19	c INPROCESSING
12.56/13.19	c GARBAGE COLLECT
12.56/13.19	c rational objective 60
17.23/17.81	c #Conflicts:      13000 | #Constraints:       4443
17.23/17.81	c bounds 69 >= 56 @ 14.4097
17.23/17.81	c #Conflicts:      14000 | #Constraints:       5455
17.23/17.81	c #Conflicts:      15000 | #Constraints:       6455
17.23/17.81	c INPROCESSING
17.23/17.81	c GARBAGE COLLECT
17.23/17.81	c rational objective 60
23.02/23.61	c bounds 68 >= 56 @ 15.7032
23.02/23.61	c #Conflicts:      16000 | #Constraints:       4677
23.02/23.61	c #Conflicts:      17000 | #Constraints:       5725
23.02/23.61	c #Conflicts:      18000 | #Constraints:       6766
23.02/23.61	c INPROCESSING
23.02/23.61	c GARBAGE COLLECT
23.02/23.61	c rational objective 60
26.52/27.13	c #Conflicts:      19000 | #Constraints:       4718
26.52/27.13	c bounds 68 >= 57 @ 21.8829
26.52/27.13	c #Conflicts:      20000 | #Constraints:       5753
26.52/27.13	c #Conflicts:      21000 | #Constraints:       6753
26.52/27.13	c INPROCESSING
26.52/27.13	c GARBAGE COLLECT
26.52/27.13	c rational objective 60
34.09/34.71	c #Conflicts:      22000 | #Constraints:       4543
34.09/34.71	c #Conflicts:      23000 | #Constraints:       5571
34.09/34.71	c #Conflicts:      24000 | #Constraints:       6591
34.09/34.71	c #Conflicts:      25000 | #Constraints:       7611
34.09/34.71	c INPROCESSING
34.09/34.71	c GARBAGE COLLECT
34.09/34.71	c rational objective 60
44.16/44.87	c #Conflicts:      26000 | #Constraints:       5180
44.16/44.87	c #Conflicts:      27000 | #Constraints:       6202
44.16/44.87	c #Conflicts:      28000 | #Constraints:       7217
44.16/44.87	c #Conflicts:      29000 | #Constraints:       8231
44.16/44.87	c INPROCESSING
44.16/44.87	c GARBAGE COLLECT
44.16/44.87	c rational objective 60
49.25/49.91	c #Conflicts:      30000 | #Constraints:       5555
49.25/49.91	c #Conflicts:      31000 | #Constraints:       6555
49.25/49.91	c #Conflicts:      32000 | #Constraints:       7555
49.25/49.91	c #Conflicts:      33000 | #Constraints:       8555
49.25/49.91	c INPROCESSING
49.25/49.91	c GARBAGE COLLECT
49.25/49.91	c rational objective 60
58.12/58.85	c #Conflicts:      34000 | #Constraints:       5750
58.12/58.85	c #Conflicts:      35000 | #Constraints:       6780
58.12/58.85	c #Conflicts:      36000 | #Constraints:       7792
58.12/58.85	c bounds 67 >= 57 @ 53.883
58.12/58.85	c #Conflicts:      37000 | #Constraints:       8810
58.12/58.85	c INPROCESSING
58.12/58.85	c GARBAGE COLLECT
58.12/58.85	c rational objective 60
66.90/67.61	c #Conflicts:      38000 | #Constraints:       5775
66.90/67.61	c #Conflicts:      39000 | #Constraints:       6806
66.90/67.61	c #Conflicts:      40000 | #Constraints:       7835
66.90/67.61	c #Conflicts:      41000 | #Constraints:       8860
66.90/67.61	c INPROCESSING
66.90/67.61	c GARBAGE COLLECT
66.90/67.61	c rational objective 60
73.98/74.78	c #Conflicts:      42000 | #Constraints:       5595
73.98/74.78	c #Conflicts:      43000 | #Constraints:       6596
73.98/74.78	c #Conflicts:      44000 | #Constraints:       7596
73.98/74.78	c #Conflicts:      45000 | #Constraints:       8596
73.98/74.78	c #Conflicts:      46000 | #Constraints:       9596
73.98/74.78	c INPROCESSING
73.98/74.78	c GARBAGE COLLECT
73.98/74.78	c rational objective 60
86.05/86.83	c #Conflicts:      47000 | #Constraints:       6185
86.05/86.83	c #Conflicts:      48000 | #Constraints:       7205
86.05/86.83	c #Conflicts:      49000 | #Constraints:       8231
86.05/86.83	c #Conflicts:      50000 | #Constraints:       9262
86.05/86.83	c #Conflicts:      51000 | #Constraints:      10278
86.05/86.83	c INPROCESSING
86.05/86.83	c GARBAGE COLLECT
86.05/86.83	c rational objective 60
99.12/99.91	c bounds 66 >= 57 @ 83.4297
99.12/99.91	c #Conflicts:      52000 | #Constraints:       6618
99.12/99.91	c #Conflicts:      53000 | #Constraints:       7629
99.12/99.91	c #Conflicts:      54000 | #Constraints:       8636
99.12/99.91	c #Conflicts:      55000 | #Constraints:       9649
99.12/99.91	c #Conflicts:      56000 | #Constraints:      10653
99.12/99.91	c INPROCESSING
99.12/99.91	c GARBAGE COLLECT
99.12/99.91	c rational objective 60
108.48/109.30	c #Conflicts:      57000 | #Constraints:       6775
108.48/109.30	c #Conflicts:      58000 | #Constraints:       7775
108.48/109.30	c #Conflicts:      59000 | #Constraints:       8775
108.48/109.30	c #Conflicts:      60000 | #Constraints:       9775
108.48/109.30	c #Conflicts:      61000 | #Constraints:      10775
108.48/109.30	c INPROCESSING
108.48/109.30	c GARBAGE COLLECT
108.48/109.30	c rational objective 60
122.15/123.01	c #Conflicts:      62000 | #Constraints:       6759
122.15/123.01	c #Conflicts:      63000 | #Constraints:       7770
122.15/123.01	c bounds 65 >= 57 @ 110.109
122.15/123.01	c #Conflicts:      64000 | #Constraints:       8783
122.15/123.01	c #Conflicts:      65000 | #Constraints:       9807
122.15/123.01	c #Conflicts:      66000 | #Constraints:      10816
122.15/123.01	c INPROCESSING
122.15/123.01	c GARBAGE COLLECT
122.15/123.01	c rational objective 60
136.00/136.97	c #Conflicts:      67000 | #Constraints:       6571
136.00/136.97	c #Conflicts:      68000 | #Constraints:       7574
136.00/136.97	c #Conflicts:      69000 | #Constraints:       8581
136.00/136.97	c #Conflicts:      70000 | #Constraints:       9588
136.00/136.97	c #Conflicts:      71000 | #Constraints:      10602
136.00/136.97	c #Conflicts:      72000 | #Constraints:      11610
136.00/136.97	c INPROCESSING
136.00/136.97	c GARBAGE COLLECT
136.00/136.97	c rational objective 60
148.85/149.85	c #Conflicts:      73000 | #Constraints:       7161
148.85/149.85	c #Conflicts:      74000 | #Constraints:       8161
148.85/149.85	c #Conflicts:      75000 | #Constraints:       9161
148.85/149.85	c #Conflicts:      76000 | #Constraints:      10162
148.85/149.85	c #Conflicts:      77000 | #Constraints:      11162
148.85/149.85	c #Conflicts:      78000 | #Constraints:      12162
148.85/149.85	c INPROCESSING
148.85/149.85	c GARBAGE COLLECT
148.85/149.85	c rational objective 60
165.71/166.72	c #Conflicts:      79000 | #Constraints:       7555
165.71/166.72	c #Conflicts:      80000 | #Constraints:       8573
165.71/166.72	c #Conflicts:      81000 | #Constraints:       9587
165.71/166.72	c #Conflicts:      82000 | #Constraints:      10601
165.71/166.72	c #Conflicts:      83000 | #Constraints:      11619
165.71/166.72	c #Conflicts:      84000 | #Constraints:      12648
165.71/166.72	c INPROCESSING
165.71/166.72	c GARBAGE COLLECT
165.71/166.72	c rational objective 60
183.65/184.70	c #Conflicts:      85000 | #Constraints:       7810
183.65/184.70	c #Conflicts:      86000 | #Constraints:       8829
183.65/184.70	c #Conflicts:      87000 | #Constraints:       9866
183.65/184.70	c #Conflicts:      88000 | #Constraints:      10887
183.65/184.70	c #Conflicts:      89000 | #Constraints:      11913
183.65/184.70	c #Conflicts:      90000 | #Constraints:      12940
183.65/184.70	c INPROCESSING
183.65/184.70	c GARBAGE COLLECT
183.65/184.70	c rational objective 60
197.42/198.57	c #Conflicts:      91000 | #Constraints:       7843
197.42/198.57	c #Conflicts:      92000 | #Constraints:       8843
197.42/198.57	c #Conflicts:      93000 | #Constraints:       9843
197.42/198.57	c #Conflicts:      94000 | #Constraints:      10843
197.42/198.57	c #Conflicts:      95000 | #Constraints:      11843
197.42/198.57	c #Conflicts:      96000 | #Constraints:      12843
197.42/198.57	c INPROCESSING
197.42/198.57	c GARBAGE COLLECT
197.42/198.57	c rational objective 60
217.56/218.72	c #Conflicts:      97000 | #Constraints:       7592
217.56/218.72	c #Conflicts:      98000 | #Constraints:       8605
217.56/218.72	c #Conflicts:      99000 | #Constraints:       9616
217.56/218.72	c #Conflicts:     100000 | #Constraints:      10623
217.56/218.72	c #Conflicts:     101000 | #Constraints:      11633
217.56/218.72	c #Conflicts:     102000 | #Constraints:      12644
217.56/218.72	c #Conflicts:     103000 | #Constraints:      13664
217.56/218.72	c INPROCESSING
217.56/218.72	c GARBAGE COLLECT
217.56/218.72	c rational objective 60
237.20/238.44	c #Conflicts:     104000 | #Constraints:       8204
237.20/238.44	c #Conflicts:     105000 | #Constraints:       9231
237.20/238.44	c #Conflicts:     106000 | #Constraints:      10254
237.20/238.44	c #Conflicts:     107000 | #Constraints:      11261
237.20/238.44	c #Conflicts:     108000 | #Constraints:      12275
237.20/238.44	c bounds 64 >= 57 @ 224.828
237.20/238.44	c #Conflicts:     109000 | #Constraints:      13296
237.20/238.44	c #Conflicts:     110000 | #Constraints:      14321
237.20/238.44	c INPROCESSING
237.20/238.44	c GARBAGE COLLECT
237.20/238.44	c rational objective 60
260.63/261.93	c #Conflicts:     111000 | #Constraints:       8624
260.63/261.93	c #Conflicts:     112000 | #Constraints:       9636
260.63/261.93	c #Conflicts:     113000 | #Constraints:      10644
260.63/261.93	c #Conflicts:     114000 | #Constraints:      11652
260.63/261.93	c #Conflicts:     115000 | #Constraints:      12663
260.63/261.93	c #Conflicts:     116000 | #Constraints:      13669
260.63/261.93	c #Conflicts:     117000 | #Constraints:      14676
260.63/261.93	c INPROCESSING
260.63/261.93	c GARBAGE COLLECT
260.63/261.93	c rational objective 60
278.18/279.53	c #Conflicts:     118000 | #Constraints:       8800
278.18/279.53	c #Conflicts:     119000 | #Constraints:       9800
278.18/279.53	c #Conflicts:     120000 | #Constraints:      10801
278.18/279.53	c #Conflicts:     121000 | #Constraints:      11802
278.18/279.53	c #Conflicts:     122000 | #Constraints:      12803
278.18/279.53	c bounds 64 >= 58 @ 263.612
278.18/279.53	c #Conflicts:     123000 | #Constraints:      13863
278.18/279.53	c #Conflicts:     124000 | #Constraints:      14868
278.18/279.53	c INPROCESSING
278.18/279.53	c GARBAGE COLLECT
278.18/279.53	c rational objective 60
303.31/304.71	c #Conflicts:     125000 | #Constraints:       8840
303.31/304.71	c #Conflicts:     126000 | #Constraints:       9861
303.31/304.71	c #Conflicts:     127000 | #Constraints:      10869
303.31/304.71	c #Conflicts:     128000 | #Constraints:      11875
303.31/304.71	c #Conflicts:     129000 | #Constraints:      12882
303.31/304.71	c #Conflicts:     130000 | #Constraints:      13902
303.31/304.71	c #Conflicts:     131000 | #Constraints:      14907
303.31/304.71	c INPROCESSING
303.31/304.71	c GARBAGE COLLECT
303.31/304.71	c rational objective 60
331.13/332.69	c #Conflicts:     132000 | #Constraints:       8646
331.13/332.69	c #Conflicts:     133000 | #Constraints:       9648
331.13/332.69	c #Conflicts:     134000 | #Constraints:      10648
331.13/332.69	c #Conflicts:     135000 | #Constraints:      11648
331.13/332.69	c #Conflicts:     136000 | #Constraints:      12649
331.13/332.69	c #Conflicts:     137000 | #Constraints:      13650
331.13/332.69	c #Conflicts:     138000 | #Constraints:      14650
331.13/332.69	c #Conflicts:     139000 | #Constraints:      15650
331.13/332.69	c INPROCESSING
331.13/332.69	c GARBAGE COLLECT
331.13/332.69	c rational objective 60
358.36/359.98	c #Conflicts:     140000 | #Constraints:       9229
358.36/359.98	c #Conflicts:     141000 | #Constraints:      10239
358.36/359.98	c #Conflicts:     142000 | #Constraints:      11250
358.36/359.98	c #Conflicts:     143000 | #Constraints:      12271
358.36/359.98	c #Conflicts:     144000 | #Constraints:      13284
358.36/359.98	c #Conflicts:     145000 | #Constraints:      14293
358.36/359.98	c #Conflicts:     146000 | #Constraints:      15302
358.36/359.98	c #Conflicts:     147000 | #Constraints:      16311
358.36/359.98	c INPROCESSING
358.36/359.98	c GARBAGE COLLECT
358.36/359.98	c rational objective 60
385.80/387.47	c #Conflicts:     148000 | #Constraints:       9667
385.80/387.47	c #Conflicts:     149000 | #Constraints:      10673
385.80/387.47	c #Conflicts:     150000 | #Constraints:      11678
385.80/387.47	c #Conflicts:     151000 | #Constraints:      12696
385.80/387.47	c #Conflicts:     152000 | #Constraints:      13707
385.80/387.47	c #Conflicts:     153000 | #Constraints:      14719
385.80/387.47	c #Conflicts:     154000 | #Constraints:      15723
385.80/387.47	c #Conflicts:     155000 | #Constraints:      16730
385.80/387.47	c INPROCESSING
385.80/387.47	c GARBAGE COLLECT
385.80/387.47	c rational objective 60
416.52/418.24	c #Conflicts:     156000 | #Constraints:       9867
416.52/418.24	c #Conflicts:     157000 | #Constraints:      10873
416.52/418.24	c #Conflicts:     158000 | #Constraints:      11879
416.52/418.24	c #Conflicts:     159000 | #Constraints:      12883
416.52/418.24	c #Conflicts:     160000 | #Constraints:      13890
416.52/418.24	c #Conflicts:     161000 | #Constraints:      14893
416.52/418.24	c #Conflicts:     162000 | #Constraints:      15898
416.52/418.24	c bounds 63 >= 58 @ 397.676
416.52/418.24	c #Conflicts:     163000 | #Constraints:      16908
416.52/418.24	c INPROCESSING
416.52/418.24	c GARBAGE COLLECT
416.52/418.24	c rational objective 60
458.22/460.10	c #Conflicts:     164000 | #Constraints:       9846
458.22/460.10	c #Conflicts:     165000 | #Constraints:      10848
458.22/460.10	c #Conflicts:     166000 | #Constraints:      11851
458.22/460.10	c #Conflicts:     167000 | #Constraints:      12851
458.22/460.10	c #Conflicts:     168000 | #Constraints:      13852
458.22/460.10	c #Conflicts:     169000 | #Constraints:      14853
458.22/460.10	c #Conflicts:     170000 | #Constraints:      15854
458.22/460.10	c #Conflicts:     171000 | #Constraints:      16855
458.22/460.10	c INPROCESSING
458.22/460.10	c GARBAGE COLLECT
458.22/460.10	c rational objective 60
924.55/927.54	c #Conflicts:     172000 | #Constraints:       9626
924.55/927.54	c #Conflicts:     173000 | #Constraints:      10646
924.55/927.54	c #Conflicts:     174000 | #Constraints:      11665
924.55/927.54	c #Conflicts:     175000 | #Constraints:      12672
924.55/927.54	c #Conflicts:     176000 | #Constraints:      13682
924.55/927.54	c #Conflicts:     177000 | #Constraints:      14693
924.55/927.54	c #Conflicts:     178000 | #Constraints:      15698
924.55/927.54	c #Conflicts:     179000 | #Constraints:      16703
924.55/927.54	c #Conflicts:     180000 | #Constraints:      17707
924.55/927.54	c #Conflicts:     181000 | #Constraints:      18714
924.55/927.54	c #Conflicts:     182000 | #Constraints:      19718
924.55/927.54	c #Conflicts:     183000 | #Constraints:      20726
924.55/927.54	c #Conflicts:     184000 | #Constraints:      21730
924.55/927.54	c #Conflicts:     185000 | #Constraints:      22733
924.55/927.54	c #Conflicts:     186000 | #Constraints:      23734
924.55/927.54	c #Conflicts:     187000 | #Constraints:      24742
924.55/927.54	c #Conflicts:     188000 | #Constraints:      25752
924.55/927.54	c #Conflicts:     189000 | #Constraints:      26761
924.55/927.54	c #Conflicts:     190000 | #Constraints:      27768
924.55/927.54	c #Conflicts:     191000 | #Constraints:      28773
924.55/927.54	c #Conflicts:     192000 | #Constraints:      29785
924.55/927.54	c #Conflicts:     193000 | #Constraints:      30788
924.55/927.54	c #Conflicts:     194000 | #Constraints:      31793
924.55/927.54	c #Conflicts:     195000 | #Constraints:      32796
924.55/927.54	c #Conflicts:     196000 | #Constraints:      33799
924.55/927.54	c #Conflicts:     197000 | #Constraints:      34804
924.55/927.54	c #Conflicts:     198000 | #Constraints:      35810
924.55/927.54	c #Conflicts:     199000 | #Constraints:      36815
924.55/927.54	c #Conflicts:     200000 | #Constraints:      37822
924.55/927.54	c #Conflicts:     201000 | #Constraints:      38827
924.55/927.54	c #Conflicts:     202000 | #Constraints:      39833
924.55/927.54	c #Conflicts:     203000 | #Constraints:      40836
924.55/927.54	c #Conflicts:     204000 | #Constraints:      41841
924.55/927.54	c #Conflicts:     205000 | #Constraints:      42848
924.55/927.54	c #Conflicts:     206000 | #Constraints:      43854
924.55/927.54	c #Conflicts:     207000 | #Constraints:      44858
924.55/927.54	c #Conflicts:     208000 | #Constraints:      45867
924.55/927.54	c #Conflicts:     209000 | #Constraints:      46868
924.55/927.54	c #Conflicts:     210000 | #Constraints:      47871
924.55/927.54	c INPROCESSING
924.55/927.54	c GARBAGE COLLECT
924.55/927.54	c rational objective 60
1028.78/1032.05	c #Conflicts:     211000 | #Constraints:      25036
1028.78/1032.05	c #Conflicts:     212000 | #Constraints:      26038
1028.78/1032.05	c #Conflicts:     213000 | #Constraints:      27040
1028.78/1032.05	c #Conflicts:     214000 | #Constraints:      28040
1028.78/1032.05	c #Conflicts:     215000 | #Constraints:      29042
1028.78/1032.05	c #Conflicts:     216000 | #Constraints:      30043
1028.78/1032.05	c #Conflicts:     217000 | #Constraints:      31043
1028.78/1032.05	c #Conflicts:     218000 | #Constraints:      32045
1028.78/1032.05	c #Conflicts:     219000 | #Constraints:      33048
1028.78/1032.05	c #Conflicts:     220000 | #Constraints:      34048
1028.78/1032.05	c INPROCESSING
1028.78/1032.05	c GARBAGE COLLECT
1028.78/1032.05	c rational objective 60
1106.77/1110.29	c #Conflicts:     221000 | #Constraints:      18270
1106.77/1110.29	c #Conflicts:     222000 | #Constraints:      19270
1106.77/1110.29	c #Conflicts:     223000 | #Constraints:      20272
1106.77/1110.29	c #Conflicts:     224000 | #Constraints:      21273
1106.77/1110.29	c #Conflicts:     225000 | #Constraints:      22274
1106.77/1110.29	c #Conflicts:     226000 | #Constraints:      23275
1106.77/1110.29	c #Conflicts:     227000 | #Constraints:      24276
1106.77/1110.29	c #Conflicts:     228000 | #Constraints:      25278
1106.77/1110.29	c #Conflicts:     229000 | #Constraints:      26278
1106.77/1110.29	c #Conflicts:     230000 | #Constraints:      27278
1106.77/1110.29	c INPROCESSING
1106.77/1110.29	c GARBAGE COLLECT
1106.77/1110.29	c rational objective 60
1154.05/1157.65	c #Conflicts:     231000 | #Constraints:      14945
1154.05/1157.65	c #Conflicts:     232000 | #Constraints:      15957
1154.05/1157.65	c #Conflicts:     233000 | #Constraints:      16962
1154.05/1157.65	c #Conflicts:     234000 | #Constraints:      17968
1154.05/1157.65	c #Conflicts:     235000 | #Constraints:      18972
1154.05/1157.65	c #Conflicts:     236000 | #Constraints:      19974
1154.05/1157.65	c #Conflicts:     237000 | #Constraints:      20978
1154.05/1157.65	c #Conflicts:     238000 | #Constraints:      21986
1154.05/1157.65	c #Conflicts:     239000 | #Constraints:      22995
1154.05/1157.65	c #Conflicts:     240000 | #Constraints:      24000
1154.05/1157.65	c INPROCESSING
1154.05/1157.65	c GARBAGE COLLECT
1154.05/1157.65	c rational objective 60
1225.96/1229.75	c #Conflicts:     241000 | #Constraints:      13244
1225.96/1229.75	c #Conflicts:     242000 | #Constraints:      14245
1225.96/1229.75	c #Conflicts:     243000 | #Constraints:      15246
1225.96/1229.75	c #Conflicts:     244000 | #Constraints:      16246
1225.96/1229.75	c #Conflicts:     245000 | #Constraints:      17247
1225.96/1229.75	c #Conflicts:     246000 | #Constraints:      18248
1225.96/1229.75	c #Conflicts:     247000 | #Constraints:      19250
1225.96/1229.75	c #Conflicts:     248000 | #Constraints:      20251
1225.96/1229.75	c #Conflicts:     249000 | #Constraints:      21252
1225.96/1229.75	c #Conflicts:     250000 | #Constraints:      22253
1225.96/1229.75	c INPROCESSING
1225.96/1229.75	c GARBAGE COLLECT
1225.96/1229.75	c rational objective 60
1274.54/1278.48	c #Conflicts:     251000 | #Constraints:      12250
1274.54/1278.48	c #Conflicts:     252000 | #Constraints:      13270
1274.54/1278.48	c #Conflicts:     253000 | #Constraints:      14282
1274.54/1278.48	c #Conflicts:     254000 | #Constraints:      15287
1274.54/1278.48	c #Conflicts:     255000 | #Constraints:      16304
1274.54/1278.48	c #Conflicts:     256000 | #Constraints:      17314
1274.54/1278.48	c #Conflicts:     257000 | #Constraints:      18323
1274.54/1278.48	c #Conflicts:     258000 | #Constraints:      19331
1274.54/1278.48	c #Conflicts:     259000 | #Constraints:      20335
1274.54/1278.48	c #Conflicts:     260000 | #Constraints:      21337
1274.54/1278.48	c #Conflicts:     261000 | #Constraints:      22350
1274.54/1278.48	c INPROCESSING
1274.54/1278.48	c GARBAGE COLLECT
1274.54/1278.48	c rational objective 60
1325.02/1329.07	c #Conflicts:     262000 | #Constraints:      12528
1325.02/1329.07	c #Conflicts:     263000 | #Constraints:      13533
1325.02/1329.07	c #Conflicts:     264000 | #Constraints:      14538
1325.02/1329.07	c #Conflicts:     265000 | #Constraints:      15547
1325.02/1329.07	c #Conflicts:     266000 | #Constraints:      16554
1325.02/1329.07	c #Conflicts:     267000 | #Constraints:      17564
1325.02/1329.07	c #Conflicts:     268000 | #Constraints:      18567
1325.02/1329.07	c #Conflicts:     269000 | #Constraints:      19572
1325.02/1329.07	c #Conflicts:     270000 | #Constraints:      20577
1325.02/1329.07	c #Conflicts:     271000 | #Constraints:      21582
1325.02/1329.07	c #Conflicts:     272000 | #Constraints:      22595
1325.02/1329.07	c INPROCESSING
1325.02/1329.07	c GARBAGE COLLECT
1325.02/1329.07	c rational objective 60
1380.27/1384.44	c #Conflicts:     273000 | #Constraints:      12802
1380.27/1384.44	c #Conflicts:     274000 | #Constraints:      13812
1380.27/1384.44	c #Conflicts:     275000 | #Constraints:      14838
1380.27/1384.44	c #Conflicts:     276000 | #Constraints:      15852
1380.27/1384.44	c #Conflicts:     277000 | #Constraints:      16857
1380.27/1384.44	c #Conflicts:     278000 | #Constraints:      17862
1380.27/1384.44	c #Conflicts:     279000 | #Constraints:      18865
1380.27/1384.44	c #Conflicts:     280000 | #Constraints:      19873
1380.27/1384.44	c #Conflicts:     281000 | #Constraints:      20877
1380.27/1384.44	c #Conflicts:     282000 | #Constraints:      21880
1380.27/1384.44	c INPROCESSING
1380.27/1384.44	c GARBAGE COLLECT
1380.27/1384.44	c rational objective 60
1466.76/1471.16	c #Conflicts:     283000 | #Constraints:      11995
1466.76/1471.16	c #Conflicts:     284000 | #Constraints:      12996
1466.76/1471.16	c #Conflicts:     285000 | #Constraints:      13996
1466.76/1471.16	c #Conflicts:     286000 | #Constraints:      14997
1466.76/1471.16	c #Conflicts:     287000 | #Constraints:      15997
1466.76/1471.16	c #Conflicts:     288000 | #Constraints:      16999
1466.76/1471.16	c #Conflicts:     289000 | #Constraints:      18000
1466.76/1471.16	c #Conflicts:     290000 | #Constraints:      19000
1466.76/1471.16	c #Conflicts:     291000 | #Constraints:      20003
1466.76/1471.16	c #Conflicts:     292000 | #Constraints:      21003
1466.76/1471.16	c #Conflicts:     293000 | #Constraints:      22006
1466.76/1471.16	c #Conflicts:     294000 | #Constraints:      23008
1466.76/1471.16	c INPROCESSING
1466.76/1471.16	c GARBAGE COLLECT
1466.76/1471.16	c rational objective 60
2161.01/2167.15	c #Conflicts:     295000 | #Constraints:      13024
2161.01/2167.15	c #Conflicts:     296000 | #Constraints:      14029
2161.01/2167.15	c #Conflicts:     297000 | #Constraints:      15036
2161.01/2167.15	c #Conflicts:     298000 | #Constraints:      16061
2161.01/2167.15	c #Conflicts:     299000 | #Constraints:      17071
2161.01/2167.15	c #Conflicts:     300000 | #Constraints:      18078
2161.01/2167.15	c #Conflicts:     301000 | #Constraints:      19085
2161.01/2167.15	c #Conflicts:     302000 | #Constraints:      20093
2161.01/2167.15	c #Conflicts:     303000 | #Constraints:      21112
2161.01/2167.15	c #Conflicts:     304000 | #Constraints:      22118
2161.01/2167.15	c #Conflicts:     305000 | #Constraints:      23121
2161.01/2167.15	c #Conflicts:     306000 | #Constraints:      24129
2161.01/2167.15	c #Conflicts:     307000 | #Constraints:      25134
2161.01/2167.15	c #Conflicts:     308000 | #Constraints:      26141
2161.01/2167.15	c #Conflicts:     309000 | #Constraints:      27147
2161.01/2167.15	c #Conflicts:     310000 | #Constraints:      28147
2161.01/2167.15	c #Conflicts:     311000 | #Constraints:      29161
2161.01/2167.15	c #Conflicts:     312000 | #Constraints:      30164
2161.01/2167.15	c #Conflicts:     313000 | #Constraints:      31168
2161.01/2167.15	c #Conflicts:     314000 | #Constraints:      32172
2161.01/2167.15	c #Conflicts:     315000 | #Constraints:      33177
2161.01/2167.15	c #Conflicts:     316000 | #Constraints:      34184
2161.01/2167.15	c #Conflicts:     317000 | #Constraints:      35189
2161.01/2167.15	c #Conflicts:     318000 | #Constraints:      36195
2161.01/2167.15	c #Conflicts:     319000 | #Constraints:      37198
2161.01/2167.15	c #Conflicts:     320000 | #Constraints:      38200
2161.01/2167.15	c #Conflicts:     321000 | #Constraints:      39205
2161.01/2167.15	c #Conflicts:     322000 | #Constraints:      40222
2161.01/2167.15	c #Conflicts:     323000 | #Constraints:      41225
2161.01/2167.15	c #Conflicts:     324000 | #Constraints:      42229
2161.01/2167.15	c #Conflicts:     325000 | #Constraints:      43231
2161.01/2167.15	c #Conflicts:     326000 | #Constraints:      44243
2161.01/2167.15	c #Conflicts:     327000 | #Constraints:      45244
2161.01/2167.15	c #Conflicts:     328000 | #Constraints:      46251
2161.01/2167.15	c #Conflicts:     329000 | #Constraints:      47266
2161.01/2167.15	c #Conflicts:     330000 | #Constraints:      48277
2161.01/2167.15	c #Conflicts:     331000 | #Constraints:      49299
2161.01/2167.15	c #Conflicts:     332000 | #Constraints:      50308
2161.01/2167.15	c #Conflicts:     333000 | #Constraints:      51323
2161.01/2167.15	c #Conflicts:     334000 | #Constraints:      52324
2161.01/2167.15	c #Conflicts:     335000 | #Constraints:      53329
2161.01/2167.15	c #Conflicts:     336000 | #Constraints:      54331
2161.01/2167.15	c #Conflicts:     337000 | #Constraints:      55337
2161.01/2167.15	c #Conflicts:     338000 | #Constraints:      56341
2161.01/2167.15	c #Conflicts:     339000 | #Constraints:      57344
2161.01/2167.15	c #Conflicts:     340000 | #Constraints:      58346
2161.01/2167.15	c #Conflicts:     341000 | #Constraints:      59351
2161.01/2167.15	c #Conflicts:     342000 | #Constraints:      60357
2161.01/2167.15	c #Conflicts:     343000 | #Constraints:      61362
2161.01/2167.15	c #Conflicts:     344000 | #Constraints:      62363
2161.01/2167.15	c INPROCESSING
2161.01/2167.15	c GARBAGE COLLECT
2161.01/2167.15	c rational objective 60
2417.83/2424.67	c #Conflicts:     345000 | #Constraints:      32689
2417.83/2424.67	c #Conflicts:     346000 | #Constraints:      33689
2417.83/2424.67	c #Conflicts:     347000 | #Constraints:      34691
2417.83/2424.67	c #Conflicts:     348000 | #Constraints:      35692
2417.83/2424.67	c #Conflicts:     349000 | #Constraints:      36694
2417.83/2424.67	c #Conflicts:     350000 | #Constraints:      37694
2417.83/2424.67	c #Conflicts:     351000 | #Constraints:      38696
2417.83/2424.67	c #Conflicts:     352000 | #Constraints:      39696
2417.83/2424.67	c #Conflicts:     353000 | #Constraints:      40697
2417.83/2424.67	c bounds 63 >= 59 @ 2307.23
2417.83/2424.67	c #Conflicts:     354000 | #Constraints:      41758
2417.83/2424.67	c #Conflicts:     355000 | #Constraints:      42758
2417.83/2424.67	c #Conflicts:     356000 | #Constraints:      43760
2417.83/2424.67	c INPROCESSING
2417.83/2424.67	c GARBAGE COLLECT
2417.83/2424.67	c rational objective 60
2571.65/2578.83	c #Conflicts:     357000 | #Constraints:      23213
2571.65/2578.83	c #Conflicts:     358000 | #Constraints:      24215
2571.65/2578.83	c #Conflicts:     359000 | #Constraints:      25217
2571.65/2578.83	c #Conflicts:     360000 | #Constraints:      26218
2571.65/2578.83	c #Conflicts:     361000 | #Constraints:      27220
2571.65/2578.83	c #Conflicts:     362000 | #Constraints:      28220
2571.65/2578.83	c #Conflicts:     363000 | #Constraints:      29221
2571.65/2578.83	c #Conflicts:     364000 | #Constraints:      30221
2571.65/2578.83	c #Conflicts:     365000 | #Constraints:      31222
2571.65/2578.83	c #Conflicts:     366000 | #Constraints:      32222
2571.65/2578.83	c #Conflicts:     367000 | #Constraints:      33222
2571.65/2578.83	c #Conflicts:     368000 | #Constraints:      34223
2571.65/2578.83	c #Conflicts:     369000 | #Constraints:      35227
2571.65/2578.83	c INPROCESSING
2571.65/2578.83	c GARBAGE COLLECT
2571.65/2578.83	c rational objective 60
2646.85/2654.29	c #Conflicts:     370000 | #Constraints:      19188
2646.85/2654.29	c #Conflicts:     371000 | #Constraints:      20221
2646.85/2654.29	c #Conflicts:     372000 | #Constraints:      21230
2646.85/2654.29	c #Conflicts:     373000 | #Constraints:      22245
2646.85/2654.29	c #Conflicts:     374000 | #Constraints:      23256
2646.85/2654.29	c #Conflicts:     375000 | #Constraints:      24259
2646.85/2654.29	c #Conflicts:     376000 | #Constraints:      25263
2646.85/2654.29	c #Conflicts:     377000 | #Constraints:      26267
2646.85/2654.29	c #Conflicts:     378000 | #Constraints:      27278
2646.85/2654.29	c #Conflicts:     379000 | #Constraints:      28286
2646.85/2654.29	c #Conflicts:     380000 | #Constraints:      29291
2646.85/2654.29	c #Conflicts:     381000 | #Constraints:      30293
2646.85/2654.29	c INPROCESSING
2646.85/2654.29	c GARBAGE COLLECT
2646.85/2654.29	c rational objective 60
2774.05/2781.79	c #Conflicts:     382000 | #Constraints:      16276
2774.05/2781.79	c #Conflicts:     383000 | #Constraints:      17278
2774.05/2781.79	c #Conflicts:     384000 | #Constraints:      18279
2774.05/2781.79	c #Conflicts:     385000 | #Constraints:      19279
2774.05/2781.79	c #Conflicts:     386000 | #Constraints:      20281
2774.05/2781.79	c #Conflicts:     387000 | #Constraints:      21282
2774.05/2781.79	c #Conflicts:     388000 | #Constraints:      22286
2774.05/2781.79	c #Conflicts:     389000 | #Constraints:      23286
2774.05/2781.79	c #Conflicts:     390000 | #Constraints:      24287
2774.05/2781.79	c #Conflicts:     391000 | #Constraints:      25288
2774.05/2781.79	c #Conflicts:     392000 | #Constraints:      26288
2774.05/2781.79	c #Conflicts:     393000 | #Constraints:      27290
2774.05/2781.79	c #Conflicts:     394000 | #Constraints:      28292
2774.05/2781.79	c INPROCESSING
2774.05/2781.79	c GARBAGE COLLECT
2774.05/2781.79	c rational objective 60
3576.82/3586.53	c #Conflicts:     395000 | #Constraints:      15282
3576.82/3586.53	c #Conflicts:     396000 | #Constraints:      16294
3576.82/3586.53	c #Conflicts:     397000 | #Constraints:      17307
3576.82/3586.53	c #Conflicts:     398000 | #Constraints:      18322
3576.82/3586.53	c #Conflicts:     399000 | #Constraints:      19332
3576.82/3586.53	c #Conflicts:     400000 | #Constraints:      20339
3576.82/3586.53	c #Conflicts:     401000 | #Constraints:      21344
3576.82/3586.53	c #Conflicts:     402000 | #Constraints:      22347
3576.82/3586.53	c #Conflicts:     403000 | #Constraints:      23352
3576.82/3586.53	c #Conflicts:     404000 | #Constraints:      24367
3576.82/3586.53	c #Conflicts:     405000 | #Constraints:      25375
3576.82/3586.53	c #Conflicts:     406000 | #Constraints:      26377
3576.82/3586.53	c #Conflicts:     407000 | #Constraints:      27385
3576.82/3586.53	c #Conflicts:     408000 | #Constraints:      28389
3576.82/3586.53	c #Conflicts:     409000 | #Constraints:      29400
3576.82/3586.53	c #Conflicts:     410000 | #Constraints:      30407
3576.82/3586.53	c #Conflicts:     411000 | #Constraints:      31412
3576.82/3586.53	c #Conflicts:     412000 | #Constraints:      32417
3576.82/3586.53	c #Conflicts:     413000 | #Constraints:      33424
3576.82/3586.53	c #Conflicts:     414000 | #Constraints:      34427
3576.82/3586.53	c #Conflicts:     415000 | #Constraints:      35435
3576.82/3586.53	c #Conflicts:     416000 | #Constraints:      36440
3576.82/3586.53	c #Conflicts:     417000 | #Constraints:      37445
3576.82/3586.53	c #Conflicts:     418000 | #Constraints:      38453
3576.82/3586.53	c #Conflicts:     419000 | #Constraints:      39472
3576.82/3586.53	c #Conflicts:     420000 | #Constraints:      40488
3576.82/3586.53	c #Conflicts:     421000 | #Constraints:      41491
3576.82/3586.53	c #Conflicts:     422000 | #Constraints:      42506
3576.82/3586.53	c #Conflicts:     423000 | #Constraints:      43520
3576.82/3586.53	c #Conflicts:     424000 | #Constraints:      44522
3576.82/3586.53	c #Conflicts:     425000 | #Constraints:      45524
3576.82/3586.53	c #Conflicts:     426000 | #Constraints:      46531
3576.82/3586.53	c #Conflicts:     427000 | #Constraints:      47534
3576.82/3586.53	c #Conflicts:     428000 | #Constraints:      48539
3576.82/3586.53	c #Conflicts:     429000 | #Constraints:      49544
3576.82/3586.53	c #Conflicts:     430000 | #Constraints:      50545
3576.82/3586.53	c #Conflicts:     431000 | #Constraints:      51548
3576.82/3586.53	c #Conflicts:     432000 | #Constraints:      52565
3576.82/3586.53	c #Conflicts:     433000 | #Constraints:      53571
3576.82/3586.53	c #Conflicts:     434000 | #Constraints:      54579
3576.82/3586.53	c #Conflicts:     435000 | #Constraints:      55585
3576.82/3586.53	c #Conflicts:     436000 | #Constraints:      56595
3576.82/3586.53	c #Conflicts:     437000 | #Constraints:      57598
3576.82/3586.53	c #Conflicts:     438000 | #Constraints:      58604
3576.82/3586.53	c #Conflicts:     439000 | #Constraints:      59618
3576.82/3586.53	c #Conflicts:     440000 | #Constraints:      60638
3576.82/3586.53	c #Conflicts:     441000 | #Constraints:      61654
3576.82/3586.53	c #Conflicts:     442000 | #Constraints:      62670
3576.82/3586.53	c #Conflicts:     443000 | #Constraints:      63677
3576.82/3586.53	c #Conflicts:     444000 | #Constraints:      64685
3576.82/3586.53	c #Conflicts:     445000 | #Constraints:      65695
3576.82/3586.53	c #Conflicts:     446000 | #Constraints:      66704
3576.82/3586.53	c #Conflicts:     447000 | #Constraints:      67717
3576.82/3586.53	c #Conflicts:     448000 | #Constraints:      68723
3576.82/3586.53	c #Conflicts:     449000 | #Constraints:      69736
3576.82/3586.53	c #Conflicts:     450000 | #Constraints:      70749
3576.82/3586.53	c #Conflicts:     451000 | #Constraints:      71754
3576.82/3586.53	c INPROCESSING
3576.82/3586.53	c GARBAGE COLLECT
3576.82/3586.53	c rational objective 60
3600.06/3609.86	c #Conflicts:     452000 | #Constraints:      37315
3600.06/3609.86	c Program interrupted by user.
3600.06/3609.86	c cpu time 3542.38 s
3600.06/3609.86	c deterministic time 262382055072 2.62e+11
3600.06/3609.86	c optimization time 20.2304 s
3600.06/3609.86	c total solve time 3522.11 s
3600.06/3609.86	c core-guided solve time 1000.79 s
3600.06/3609.86	c propagation time 2393.81 s
3600.06/3609.86	c conflict analysis time 997.248 s
3600.06/3609.86	c propagations 258911590
3600.06/3609.86	c resolve steps 2039646
3600.06/3609.86	c decisions 19872717
3600.06/3609.86	c conflicts 452635
3600.06/3609.86	c restarts 1021
3600.06/3609.86	c inprocessing phases 48
3600.06/3609.86	c input clauses 613
3600.06/3609.86	c input cardinalities 153
3600.06/3609.86	c input general constraints 264
3600.06/3609.86	c input average constraint length 470.27
3600.06/3609.86	c input average constraint degree 426.63
3600.06/3609.86	c learned clauses 90477
3600.06/3609.86	c learned cardinalities 9465
3600.06/3609.86	c learned general constraints 356096
3600.06/3609.86	c learned average constraint length 2412.26
3600.06/3609.86	c learned average constraint degree 197214949671.52
3600.06/3609.86	c watched constraints 57326
3600.06/3609.86	c counting constraints 299034
3600.06/3609.86	c gcd simplifications 14363
3600.06/3609.86	c detected cardinalities 138
3600.06/3609.86	c weakened non-implied lits 260965682
3600.06/3609.86	c weakened non-implying lits 140234
3600.06/3609.86	c original variables 4676
3600.06/3609.86	c clausal propagations 2348919
3600.06/3609.86	c cardinality propagations 1600701
3600.06/3609.86	c watched propagations 14223344
3600.06/3609.86	c counting propagations 235817527
3600.06/3609.86	c watch lookups 52577738641
3600.06/3609.86	c watch backjump lookups 51667607440
3600.06/3609.86	c watch checks 71790412533
3600.06/3609.86	c propagation checks 81501120772
3600.06/3609.86	c constraint additions 4286673801
3600.06/3609.86	c trail pops 279231646
3600.06/3609.86	c formula constraints 509
3600.06/3609.86	c learned constraints 449238
3600.06/3609.86	c bound constraints 94
3600.06/3609.86	c core-guided constraints 427
3600.06/3609.86	c encountered formula constraints 260365
3600.06/3609.86	c encountered learned constraints 1415355
3600.06/3609.86	c encountered bound constraints 105
3600.06/3609.86	c encountered core-guided constraints 270286
3600.06/3609.86	c LP total time 52.0471 s
3600.06/3609.86	c LP solve time 36.75 s
3600.06/3609.86	c LP constraints added 509
3600.06/3609.86	c LP constraints removed 0
3600.06/3609.86	c LP pivots internal 452655
3600.06/3609.86	c LP pivots root 33276
3600.06/3609.86	c LP calls 4923
3600.06/3609.86	c LP optimalities 1521
3600.06/3609.86	c LP no pivot count 494
3600.06/3609.86	c LP infeasibilities 3400
3600.06/3609.86	c LP valid Farkas constraints 3400
3600.06/3609.86	c LP learned Farkas constraints 3400
3600.06/3609.86	c LP basis resets 0
3600.06/3609.86	c LP cycling count 0
3600.06/3609.86	c LP singular count 0
3600.06/3609.86	c LP no primal count 0
3600.06/3609.86	c LP no farkas count 0
3600.06/3609.86	c LP other issue count 0
3600.06/3609.86	c LP Gomory cuts 0
3600.06/3609.86	c LP learned cuts 0
3600.06/3609.86	c LP deleted cuts 0
3600.06/3609.86	c LP encountered Gomory constraints 0
3600.06/3609.86	c LP encountered Farkas constraints 445955
3600.06/3609.86	c LP encountered learned Farkas constraints 96815
3600.06/3609.86	c CG auxiliary variables introduced 162
3600.06/3609.86	c CG solutions found 94
3600.06/3609.86	c CG cores constructed 59
3600.06/3609.86	c CG core cardinality constraints returned 0
3600.06/3609.86	c CG unit cores 0
3600.06/3609.86	c CG single cores 59
3600.06/3609.86	c CG blocks removed during cardinality reduction 0
3600.06/3609.86	c CG first core best 0
3600.06/3609.86	c CG decision core best 0
3600.06/3609.86	c CG core reduction tie 0
3600.06/3609.86	c CG core degree average 1.00
3600.06/3609.86	c CG core slack average 50.53
3600.06/3609.86	s SATISFIABLE
3600.06/3609.86	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 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676

OK	63

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63621 MiB free)
  memory of node 1: 64473 MiB (64012 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100092 s]*
/proc/loadavg: 0.10 0.12 0.11 1/229 6296
/proc/meminfo: memFree=130695472/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6295/stat : 6295 (roundingsat) D 6292 6295 6253 0 -1 4194304 213 0 0 0 0 0 0 0 20 0 1 0 447008 38273024 637 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+0.212652 s]*
/proc/loadavg: 0.10 0.12 0.11 1/229 6296
/proc/meminfo: memFree=130695292/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6295/stat : 6295 (roundingsat) D 6292 6295 6253 0 -1 4194304 213 0 0 0 0 0 0 0 20 0 1 0 447008 38273024 637 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+0.311541 s]*
/proc/loadavg: 0.10 0.12 0.11 1/229 6296
/proc/meminfo: memFree=130695180/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=37376 memory=2548 CPUtime=0 cores=4,6
/proc/6295/stat : 6295 (roundingsat) D 6292 6295 6253 0 -1 4194304 213 0 0 0 0 0 0 0 20 0 1 0 447008 38273024 637 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+0.700334 s]
/proc/loadavg: 0.10 0.12 0.11 3/233 6304
/proc/meminfo: memFree=130675576/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=43196 memory=13172 CPUtime=0.17 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 2023 0 0 0 16 1 0 0 20 0 1 0 447008 44232704 3293 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 10799 3293 1777 992 0 2657 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 13172 KiB

[startup+1.5003 s]
/proc/loadavg: 0.41 0.19 0.13 5/241 6328
/proc/meminfo: memFree=130618860/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=47572 memory=18096 CPUtime=0.98 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 3258 0 0 0 62 36 0 0 20 0 1 0 447008 48713728 4524 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 11893 4524 1823 992 0 3751 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 18096 KiB

[startup+3.11173 s]
/proc/loadavg: 0.41 0.19 0.13 5/241 6328
/proc/meminfo: memFree=130484344/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=97684 memory=65576 CPUtime=2.58 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 13508 0 0 0 183 75 0 0 20 0 1 0 447008 100028416 16394 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 24421 16394 1893 992 0 16279 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 97684 KiB
Current children cumulated memory: 65576 KiB

[startup+6.30023 s]
/proc/loadavg: 0.70 0.25 0.15 5/241 6328
/proc/meminfo: memFree=129826828/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=150864 memory=117044 CPUtime=5.76 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 23303 0 0 0 467 109 0 0 20 0 1 0 447008 154484736 29261 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 37716 29261 1893 992 0 29574 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 150864 KiB
Current children cumulated memory: 117044 KiB

[startup+12.7003 s]
/proc/loadavg: 0.97 0.31 0.18 5/244 6332
/proc/meminfo: memFree=129370052/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=259628 memory=201680 CPUtime=12.14 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 37220 0 0 0 1069 145 0 0 20 0 1 0 447008 265859072 50420 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 64907 50420 1893 992 0 56765 0
Current children cumulated CPU time: 12.14 s
Current children cumulated vsize: 259628 KiB
Current children cumulated memory: 201680 KiB

[startup+25.5003 s]
/proc/loadavg: 1.51 0.45 0.22 5/244 6334
/proc/meminfo: memFree=128568588/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=267440 memory=213924 CPUtime=24.91 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 39745 0 0 0 2292 199 0 0 20 0 1 0 447008 273858560 53481 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 66860 53481 1893 992 0 58718 0
Current children cumulated CPU time: 24.91 s
Current children cumulated vsize: 267440 KiB
Current children cumulated memory: 213924 KiB

[startup+51.1123 s]
/proc/loadavg: 2.49 0.79 0.34 5/245 6342
/proc/meminfo: memFree=127224764/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=339840 memory=275956 CPUtime=50.46 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 48120 0 0 0 4747 299 0 0 20 0 1 0 447008 347996160 68989 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 84960 68989 1893 992 0 76818 0
Current children cumulated CPU time: 50.46 s
Current children cumulated vsize: 339840 KiB
Current children cumulated memory: 275956 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 1.32 0.55 5/246 6363
/proc/meminfo: memFree=124151256/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=427676 memory=370716 CPUtime=101.51 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 65941 0 0 0 9683 468 0 0 20 0 1 0 447008 437940224 92679 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 106919 92679 1893 992 0 98777 0
Current children cumulated CPU time: 101.51 s
Current children cumulated vsize: 427676 KiB
Current children cumulated memory: 370716 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 1.85 0.78 8/246 6373
/proc/meminfo: memFree=121260748/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=437032 memory=382244 CPUtime=161.32 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 68325 0 0 0 15475 657 0 0 20 0 1 0 447008 447520768 95561 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 109258 95561 1893 992 0 101116 0
Current children cumulated CPU time: 161.32 s
Current children cumulated vsize: 437032 KiB
Current children cumulated memory: 382244 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.26 0.99 5/246 6385
/proc/meminfo: memFree=118489504/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=565120 memory=485128 CPUtime=221.15 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 81755 0 0 0 21265 850 0 0 20 0 1 0 447008 578682880 121282 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 141280 121282 1893 992 0 133138 0
Current children cumulated CPU time: 221.15 s
Current children cumulated vsize: 565120 KiB
Current children cumulated memory: 485128 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 2.63 1.20 5/247 6398
/proc/meminfo: memFree=115863160/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=578584 memory=529304 CPUtime=280.97 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 85405 0 0 0 27063 1034 0 0 20 0 1 0 447008 592470016 132326 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 144646 132326 1893 992 0 136504 0
Current children cumulated CPU time: 280.97 s
Current children cumulated vsize: 578584 KiB
Current children cumulated memory: 529304 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 2.91 1.39 5/248 6409
/proc/meminfo: memFree=113405036/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=582676 memory=537748 CPUtime=340.81 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 86589 0 0 0 32874 1207 0 0 20 0 1 0 447008 596660224 134437 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 145669 134437 1893 992 0 137527 0
Current children cumulated CPU time: 340.81 s
Current children cumulated vsize: 582676 KiB
Current children cumulated memory: 537748 KiB

[startup+402.3 s]
/proc/loadavg: 4.44 3.23 1.59 5/247 6422
/proc/meminfo: memFree=110311840/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=726508 memory=567464 CPUtime=400.67 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 90663 0 0 0 38681 1386 0 0 20 0 1 0 447008 743944192 141866 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 181627 141866 1893 992 0 173485 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 726508 KiB
Current children cumulated memory: 567464 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 3.39 1.75 5/247 6432
/proc/meminfo: memFree=108355628/131655788 swapFree=131071996/131071996
[pid=6295] ppid=6292 vsize=728476 memory=568848 CPUtime=460.51 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 91287 0 0 0 44552 1499 0 0 20 0 1 0 447008 745959424 142212 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 182119 142212 1893 992 0 173977 0

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

Current children cumulated memory: 3062072 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/249 7544
/proc/meminfo: memFree=642620/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3641216 memory=3062072 CPUtime=3034.01 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 498094 0 0 0 298087 5314 0 0 20 0 1 0 447008 3728605184 765518 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 910304 765518 1893 992 0 902162 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 3641216 KiB
Current children cumulated memory: 3062072 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.16 4.06 5/250 7558
/proc/meminfo: memFree=655384/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3641216 memory=3062080 CPUtime=3093.86 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 499296 0 0 0 304019 5367 0 0 20 0 1 0 447008 3728605184 765520 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 910304 765520 1893 992 0 902162 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 3641216 KiB
Current children cumulated memory: 3062080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.16 4.07 7/251 7569
/proc/meminfo: memFree=596432/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3641216 memory=3062092 CPUtime=3153.7 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 500333 0 0 0 309961 5409 0 0 20 0 1 0 447008 3728605184 765523 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 910304 765523 1893 992 0 902162 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 3641216 KiB
Current children cumulated memory: 3062092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/251 7580
/proc/meminfo: memFree=493088/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3641216 memory=3062136 CPUtime=3213.56 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 501365 0 0 0 315902 5454 0 0 20 0 1 0 447008 3728605184 765534 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 910304 765534 1893 992 0 902162 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 3641216 KiB
Current children cumulated memory: 3062136 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.16 4.08 5/256 7595
/proc/meminfo: memFree=693468/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3641672 memory=3062876 CPUtime=3273.41 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 502801 0 0 0 321851 5490 0 0 20 0 1 0 447008 3729072128 765719 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 910418 765719 1893 992 0 902276 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 3641672 KiB
Current children cumulated memory: 3062876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.18 4.09 5/255 7605
/proc/meminfo: memFree=567316/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3649552 memory=3071276 CPUtime=3333.25 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 506738 0 0 0 327797 5528 0 0 20 0 1 0 447008 3737141248 767819 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 912388 767819 1893 992 0 904246 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 3649552 KiB
Current children cumulated memory: 3071276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.22 4.11 5/256 8001
/proc/meminfo: memFree=620124/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3774840 memory=3220020 CPUtime=3393.09 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 532875 0 0 0 333722 5587 0 0 20 0 1 0 447008 3865436160 805005 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 943710 805005 1893 992 0 935568 0
Current children cumulated CPU time: 3393.09 s
Current children cumulated vsize: 3774840 KiB
Current children cumulated memory: 3220020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.21 4.11 7/256 8011
/proc/meminfo: memFree=590836/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3801496 memory=3328284 CPUtime=3452.94 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 545966 0 0 0 339662 5632 0 0 20 0 1 0 447008 3892731904 832071 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 950374 832071 1893 992 0 942232 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 3801496 KiB
Current children cumulated memory: 3328284 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.11 5/259 8024
/proc/meminfo: memFree=622572/131655788 swapFree=131071728/131071996
[pid=6295] ppid=6292 vsize=3843456 memory=3468736 CPUtime=3512.78 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 564066 0 0 0 345590 5688 0 0 20 0 1 0 447008 3935698944 867184 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 960864 867184 1893 992 0 952722 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 3843456 KiB
Current children cumulated memory: 3468736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.61 4.34 4.16 5/259 8206
/proc/meminfo: memFree=510172/131655788 swapFree=131071216/131071996
[pid=6295] ppid=6292 vsize=3866712 memory=3571536 CPUtime=3572.63 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 576717 0 0 0 351526 5737 0 0 20 0 1 0 447008 3959513088 892884 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 966678 892884 1893 992 0 958536 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 3866712 KiB
Current children cumulated memory: 3571536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.47 4.33 4.16 5/259 8211
/proc/meminfo: memFree=505548/131655788 swapFree=131071216/131071996
[pid=6295] ppid=6292 vsize=3866712 memory=3573720 CPUtime=3600.06 cores=4,6
/proc/6295/stat : 6295 (roundingsat) R 6292 6295 6253 0 -1 4194304 594716 0 0 0 354237 5769 0 0 20 0 1 0 447008 3959513088 893430 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 966678 893430 1893 992 0 958536 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3866712 KiB
Current children cumulated memory: 3573720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3542.38 s, system=57.7761 s

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

[startup+3610 s]*
/proc/loadavg: 4.47 4.33 4.16 4/259 8211
/proc/meminfo: memFree=639036/131655788 swapFree=131071216/131071996
[pid=6295] ppid=6292 vsize=3866712 memory=3573720 CPUtime=3600.07 cores=4,6
/proc/6295/stat : 6295 (roundingsat) D 6292 6295 6253 0 -1 4194304 594721 0 2 0 354238 5769 0 0 20 0 1 0 447008 3959513088 893430 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 32 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 966678 893430 1893 992 0 958536 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3866712 KiB
Current children cumulated memory: 3573720 KiB

[startup+3610.2 s]
/proc/loadavg: 4.47 4.33 4.16 4/259 8211
/proc/meminfo: memFree=639036/131655788 swapFree=131071216/131071996
[pid=6295] ppid=6292 vsize=3866712 memory=3573720 CPUtime=3600.08 cores=4,6
/proc/6295/stat : 6295 (roundingsat) D 6292 6295 6253 0 -1 4194304 594721 0 2 0 354238 5770 0 0 20 0 1 0 447008 3959513088 893430 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 62 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 966678 893430 1893 992 0 958536 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3866712 KiB
Current children cumulated memory: 3573720 KiB

[startup+3610.3 s]
/proc/loadavg: 4.47 4.33 4.16 4/259 8211
/proc/meminfo: memFree=639036/131655788 swapFree=131071216/131071996
[pid=6295] ppid=6292 vsize=1832116 memory=1807088 CPUtime=3600.14 cores=4,6
/proc/6295/stat : 6295 (roundingsat) D 6292 6295 6253 0 -1 4194304 594723 0 2 0 354238 5776 0 0 20 0 1 0 447008 1876086784 451772 134679101440 4194304 8255733 140733458520832 0 0 0 0 0 25182210 0 0 0 17 4 0 0 66 0 0 9037040 9046032 37392384 140733458527074 140733458527336 140733458527336 140733458534345 0
/proc/6295/statm: 458029 451772 1977 992 0 449887 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 1832116 KiB
Current children cumulated memory: 1807088 KiB

Child status: 0

Real time (s): 3610.31
CPU time (s): 3600.16
CPU user time (s): 3542.38
CPU system time (s): 57.7761
CPU usage (%): 99.7187
Max. virtual memory (cumulated for all children) (KiB): 3866712
Max. memory (cumulated for all children) (KiB): 3573720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.38
system time used= 57.7761
maximum resident set size= 3573720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594729
page faults= 4
swaps= 0
block input operations= 4824
block output operations= 91167448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2854
involuntary context switches= 4951


# summary of solver processes directly reported to runsolver:
#   pid: 6295
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3542.38
#   total CPU system time (s): 57.7761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.323 second user time and 35.6288 second system time

The end

Begin job on nodeC007 at 2024-07-30 13:59:24
IDJOB=4462528
IDBENCH=147201
IDSOLVER=3089
FILE ID=nodeC007/4462528-1722340764
RUNJOBID= nodeC007-1722340763-6264
SLURM_JOB_ID= 8248987
Free space on /tmp= 723776 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.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-4462528-1722340764/watcher-4462528-1722340764 -o /tmp/evaluation-result-4462528-1722340764/solver-4462528-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6264 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462528-1722340764 --lp-cut-gomory=0 HOME/instance-4462528-1722340764.opb

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

MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c
RANDOM SEED=1492646933

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130696800 kB
MemAvailable:   130246184 kB
Buffers:           36964 kB
Cached:           279820 kB
SwapCached:            0 kB
Active:           125056 kB
Inactive:         428972 kB
Active(anon):       1432 kB
Inactive(anon):   257140 kB
Active(file):     123624 kB
Inactive(file):   171832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             11988 kB
Writeback:             0 kB
AnonPages:        237304 kB
Mapped:            89048 kB
Shmem:             21312 kB
KReclaimable:      40292 kB
Slab:             108980 kB
SReclaimable:      40292 kB
SUnreclaim:        68688 kB
KernelStack:        3664 kB
PageTables:         8980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     541496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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:      174920 kB
DirectMap2M:     7069696 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC007 at 2024-07-30 14:59:35