0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 94 #constraints 8
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= 0 @ 0
0.00/0.01 c GLOBAL bounds - >= 0 @ 9.1e-05
0.00/0.02 c rational objective 0
0.17/0.29 c #Conflicts: 1000 | #Constraints: 1016
0.17/0.29 c #Conflicts: 2000 | #Constraints: 2020
0.17/0.29 c INPROCESSING
0.17/0.29 c GARBAGE COLLECT
0.17/0.29 c rational objective 0
0.57/0.68 c #Conflicts: 3000 | #Constraints: 2023
0.57/0.68 c #Conflicts: 4000 | #Constraints: 3023
0.57/0.68 c INPROCESSING
0.57/0.68 c GARBAGE COLLECT
0.57/0.68 c rational objective 0
1.06/1.16 c #Conflicts: 5000 | #Constraints: 2419
1.06/1.16 c #Conflicts: 6000 | #Constraints: 3419
1.06/1.16 c INPROCESSING
1.06/1.16 c GARBAGE COLLECT
1.06/1.16 c rational objective 0
1.66/1.73 c #Conflicts: 7000 | #Constraints: 2421
1.66/1.73 c #Conflicts: 8000 | #Constraints: 3422
1.66/1.73 c #Conflicts: 9000 | #Constraints: 4422
1.66/1.73 c INPROCESSING
1.66/1.73 c GARBAGE COLLECT
1.66/1.73 c rational objective 0
2.56/2.67 c #Conflicts: 10000 | #Constraints: 3508
2.56/2.67 c #Conflicts: 11000 | #Constraints: 5002
2.56/2.67 c #Conflicts: 12000 | #Constraints: 6499
2.56/2.67 c INPROCESSING
2.56/2.67 c GARBAGE COLLECT
2.56/2.67 c rational objective 0
3.66/3.75 c #Conflicts: 13000 | #Constraints: 4695
3.66/3.75 c #Conflicts: 14000 | #Constraints: 6198
3.66/3.75 c #Conflicts: 15000 | #Constraints: 7695
3.66/3.75 c INPROCESSING
3.66/3.75 c GARBAGE COLLECT
3.66/3.75 c rational objective 0
4.65/4.75 c #Conflicts: 16000 | #Constraints: 4859
4.65/4.75 c #Conflicts: 17000 | #Constraints: 5859
4.65/4.75 c #Conflicts: 18000 | #Constraints: 6859
4.65/4.75 c INPROCESSING
4.65/4.75 c GARBAGE COLLECT
4.65/4.75 c rational objective 0
6.05/6.12 c #Conflicts: 19000 | #Constraints: 4740
6.05/6.12 c #Conflicts: 20000 | #Constraints: 6233
6.05/6.12 c #Conflicts: 21000 | #Constraints: 7722
6.05/6.12 c INPROCESSING
6.05/6.12 c GARBAGE COLLECT
6.05/6.12 c rational objective 0
7.65/7.77 c #Conflicts: 22000 | #Constraints: 4890
7.65/7.77 c #Conflicts: 23000 | #Constraints: 6379
7.65/7.77 c #Conflicts: 24000 | #Constraints: 7863
7.65/7.77 c #Conflicts: 25000 | #Constraints: 9359
7.65/7.77 c INPROCESSING
7.65/7.77 c GARBAGE COLLECT
7.65/7.77 c rational objective 0
9.53/9.65 c #Conflicts: 26000 | #Constraints: 5958
9.53/9.65 c #Conflicts: 27000 | #Constraints: 7440
9.53/9.65 c #Conflicts: 28000 | #Constraints: 8941
9.53/9.65 c #Conflicts: 29000 | #Constraints: 10443
9.53/9.65 c INPROCESSING
9.53/9.65 c GARBAGE COLLECT
9.53/9.65 c rational objective 0
11.53/11.67 c #Conflicts: 30000 | #Constraints: 6585
11.53/11.67 c #Conflicts: 31000 | #Constraints: 8064
11.53/11.67 c #Conflicts: 32000 | #Constraints: 9556
11.53/11.67 c #Conflicts: 33000 | #Constraints: 10998
11.53/11.67 c INPROCESSING
11.53/11.67 c GARBAGE COLLECT
11.53/11.67 c rational objective 0
13.42/13.50 c #Conflicts: 34000 | #Constraints: 6509
13.42/13.50 c #Conflicts: 35000 | #Constraints: 7509
13.42/13.50 c #Conflicts: 36000 | #Constraints: 8511
13.42/13.50 c #Conflicts: 37000 | #Constraints: 9511
13.42/13.50 c INPROCESSING
13.42/13.50 c GARBAGE COLLECT
13.42/13.50 c rational objective 0
15.22/15.32 c #Conflicts: 38000 | #Constraints: 5668
15.22/15.32 c #Conflicts: 39000 | #Constraints: 6668
15.22/15.32 c #Conflicts: 40000 | #Constraints: 7668
15.22/15.32 c #Conflicts: 41000 | #Constraints: 8668
15.22/15.32 c INPROCESSING
15.22/15.32 c GARBAGE COLLECT
15.22/15.32 c rational objective 0
17.42/17.59 c #Conflicts: 42000 | #Constraints: 5230
17.42/17.59 c #Conflicts: 43000 | #Constraints: 6364
17.42/17.59 c #Conflicts: 44000 | #Constraints: 7684
17.42/17.59 c #Conflicts: 45000 | #Constraints: 9175
17.42/17.59 c #Conflicts: 46000 | #Constraints: 10566
17.42/17.59 c INPROCESSING
17.42/17.59 c GARBAGE COLLECT
17.42/17.59 c rational objective 0
20.01/20.12 c #Conflicts: 47000 | #Constraints: 6467
20.01/20.12 c #Conflicts: 48000 | #Constraints: 7913
20.01/20.12 c #Conflicts: 49000 | #Constraints: 8914
20.01/20.12 c #Conflicts: 50000 | #Constraints: 10140
20.01/20.12 c #Conflicts: 51000 | #Constraints: 11613
20.01/20.12 c INPROCESSING
20.01/20.12 c GARBAGE COLLECT
20.01/20.12 c rational objective 0
22.50/22.68 c #Conflicts: 52000 | #Constraints: 7037
22.50/22.68 c #Conflicts: 53000 | #Constraints: 8196
22.50/22.68 c #Conflicts: 54000 | #Constraints: 9201
22.50/22.68 c #Conflicts: 55000 | #Constraints: 10493
22.50/22.68 c #Conflicts: 56000 | #Constraints: 11653
22.50/22.68 c INPROCESSING
22.50/22.68 c GARBAGE COLLECT
22.50/22.68 c rational objective 0
25.20/25.34 c #Conflicts: 57000 | #Constraints: 7025
25.20/25.34 c #Conflicts: 58000 | #Constraints: 8152
25.20/25.34 c #Conflicts: 59000 | #Constraints: 9649
25.20/25.34 c #Conflicts: 60000 | #Constraints: 11152
25.20/25.34 c #Conflicts: 61000 | #Constraints: 12634
25.20/25.34 c INPROCESSING
25.20/25.34 c GARBAGE COLLECT
25.20/25.34 c rational objective 0
28.18/28.36 c #Conflicts: 62000 | #Constraints: 7578
28.18/28.36 c #Conflicts: 63000 | #Constraints: 9058
28.18/28.36 c #Conflicts: 64000 | #Constraints: 10277
28.18/28.36 c #Conflicts: 65000 | #Constraints: 11724
28.18/28.36 c #Conflicts: 66000 | #Constraints: 13081
28.18/28.36 c INPROCESSING
28.18/28.36 c GARBAGE COLLECT
28.18/28.36 c rational objective 0
31.37/31.56 c #Conflicts: 67000 | #Constraints: 7590
31.37/31.56 c #Conflicts: 68000 | #Constraints: 8760
31.37/31.56 c #Conflicts: 69000 | #Constraints: 10100
31.37/31.56 c #Conflicts: 70000 | #Constraints: 11455
31.37/31.56 c #Conflicts: 71000 | #Constraints: 12871
31.37/31.56 c #Conflicts: 72000 | #Constraints: 14364
31.37/31.56 c INPROCESSING
31.37/31.56 c GARBAGE COLLECT
31.37/31.56 c rational objective 0
34.87/35.05 c #Conflicts: 73000 | #Constraints: 8368
34.87/35.05 c #Conflicts: 74000 | #Constraints: 9552
34.87/35.05 c #Conflicts: 75000 | #Constraints: 10996
34.87/35.05 c #Conflicts: 76000 | #Constraints: 12261
34.87/35.05 c #Conflicts: 77000 | #Constraints: 13592
34.87/35.05 c #Conflicts: 78000 | #Constraints: 14843
34.87/35.05 c INPROCESSING
34.87/35.05 c GARBAGE COLLECT
34.87/35.05 c rational objective 0
38.56/38.75 c #Conflicts: 79000 | #Constraints: 8909
38.56/38.75 c #Conflicts: 80000 | #Constraints: 10376
38.56/38.75 c #Conflicts: 81000 | #Constraints: 11849
38.56/38.75 c #Conflicts: 82000 | #Constraints: 13346
38.56/38.75 c #Conflicts: 83000 | #Constraints: 14845
38.56/38.75 c #Conflicts: 84000 | #Constraints: 16334
38.56/38.75 c INPROCESSING
38.56/38.75 c GARBAGE COLLECT
38.56/38.75 c rational objective 0
42.55/42.72 c #Conflicts: 85000 | #Constraints: 9624
42.55/42.72 c #Conflicts: 86000 | #Constraints: 11017
42.55/42.72 c #Conflicts: 87000 | #Constraints: 12488
42.55/42.72 c #Conflicts: 88000 | #Constraints: 13983
42.55/42.72 c #Conflicts: 89000 | #Constraints: 14999
42.55/42.72 c #Conflicts: 90000 | #Constraints: 15999
42.55/42.72 c INPROCESSING
42.55/42.72 c GARBAGE COLLECT
42.55/42.72 c rational objective 0
46.33/46.55 c #Conflicts: 91000 | #Constraints: 8974
46.33/46.55 c #Conflicts: 92000 | #Constraints: 10077
46.33/46.55 c #Conflicts: 93000 | #Constraints: 11315
46.33/46.55 c #Conflicts: 94000 | #Constraints: 12633
46.33/46.55 c #Conflicts: 95000 | #Constraints: 14098
46.33/46.55 c #Conflicts: 96000 | #Constraints: 15396
46.33/46.55 c INPROCESSING
46.33/46.55 c GARBAGE COLLECT
46.33/46.55 c rational objective 0
50.72/50.94 c #Conflicts: 97000 | #Constraints: 8616
50.72/50.94 c #Conflicts: 98000 | #Constraints: 10090
50.72/50.94 c #Conflicts: 99000 | #Constraints: 11548
50.72/50.94 c #Conflicts: 100000 | #Constraints: 13028
50.72/50.94 c #Conflicts: 101000 | #Constraints: 14542
50.72/50.94 c #Conflicts: 102000 | #Constraints: 16036
50.72/50.94 c #Conflicts: 103000 | #Constraints: 17531
50.72/50.94 c INPROCESSING
50.72/50.94 c GARBAGE COLLECT
50.72/50.94 c rational objective 0
55.50/55.72 c #Conflicts: 104000 | #Constraints: 10031
55.50/55.72 c #Conflicts: 105000 | #Constraints: 11381
55.50/55.72 c #Conflicts: 106000 | #Constraints: 12875
55.50/55.72 c #Conflicts: 107000 | #Constraints: 14198
55.50/55.72 c #Conflicts: 108000 | #Constraints: 15552
55.50/55.72 c #Conflicts: 109000 | #Constraints: 17049
55.50/55.72 c #Conflicts: 110000 | #Constraints: 18302
55.50/55.72 c INPROCESSING
55.50/55.72 c GARBAGE COLLECT
55.50/55.72 c rational objective 0
60.29/60.59 c #Conflicts: 111000 | #Constraints: 10557
60.29/60.59 c #Conflicts: 112000 | #Constraints: 11774
60.29/60.59 c #Conflicts: 113000 | #Constraints: 12931
60.29/60.59 c #Conflicts: 114000 | #Constraints: 14099
60.29/60.59 c #Conflicts: 115000 | #Constraints: 15321
60.29/60.59 c #Conflicts: 116000 | #Constraints: 16382
60.29/60.59 c #Conflicts: 117000 | #Constraints: 17665
60.29/60.59 c INPROCESSING
60.29/60.59 c GARBAGE COLLECT
60.29/60.59 c rational objective 0
64.98/65.24 c #Conflicts: 118000 | #Constraints: 10014
64.98/65.24 c #Conflicts: 119000 | #Constraints: 11172
64.98/65.24 c #Conflicts: 120000 | #Constraints: 12314
64.98/65.24 c #Conflicts: 121000 | #Constraints: 13456
64.98/65.24 c #Conflicts: 122000 | #Constraints: 14518
64.98/65.24 c #Conflicts: 123000 | #Constraints: 15680
64.98/65.24 c #Conflicts: 124000 | #Constraints: 16803
64.98/65.24 c INPROCESSING
64.98/65.24 c GARBAGE COLLECT
64.98/65.24 c rational objective 0
70.16/70.42 c #Conflicts: 125000 | #Constraints: 9682
70.16/70.42 c #Conflicts: 126000 | #Constraints: 11185
70.16/70.42 c #Conflicts: 127000 | #Constraints: 12529
70.16/70.42 c #Conflicts: 128000 | #Constraints: 13612
70.16/70.42 c #Conflicts: 129000 | #Constraints: 15102
70.16/70.42 c #Conflicts: 130000 | #Constraints: 16492
70.16/70.42 c #Conflicts: 131000 | #Constraints: 17634
70.16/70.42 c INPROCESSING
70.16/70.42 c GARBAGE COLLECT
70.16/70.42 c rational objective 0
75.45/75.79 c #Conflicts: 132000 | #Constraints: 9677
75.45/75.79 c #Conflicts: 133000 | #Constraints: 10822
75.45/75.79 c #Conflicts: 134000 | #Constraints: 12177
75.45/75.79 c #Conflicts: 135000 | #Constraints: 13673
75.45/75.79 c #Conflicts: 136000 | #Constraints: 15186
75.45/75.79 c #Conflicts: 137000 | #Constraints: 16419
75.45/75.79 c #Conflicts: 138000 | #Constraints: 17862
75.45/75.79 c #Conflicts: 139000 | #Constraints: 19138
75.45/75.79 c INPROCESSING
75.45/75.79 c GARBAGE COLLECT
75.45/75.79 c rational objective 0
82.93/83.23 c #Conflicts: 140000 | #Constraints: 10829
82.93/83.23 c #Conflicts: 141000 | #Constraints: 12315
82.93/83.23 c #Conflicts: 142000 | #Constraints: 13820
82.93/83.23 c #Conflicts: 143000 | #Constraints: 15288
82.93/83.23 c #Conflicts: 144000 | #Constraints: 16773
82.93/83.23 c #Conflicts: 145000 | #Constraints: 18255
82.93/83.23 c #Conflicts: 146000 | #Constraints: 19733
82.93/83.23 c #Conflicts: 147000 | #Constraints: 21228
82.93/83.23 c INPROCESSING
82.93/83.23 c GARBAGE COLLECT
82.93/83.23 c rational objective 0
90.61/90.98 c #Conflicts: 148000 | #Constraints: 12087
90.61/90.98 c #Conflicts: 149000 | #Constraints: 13521
90.61/90.98 c #Conflicts: 150000 | #Constraints: 14527
90.61/90.98 c #Conflicts: 151000 | #Constraints: 15982
90.61/90.98 c #Conflicts: 152000 | #Constraints: 17454
90.61/90.98 c #Conflicts: 153000 | #Constraints: 18945
90.61/90.98 c #Conflicts: 154000 | #Constraints: 20444
90.61/90.98 c #Conflicts: 155000 | #Constraints: 21934
90.61/90.98 c INPROCESSING
90.61/90.98 c GARBAGE COLLECT
90.61/90.98 c rational objective 0
99.08/99.45 c #Conflicts: 156000 | #Constraints: 12473
99.08/99.45 c #Conflicts: 157000 | #Constraints: 13956
99.08/99.45 c #Conflicts: 158000 | #Constraints: 15452
99.08/99.45 c #Conflicts: 159000 | #Constraints: 16944
99.08/99.45 c #Conflicts: 160000 | #Constraints: 18435
99.08/99.45 c #Conflicts: 161000 | #Constraints: 19926
99.08/99.45 c #Conflicts: 162000 | #Constraints: 21430
99.08/99.45 c #Conflicts: 163000 | #Constraints: 22896
99.08/99.45 c INPROCESSING
99.08/99.45 c GARBAGE COLLECT
99.08/99.45 c rational objective 0
107.06/107.46 c #Conflicts: 164000 | #Constraints: 12711
107.06/107.46 c #Conflicts: 165000 | #Constraints: 14009
107.06/107.46 c #Conflicts: 166000 | #Constraints: 15030
107.06/107.46 c #Conflicts: 167000 | #Constraints: 16085
107.06/107.46 c #Conflicts: 168000 | #Constraints: 17378
107.06/107.46 c #Conflicts: 169000 | #Constraints: 18854
107.06/107.46 c #Conflicts: 170000 | #Constraints: 20288
107.06/107.46 c #Conflicts: 171000 | #Constraints: 21596
107.06/107.46 c INPROCESSING
107.06/107.46 c GARBAGE COLLECT
107.06/107.46 c rational objective 0
115.13/115.52 c #Conflicts: 172000 | #Constraints: 11727
115.13/115.52 c #Conflicts: 173000 | #Constraints: 12727
115.13/115.52 c #Conflicts: 174000 | #Constraints: 13991
115.13/115.52 c #Conflicts: 175000 | #Constraints: 15363
115.13/115.52 c #Conflicts: 176000 | #Constraints: 16523
115.13/115.52 c #Conflicts: 177000 | #Constraints: 17849
115.13/115.52 c #Conflicts: 178000 | #Constraints: 19053
115.13/115.52 c #Conflicts: 179000 | #Constraints: 20538
115.13/115.52 c #Conflicts: 180000 | #Constraints: 21934
115.13/115.52 c INPROCESSING
115.13/115.52 c GARBAGE COLLECT
115.13/115.52 c rational objective 0
123.51/123.97 c #Conflicts: 181000 | #Constraints: 12274
123.51/123.97 c #Conflicts: 182000 | #Constraints: 13743
123.51/123.97 c #Conflicts: 183000 | #Constraints: 15224
123.51/123.97 c #Conflicts: 184000 | #Constraints: 16725
123.51/123.97 c #Conflicts: 185000 | #Constraints: 18221
123.51/123.97 c #Conflicts: 186000 | #Constraints: 19714
123.51/123.97 c #Conflicts: 187000 | #Constraints: 21198
123.51/123.97 c #Conflicts: 188000 | #Constraints: 22712
123.51/123.97 c #Conflicts: 189000 | #Constraints: 24208
123.51/123.97 c INPROCESSING
123.51/123.97 c GARBAGE COLLECT
123.51/123.97 c rational objective 0
133.69/134.19 c #Conflicts: 190000 | #Constraints: 13606
133.69/134.19 c #Conflicts: 191000 | #Constraints: 15112
133.69/134.19 c #Conflicts: 192000 | #Constraints: 16605
133.69/134.19 c #Conflicts: 193000 | #Constraints: 18097
133.69/134.19 c #Conflicts: 194000 | #Constraints: 19590
133.69/134.19 c #Conflicts: 195000 | #Constraints: 21079
133.69/134.19 c #Conflicts: 196000 | #Constraints: 22572
133.69/134.19 c #Conflicts: 197000 | #Constraints: 24060
133.69/134.19 c #Conflicts: 198000 | #Constraints: 25549
133.69/134.19 c INPROCESSING
133.69/134.19 c GARBAGE COLLECT
133.69/134.19 c rational objective 0
145.05/145.50 c #Conflicts: 199000 | #Constraints: 14119
145.05/145.50 c #Conflicts: 200000 | #Constraints: 15632
145.05/145.50 c #Conflicts: 201000 | #Constraints: 17122
145.05/145.50 c #Conflicts: 202000 | #Constraints: 18599
145.05/145.50 c #Conflicts: 203000 | #Constraints: 20082
145.05/145.50 c #Conflicts: 204000 | #Constraints: 21589
145.05/145.50 c #Conflicts: 205000 | #Constraints: 23071
145.05/145.50 c #Conflicts: 206000 | #Constraints: 24564
145.05/145.50 c #Conflicts: 207000 | #Constraints: 26061
145.05/145.50 c INPROCESSING
145.05/145.50 c GARBAGE COLLECT
145.05/145.50 c rational objective 0.00703934
164.50/165.01 c #Conflicts: 208000 | #Constraints: 14368
164.50/165.01 c #Conflicts: 209000 | #Constraints: 15861
164.50/165.01 c #Conflicts: 210000 | #Constraints: 17342
164.50/165.01 c #Conflicts: 211000 | #Constraints: 18819
164.50/165.01 c #Conflicts: 212000 | #Constraints: 20324
164.50/165.01 c #Conflicts: 213000 | #Constraints: 21827
164.50/165.01 c #Conflicts: 214000 | #Constraints: 23320
164.50/165.01 c #Conflicts: 215000 | #Constraints: 24721
164.50/165.01 c #Conflicts: 216000 | #Constraints: 26124
164.50/165.01 c INPROCESSING
164.50/165.01 c GARBAGE COLLECT
164.50/165.01 c #Conflicts: 217000 | #Constraints: 14110
164.50/165.01 c #Conflicts: 218000 | #Constraints: 15590
164.50/165.01 c #Conflicts: 219000 | #Constraints: 17083
164.50/165.01 c #Conflicts: 220000 | #Constraints: 18582
164.50/165.01 c #Conflicts: 221000 | #Constraints: 20061
164.50/165.01 c #Conflicts: 222000 | #Constraints: 21546
164.50/165.01 c GLOBAL bounds - >= 0 @ 161.718
164.50/165.01 c GLOBAL bounds - >= 0 @ 161.719
262.21/263.09 c #Conflicts: 223000 | #Constraints: 23048
262.21/263.09 c #Conflicts: 224000 | #Constraints: 24525
262.21/263.09 c #Conflicts: 225000 | #Constraints: 26036
262.21/263.09 c #Conflicts: 226000 | #Constraints: 27542
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 227000 | #Constraints: 15146
262.21/263.09 c #Conflicts: 228000 | #Constraints: 16632
262.21/263.09 c #Conflicts: 229000 | #Constraints: 18133
262.21/263.09 c #Conflicts: 230000 | #Constraints: 19621
262.21/263.09 c #Conflicts: 231000 | #Constraints: 21104
262.21/263.09 c #Conflicts: 232000 | #Constraints: 22607
262.21/263.09 c #Conflicts: 233000 | #Constraints: 24089
262.21/263.09 c #Conflicts: 234000 | #Constraints: 25554
262.21/263.09 c #Conflicts: 235000 | #Constraints: 27040
262.21/263.09 c #Conflicts: 236000 | #Constraints: 28525
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 237000 | #Constraints: 15752
262.21/263.09 c #Conflicts: 238000 | #Constraints: 17261
262.21/263.09 c #Conflicts: 239000 | #Constraints: 18763
262.21/263.09 c #Conflicts: 240000 | #Constraints: 20264
262.21/263.09 c #Conflicts: 241000 | #Constraints: 21751
262.21/263.09 c #Conflicts: 242000 | #Constraints: 23207
262.21/263.09 c #Conflicts: 243000 | #Constraints: 24584
262.21/263.09 c #Conflicts: 244000 | #Constraints: 26072
262.21/263.09 c #Conflicts: 245000 | #Constraints: 27563
262.21/263.09 c #Conflicts: 246000 | #Constraints: 28952
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 247000 | #Constraints: 15992
262.21/263.09 c #Conflicts: 248000 | #Constraints: 17428
262.21/263.09 c #Conflicts: 249000 | #Constraints: 18929
262.21/263.09 c #Conflicts: 250000 | #Constraints: 20421
262.21/263.09 c #Conflicts: 251000 | #Constraints: 21921
262.21/263.09 c #Conflicts: 252000 | #Constraints: 23414
262.21/263.09 c #Conflicts: 253000 | #Constraints: 24923
262.21/263.09 c #Conflicts: 254000 | #Constraints: 26420
262.21/263.09 c #Conflicts: 255000 | #Constraints: 27912
262.21/263.09 c #Conflicts: 256000 | #Constraints: 29410
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 257000 | #Constraints: 16052
262.21/263.09 c #Conflicts: 258000 | #Constraints: 17545
262.21/263.09 c #Conflicts: 259000 | #Constraints: 19049
262.21/263.09 c #Conflicts: 260000 | #Constraints: 20540
262.21/263.09 c #Conflicts: 261000 | #Constraints: 22024
262.21/263.09 c #Conflicts: 262000 | #Constraints: 23522
262.21/263.09 c #Conflicts: 263000 | #Constraints: 25012
262.21/263.09 c #Conflicts: 264000 | #Constraints: 26504
262.21/263.09 c #Conflicts: 265000 | #Constraints: 27997
262.21/263.09 c #Conflicts: 266000 | #Constraints: 29505
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 267000 | #Constraints: 15793
262.21/263.09 c #Conflicts: 268000 | #Constraints: 17294
262.21/263.09 c #Conflicts: 269000 | #Constraints: 18778
262.21/263.09 c #Conflicts: 270000 | #Constraints: 20274
262.21/263.09 c #Conflicts: 271000 | #Constraints: 21754
262.21/263.09 c #Conflicts: 272000 | #Constraints: 23245
262.21/263.09 c #Conflicts: 273000 | #Constraints: 24727
262.21/263.09 c #Conflicts: 274000 | #Constraints: 26224
262.21/263.09 c #Conflicts: 275000 | #Constraints: 27335
262.21/263.09 c #Conflicts: 276000 | #Constraints: 28810
262.21/263.09 c #Conflicts: 277000 | #Constraints: 30312
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 278000 | #Constraints: 16490
262.21/263.09 c #Conflicts: 279000 | #Constraints: 17983
262.21/263.09 c #Conflicts: 280000 | #Constraints: 19468
262.21/263.09 c #Conflicts: 281000 | #Constraints: 20965
262.21/263.09 c #Conflicts: 282000 | #Constraints: 22464
262.21/263.09 c #Conflicts: 283000 | #Constraints: 23937
262.21/263.09 c #Conflicts: 284000 | #Constraints: 25427
262.21/263.09 c #Conflicts: 285000 | #Constraints: 26915
262.21/263.09 c #Conflicts: 286000 | #Constraints: 28398
262.21/263.09 c #Conflicts: 287000 | #Constraints: 29885
262.21/263.09 c #Conflicts: 288000 | #Constraints: 31382
262.21/263.09 c INPROCESSING
262.21/263.09 c GARBAGE COLLECT
262.21/263.09 c #Conflicts: 289000 | #Constraints: 17188
262.21/263.09 c #Conflicts: 290000 | #Constraints: 18693
262.21/263.09 c #Conflicts: 291000 | #Constraints: 20197
262.21/263.09 c #Conflicts: 292000 | #Constraints: 21694
262.21/263.09 c #Conflicts: 293000 | #Constraints: 23184
262.21/263.09 c #Conflicts: 294000 | #Constraints: 24667
262.21/263.09 c #Conflicts: 295000 | #Constraints: 26152
262.21/263.09 c #Conflicts: 296000 | #Constraints: 27644
262.21/263.09 c #Conflicts: 297000 | #Constraints: 29142
371.06/372.25 c #Conflicts: 298000 | #Constraints: 30628
371.06/372.25 c #Conflicts: 299000 | #Constraints: 32111
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 300000 | #Constraints: 17552
371.06/372.25 c #Conflicts: 301000 | #Constraints: 19032
371.06/372.25 c #Conflicts: 302000 | #Constraints: 20462
371.06/372.25 c #Conflicts: 303000 | #Constraints: 21742
371.06/372.25 c #Conflicts: 304000 | #Constraints: 23229
371.06/372.25 c #Conflicts: 305000 | #Constraints: 24728
371.06/372.25 c #Conflicts: 306000 | #Constraints: 26147
371.06/372.25 c #Conflicts: 307000 | #Constraints: 27642
371.06/372.25 c #Conflicts: 308000 | #Constraints: 29120
371.06/372.25 c #Conflicts: 309000 | #Constraints: 30604
371.06/372.25 c #Conflicts: 310000 | #Constraints: 32091
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 311000 | #Constraints: 17408
371.06/372.25 c #Conflicts: 312000 | #Constraints: 18895
371.06/372.25 c #Conflicts: 313000 | #Constraints: 20269
371.06/372.25 c #Conflicts: 314000 | #Constraints: 21755
371.06/372.25 c #Conflicts: 315000 | #Constraints: 23256
371.06/372.25 c #Conflicts: 316000 | #Constraints: 24738
371.06/372.25 c #Conflicts: 317000 | #Constraints: 26226
371.06/372.25 c #Conflicts: 318000 | #Constraints: 27720
371.06/372.25 c #Conflicts: 319000 | #Constraints: 29214
371.06/372.25 c #Conflicts: 320000 | #Constraints: 30718
371.06/372.25 c #Conflicts: 321000 | #Constraints: 32230
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 322000 | #Constraints: 17176
371.06/372.25 c #Conflicts: 323000 | #Constraints: 18664
371.06/372.25 c #Conflicts: 324000 | #Constraints: 20167
371.06/372.25 c #Conflicts: 325000 | #Constraints: 21609
371.06/372.25 c #Conflicts: 326000 | #Constraints: 23087
371.06/372.25 c #Conflicts: 327000 | #Constraints: 24569
371.06/372.25 c #Conflicts: 328000 | #Constraints: 26058
371.06/372.25 c #Conflicts: 329000 | #Constraints: 27546
371.06/372.25 c #Conflicts: 330000 | #Constraints: 29039
371.06/372.25 c #Conflicts: 331000 | #Constraints: 30535
371.06/372.25 c #Conflicts: 332000 | #Constraints: 32013
371.06/372.25 c #Conflicts: 333000 | #Constraints: 33507
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 334000 | #Constraints: 18106
371.06/372.25 c #Conflicts: 335000 | #Constraints: 19588
371.06/372.25 c #Conflicts: 336000 | #Constraints: 21068
371.06/372.25 c #Conflicts: 337000 | #Constraints: 22546
371.06/372.25 c #Conflicts: 338000 | #Constraints: 24028
371.06/372.25 c #Conflicts: 339000 | #Constraints: 25463
371.06/372.25 c #Conflicts: 340000 | #Constraints: 26943
371.06/372.25 c #Conflicts: 341000 | #Constraints: 28436
371.06/372.25 c #Conflicts: 342000 | #Constraints: 29919
371.06/372.25 c #Conflicts: 343000 | #Constraints: 31401
371.06/372.25 c #Conflicts: 344000 | #Constraints: 32892
371.06/372.25 c #Conflicts: 345000 | #Constraints: 34388
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 346000 | #Constraints: 18576
371.06/372.25 c #Conflicts: 347000 | #Constraints: 20033
371.06/372.25 c #Conflicts: 348000 | #Constraints: 21219
371.06/372.25 c #Conflicts: 349000 | #Constraints: 22718
371.06/372.25 c #Conflicts: 350000 | #Constraints: 24220
371.06/372.25 c #Conflicts: 351000 | #Constraints: 25725
371.06/372.25 c #Conflicts: 352000 | #Constraints: 27198
371.06/372.25 c #Conflicts: 353000 | #Constraints: 28696
371.06/372.25 c #Conflicts: 354000 | #Constraints: 30177
371.06/372.25 c #Conflicts: 355000 | #Constraints: 31663
371.06/372.25 c #Conflicts: 356000 | #Constraints: 33142
371.06/372.25 c #Conflicts: 357000 | #Constraints: 34628
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 358000 | #Constraints: 18826
371.06/372.25 c #Conflicts: 359000 | #Constraints: 20312
371.06/372.25 c #Conflicts: 360000 | #Constraints: 21804
371.06/372.25 c #Conflicts: 361000 | #Constraints: 23289
371.06/372.25 c #Conflicts: 362000 | #Constraints: 24772
371.06/372.25 c #Conflicts: 363000 | #Constraints: 26247
371.06/372.25 c #Conflicts: 364000 | #Constraints: 27723
371.06/372.25 c #Conflicts: 365000 | #Constraints: 29216
371.06/372.25 c #Conflicts: 366000 | #Constraints: 30713
371.06/372.25 c #Conflicts: 367000 | #Constraints: 32212
371.06/372.25 c #Conflicts: 368000 | #Constraints: 33690
371.06/372.25 c #Conflicts: 369000 | #Constraints: 35173
371.06/372.25 c INPROCESSING
371.06/372.25 c GARBAGE COLLECT
371.06/372.25 c #Conflicts: 370000 | #Constraints: 18956
371.06/372.25 c #Conflicts: 371000 | #Constraints: 20448
483.51/485.08 c #Conflicts: 372000 | #Constraints: 21822
483.51/485.08 c #Conflicts: 373000 | #Constraints: 23035
483.51/485.08 c #Conflicts: 374000 | #Constraints: 24532
483.51/485.08 c #Conflicts: 375000 | #Constraints: 26015
483.51/485.08 c #Conflicts: 376000 | #Constraints: 27491
483.51/485.08 c #Conflicts: 377000 | #Constraints: 28980
483.51/485.08 c #Conflicts: 378000 | #Constraints: 30499
483.51/485.08 c #Conflicts: 379000 | #Constraints: 31985
483.51/485.08 c #Conflicts: 380000 | #Constraints: 33109
483.51/485.08 c #Conflicts: 381000 | #Constraints: 34599
483.51/485.08 c INPROCESSING
483.51/485.08 c GARBAGE COLLECT
483.51/485.08 c #Conflicts: 382000 | #Constraints: 18353
483.51/485.08 c #Conflicts: 383000 | #Constraints: 19853
483.51/485.08 c #Conflicts: 384000 | #Constraints: 21308
483.51/485.08 c #Conflicts: 385000 | #Constraints: 22673
483.51/485.08 c #Conflicts: 386000 | #Constraints: 24176
483.51/485.08 c #Conflicts: 387000 | #Constraints: 25674
483.51/485.08 c #Conflicts: 388000 | #Constraints: 27154
483.51/485.08 c #Conflicts: 389000 | #Constraints: 28636
483.51/485.08 c #Conflicts: 390000 | #Constraints: 30130
483.51/485.08 c #Conflicts: 391000 | #Constraints: 31430
483.51/485.08 c #Conflicts: 392000 | #Constraints: 32925
483.51/485.08 c #Conflicts: 393000 | #Constraints: 33952
483.51/485.08 c #Conflicts: 394000 | #Constraints: 35321
483.51/485.08 c INPROCESSING
483.51/485.08 c GARBAGE COLLECT
483.51/485.08 c #Conflicts: 395000 | #Constraints: 19006
483.51/485.08 c #Conflicts: 396000 | #Constraints: 20497
483.51/485.08 c #Conflicts: 397000 | #Constraints: 21884
483.51/485.08 c #Conflicts: 398000 | #Constraints: 23373
483.51/485.08 c #Conflicts: 399000 | #Constraints: 24878
483.51/485.08 c #Conflicts: 400000 | #Constraints: 26347
483.51/485.08 c #Conflicts: 401000 | #Constraints: 27837
483.51/485.08 c #Conflicts: 402000 | #Constraints: 29341
483.51/485.08 c #Conflicts: 403000 | #Constraints: 30836
483.51/485.08 c #Conflicts: 404000 | #Constraints: 32310
483.51/485.08 c #Conflicts: 405000 | #Constraints: 33783
483.51/485.08 c #Conflicts: 406000 | #Constraints: 35275
483.51/485.08 c #Conflicts: 407000 | #Constraints: 36761
483.51/485.08 c INPROCESSING
483.51/485.08 c GARBAGE COLLECT
483.51/485.08 c #Conflicts: 408000 | #Constraints: 19894
483.51/485.08 c #Conflicts: 409000 | #Constraints: 21380
483.51/485.08 c #Conflicts: 410000 | #Constraints: 22875
483.51/485.08 c #Conflicts: 411000 | #Constraints: 24359
483.51/485.08 c #Conflicts: 412000 | #Constraints: 25857
483.51/485.08 c #Conflicts: 413000 | #Constraints: 27332
483.51/485.08 c #Conflicts: 414000 | #Constraints: 28832
483.51/485.08 c #Conflicts: 415000 | #Constraints: 30317
483.51/485.08 c #Conflicts: 416000 | #Constraints: 31815
483.51/485.08 c #Conflicts: 417000 | #Constraints: 33298
483.51/485.08 c #Conflicts: 418000 | #Constraints: 34803
483.51/485.08 c #Conflicts: 419000 | #Constraints: 36292
483.51/485.08 c #Conflicts: 420000 | #Constraints: 37785
483.51/485.08 c INPROCESSING
483.51/485.08 c GARBAGE COLLECT
483.51/485.08 c #Conflicts: 421000 | #Constraints: 20391
483.51/485.08 c #Conflicts: 422000 | #Constraints: 21879
483.51/485.08 c #Conflicts: 423000 | #Constraints: 23357
483.51/485.08 c #Conflicts: 424000 | #Constraints: 24848
483.51/485.08 c #Conflicts: 425000 | #Constraints: 26343
483.51/485.08 c #Conflicts: 426000 | #Constraints: 27823
483.51/485.08 c #Conflicts: 427000 | #Constraints: 29315
483.51/485.08 c #Conflicts: 428000 | #Constraints: 30803
483.51/485.08 c #Conflicts: 429000 | #Constraints: 32303
483.51/485.08 c #Conflicts: 430000 | #Constraints: 33802
483.51/485.08 c #Conflicts: 431000 | #Constraints: 35290
483.51/485.08 c #Conflicts: 432000 | #Constraints: 36776
483.51/485.08 c #Conflicts: 433000 | #Constraints: 38261
483.51/485.08 c INPROCESSING
483.51/485.08 c GARBAGE COLLECT
483.51/485.08 c #Conflicts: 434000 | #Constraints: 20496
483.51/485.08 c #Conflicts: 435000 | #Constraints: 21981
483.51/485.08 c #Conflicts: 436000 | #Constraints: 23452
483.51/485.08 c #Conflicts: 437000 | #Constraints: 24952
483.51/485.08 c #Conflicts: 438000 | #Constraints: 26449
483.51/485.08 c #Conflicts: 439000 | #Constraints: 27923
483.51/485.08 c #Conflicts: 440000 | #Constraints: 29409
483.51/485.08 c #Conflicts: 441000 | #Constraints: 30898
483.51/485.08 c #Conflicts: 442000 | #Constraints: 32383
483.51/485.08 c #Conflicts: 443000 | #Constraints: 33662
483.51/485.08 c GLOBAL bounds - >= 0 @ 477.444
483.51/485.08 c GLOBAL bounds - >= 0 @ 477.444
489.39/490.97 c #Conflicts: 444000 | #Constraints: 35151
489.39/490.97 c #Conflicts: 445000 | #Constraints: 36640
489.39/490.97 c #Conflicts: 446000 | #Constraints: 38128
489.39/490.97 c INPROCESSING
489.39/490.97 c GARBAGE COLLECT
489.39/490.97 c rational objective 0
512.62/514.27 c #Conflicts: 447000 | #Constraints: 19993
512.62/514.27 c #Conflicts: 448000 | #Constraints: 21479
512.62/514.27 c #Conflicts: 449000 | #Constraints: 22961
512.62/514.27 c #Conflicts: 450000 | #Constraints: 24463
512.62/514.27 c #Conflicts: 451000 | #Constraints: 25894
512.62/514.27 c #Conflicts: 452000 | #Constraints: 27222
512.62/514.27 c #Conflicts: 453000 | #Constraints: 28723
512.62/514.27 c #Conflicts: 454000 | #Constraints: 30158
512.62/514.27 c #Conflicts: 455000 | #Constraints: 31478
512.62/514.27 c #Conflicts: 456000 | #Constraints: 32899
512.62/514.27 c #Conflicts: 457000 | #Constraints: 34356
512.62/514.27 c #Conflicts: 458000 | #Constraints: 35752
512.62/514.27 c #Conflicts: 459000 | #Constraints: 37067
512.62/514.27 c #Conflicts: 460000 | #Constraints: 38489
512.62/514.27 c INPROCESSING
512.62/514.27 c GARBAGE COLLECT
512.62/514.27 c rational objective 0
512.82/514.45 c GLOBAL bounds - >= 0 @ 506.466
512.82/514.45 c GLOBAL bounds - >= 0 @ 506.466
530.16/531.81 c #Conflicts: 461000 | #Constraints: 20522
530.16/531.81 c #Conflicts: 462000 | #Constraints: 21935
530.16/531.81 c #Conflicts: 463000 | #Constraints: 23120
530.16/531.81 c #Conflicts: 464000 | #Constraints: 24363
530.16/531.81 c #Conflicts: 465000 | #Constraints: 25507
530.16/531.81 c #Conflicts: 466000 | #Constraints: 26655
530.16/531.81 c #Conflicts: 467000 | #Constraints: 28155
530.16/531.81 c #Conflicts: 468000 | #Constraints: 29621
530.16/531.81 c #Conflicts: 469000 | #Constraints: 30999
530.16/531.81 c #Conflicts: 470000 | #Constraints: 32489
530.16/531.81 c #Conflicts: 471000 | #Constraints: 33918
530.16/531.81 c GLOBAL bounds 3 >= 0 @ 523.607
530.16/531.81 c GLOBAL bounds 3 >= 0 @ 523.607
534.65/536.38 c #Conflicts: 472000 | #Constraints: 35235
534.65/536.38 c #Conflicts: 473000 | #Constraints: 36602
534.65/536.38 c #Conflicts: 474000 | #Constraints: 37838
534.65/536.38 c INPROCESSING
534.65/536.38 c GARBAGE COLLECT
534.65/536.38 c rational objective 0
552.41/554.14 c #Conflicts: 475000 | #Constraints: 20035
552.41/554.14 c #Conflicts: 476000 | #Constraints: 21142
552.41/554.14 c #Conflicts: 477000 | #Constraints: 22142
552.41/554.14 c #Conflicts: 478000 | #Constraints: 23290
552.41/554.14 c #Conflicts: 479000 | #Constraints: 24518
552.41/554.14 c #Conflicts: 480000 | #Constraints: 25647
552.41/554.14 c #Conflicts: 481000 | #Constraints: 26755
552.41/554.14 c #Conflicts: 482000 | #Constraints: 27850
552.41/554.14 c #Conflicts: 483000 | #Constraints: 29200
552.41/554.14 c #Conflicts: 484000 | #Constraints: 30331
552.41/554.14 c #Conflicts: 485000 | #Constraints: 31394
552.41/554.14 c #Conflicts: 486000 | #Constraints: 32560
552.41/554.14 c #Conflicts: 487000 | #Constraints: 33616
552.41/554.14 c #Conflicts: 488000 | #Constraints: 34875
552.41/554.14 c INPROCESSING
552.41/554.14 c GARBAGE COLLECT
552.41/554.14 c rational objective 0
571.74/573.52 c #Conflicts: 489000 | #Constraints: 18754
571.74/573.52 c #Conflicts: 490000 | #Constraints: 20246
571.74/573.52 c #Conflicts: 491000 | #Constraints: 21665
571.74/573.52 c #Conflicts: 492000 | #Constraints: 23150
571.74/573.52 c #Conflicts: 493000 | #Constraints: 24629
571.74/573.52 c #Conflicts: 494000 | #Constraints: 25938
571.74/573.52 c #Conflicts: 495000 | #Constraints: 27439
571.74/573.52 c #Conflicts: 496000 | #Constraints: 28909
571.74/573.52 c #Conflicts: 497000 | #Constraints: 30395
571.74/573.52 c #Conflicts: 498000 | #Constraints: 31883
571.74/573.52 c #Conflicts: 499000 | #Constraints: 33363
571.74/573.52 c #Conflicts: 500000 | #Constraints: 34858
571.74/573.52 c #Conflicts: 501000 | #Constraints: 36360
571.74/573.52 c #Conflicts: 502000 | #Constraints: 37449
571.74/573.52 c INPROCESSING
571.74/573.52 c GARBAGE COLLECT
571.74/573.52 c rational objective 0
580.32/582.11 c #Conflicts: 503000 | #Constraints: 19685
580.32/582.11 c #Conflicts: 504000 | #Constraints: 20685
580.32/582.11 c #Conflicts: 505000 | #Constraints: 21685
580.32/582.11 c #Conflicts: 506000 | #Constraints: 22685
580.32/582.11 c #Conflicts: 507000 | #Constraints: 23685
580.32/582.11 c #Conflicts: 508000 | #Constraints: 24685
580.32/582.11 c #Conflicts: 509000 | #Constraints: 25685
580.32/582.11 c GLOBAL bounds 3 >= 0 @ 573.246
580.32/582.11 c GLOBAL bounds 3 >= 0 @ 573.246
588.68/590.51 c #Conflicts: 510000 | #Constraints: 26686
588.68/590.51 c #Conflicts: 511000 | #Constraints: 27686
588.68/590.51 c #Conflicts: 512000 | #Constraints: 28686
588.68/590.51 c #Conflicts: 513000 | #Constraints: 29686
588.68/590.51 c #Conflicts: 514000 | #Constraints: 30686
588.68/590.51 c #Conflicts: 515000 | #Constraints: 31686
588.68/590.51 c #Conflicts: 516000 | #Constraints: 32686
588.68/590.51 c INPROCESSING
588.68/590.51 c GARBAGE COLLECT
588.68/590.51 c rational objective 0
606.83/608.78 c #Conflicts: 517000 | #Constraints: 17263
606.83/608.78 c #Conflicts: 518000 | #Constraints: 18626
606.83/608.78 c #Conflicts: 519000 | #Constraints: 20014
606.83/608.78 c #Conflicts: 520000 | #Constraints: 21279
606.83/608.78 c #Conflicts: 521000 | #Constraints: 22564
606.83/608.78 c #Conflicts: 522000 | #Constraints: 23929
606.83/608.78 c #Conflicts: 523000 | #Constraints: 25239
606.83/608.78 c #Conflicts: 524000 | #Constraints: 26442
606.83/608.78 c #Conflicts: 525000 | #Constraints: 27634
606.83/608.78 c #Conflicts: 526000 | #Constraints: 28894
606.83/608.78 c #Conflicts: 527000 | #Constraints: 29935
606.83/608.78 c #Conflicts: 528000 | #Constraints: 31129
606.83/608.78 c #Conflicts: 529000 | #Constraints: 32247
606.83/608.78 c #Conflicts: 530000 | #Constraints: 33629
606.83/608.78 c #Conflicts: 531000 | #Constraints: 34891
606.83/608.78 c INPROCESSING
606.83/608.78 c GARBAGE COLLECT
606.83/608.78 c rational objective 0
628.06/630.09 c #Conflicts: 532000 | #Constraints: 18810
628.06/630.09 c #Conflicts: 533000 | #Constraints: 20308
628.06/630.09 c #Conflicts: 534000 | #Constraints: 21793
628.06/630.09 c #Conflicts: 535000 | #Constraints: 23291
628.06/630.09 c #Conflicts: 536000 | #Constraints: 24783
628.06/630.09 c #Conflicts: 537000 | #Constraints: 26266
628.06/630.09 c #Conflicts: 538000 | #Constraints: 27756
628.06/630.09 c #Conflicts: 539000 | #Constraints: 29250
628.06/630.09 c #Conflicts: 540000 | #Constraints: 30700
628.06/630.09 c #Conflicts: 541000 | #Constraints: 32194
628.06/630.09 c #Conflicts: 542000 | #Constraints: 33656
628.06/630.09 c #Conflicts: 543000 | #Constraints: 35133
628.06/630.09 c #Conflicts: 544000 | #Constraints: 36422
628.06/630.09 c #Conflicts: 545000 | #Constraints: 37909
628.06/630.09 c #Conflicts: 546000 | #Constraints: 39390
628.06/630.09 c INPROCESSING
628.06/630.09 c GARBAGE COLLECT
628.06/630.09 c rational objective 0
654.16/656.23 c #Conflicts: 547000 | #Constraints: 21051
654.16/656.23 c #Conflicts: 548000 | #Constraints: 22542
654.16/656.23 c #Conflicts: 549000 | #Constraints: 23969
654.16/656.23 c #Conflicts: 550000 | #Constraints: 25397
654.16/656.23 c #Conflicts: 551000 | #Constraints: 26872
654.16/656.23 c #Conflicts: 552000 | #Constraints: 28352
654.16/656.23 c #Conflicts: 553000 | #Constraints: 29589
654.16/656.23 c #Conflicts: 554000 | #Constraints: 30873
654.16/656.23 c #Conflicts: 555000 | #Constraints: 32352
654.16/656.23 c #Conflicts: 556000 | #Constraints: 33790
654.16/656.23 c #Conflicts: 557000 | #Constraints: 35109
654.16/656.23 c #Conflicts: 558000 | #Constraints: 36597
654.16/656.23 c #Conflicts: 559000 | #Constraints: 38006
654.16/656.23 c #Conflicts: 560000 | #Constraints: 39513
654.16/656.23 c #Conflicts: 561000 | #Constraints: 40872
654.16/656.23 c INPROCESSING
654.16/656.23 c GARBAGE COLLECT
654.16/656.23 c rational objective 0
674.40/676.57 c #Conflicts: 562000 | #Constraints: 21451
674.40/676.57 c #Conflicts: 563000 | #Constraints: 22683
674.40/676.57 c #Conflicts: 564000 | #Constraints: 23713
674.40/676.57 c #Conflicts: 565000 | #Constraints: 24817
674.40/676.57 c #Conflicts: 566000 | #Constraints: 25950
674.40/676.57 c #Conflicts: 567000 | #Constraints: 27210
674.40/676.57 c #Conflicts: 568000 | #Constraints: 28373
674.40/676.57 c #Conflicts: 569000 | #Constraints: 29397
674.40/676.57 c #Conflicts: 570000 | #Constraints: 30450
674.40/676.57 c #Conflicts: 571000 | #Constraints: 31530
674.40/676.57 c #Conflicts: 572000 | #Constraints: 32631
674.40/676.57 c #Conflicts: 573000 | #Constraints: 33631
674.40/676.57 c #Conflicts: 574000 | #Constraints: 34643
674.40/676.57 c #Conflicts: 575000 | #Constraints: 35662
674.40/676.57 c #Conflicts: 576000 | #Constraints: 36662
674.40/676.57 c INPROCESSING
674.40/676.57 c GARBAGE COLLECT
674.40/676.57 c rational objective 0
699.63/701.82 c #Conflicts: 577000 | #Constraints: 19600
699.63/701.82 c #Conflicts: 578000 | #Constraints: 21084
699.63/701.82 c #Conflicts: 579000 | #Constraints: 22568
699.63/701.82 c #Conflicts: 580000 | #Constraints: 24064
699.63/701.82 c #Conflicts: 581000 | #Constraints: 25556
699.63/701.82 c #Conflicts: 582000 | #Constraints: 27044
699.63/701.82 c #Conflicts: 583000 | #Constraints: 28528
699.63/701.82 c #Conflicts: 584000 | #Constraints: 30014
699.63/701.82 c #Conflicts: 585000 | #Constraints: 31489
699.63/701.82 c #Conflicts: 586000 | #Constraints: 32986
699.63/701.82 c #Conflicts: 587000 | #Constraints: 34471
699.63/701.82 c #Conflicts: 588000 | #Constraints: 35957
699.63/701.82 c #Conflicts: 589000 | #Constraints: 37441
699.63/701.82 c #Conflicts: 590000 | #Constraints: 38927
699.63/701.82 c #Conflicts: 591000 | #Constraints: 40421
699.63/701.82 c INPROCESSING
699.63/701.82 c GARBAGE COLLECT
699.63/701.82 c rational objective 0
722.56/724.87 c #Conflicts: 592000 | #Constraints: 21162
722.56/724.87 c #Conflicts: 593000 | #Constraints: 22288
722.56/724.87 c #Conflicts: 594000 | #Constraints: 23723
722.56/724.87 c #Conflicts: 595000 | #Constraints: 25024
722.56/724.87 c #Conflicts: 596000 | #Constraints: 26024
722.56/724.87 c #Conflicts: 597000 | #Constraints: 27194
722.56/724.87 c #Conflicts: 598000 | #Constraints: 28344
722.56/724.87 c #Conflicts: 599000 | #Constraints: 29438
722.56/724.87 c #Conflicts: 600000 | #Constraints: 30766
722.56/724.87 c #Conflicts: 601000 | #Constraints: 32132
722.56/724.87 c #Conflicts: 602000 | #Constraints: 33479
722.56/724.87 c #Conflicts: 603000 | #Constraints: 34838
722.56/724.87 c #Conflicts: 604000 | #Constraints: 36276
722.56/724.87 c #Conflicts: 605000 | #Constraints: 37738
722.56/724.87 c #Conflicts: 606000 | #Constraints: 39214
722.56/724.87 c #Conflicts: 607000 | #Constraints: 40318
722.56/724.87 c INPROCESSING
722.56/724.87 c GARBAGE COLLECT
722.56/724.87 c rational objective 0
747.57/749.97 c #Conflicts: 608000 | #Constraints: 21431
747.57/749.97 c #Conflicts: 609000 | #Constraints: 22918
747.57/749.97 c #Conflicts: 610000 | #Constraints: 24400
747.57/749.97 c #Conflicts: 611000 | #Constraints: 25808
747.57/749.97 c #Conflicts: 612000 | #Constraints: 27317
747.57/749.97 c #Conflicts: 613000 | #Constraints: 28797
747.57/749.97 c #Conflicts: 614000 | #Constraints: 30289
747.57/749.97 c #Conflicts: 615000 | #Constraints: 31794
747.57/749.97 c #Conflicts: 616000 | #Constraints: 33289
747.57/749.97 c #Conflicts: 617000 | #Constraints: 34784
747.57/749.97 c #Conflicts: 618000 | #Constraints: 36261
747.57/749.97 c #Conflicts: 619000 | #Constraints: 37739
747.57/749.97 c #Conflicts: 620000 | #Constraints: 39245
747.57/749.97 c #Conflicts: 621000 | #Constraints: 40728
747.57/749.97 c #Conflicts: 622000 | #Constraints: 42197
747.57/749.97 c #Conflicts: 623000 | #Constraints: 43685
747.57/749.97 c INPROCESSING
747.57/749.97 c GARBAGE COLLECT
747.57/749.97 c rational objective 0
761.43/763.81 c #Conflicts: 624000 | #Constraints: 23310
761.43/763.81 c #Conflicts: 625000 | #Constraints: 24802
761.43/763.81 c #Conflicts: 626000 | #Constraints: 26262
761.43/763.81 c #Conflicts: 627000 | #Constraints: 27748
761.43/763.81 c #Conflicts: 628000 | #Constraints: 29231
761.43/763.81 c #Conflicts: 629000 | #Constraints: 30723
761.43/763.81 c #Conflicts: 630000 | #Constraints: 32206
761.43/763.81 c #Conflicts: 631000 | #Constraints: 33664
761.43/763.81 c #Conflicts: 632000 | #Constraints: 35141
761.43/763.81 c GLOBAL bounds 3 >= 0 @ 752.418
761.43/763.81 c GLOBAL bounds 3 >= 0 @ 752.419
774.60/777.10 c #Conflicts: 633000 | #Constraints: 36637
774.60/777.10 c #Conflicts: 634000 | #Constraints: 38116
774.60/777.10 c #Conflicts: 635000 | #Constraints: 39614
774.60/777.10 c #Conflicts: 636000 | #Constraints: 41108
774.60/777.10 c #Conflicts: 637000 | #Constraints: 42620
774.60/777.10 c #Conflicts: 638000 | #Constraints: 44106
774.60/777.10 c #Conflicts: 639000 | #Constraints: 45613
774.60/777.10 c INPROCESSING
774.60/777.10 c GARBAGE COLLECT
774.60/777.10 c rational objective 0
803.09/805.64 c #Conflicts: 640000 | #Constraints: 24176
803.09/805.64 c #Conflicts: 641000 | #Constraints: 25678
803.09/805.64 c #Conflicts: 642000 | #Constraints: 27179
803.09/805.64 c #Conflicts: 643000 | #Constraints: 28662
803.09/805.64 c #Conflicts: 644000 | #Constraints: 30151
803.09/805.64 c #Conflicts: 645000 | #Constraints: 31640
803.09/805.64 c #Conflicts: 646000 | #Constraints: 33121
803.09/805.64 c #Conflicts: 647000 | #Constraints: 34605
803.09/805.64 c #Conflicts: 648000 | #Constraints: 36097
803.09/805.64 c #Conflicts: 649000 | #Constraints: 37574
803.09/805.64 c #Conflicts: 650000 | #Constraints: 39073
803.09/805.64 c #Conflicts: 651000 | #Constraints: 40558
803.09/805.64 c #Conflicts: 652000 | #Constraints: 42063
803.09/805.64 c #Conflicts: 653000 | #Constraints: 43552
803.09/805.64 c #Conflicts: 654000 | #Constraints: 45041
803.09/805.64 c #Conflicts: 655000 | #Constraints: 46524
803.09/805.64 c INPROCESSING
803.09/805.64 c GARBAGE COLLECT
803.09/805.64 c rational objective 0
832.70/835.32 c #Conflicts: 656000 | #Constraints: 24604
832.70/835.32 c #Conflicts: 657000 | #Constraints: 26093
832.70/835.32 c #Conflicts: 658000 | #Constraints: 27611
832.70/835.32 c #Conflicts: 659000 | #Constraints: 29090
832.70/835.32 c #Conflicts: 660000 | #Constraints: 30584
832.70/835.32 c #Conflicts: 661000 | #Constraints: 32029
832.70/835.32 c #Conflicts: 662000 | #Constraints: 33370
832.70/835.32 c #Conflicts: 663000 | #Constraints: 34858
832.70/835.32 c #Conflicts: 664000 | #Constraints: 36351
832.70/835.32 c #Conflicts: 665000 | #Constraints: 37838
832.70/835.32 c #Conflicts: 666000 | #Constraints: 39329
832.70/835.32 c #Conflicts: 667000 | #Constraints: 40821
832.70/835.32 c #Conflicts: 668000 | #Constraints: 42276
832.70/835.32 c #Conflicts: 669000 | #Constraints: 43767
832.70/835.32 c #Conflicts: 670000 | #Constraints: 45259
832.70/835.32 c #Conflicts: 671000 | #Constraints: 46758
832.70/835.32 c INPROCESSING
832.70/835.32 c GARBAGE COLLECT
832.70/835.32 c rational objective 0
859.41/862.17 c #Conflicts: 672000 | #Constraints: 24315
859.41/862.17 c #Conflicts: 673000 | #Constraints: 25451
859.41/862.17 c #Conflicts: 674000 | #Constraints: 26707
859.41/862.17 c #Conflicts: 675000 | #Constraints: 27847
859.41/862.17 c #Conflicts: 676000 | #Constraints: 29199
859.41/862.17 c #Conflicts: 677000 | #Constraints: 30203
859.41/862.17 c #Conflicts: 678000 | #Constraints: 31203
859.41/862.17 c #Conflicts: 679000 | #Constraints: 32254
859.41/862.17 c #Conflicts: 680000 | #Constraints: 33254
859.41/862.17 c #Conflicts: 681000 | #Constraints: 34343
859.41/862.17 c #Conflicts: 682000 | #Constraints: 35412
859.41/862.17 c #Conflicts: 683000 | #Constraints: 36555
859.41/862.17 c #Conflicts: 684000 | #Constraints: 37922
859.41/862.17 c #Conflicts: 685000 | #Constraints: 39044
859.41/862.17 c #Conflicts: 686000 | #Constraints: 40072
859.41/862.17 c #Conflicts: 687000 | #Constraints: 41450
859.41/862.17 c #Conflicts: 688000 | #Constraints: 42712
859.41/862.17 c INPROCESSING
859.41/862.17 c GARBAGE COLLECT
859.41/862.17 c rational objective 0
884.32/887.18 c #Conflicts: 689000 | #Constraints: 22291
884.32/887.18 c #Conflicts: 690000 | #Constraints: 23291
884.32/887.18 c #Conflicts: 691000 | #Constraints: 24296
884.32/887.18 c #Conflicts: 692000 | #Constraints: 25662
884.32/887.18 c #Conflicts: 693000 | #Constraints: 27020
884.32/887.18 c #Conflicts: 694000 | #Constraints: 28107
884.32/887.18 c #Conflicts: 695000 | #Constraints: 29463
884.32/887.18 c #Conflicts: 696000 | #Constraints: 30635
884.32/887.18 c #Conflicts: 697000 | #Constraints: 31736
884.32/887.18 c #Conflicts: 698000 | #Constraints: 33010
884.32/887.18 c #Conflicts: 699000 | #Constraints: 34508
884.32/887.18 c #Conflicts: 700000 | #Constraints: 35810
884.32/887.18 c #Conflicts: 701000 | #Constraints: 37304
884.32/887.18 c #Conflicts: 702000 | #Constraints: 38705
884.32/887.18 c #Conflicts: 703000 | #Constraints: 40172
884.32/887.18 c #Conflicts: 704000 | #Constraints: 41208
884.32/887.18 c #Conflicts: 705000 | #Constraints: 42315
884.32/887.18 c INPROCESSING
884.32/887.18 c GARBAGE COLLECT
884.32/887.18 c rational objective 0
907.15/910.00 c #Conflicts: 706000 | #Constraints: 22189
907.15/910.00 c #Conflicts: 707000 | #Constraints: 23189
907.15/910.00 c #Conflicts: 708000 | #Constraints: 24189
907.15/910.00 c #Conflicts: 709000 | #Constraints: 25256
907.15/910.00 c #Conflicts: 710000 | #Constraints: 26347
907.15/910.00 c #Conflicts: 711000 | #Constraints: 27347
907.15/910.00 c #Conflicts: 712000 | #Constraints: 28638
907.15/910.00 c #Conflicts: 713000 | #Constraints: 29729
907.15/910.00 c #Conflicts: 714000 | #Constraints: 30731
907.15/910.00 c #Conflicts: 715000 | #Constraints: 32043
907.15/910.00 c #Conflicts: 716000 | #Constraints: 33253
907.15/910.00 c #Conflicts: 717000 | #Constraints: 34482
907.15/910.00 c #Conflicts: 718000 | #Constraints: 35720
907.15/910.00 c #Conflicts: 719000 | #Constraints: 36720
907.15/910.00 c #Conflicts: 720000 | #Constraints: 37720
907.15/910.00 c #Conflicts: 721000 | #Constraints: 38954
907.15/910.00 c #Conflicts: 722000 | #Constraints: 39965
907.15/910.00 c INPROCESSING
907.15/910.00 c GARBAGE COLLECT
907.15/910.00 c rational objective 0
912.13/915.04 c #Conflicts: 723000 | #Constraints: 21287
912.13/915.04 c #Conflicts: 724000 | #Constraints: 22744
912.13/915.04 c #Conflicts: 725000 | #Constraints: 23985
912.13/915.04 c #Conflicts: 726000 | #Constraints: 25467
912.13/915.04 c GLOBAL bounds 3 >= 0 @ 901.705
912.13/915.04 c GLOBAL bounds 3 >= 0 @ 901.705
933.96/936.92 c #Conflicts: 727000 | #Constraints: 26912
933.96/936.92 c #Conflicts: 728000 | #Constraints: 28356
933.96/936.92 c #Conflicts: 729000 | #Constraints: 29616
933.96/936.92 c #Conflicts: 730000 | #Constraints: 31104
933.96/936.92 c #Conflicts: 731000 | #Constraints: 32601
933.96/936.92 c #Conflicts: 732000 | #Constraints: 33783
933.96/936.92 c #Conflicts: 733000 | #Constraints: 35064
933.96/936.92 c #Conflicts: 734000 | #Constraints: 36540
933.96/936.92 c #Conflicts: 735000 | #Constraints: 38032
933.96/936.92 c #Conflicts: 736000 | #Constraints: 39521
933.96/936.92 c #Conflicts: 737000 | #Constraints: 40933
933.96/936.92 c #Conflicts: 738000 | #Constraints: 42445
933.96/936.92 c #Conflicts: 739000 | #Constraints: 43824
933.96/936.92 c INPROCESSING
933.96/936.92 c GARBAGE COLLECT
933.96/936.92 c rational objective 0
950.61/953.61 c #Conflicts: 740000 | #Constraints: 23117
950.61/953.61 c #Conflicts: 741000 | #Constraints: 24393
950.61/953.61 c #Conflicts: 742000 | #Constraints: 25458
950.61/953.61 c #Conflicts: 743000 | #Constraints: 26636
950.61/953.61 c #Conflicts: 744000 | #Constraints: 27760
950.61/953.61 c #Conflicts: 745000 | #Constraints: 28955
950.61/953.61 c #Conflicts: 746000 | #Constraints: 29955
950.61/953.61 c #Conflicts: 747000 | #Constraints: 30955
950.61/953.61 c #Conflicts: 748000 | #Constraints: 32272
950.61/953.61 c #Conflicts: 749000 | #Constraints: 33711
950.61/953.61 c #Conflicts: 750000 | #Constraints: 35187
950.61/953.61 c #Conflicts: 751000 | #Constraints: 36597
950.61/953.61 c GLOBAL bounds 2 >= 0 @ 939.816
950.61/953.61 c GLOBAL bounds 2 >= 0 @ 939.816
960.18/963.22 c #Conflicts: 752000 | #Constraints: 37673
960.18/963.22 c #Conflicts: 753000 | #Constraints: 38822
960.18/963.22 c #Conflicts: 754000 | #Constraints: 40160
960.18/963.22 c #Conflicts: 755000 | #Constraints: 41266
960.18/963.22 c #Conflicts: 756000 | #Constraints: 42425
960.18/963.22 c INPROCESSING
960.18/963.22 c GARBAGE COLLECT
960.18/963.22 c rational objective 0.00505051
989.19/992.30 c #Conflicts: 757000 | #Constraints: 22025
989.19/992.30 c #Conflicts: 758000 | #Constraints: 23316
989.19/992.30 c #Conflicts: 759000 | #Constraints: 24343
989.19/992.30 c #Conflicts: 760000 | #Constraints: 25608
989.19/992.30 c #Conflicts: 761000 | #Constraints: 26896
989.19/992.30 c #Conflicts: 762000 | #Constraints: 28219
989.19/992.30 c #Conflicts: 763000 | #Constraints: 29716
989.19/992.30 c #Conflicts: 764000 | #Constraints: 30901
989.19/992.30 c #Conflicts: 765000 | #Constraints: 32297
989.19/992.30 c #Conflicts: 766000 | #Constraints: 33786
989.19/992.30 c #Conflicts: 767000 | #Constraints: 35110
989.19/992.30 c #Conflicts: 768000 | #Constraints: 36589
989.19/992.30 c #Conflicts: 769000 | #Constraints: 38047
989.19/992.30 c #Conflicts: 770000 | #Constraints: 39447
989.19/992.30 c #Conflicts: 771000 | #Constraints: 40754
989.19/992.30 c #Conflicts: 772000 | #Constraints: 42139
989.19/992.30 c #Conflicts: 773000 | #Constraints: 43520
989.19/992.30 c #Conflicts: 774000 | #Constraints: 44534
989.19/992.30 c INPROCESSING
989.19/992.30 c GARBAGE COLLECT
989.19/992.30 c rational objective 1
1017.30/1020.55 c #Conflicts: 775000 | #Constraints: 23230
1017.30/1020.55 c #Conflicts: 776000 | #Constraints: 24265
1017.30/1020.55 c #Conflicts: 777000 | #Constraints: 25613
1017.30/1020.55 c #Conflicts: 778000 | #Constraints: 27049
1017.30/1020.55 c #Conflicts: 779000 | #Constraints: 28326
1017.30/1020.55 c #Conflicts: 780000 | #Constraints: 29642
1017.30/1020.55 c #Conflicts: 781000 | #Constraints: 31146
1017.30/1020.55 c #Conflicts: 782000 | #Constraints: 32638
1017.30/1020.55 c #Conflicts: 783000 | #Constraints: 33728
1017.30/1020.55 c #Conflicts: 784000 | #Constraints: 34893
1017.30/1020.55 c #Conflicts: 785000 | #Constraints: 35893
1017.30/1020.55 c #Conflicts: 786000 | #Constraints: 37112
1017.30/1020.55 c #Conflicts: 787000 | #Constraints: 38214
1017.30/1020.55 c #Conflicts: 788000 | #Constraints: 39441
1017.30/1020.55 c #Conflicts: 789000 | #Constraints: 40859
1017.30/1020.55 c #Conflicts: 790000 | #Constraints: 42050
1017.30/1020.55 c #Conflicts: 791000 | #Constraints: 43331
1017.30/1020.55 c #Conflicts: 792000 | #Constraints: 44406
1017.30/1020.55 c INPROCESSING
1017.30/1020.55 c GARBAGE COLLECT
1017.30/1020.55 c rational objective 1
1052.69/1056.04 c #Conflicts: 793000 | #Constraints: 23488
1052.69/1056.04 c #Conflicts: 794000 | #Constraints: 24745
1052.69/1056.04 c #Conflicts: 795000 | #Constraints: 25856
1052.69/1056.04 c #Conflicts: 796000 | #Constraints: 27249
1052.69/1056.04 c #Conflicts: 797000 | #Constraints: 28521
1052.69/1056.04 c #Conflicts: 798000 | #Constraints: 29837
1052.69/1056.04 c #Conflicts: 799000 | #Constraints: 31302
1052.69/1056.04 c #Conflicts: 800000 | #Constraints: 32749
1052.69/1056.04 c #Conflicts: 801000 | #Constraints: 34246
1052.69/1056.04 c #Conflicts: 802000 | #Constraints: 35580
1052.69/1056.04 c #Conflicts: 803000 | #Constraints: 36940
1052.69/1056.04 c #Conflicts: 804000 | #Constraints: 38115
1052.69/1056.04 c #Conflicts: 805000 | #Constraints: 39533
1052.69/1056.04 c #Conflicts: 806000 | #Constraints: 41013
1052.69/1056.04 c #Conflicts: 807000 | #Constraints: 42501
1052.69/1056.04 c #Conflicts: 808000 | #Constraints: 43940
1052.69/1056.04 c #Conflicts: 809000 | #Constraints: 45208
1052.69/1056.04 c #Conflicts: 810000 | #Constraints: 46692
1052.69/1056.04 c INPROCESSING
1052.69/1056.04 c GARBAGE COLLECT
1052.69/1056.04 c rational objective 1
1085.78/1089.23 c #Conflicts: 811000 | #Constraints: 24600
1085.78/1089.23 c #Conflicts: 812000 | #Constraints: 25924
1085.78/1089.23 c #Conflicts: 813000 | #Constraints: 27307
1085.78/1089.23 c #Conflicts: 814000 | #Constraints: 28528
1085.78/1089.23 c #Conflicts: 815000 | #Constraints: 29923
1085.78/1089.23 c #Conflicts: 816000 | #Constraints: 31076
1085.78/1089.23 c #Conflicts: 817000 | #Constraints: 32417
1085.78/1089.23 c #Conflicts: 818000 | #Constraints: 33868
1085.78/1089.23 c #Conflicts: 819000 | #Constraints: 35134
1085.78/1089.23 c #Conflicts: 820000 | #Constraints: 36560
1085.78/1089.23 c #Conflicts: 821000 | #Constraints: 37700
1085.78/1089.23 c #Conflicts: 822000 | #Constraints: 38723
1085.78/1089.23 c #Conflicts: 823000 | #Constraints: 40177
1085.78/1089.23 c #Conflicts: 824000 | #Constraints: 41364
1085.78/1089.23 c #Conflicts: 825000 | #Constraints: 42623
1085.78/1089.23 c #Conflicts: 826000 | #Constraints: 43701
1085.78/1089.23 c #Conflicts: 827000 | #Constraints: 45005
1085.78/1089.23 c #Conflicts: 828000 | #Constraints: 46487
1085.78/1089.23 c INPROCESSING
1085.78/1089.23 c GARBAGE COLLECT
1085.78/1089.23 c rational objective 1
1117.68/1121.28 c #Conflicts: 829000 | #Constraints: 24542
1117.68/1121.28 c #Conflicts: 830000 | #Constraints: 26022
1117.68/1121.28 c #Conflicts: 831000 | #Constraints: 27488
1117.68/1121.28 c #Conflicts: 832000 | #Constraints: 28647
1117.68/1121.28 c #Conflicts: 833000 | #Constraints: 29938
1117.68/1121.28 c #Conflicts: 834000 | #Constraints: 30938
1117.68/1121.28 c #Conflicts: 835000 | #Constraints: 32257
1117.68/1121.28 c #Conflicts: 836000 | #Constraints: 33549
1117.68/1121.28 c #Conflicts: 837000 | #Constraints: 34703
1117.68/1121.28 c #Conflicts: 838000 | #Constraints: 36163
1117.68/1121.28 c #Conflicts: 839000 | #Constraints: 37585
1117.68/1121.28 c #Conflicts: 840000 | #Constraints: 39086
1117.68/1121.28 c #Conflicts: 841000 | #Constraints: 40571
1117.68/1121.28 c #Conflicts: 842000 | #Constraints: 41806
1117.68/1121.28 c #Conflicts: 843000 | #Constraints: 43179
1117.68/1121.28 c #Conflicts: 844000 | #Constraints: 44681
1117.68/1121.28 c #Conflicts: 845000 | #Constraints: 45758
1117.68/1121.28 c #Conflicts: 846000 | #Constraints: 47221
1117.68/1121.28 c INPROCESSING
1117.68/1121.28 c GARBAGE COLLECT
1117.68/1121.28 c rational objective 1
1155.64/1159.30 c #Conflicts: 847000 | #Constraints: 24645
1155.64/1159.30 c #Conflicts: 848000 | #Constraints: 26139
1155.64/1159.30 c #Conflicts: 849000 | #Constraints: 27639
1155.64/1159.30 c #Conflicts: 850000 | #Constraints: 29139
1155.64/1159.30 c #Conflicts: 851000 | #Constraints: 30634
1155.64/1159.30 c #Conflicts: 852000 | #Constraints: 32071
1155.64/1159.30 c #Conflicts: 853000 | #Constraints: 33554
1155.64/1159.30 c #Conflicts: 854000 | #Constraints: 35022
1155.64/1159.30 c #Conflicts: 855000 | #Constraints: 36484
1155.64/1159.30 c #Conflicts: 856000 | #Constraints: 37728
1155.64/1159.30 c #Conflicts: 857000 | #Constraints: 39218
1155.64/1159.30 c #Conflicts: 858000 | #Constraints: 40678
1155.64/1159.30 c #Conflicts: 859000 | #Constraints: 42157
1155.64/1159.30 c #Conflicts: 860000 | #Constraints: 43528
1155.64/1159.30 c #Conflicts: 861000 | #Constraints: 45007
1155.64/1159.30 c GLOBAL bounds 2 >= 0 @ 1143.09
1155.64/1159.30 c GLOBAL bounds 2 >= 0 @ 1143.09
1169.19/1172.95 c #Conflicts: 862000 | #Constraints: 46499
1169.19/1172.95 c #Conflicts: 863000 | #Constraints: 47545
1169.19/1172.95 c #Conflicts: 864000 | #Constraints: 49042
1169.19/1172.95 c #Conflicts: 865000 | #Constraints: 50524
1169.19/1172.95 c INPROCESSING
1169.19/1172.95 c GARBAGE COLLECT
1169.19/1172.95 c rational objective 1
1212.04/1215.93 c #Conflicts: 866000 | #Constraints: 26502
1212.04/1215.93 c #Conflicts: 867000 | #Constraints: 27826
1212.04/1215.93 c #Conflicts: 868000 | #Constraints: 29303
1212.04/1215.93 c #Conflicts: 869000 | #Constraints: 30804
1212.04/1215.93 c #Conflicts: 870000 | #Constraints: 31971
1212.04/1215.93 c #Conflicts: 871000 | #Constraints: 33410
1212.04/1215.93 c #Conflicts: 872000 | #Constraints: 34889
1212.04/1215.93 c #Conflicts: 873000 | #Constraints: 36372
1212.04/1215.93 c #Conflicts: 874000 | #Constraints: 37859
1212.04/1215.93 c #Conflicts: 875000 | #Constraints: 38998
1212.04/1215.93 c #Conflicts: 876000 | #Constraints: 40101
1212.04/1215.93 c #Conflicts: 877000 | #Constraints: 41469
1212.04/1215.93 c #Conflicts: 878000 | #Constraints: 42949
1212.04/1215.93 c #Conflicts: 879000 | #Constraints: 44439
1212.04/1215.93 c #Conflicts: 880000 | #Constraints: 45439
1212.04/1215.93 c #Conflicts: 881000 | #Constraints: 46760
1212.04/1215.93 c #Conflicts: 882000 | #Constraints: 47833
1212.04/1215.93 c #Conflicts: 883000 | #Constraints: 49100
1212.04/1215.93 c #Conflicts: 884000 | #Constraints: 50217
1212.04/1215.93 c INPROCESSING
1212.04/1215.93 c GARBAGE COLLECT
1212.04/1215.93 c rational objective 1
1243.65/1247.63 c #Conflicts: 885000 | #Constraints: 26349
1243.65/1247.63 c #Conflicts: 886000 | #Constraints: 27480
1243.65/1247.63 c #Conflicts: 887000 | #Constraints: 28717
1243.65/1247.63 c #Conflicts: 888000 | #Constraints: 29898
1243.65/1247.63 c #Conflicts: 889000 | #Constraints: 31032
1243.65/1247.63 c #Conflicts: 890000 | #Constraints: 32105
1243.65/1247.63 c #Conflicts: 891000 | #Constraints: 33386
1243.65/1247.63 c #Conflicts: 892000 | #Constraints: 34676
1243.65/1247.63 c #Conflicts: 893000 | #Constraints: 35762
1243.65/1247.63 c #Conflicts: 894000 | #Constraints: 36762
1243.65/1247.63 c #Conflicts: 895000 | #Constraints: 37780
1243.65/1247.63 c #Conflicts: 896000 | #Constraints: 38993
1243.65/1247.63 c #Conflicts: 897000 | #Constraints: 40263
1243.65/1247.63 c #Conflicts: 898000 | #Constraints: 41518
1243.65/1247.63 c #Conflicts: 899000 | #Constraints: 42730
1243.65/1247.63 c #Conflicts: 900000 | #Constraints: 43844
1243.65/1247.63 c #Conflicts: 901000 | #Constraints: 45151
1243.65/1247.63 c #Conflicts: 902000 | #Constraints: 46388
1243.65/1247.63 c #Conflicts: 903000 | #Constraints: 47737
1243.65/1247.63 c INPROCESSING
1243.65/1247.63 c GARBAGE COLLECT
1243.65/1247.63 c rational objective 1
1276.63/1280.73 c #Conflicts: 904000 | #Constraints: 25344
1276.63/1280.73 c #Conflicts: 905000 | #Constraints: 26478
1276.63/1280.73 c #Conflicts: 906000 | #Constraints: 27587
1276.63/1280.73 c #Conflicts: 907000 | #Constraints: 28931
1276.63/1280.73 c #Conflicts: 908000 | #Constraints: 30001
1276.63/1280.73 c #Conflicts: 909000 | #Constraints: 31053
1276.63/1280.73 c #Conflicts: 910000 | #Constraints: 32382
1276.63/1280.73 c #Conflicts: 911000 | #Constraints: 33865
1276.63/1280.73 c #Conflicts: 912000 | #Constraints: 35215
1276.63/1280.73 c #Conflicts: 913000 | #Constraints: 36638
1276.63/1280.73 c #Conflicts: 914000 | #Constraints: 37851
1276.63/1280.73 c #Conflicts: 915000 | #Constraints: 39264
1276.63/1280.73 c #Conflicts: 916000 | #Constraints: 40314
1276.63/1280.73 c #Conflicts: 917000 | #Constraints: 41663
1276.63/1280.73 c #Conflicts: 918000 | #Constraints: 42973
1276.63/1280.73 c #Conflicts: 919000 | #Constraints: 44108
1276.63/1280.73 c #Conflicts: 920000 | #Constraints: 45309
1276.63/1280.73 c #Conflicts: 921000 | #Constraints: 46626
1276.63/1280.73 c #Conflicts: 922000 | #Constraints: 47810
1276.63/1280.73 c INPROCESSING
1276.63/1280.73 c GARBAGE COLLECT
1276.63/1280.73 c rational objective 1
1311.41/1315.66 c #Conflicts: 923000 | #Constraints: 24875
1311.41/1315.66 c #Conflicts: 924000 | #Constraints: 25875
1311.41/1315.66 c #Conflicts: 925000 | #Constraints: 27058
1311.41/1315.66 c #Conflicts: 926000 | #Constraints: 28487
1311.41/1315.66 c #Conflicts: 927000 | #Constraints: 29701
1311.41/1315.66 c #Conflicts: 928000 | #Constraints: 31150
1311.41/1315.66 c #Conflicts: 929000 | #Constraints: 32638
1311.41/1315.66 c #Conflicts: 930000 | #Constraints: 34118
1311.41/1315.66 c #Conflicts: 931000 | #Constraints: 35318
1311.41/1315.66 c #Conflicts: 932000 | #Constraints: 36693
1311.41/1315.66 c #Conflicts: 933000 | #Constraints: 38161
1311.41/1315.66 c #Conflicts: 934000 | #Constraints: 39644
1311.41/1315.66 c #Conflicts: 935000 | #Constraints: 41064
1311.41/1315.66 c #Conflicts: 936000 | #Constraints: 42493
1311.41/1315.66 c #Conflicts: 937000 | #Constraints: 43975
1311.41/1315.66 c #Conflicts: 938000 | #Constraints: 45462
1311.41/1315.66 c #Conflicts: 939000 | #Constraints: 46867
1311.41/1315.66 c #Conflicts: 940000 | #Constraints: 48272
1311.41/1315.66 c #Conflicts: 941000 | #Constraints: 49710
1311.41/1315.66 c INPROCESSING
1311.41/1315.66 c GARBAGE COLLECT
1311.41/1315.66 c rational objective 1
1333.13/1337.41 c #Conflicts: 942000 | #Constraints: 25665
1333.13/1337.41 c #Conflicts: 943000 | #Constraints: 27053
1333.13/1337.41 c #Conflicts: 944000 | #Constraints: 28530
1333.13/1337.41 c #Conflicts: 945000 | #Constraints: 29976
1333.13/1337.41 c #Conflicts: 946000 | #Constraints: 31311
1333.13/1337.41 c #Conflicts: 947000 | #Constraints: 32377
1333.13/1337.41 c #Conflicts: 948000 | #Constraints: 33527
1333.13/1337.41 c #Conflicts: 949000 | #Constraints: 34950
1333.13/1337.41 c #Conflicts: 950000 | #Constraints: 36425
1333.13/1337.41 c #Conflicts: 951000 | #Constraints: 37790
1333.13/1337.41 c #Conflicts: 952000 | #Constraints: 38993
1333.13/1337.41 c #Conflicts: 953000 | #Constraints: 40455
1333.13/1337.41 c #Conflicts: 954000 | #Constraints: 41701
1333.13/1337.41 c GLOBAL bounds 2 >= 0 @ 1319.07
1333.13/1337.42 c GLOBAL bounds 2 >= 0 @ 1319.07
1348.48/1352.84 c #Conflicts: 955000 | #Constraints: 43137
1348.48/1352.84 c #Conflicts: 956000 | #Constraints: 44607
1348.48/1352.84 c #Conflicts: 957000 | #Constraints: 46122
1348.48/1352.84 c #Conflicts: 958000 | #Constraints: 47323
1348.48/1352.84 c #Conflicts: 959000 | #Constraints: 48583
1348.48/1352.84 c #Conflicts: 960000 | #Constraints: 50034
1348.48/1352.84 c #Conflicts: 961000 | #Constraints: 51470
1348.48/1352.84 c INPROCESSING
1348.48/1352.84 c GARBAGE COLLECT
1348.48/1352.84 c rational objective 1
1385.26/1389.78 c #Conflicts: 962000 | #Constraints: 27071
1385.26/1389.78 c #Conflicts: 963000 | #Constraints: 28476
1385.26/1389.78 c #Conflicts: 964000 | #Constraints: 29973
1385.26/1389.78 c #Conflicts: 965000 | #Constraints: 31469
1385.26/1389.78 c #Conflicts: 966000 | #Constraints: 32957
1385.26/1389.78 c #Conflicts: 967000 | #Constraints: 34465
1385.26/1389.78 c #Conflicts: 968000 | #Constraints: 35889
1385.26/1389.78 c #Conflicts: 969000 | #Constraints: 37220
1385.26/1389.78 c #Conflicts: 970000 | #Constraints: 38711
1385.26/1389.78 c #Conflicts: 971000 | #Constraints: 40170
1385.26/1389.78 c #Conflicts: 972000 | #Constraints: 41491
1385.26/1389.78 c #Conflicts: 973000 | #Constraints: 42821
1385.26/1389.78 c #Conflicts: 974000 | #Constraints: 44300
1385.26/1389.78 c #Conflicts: 975000 | #Constraints: 45804
1385.26/1389.78 c #Conflicts: 976000 | #Constraints: 47296
1385.26/1389.78 c #Conflicts: 977000 | #Constraints: 48790
1385.26/1389.78 c #Conflicts: 978000 | #Constraints: 50264
1385.26/1389.78 c #Conflicts: 979000 | #Constraints: 51761
1385.26/1389.78 c #Conflicts: 980000 | #Constraints: 53269
1385.26/1389.78 c #Conflicts: 981000 | #Constraints: 54753
1385.26/1389.78 c INPROCESSING
1385.26/1389.78 c GARBAGE COLLECT
1385.26/1389.78 c rational objective 1
1389.45/1393.90 c #Conflicts: 982000 | #Constraints: 28879
1389.45/1393.90 c #Conflicts: 983000 | #Constraints: 30370
1389.45/1393.90 c GLOBAL bounds 2 >= 0 @ 1374.96
1389.45/1393.90 c GLOBAL bounds 2 >= 0 @ 1374.96
1423.55/1428.15 c #Conflicts: 984000 | #Constraints: 31873
1423.55/1428.15 c #Conflicts: 985000 | #Constraints: 33370
1423.55/1428.15 c #Conflicts: 986000 | #Constraints: 34876
1423.55/1428.15 c #Conflicts: 987000 | #Constraints: 36356
1423.55/1428.15 c #Conflicts: 988000 | #Constraints: 37844
1423.55/1428.15 c #Conflicts: 989000 | #Constraints: 39342
1423.55/1428.15 c #Conflicts: 990000 | #Constraints: 40838
1423.55/1428.15 c #Conflicts: 991000 | #Constraints: 42349
1423.55/1428.15 c #Conflicts: 992000 | #Constraints: 43841
1423.55/1428.15 c #Conflicts: 993000 | #Constraints: 45344
1423.55/1428.15 c #Conflicts: 994000 | #Constraints: 46846
1423.55/1428.15 c #Conflicts: 995000 | #Constraints: 48331
1423.55/1428.15 c #Conflicts: 996000 | #Constraints: 49835
1423.55/1428.15 c #Conflicts: 997000 | #Constraints: 51339
1423.55/1428.15 c #Conflicts: 998000 | #Constraints: 52834
1423.55/1428.15 c #Conflicts: 999000 | #Constraints: 54314
1423.55/1428.15 c #Conflicts: 1000000 | #Constraints: 55836
1423.55/1428.15 c #Conflicts: 1001000 | #Constraints: 57330
1423.55/1428.15 c INPROCESSING
1423.55/1428.15 c GARBAGE COLLECT
1423.55/1428.15 c rational objective 1
1448.24/1452.92 c #Conflicts: 1002000 | #Constraints: 30161
1448.24/1452.92 c #Conflicts: 1003000 | #Constraints: 31660
1448.24/1452.92 c #Conflicts: 1004000 | #Constraints: 33144
1448.24/1452.92 c #Conflicts: 1005000 | #Constraints: 34649
1448.24/1452.92 c #Conflicts: 1006000 | #Constraints: 36147
1448.24/1452.92 c #Conflicts: 1007000 | #Constraints: 37633
1448.24/1452.92 c #Conflicts: 1008000 | #Constraints: 39119
1448.24/1452.92 c #Conflicts: 1009000 | #Constraints: 40614
1448.24/1452.92 c #Conflicts: 1010000 | #Constraints: 42094
1448.24/1452.92 c #Conflicts: 1011000 | #Constraints: 43590
1448.24/1452.92 c #Conflicts: 1012000 | #Constraints: 45090
1448.24/1452.92 c #Conflicts: 1013000 | #Constraints: 46525
1448.24/1452.92 c Inconsistent constraint found
1448.24/1452.92 c cpu time 1433.33 s
1448.24/1452.92 c deterministic time 161988700529 1.62e+11
1448.24/1452.92 c optimization time 0.003048 s
1448.24/1452.92 c total solve time 1433.33 s
1448.24/1452.92 c core-guided solve time 0 s
1448.24/1452.92 c propagation time 1199.33 s
1448.24/1452.92 c conflict analysis time 210.223 s
1448.24/1452.92 c propagations 12210509
1448.24/1452.92 c resolve steps 6253361
1448.24/1452.92 c decisions 1225226
1448.24/1452.92 c conflicts 1013055
1448.24/1452.92 c restarts 2045
1448.24/1452.92 c inprocessing phases 91
1448.24/1452.92 c garbage collections 91 ,( 100.00 )
1448.24/1452.92 c input clauses 9 ,( 52.94 )
1448.24/1452.92 c input cardinalities 0 ,( 0.00 )
1448.24/1452.92 c input general constraints 8 ,( 47.06 )
1448.24/1452.92 c input average constraint length 54.71
1448.24/1452.92 c input average constraint degree 486.18
1448.24/1452.92 c learned clauses 534223 ,( 38.61 )
1448.24/1452.92 c learned cardinalities 0 ,( 0.00 )
1448.24/1452.92 c learned general constraints 849538 ,( 61.39 )
1448.24/1452.92 c learned average constraint length 77.05
1448.24/1452.92 c learned average constraint degree 1634075060.51
1448.24/1452.92 c watched CF 32, 64, 128, Arb: 260584 , 0 , 0 , 0
1448.24/1452.92 c counting CF 32, 64, 128, Arb: 588963 , 0 , 0 , 0
1448.24/1452.92 c watched constraints 260584 ,( 30.67 )
1448.24/1452.92 c counting constraints 588962 ,( 69.33 )
1448.24/1452.92 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 67693751 , 0 , 19769744079 ,( 58219230 , 19711524849 )
1448.24/1452.92 c gcd simplifications 521135
1448.24/1452.92 c detected cardinalities 0
1448.24/1452.92 c weakened non-implied lits 13010170
1448.24/1452.92 c weakened non-implying lits 1249695
1448.24/1452.92 c original variables 94
1448.24/1452.92 c clausal propagations 89184
1448.24/1452.92 c cardinality propagations 0
1448.24/1452.92 c watched propagations 26025
1448.24/1452.92 c counting propagations 11073508
1448.24/1452.92 c watch lookups 43400184647
1448.24/1452.92 c watch backjump lookups 0
1448.24/1452.92 c watch checks 2129417632
1448.24/1452.92 c propagation checks 115848124118
1448.24/1452.92 c constraint additions 582430737
1448.24/1452.92 c trail pops 14448765
1448.24/1452.92 c formula constraints 8
1448.24/1452.92 c learned constraints 1013029
1448.24/1452.92 c bound constraints 0
1448.24/1452.92 c core-guided constraints 0
1448.24/1452.92 c encountered formula constraints 334271
1448.24/1452.92 c encountered learned constraints 1409623
1448.24/1452.92 c encountered bound constraints 0
1448.24/1452.92 c encountered core-guided constraints 0
1448.24/1452.92 c LP total time 41.3023 s
1448.24/1452.92 c LP solve time 18.93 s
1448.24/1452.92 c LP constraints added 100
1448.24/1452.92 c LP constraints removed 89
1448.24/1452.92 c LP pivots internal 657979
1448.24/1452.92 c LP pivots root 915
1448.24/1452.92 c LP calls 495681
1448.24/1452.92 c LP optimalities 125052
1448.24/1452.92 c LP no pivot count 12235
1448.24/1452.92 c LP infeasibilities 370627
1448.24/1452.92 c LP valid Farkas constraints 370624
1448.24/1452.92 c LP learned Farkas constraints 25
1448.24/1452.92 c LP basis resets 2
1448.24/1452.92 c LP cycling count 0
1448.24/1452.92 c LP singular count 2
1448.24/1452.92 c LP no primal count 0
1448.24/1452.92 c LP no farkas count 0
1448.24/1452.92 c LP other issue count 0
1448.24/1452.92 c LP Gomory cuts 83
1448.24/1452.92 c LP learned cuts 9
1448.24/1452.92 c LP deleted cuts 89
1448.24/1452.92 c LP encountered Gomory constraints 1258
1448.24/1452.92 c LP encountered Farkas constraints 5217863
1448.24/1452.92 c LP encountered learned Farkas constraints 303376
1448.24/1452.92 c CG auxiliary variables introduced 5
1448.24/1452.92 c CG solutions found 2
1448.24/1452.92 c CG cores constructed 10
1448.24/1452.92 c CG core cardinality constraints returned 0
1448.24/1452.92 c CG unit cores 0
1448.24/1452.92 c CG single cores 0
1448.24/1452.92 c CG blocks removed during cardinality reduction 0
1448.24/1452.92 c CG first core best 0
1448.24/1452.92 c CG decision core best 0
1448.24/1452.92 c CG core reduction tie 0
1448.24/1452.92 c CG core degree average 0.00
1448.24/1452.92 c CG core slack average 0.00
1448.24/1452.92 c CG core upper bound improvements 0
1448.24/1452.92 c STR number of successful calls 0
1448.24/1452.92 c STR number of unsuccessful calls 0
1448.24/1452.92 c STR number of inconclusive calls 0
1448.24/1452.92 c STR number of successful attempts 0
1448.24/1452.92 c STR number of unsuccessful attempts 0
1448.24/1452.92 c STR number of inconclusive attempts 0
1448.24/1452.92 c STR average degree increase per successful call inf
1448.24/1452.92 c STR average degree increase per successful attempt inf
1448.24/1452.92 c STR total number of conflicts for successful attempts 0
1448.24/1452.92 c STR total number of conflicts for unsuccessful attempts 0
1448.24/1452.92 c STR total number of conflicts for inconclusive attempts 0
1448.24/1452.92 c STR average number of conflicts per successful attempt inf
1448.24/1452.92 c STR average number of conflicts per unsuccessful attempt inf
1448.24/1452.92 c STR average number of conflicts per inconclusive attempt inf
1448.24/1452.92 c AVG.sumWPerc 60.39
1448.24/1452.92 c bigint constraints 0
1448.24/1452.92 o 2
1448.24/1452.92 s OPTIMUM FOUND
1448.24/1452.93 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
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: 63708 MiB (62076 MiB free)
memory of node 1: 64465 MiB (56288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490289-1751365936/watcher-4490289-1751365936 -o /tmp/evaluation-result-4490289-1751365936/solver-4490289-1751365936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52187 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490289-1751365936.opb PROOFDIR/proof-4490289-1751365936
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=52952, runsolver pid=52949
[startup+0.100058 s]*
/proc/loadavg: 4.05 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121193800/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=60432 memory=12976 CPUtime=0.07 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 609 0 0 0 7 0 0 0 20 0 1 0 52270225 61882368 3244 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 15108 3244 2368 1147 0 2535 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64624 KiB
Current children cumulated memory: 15920 KiB
[startup+0.205711 s]*
/proc/loadavg: 4.05 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121185736/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=60964 memory=13488 CPUtime=0.17 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 738 0 0 0 16 1 0 0 20 0 1 0 52270225 62427136 3372 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 15241 3372 2368 1147 0 2668 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 65156 KiB
Current children cumulated memory: 16432 KiB
[startup+0.305333 s]*
/proc/loadavg: 4.05 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121185736/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=61524 memory=13872 CPUtime=0.28 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 843 0 0 0 26 2 0 0 20 0 1 0 52270225 63000576 3468 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 15381 3468 2368 1147 0 2808 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65716 KiB
Current children cumulated memory: 16816 KiB
[startup+0.700142 s]
/proc/loadavg: 4.05 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121185736/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=62524 memory=14896 CPUtime=0.67 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 1089 0 0 0 63 4 0 0 20 0 1 0 52270225 64024576 3724 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 15631 3724 2368 1147 0 3058 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 66716 KiB
Current children cumulated memory: 17840 KiB
[startup+1.50014 s]
/proc/loadavg: 4.05 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121176916/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=63804 memory=16048 CPUtime=1.46 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 1373 0 0 0 139 7 0 0 20 0 1 0 52270225 65335296 4012 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 15951 4012 2368 1147 0 3378 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 67996 KiB
Current children cumulated memory: 18992 KiB
[startup+3.10556 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121130212/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=68492 memory=22104 CPUtime=3.07 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 2389 0 0 0 295 12 0 0 20 0 1 0 52270225 70135808 5526 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 17123 5526 2368 1147 0 4550 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 72684 KiB
Current children cumulated memory: 25048 KiB
[startup+6.30016 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 52954
/proc/meminfo: memFree=121077692/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=74008 memory=24792 CPUtime=6.24 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 3059 0 0 0 604 20 0 0 20 0 1 0 52270225 75784192 6198 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 18502 6198 2368 1147 0 5929 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 78200 KiB
Current children cumulated memory: 27736 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 52954
/proc/meminfo: memFree=120979912/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=78264 memory=29272 CPUtime=12.62 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 4164 0 0 0 1227 35 0 0 20 0 1 0 52270225 80142336 7318 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 19566 7318 2368 1147 0 6993 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 82456 KiB
Current children cumulated memory: 32216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.08 5/273 52954
/proc/meminfo: memFree=120715156/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=80576 memory=31704 CPUtime=25.39 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 4736 0 0 0 2475 64 0 0 20 0 1 0 52270225 82509824 7926 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 20144 7926 2432 1147 0 7571 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 84768 KiB
Current children cumulated memory: 34648 KiB
[startup+51.1058 s]
/proc/loadavg: 4.06 4.08 4.08 5/273 52956
/proc/meminfo: memFree=120268412/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=90680 memory=39464 CPUtime=50.93 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 6559 0 0 0 4984 109 0 0 20 0 1 0 52270225 92856320 9866 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 22670 9866 2464 1147 0 10097 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 94872 KiB
Current children cumulated memory: 42408 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/273 52957
/proc/meminfo: memFree=119683920/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=105796 memory=49816 CPUtime=101.97 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 9331 0 0 0 10012 185 0 0 20 0 1 0 52270225 108335104 12454 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 26449 12454 2464 1147 0 13876 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 52760 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.14 4.10 5/273 52960
/proc/meminfo: memFree=119011200/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=111336 memory=55908 CPUtime=161.79 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 11333 0 0 0 15905 274 0 0 20 0 1 0 52270225 114008064 13977 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 27834 13977 2464 1147 0 15261 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 115528 KiB
Current children cumulated memory: 58852 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/273 52962
/proc/meminfo: memFree=118334344/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=112744 memory=58636 CPUtime=221.63 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 12254 0 0 0 21816 347 0 0 20 0 1 0 52270225 115449856 14659 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 28186 14659 2464 1147 0 15613 0
################
# More data... #
################
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 24393 0 0 0 122512 1324 0 0 20 0 1 0 52270225 163004416 25106 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 39796 25106 2464 1147 0 27223 0
Current children cumulated CPU time: 1238.36 s
Current children cumulated vsize: 163376 KiB
Current children cumulated memory: 103368 KiB
[startup+1302.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/273 53019
/proc/meminfo: memFree=107723448/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=159696 memory=100560 CPUtime=1298.15 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 24844 0 0 0 128437 1378 0 0 20 0 1 0 52270225 163528704 25140 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 39924 25140 2464 1147 0 27351 0
Current children cumulated CPU time: 1298.15 s
Current children cumulated vsize: 163888 KiB
Current children cumulated memory: 103504 KiB
[startup+1362.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/274 53022
/proc/meminfo: memFree=107177668/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=160536 memory=101052 CPUtime=1357.95 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 25357 0 0 0 134366 1429 0 0 20 0 1 0 52270225 164388864 25263 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40134 25263 2464 1147 0 27561 0
Current children cumulated CPU time: 1357.95 s
Current children cumulated vsize: 164728 KiB
Current children cumulated memory: 103996 KiB
[startup+1422.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/274 53024
/proc/meminfo: memFree=106691456/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=162516 memory=105288 CPUtime=1417.75 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 26518 0 0 0 140306 1469 0 0 20 0 1 0 52270225 166416384 26322 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40629 26322 2464 1147 0 28056 0
Current children cumulated CPU time: 1417.75 s
Current children cumulated vsize: 166708 KiB
Current children cumulated memory: 108232 KiB
[startup+1452.94 s]
# the end of solver process 52952 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1433.33 s, system=14.9558 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 4.09 4.15 4.11 5/274 53024
/proc/meminfo: memFree=106591640/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163612 memory=108048 CPUtime=1429.02 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 26973 0 0 0 141423 1479 0 0 20 0 1 0 52270225 167538688 27012 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40903 27012 2464 1147 0 28330 0
Current children cumulated CPU time: 1429.02 s
Current children cumulated vsize: 167804 KiB
Current children cumulated memory: 110992 KiB
[startup+1446.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106488960/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1441.78 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27046 0 0 0 142688 1490 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1441.78 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
[startup+1449.6 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106477624/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1444.97 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27055 0 0 0 143004 1493 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1444.97 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
[startup+1451.2 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106477624/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1446.55 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27058 0 0 0 143162 1493 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1446.55 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
[startup+1452 s]*
/proc/loadavg: 4.13 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106475556/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1447.36 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27062 0 0 0 143242 1494 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1447.36 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
[startup+1452.4 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106475556/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1447.75 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27062 0 0 0 143281 1494 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1447.75 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
[startup+1452.8 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106475556/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1448.15 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27062 0 0 0 143321 1494 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1448.15 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
[startup+1452.9 s]
/proc/loadavg: 4.13 4.16 4.11 5/274 53027
/proc/meminfo: memFree=106475556/131250000 swapFree=33010684/33010684
[pid=52952] ppid=52949 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52952/stat : 52952 (run-opt-log.sh) S 52949 52952 52176 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52270224 4292608 736 18446744073709551615 94798041214976 94798042109509 140729860119696 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94798042348560 94798042396304 94798045261824 140729860127009 140729860127204 140729860127204 140729860132806 0
/proc/52952/statm: 1048 736 672 219 0 110 0
[pid=52954] ppid=52952 vsize=163868 memory=107980 CPUtime=1448.24 cores=4,6
/proc/52954/stat : 52954 (roundingsat) R 52952 52952 52176 0 -1 4194304 27062 0 0 0 143330 1494 0 0 20 0 1 0 52270225 167800832 26995 18446744073709551615 4227072 8923433 140727495196160 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40243200 140727495203154 140727495203368 140727495203368 140727495208938 0
/proc/52954/statm: 40967 26995 2464 1147 0 28394 0
Current children cumulated CPU time: 1448.24 s
Current children cumulated vsize: 168060 KiB
Current children cumulated memory: 110924 KiB
Child status: 0
Real time (s): 1452.94
CPU time (s): 1448.29
CPU user time (s): 1433.33
CPU system time (s): 14.9558
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 168060
Max. memory (cumulated for all children) (KiB): 111060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1433.33
system time used= 14.9558
maximum resident set size= 108372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7735104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 479
involuntary context switches= 2095
# summary of solver processes directly reported to runsolver:
# pid: 52952
# total CPU time (s): 1448.29
# total CPU user time (s): 1433.33
# total CPU system time (s): 14.9558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.10222 second user time and 6.67517 second system time
The end
Begin job on nodeC014 at 2025-07-01 12:32:16
IDJOB=4490289
IDBENCH=147577
IDSOLVER=3351
FILE ID=nodeC014/4490289-1751365936
RUNJOBID= nodeC014-1751361783-52187
SLURM_JOB_ID= 9598173
Free space on /tmp= 432916 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490289-1751365936/watcher-4490289-1751365936 -o /tmp/evaluation-result-4490289-1751365936/solver-4490289-1751365936 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52187 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4490289-1751365936.opb PROOFDIR/proof-4490289-1751365936
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86001821498b0a30bc65df6451678f5a
RANDOM SEED=460467166
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.457
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.942
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.790
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.239
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121205960 kB
MemAvailable: 127685692 kB
Buffers: 3280 kB
Cached: 7279460 kB
SwapCached: 0 kB
Active: 2415372 kB
Inactive: 7022624 kB
Active(anon): 2173404 kB
Inactive(anon): 0 kB
Active(file): 241968 kB
Inactive(file): 7022624 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 195216 kB
Writeback: 0 kB
AnonPages: 2155628 kB
Mapped: 117480 kB
Shmem: 18068 kB
KReclaimable: 108756 kB
Slab: 204136 kB
SReclaimable: 108756 kB
SUnreclaim: 95380 kB
KernelStack: 4400 kB
PageTables: 7648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2822996 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 903168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432884 MiB
End job on nodeC014 at 2025-07-01 12:56:29