0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.05 c #variables 1968 #constraints 4000
0.00/0.05 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.025187
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.026874
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.037722
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.045904
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.054909
0.07/0.10 c GLOBAL bounds - >= 0 @ 0.063149
0.07/0.11 c GLOBAL bounds - >= 0 @ 0.069801
0.07/0.13 c GLOBAL bounds - >= 0 @ 0.087387
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.111736
0.07/0.18 c GLOBAL bounds - >= 0 @ 0.135175
0.07/0.21 c GLOBAL bounds - >= 0 @ 0.15892
0.16/0.26 c GLOBAL bounds - >= 0 @ 0.207331
0.16/0.30 c GLOBAL bounds - >= 0 @ 0.243898
0.27/0.36 c GLOBAL bounds - >= 0 @ 0.303821
0.27/0.41 c GLOBAL bounds - >= 0 @ 0.3518
0.37/0.49 c GLOBAL bounds - >= 0 @ 0.432958
0.47/0.55 c GLOBAL bounds - >= 0 @ 0.488411
0.56/0.65 c GLOBAL bounds - >= 0 @ 0.584249
0.65/0.72 c GLOBAL bounds - >= 0 @ 0.650987
0.76/0.80 c GLOBAL bounds - >= 0 @ 0.723822
0.86/0.92 c GLOBAL bounds - >= 0 @ 0.844674
0.97/1.02 c #Conflicts: 1000 | #Constraints: 5038
0.97/1.02 c GLOBAL bounds - >= 0 @ 0.940659
1.06/1.13 c GLOBAL bounds - >= 0 @ 1.04275
1.16/1.25 c GLOBAL bounds - >= 0 @ 1.15928
1.35/1.42 c GLOBAL bounds - >= 0 @ 1.32854
1.46/1.59 c GLOBAL bounds - >= 0 @ 1.49988
1.65/1.78 c GLOBAL bounds - >= 0 @ 1.68095
1.86/1.90 c GLOBAL bounds - >= 0 @ 1.79288
2.06/2.13 c GLOBAL bounds - >= 0 @ 2.02206
2.25/2.34 c GLOBAL bounds - >= 0 @ 2.2209
2.55/2.60 c #Conflicts: 2000 | #Constraints: 6056
2.55/2.60 c INPROCESSING
2.55/2.60 c GARBAGE COLLECT
2.55/2.60 c GLOBAL bounds - >= 0 @ 2.46893
2.55/2.69 c GLOBAL bounds - >= 0 @ 2.55797
2.75/2.84 c GLOBAL bounds - >= 0 @ 2.71184
2.85/2.95 c GLOBAL bounds - >= 0 @ 2.81266
2.95/3.06 c GLOBAL bounds - >= 0 @ 2.9262
3.06/3.19 c GLOBAL bounds - >= 0 @ 3.04913
3.25/3.36 c GLOBAL bounds - >= 0 @ 3.21785
3.35/3.47 c GLOBAL bounds - >= 0 @ 3.32757
3.45/3.58 c GLOBAL bounds - >= 0 @ 3.44132
3.65/3.72 c #Conflicts: 3000 | #Constraints: 6075
3.65/3.72 c GLOBAL bounds - >= 0 @ 3.57137
3.75/3.85 c GLOBAL bounds - >= 0 @ 3.69963
3.96/4.01 c GLOBAL bounds - >= 0 @ 3.86054
4.05/4.17 c GLOBAL bounds - >= 0 @ 4.01037
4.35/4.45 c GLOBAL bounds - >= 0 @ 4.28178
4.55/4.69 c GLOBAL bounds - >= 0 @ 4.51604
4.85/4.93 c GLOBAL bounds - >= 0 @ 4.75894
4.95/5.10 c #Conflicts: 4000 | #Constraints: 7089
4.95/5.10 c GLOBAL bounds - >= 0 @ 4.91545
5.25/5.36 c GLOBAL bounds - >= 0 @ 5.17172
5.54/5.62 c GLOBAL bounds - >= 0 @ 5.43613
5.84/5.98 c INPROCESSING
5.84/5.98 c GARBAGE COLLECT
5.84/5.98 c GLOBAL bounds - >= 0 @ 5.78566
5.95/6.10 c GLOBAL bounds - >= 0 @ 5.90137
6.14/6.29 c GLOBAL bounds - >= 0 @ 6.09614
6.34/6.42 c GLOBAL bounds - >= 0 @ 6.22212
6.44/6.55 c #Conflicts: 5000 | #Constraints: 6411
6.44/6.55 c GLOBAL bounds - >= 0 @ 6.35383
6.54/6.69 c GLOBAL bounds - >= 0 @ 6.48956
6.84/6.91 c GLOBAL bounds - >= 0 @ 6.70609
7.05/7.15 c GLOBAL bounds - >= 0 @ 6.94041
7.34/7.43 c GLOBAL bounds - >= 0 @ 7.21824
7.54/7.68 c GLOBAL bounds - >= 0 @ 7.46943
7.84/7.94 c GLOBAL bounds - >= 0 @ 7.72225
8.13/8.20 c #Conflicts: 6000 | #Constraints: 7425
8.13/8.20 c GLOBAL bounds - >= 0 @ 7.97388
8.23/8.36 c GLOBAL bounds - >= 0 @ 8.12613
8.54/8.63 c GLOBAL bounds - >= 0 @ 8.39959
8.73/8.80 c GLOBAL bounds - >= 0 @ 8.55615
8.83/8.97 c GLOBAL bounds - >= 0 @ 8.73067
9.04/9.15 c GLOBAL bounds - >= 0 @ 8.9021
9.33/9.49 c GLOBAL bounds - >= 0 @ 9.22234
9.83/9.92 c INPROCESSING
9.83/9.92 c GARBAGE COLLECT
9.83/9.92 c #Conflicts: 7000 | #Constraints: 6384
9.83/9.92 c GLOBAL bounds - >= 0 @ 9.65113
9.94/10.09 c GLOBAL bounds - >= 0 @ 9.816
10.13/10.25 c GLOBAL bounds - >= 0 @ 9.97008
10.33/10.41 c GLOBAL bounds - >= 0 @ 10.1321
10.53/10.68 c GLOBAL bounds - >= 0 @ 10.3933
10.73/10.85 c GLOBAL bounds - >= 0 @ 10.5631
10.94/11.01 c GLOBAL bounds - >= 0 @ 10.7168
11.13/11.20 c #Conflicts: 8000 | #Constraints: 7398
11.13/11.20 c GLOBAL bounds - >= 0 @ 10.9066
11.23/11.37 c GLOBAL bounds - >= 0 @ 11.08
11.42/11.56 c GLOBAL bounds - >= 0 @ 11.2612
11.63/11.79 c GLOBAL bounds - >= 0 @ 11.4953
11.94/12.04 c GLOBAL bounds - >= 0 @ 11.7399
12.13/12.25 c GLOBAL bounds - >= 0 @ 11.9403
12.43/12.55 c #Conflicts: 9000 | #Constraints: 8410
12.43/12.55 c GLOBAL bounds - >= 0 @ 12.175
12.83/12.93 c GLOBAL bounds - >= 0 @ 12.5556
13.12/13.25 c GLOBAL bounds - >= 0 @ 12.8735
13.53/13.69 c INPROCESSING
13.53/13.69 c GARBAGE COLLECT
13.53/13.69 c GLOBAL bounds - >= 0 @ 13.3011
13.73/13.83 c GLOBAL bounds - >= 0 @ 13.4439
14.03/14.10 c GLOBAL bounds - >= 0 @ 13.7131
14.22/14.35 c #Conflicts: 10000 | #Constraints: 7066
14.22/14.35 c GLOBAL bounds - >= 0 @ 13.9527
14.42/14.59 c GLOBAL bounds - >= 0 @ 14.197
14.82/14.92 c GLOBAL bounds - >= 0 @ 14.5196
15.03/15.13 c GLOBAL bounds - >= 0 @ 14.733
15.32/15.45 c GLOBAL bounds - >= 0 @ 15.0487
15.61/15.77 c #Conflicts: 11000 | #Constraints: 8076
15.61/15.77 c GLOBAL bounds - >= 0 @ 15.3602
16.02/16.12 c GLOBAL bounds - >= 0 @ 15.7069
16.32/16.46 c GLOBAL bounds - >= 0 @ 16.0506
16.72/16.81 c GLOBAL bounds - >= 0 @ 16.3936
23.90/24.04 c #Conflicts: 12000 | #Constraints: 9084
23.90/24.04 c INPROCESSING
23.90/24.04 c GARBAGE COLLECT
23.90/24.04 c #Conflicts: 13000 | #Constraints: 7473
23.90/24.04 c #Conflicts: 14000 | #Constraints: 8473
23.90/24.04 c #Conflicts: 15000 | #Constraints: 9473
23.90/24.04 c INPROCESSING
23.90/24.04 c GARBAGE COLLECT
23.90/24.04 c GLOBAL bounds - >= 0 @ 23.5608
24.69/24.80 c #Conflicts: 16000 | #Constraints: 7606
24.69/24.80 c GLOBAL bounds - >= 0 @ 24.3113
37.56/37.75 c #Conflicts: 17000 | #Constraints: 8608
37.56/37.75 c #Conflicts: 18000 | #Constraints: 9608
37.56/37.75 c INPROCESSING
37.56/37.75 c GARBAGE COLLECT
37.56/37.75 c #Conflicts: 19000 | #Constraints: 7548
37.56/37.75 c #Conflicts: 20000 | #Constraints: 8548
37.56/37.75 c #Conflicts: 21000 | #Constraints: 9548
37.56/37.75 c GLOBAL bounds - >= 0 @ 37.1765
38.86/39.04 c #Conflicts: 22000 | #Constraints: 10550
38.86/39.04 c INPROCESSING
38.86/39.04 c GARBAGE COLLECT
38.86/39.04 c GLOBAL bounds - >= 0 @ 38.4493
39.05/39.29 c GLOBAL bounds - >= 0 @ 38.6997
39.46/39.61 c GLOBAL bounds - >= 0 @ 39.0183
39.76/39.90 c #Conflicts: 23000 | #Constraints: 8278
39.76/39.90 c GLOBAL bounds - >= 0 @ 39.3023
40.05/40.28 c GLOBAL bounds - >= 0 @ 39.6771
40.45/40.63 c GLOBAL bounds - >= 0 @ 40.0216
40.75/40.97 c GLOBAL bounds - >= 0 @ 40.3545
41.15/41.33 c GLOBAL bounds - >= 0 @ 40.7142
41.35/41.55 c #Conflicts: 24000 | #Constraints: 9288
41.35/41.55 c GLOBAL bounds - >= 0 @ 40.9294
41.75/41.91 c GLOBAL bounds - >= 0 @ 41.2906
41.95/42.16 c GLOBAL bounds - >= 0 @ 41.5319
42.34/42.56 c GLOBAL bounds - >= 0 @ 41.9338
42.64/42.86 c GLOBAL bounds - >= 0 @ 42.2281
42.95/43.17 c #Conflicts: 25000 | #Constraints: 10298
42.95/43.17 c GLOBAL bounds - >= 0 @ 42.53
43.64/43.84 c GLOBAL bounds - >= 0 @ 43.1956
44.15/44.30 c GLOBAL bounds - >= 0 @ 43.6438
45.04/45.22 c #Conflicts: 26000 | #Constraints: 11304
45.04/45.22 c INPROCESSING
45.04/45.22 c GARBAGE COLLECT
45.04/45.22 c GLOBAL bounds - >= 0 @ 44.5606
45.33/45.54 c GLOBAL bounds - >= 0 @ 44.8719
45.64/45.85 c GLOBAL bounds - >= 0 @ 45.1801
45.94/46.16 c GLOBAL bounds - >= 0 @ 45.4835
46.13/46.36 c #Conflicts: 27000 | #Constraints: 8813
46.13/46.36 c GLOBAL bounds - >= 0 @ 45.6819
46.54/46.70 c GLOBAL bounds - >= 0 @ 46.0179
47.93/48.15 c GLOBAL bounds - >= 0 @ 47.4484
48.33/48.57 c #Conflicts: 28000 | #Constraints: 9819
48.33/48.57 c GLOBAL bounds - >= 0 @ 47.8542
49.73/49.96 c #Conflicts: 29000 | #Constraints: 10821
49.73/49.96 c GLOBAL bounds - >= 0 @ 49.2343
54.42/54.61 c #Conflicts: 30000 | #Constraints: 11823
54.42/54.61 c INPROCESSING
54.42/54.61 c GARBAGE COLLECT
54.42/54.61 c #Conflicts: 31000 | #Constraints: 9149
54.42/54.61 c GLOBAL bounds - >= 0 @ 53.8485
83.53/83.87 c #Conflicts: 32000 | #Constraints: 10151
83.53/83.87 c #Conflicts: 33000 | #Constraints: 11151
83.53/83.87 c #Conflicts: 34000 | #Constraints: 12151
83.53/83.87 c INPROCESSING
83.53/83.87 c GARBAGE COLLECT
83.53/83.87 c #Conflicts: 35000 | #Constraints: 9252
83.53/83.87 c #Conflicts: 36000 | #Constraints: 10252
83.53/83.87 c #Conflicts: 37000 | #Constraints: 11252
83.53/83.87 c #Conflicts: 38000 | #Constraints: 12252
83.53/83.87 c INPROCESSING
83.53/83.87 c GARBAGE COLLECT
83.53/83.87 c #Conflicts: 39000 | #Constraints: 9142
83.53/83.87 c #Conflicts: 40000 | #Constraints: 10142
83.53/83.87 c #Conflicts: 41000 | #Constraints: 11142
83.53/83.87 c #Conflicts: 42000 | #Constraints: 12142
83.53/83.87 c GLOBAL bounds - >= 0 @ 82.8931
91.71/92.03 c INPROCESSING
91.71/92.03 c GARBAGE COLLECT
91.71/92.03 c #Conflicts: 43000 | #Constraints: 8843
91.71/92.03 c #Conflicts: 44000 | #Constraints: 9843
91.71/92.03 c #Conflicts: 45000 | #Constraints: 10843
91.71/92.03 c #Conflicts: 46000 | #Constraints: 11843
91.71/92.03 c #Conflicts: 47000 | #Constraints: 12843
91.71/92.03 c INPROCESSING
91.71/92.03 c GARBAGE COLLECT
91.71/92.03 c #Conflicts: 48000 | #Constraints: 9366
91.71/92.03 c #Conflicts: 49000 | #Constraints: 10366
91.71/92.03 c #Conflicts: 50000 | #Constraints: 11366
91.71/92.03 c #Conflicts: 51000 | #Constraints: 12366
91.71/92.03 c #Conflicts: 52000 | #Constraints: 13366
91.71/92.03 c GLOBAL bounds - >= 0 @ 90.9683
93.11/93.43 c INPROCESSING
93.11/93.43 c GARBAGE COLLECT
93.11/93.43 c #Conflicts: 53000 | #Constraints: 9628
93.11/93.43 c GLOBAL bounds - >= 0 @ 92.3423
94.50/94.80 c GLOBAL bounds - >= 0 @ 93.7027
102.98/103.35 c #Conflicts: 54000 | #Constraints: 10632
102.98/103.35 c #Conflicts: 55000 | #Constraints: 11632
102.98/103.35 c #Conflicts: 56000 | #Constraints: 12632
102.98/103.35 c #Conflicts: 57000 | #Constraints: 13632
102.98/103.35 c INPROCESSING
102.98/103.35 c GARBAGE COLLECT
102.98/103.35 c #Conflicts: 58000 | #Constraints: 9740
102.98/103.35 c GLOBAL bounds - >= 0 @ 102.182
111.35/111.78 c #Conflicts: 59000 | #Constraints: 10742
111.35/111.78 c #Conflicts: 60000 | #Constraints: 11742
111.35/111.78 c #Conflicts: 61000 | #Constraints: 12742
111.35/111.78 c #Conflicts: 62000 | #Constraints: 13742
111.35/111.78 c GLOBAL bounds - >= 0 @ 110.54
123.32/123.78 c INPROCESSING
123.32/123.78 c GARBAGE COLLECT
123.32/123.78 c #Conflicts: 63000 | #Constraints: 9663
123.32/123.78 c #Conflicts: 64000 | #Constraints: 10663
123.32/123.78 c #Conflicts: 65000 | #Constraints: 11663
123.32/123.78 c #Conflicts: 66000 | #Constraints: 12663
123.32/123.78 c #Conflicts: 67000 | #Constraints: 13663
123.32/123.78 c #Conflicts: 68000 | #Constraints: 14663
123.32/123.78 c INPROCESSING
123.32/123.78 c GARBAGE COLLECT
123.32/123.78 c GLOBAL bounds - >= 0 @ 122.429
141.28/141.72 c #Conflicts: 69000 | #Constraints: 10366
141.28/141.72 c #Conflicts: 70000 | #Constraints: 11366
141.28/141.72 c #Conflicts: 71000 | #Constraints: 12366
141.28/141.72 c #Conflicts: 72000 | #Constraints: 13366
141.28/141.72 c #Conflicts: 73000 | #Constraints: 14366
141.28/141.72 c #Conflicts: 74000 | #Constraints: 15366
141.28/141.72 c INPROCESSING
141.28/141.72 c GARBAGE COLLECT
141.28/141.72 c #Conflicts: 75000 | #Constraints: 10865
141.28/141.72 c GLOBAL bounds - >= 0 @ 140.236
428.87/430.11 c #Conflicts: 76000 | #Constraints: 11867
428.87/430.11 c #Conflicts: 77000 | #Constraints: 12867
428.87/430.11 c #Conflicts: 78000 | #Constraints: 13867
428.87/430.11 c #Conflicts: 79000 | #Constraints: 14867
428.87/430.11 c #Conflicts: 80000 | #Constraints: 15867
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 81000 | #Constraints: 11167
428.87/430.11 c #Conflicts: 82000 | #Constraints: 12167
428.87/430.11 c #Conflicts: 83000 | #Constraints: 13167
428.87/430.11 c #Conflicts: 84000 | #Constraints: 14167
428.87/430.11 c #Conflicts: 85000 | #Constraints: 15167
428.87/430.11 c #Conflicts: 86000 | #Constraints: 16167
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 87000 | #Constraints: 11260
428.87/430.11 c #Conflicts: 88000 | #Constraints: 12260
428.87/430.11 c #Conflicts: 89000 | #Constraints: 13260
428.87/430.11 c #Conflicts: 90000 | #Constraints: 14260
428.87/430.11 c #Conflicts: 91000 | #Constraints: 15260
428.87/430.11 c #Conflicts: 92000 | #Constraints: 16260
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 93000 | #Constraints: 11150
428.87/430.11 c #Conflicts: 94000 | #Constraints: 12150
428.87/430.11 c #Conflicts: 95000 | #Constraints: 13150
428.87/430.11 c #Conflicts: 96000 | #Constraints: 14150
428.87/430.11 c #Conflicts: 97000 | #Constraints: 15150
428.87/430.11 c #Conflicts: 98000 | #Constraints: 16150
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 99000 | #Constraints: 10848
428.87/430.11 c #Conflicts: 100000 | #Constraints: 11848
428.87/430.11 c #Conflicts: 101000 | #Constraints: 12848
428.87/430.11 c #Conflicts: 102000 | #Constraints: 13848
428.87/430.11 c #Conflicts: 103000 | #Constraints: 14848
428.87/430.11 c #Conflicts: 104000 | #Constraints: 15848
428.87/430.11 c #Conflicts: 105000 | #Constraints: 16848
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 106000 | #Constraints: 11347
428.87/430.11 c #Conflicts: 107000 | #Constraints: 12347
428.87/430.11 c #Conflicts: 108000 | #Constraints: 13347
428.87/430.11 c #Conflicts: 109000 | #Constraints: 14347
428.87/430.11 c #Conflicts: 110000 | #Constraints: 15347
428.87/430.11 c #Conflicts: 111000 | #Constraints: 16347
428.87/430.11 c #Conflicts: 112000 | #Constraints: 17347
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 113000 | #Constraints: 11641
428.87/430.11 c #Conflicts: 114000 | #Constraints: 12641
428.87/430.11 c #Conflicts: 115000 | #Constraints: 13641
428.87/430.11 c #Conflicts: 116000 | #Constraints: 14641
428.87/430.11 c #Conflicts: 117000 | #Constraints: 15641
428.87/430.11 c #Conflicts: 118000 | #Constraints: 16641
428.87/430.11 c #Conflicts: 119000 | #Constraints: 17641
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 120000 | #Constraints: 11751
428.87/430.11 c #Conflicts: 121000 | #Constraints: 12751
428.87/430.11 c #Conflicts: 122000 | #Constraints: 13751
428.87/430.11 c #Conflicts: 123000 | #Constraints: 14751
428.87/430.11 c #Conflicts: 124000 | #Constraints: 15751
428.87/430.11 c #Conflicts: 125000 | #Constraints: 16751
428.87/430.11 c #Conflicts: 126000 | #Constraints: 17751
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 127000 | #Constraints: 11637
428.87/430.11 c #Conflicts: 128000 | #Constraints: 12637
428.87/430.11 c #Conflicts: 129000 | #Constraints: 13637
428.87/430.11 c #Conflicts: 130000 | #Constraints: 14637
428.87/430.11 c #Conflicts: 131000 | #Constraints: 15637
428.87/430.11 c #Conflicts: 132000 | #Constraints: 16637
428.87/430.11 c #Conflicts: 133000 | #Constraints: 17637
428.87/430.11 c #Conflicts: 134000 | #Constraints: 18637
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 135000 | #Constraints: 12338
428.87/430.11 c #Conflicts: 136000 | #Constraints: 13338
428.87/430.11 c #Conflicts: 137000 | #Constraints: 14338
428.87/430.11 c #Conflicts: 138000 | #Constraints: 15338
428.87/430.11 c #Conflicts: 139000 | #Constraints: 16338
428.87/430.11 c #Conflicts: 140000 | #Constraints: 17338
428.87/430.11 c #Conflicts: 141000 | #Constraints: 18338
428.87/430.11 c #Conflicts: 142000 | #Constraints: 19338
428.87/430.11 c INPROCESSING
428.87/430.11 c GARBAGE COLLECT
428.87/430.11 c #Conflicts: 143000 | #Constraints: 12831
428.87/430.11 c #Conflicts: 144000 | #Constraints: 13831
428.87/430.11 c #Conflicts: 145000 | #Constraints: 14831
428.87/430.11 c #Conflicts: 146000 | #Constraints: 15831
428.87/430.11 c #Conflicts: 147000 | #Constraints: 16831
428.87/430.11 c #Conflicts: 148000 | #Constraints: 17831
471.14/472.50 c #Conflicts: 149000 | #Constraints: 18831
471.14/472.50 c #Conflicts: 150000 | #Constraints: 19831
471.14/472.50 c INPROCESSING
471.14/472.50 c GARBAGE COLLECT
471.14/472.50 c #Conflicts: 151000 | #Constraints: 13125
471.14/472.50 c #Conflicts: 152000 | #Constraints: 14125
471.14/472.50 c #Conflicts: 153000 | #Constraints: 15125
471.14/472.50 c #Conflicts: 154000 | #Constraints: 16125
471.14/472.50 c #Conflicts: 155000 | #Constraints: 17125
471.14/472.50 c #Conflicts: 156000 | #Constraints: 18125
471.14/472.50 c #Conflicts: 157000 | #Constraints: 19125
471.14/472.50 c #Conflicts: 158000 | #Constraints: 20125
471.14/472.50 c INPROCESSING
471.14/472.50 c GARBAGE COLLECT
471.14/472.50 c GLOBAL bounds - >= 0 @ 468.854
727.27/729.36 c #Conflicts: 159000 | #Constraints: 13231
727.27/729.36 c #Conflicts: 160000 | #Constraints: 14231
727.27/729.36 c #Conflicts: 161000 | #Constraints: 15231
727.27/729.36 c #Conflicts: 162000 | #Constraints: 16231
727.27/729.36 c #Conflicts: 163000 | #Constraints: 17231
727.27/729.36 c #Conflicts: 164000 | #Constraints: 18231
727.27/729.36 c #Conflicts: 165000 | #Constraints: 19231
727.27/729.36 c #Conflicts: 166000 | #Constraints: 20231
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 167000 | #Constraints: 13151
727.27/729.36 c #Conflicts: 168000 | #Constraints: 14151
727.27/729.36 c #Conflicts: 169000 | #Constraints: 15151
727.27/729.36 c #Conflicts: 170000 | #Constraints: 16151
727.27/729.36 c #Conflicts: 171000 | #Constraints: 17151
727.27/729.36 c #Conflicts: 172000 | #Constraints: 18151
727.27/729.36 c #Conflicts: 173000 | #Constraints: 19151
727.27/729.36 c #Conflicts: 174000 | #Constraints: 20151
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 175000 | #Constraints: 12861
727.27/729.36 c #Conflicts: 176000 | #Constraints: 13861
727.27/729.36 c #Conflicts: 177000 | #Constraints: 14861
727.27/729.36 c #Conflicts: 178000 | #Constraints: 15861
727.27/729.36 c #Conflicts: 179000 | #Constraints: 16861
727.27/729.36 c #Conflicts: 180000 | #Constraints: 17861
727.27/729.36 c #Conflicts: 181000 | #Constraints: 18861
727.27/729.36 c #Conflicts: 182000 | #Constraints: 19861
727.27/729.36 c #Conflicts: 183000 | #Constraints: 20861
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 184000 | #Constraints: 13352
727.27/729.36 c #Conflicts: 185000 | #Constraints: 14352
727.27/729.36 c #Conflicts: 186000 | #Constraints: 15352
727.27/729.36 c #Conflicts: 187000 | #Constraints: 16352
727.27/729.36 c #Conflicts: 188000 | #Constraints: 17352
727.27/729.36 c #Conflicts: 189000 | #Constraints: 18352
727.27/729.36 c #Conflicts: 190000 | #Constraints: 19352
727.27/729.36 c #Conflicts: 191000 | #Constraints: 20352
727.27/729.36 c #Conflicts: 192000 | #Constraints: 21352
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 193000 | #Constraints: 13652
727.27/729.36 c #Conflicts: 194000 | #Constraints: 14652
727.27/729.36 c #Conflicts: 195000 | #Constraints: 15652
727.27/729.36 c #Conflicts: 196000 | #Constraints: 16652
727.27/729.36 c #Conflicts: 197000 | #Constraints: 17652
727.27/729.36 c #Conflicts: 198000 | #Constraints: 18652
727.27/729.36 c #Conflicts: 199000 | #Constraints: 19652
727.27/729.36 c #Conflicts: 200000 | #Constraints: 20652
727.27/729.36 c #Conflicts: 201000 | #Constraints: 21652
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 202000 | #Constraints: 13738
727.27/729.36 c #Conflicts: 203000 | #Constraints: 14738
727.27/729.36 c #Conflicts: 204000 | #Constraints: 15738
727.27/729.36 c #Conflicts: 205000 | #Constraints: 16738
727.27/729.36 c #Conflicts: 206000 | #Constraints: 17738
727.27/729.36 c #Conflicts: 207000 | #Constraints: 18738
727.27/729.36 c #Conflicts: 208000 | #Constraints: 19738
727.27/729.36 c #Conflicts: 209000 | #Constraints: 20738
727.27/729.36 c #Conflicts: 210000 | #Constraints: 21738
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 211000 | #Constraints: 13648
727.27/729.36 c #Conflicts: 212000 | #Constraints: 14648
727.27/729.36 c #Conflicts: 213000 | #Constraints: 15648
727.27/729.36 c #Conflicts: 214000 | #Constraints: 16648
727.27/729.36 c #Conflicts: 215000 | #Constraints: 17648
727.27/729.36 c #Conflicts: 216000 | #Constraints: 18648
727.27/729.36 c #Conflicts: 217000 | #Constraints: 19648
727.27/729.36 c #Conflicts: 218000 | #Constraints: 20648
727.27/729.36 c #Conflicts: 219000 | #Constraints: 21648
727.27/729.36 c #Conflicts: 220000 | #Constraints: 22648
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 221000 | #Constraints: 14328
727.27/729.36 c #Conflicts: 222000 | #Constraints: 15328
727.27/729.36 c #Conflicts: 223000 | #Constraints: 16328
727.27/729.36 c #Conflicts: 224000 | #Constraints: 17328
727.27/729.36 c #Conflicts: 225000 | #Constraints: 18328
727.27/729.36 c #Conflicts: 226000 | #Constraints: 19328
727.27/729.36 c #Conflicts: 227000 | #Constraints: 20328
727.27/729.36 c #Conflicts: 228000 | #Constraints: 21328
727.27/729.36 c #Conflicts: 229000 | #Constraints: 22328
727.27/729.36 c #Conflicts: 230000 | #Constraints: 23328
727.27/729.36 c INPROCESSING
727.27/729.36 c GARBAGE COLLECT
727.27/729.36 c #Conflicts: 231000 | #Constraints: 14836
727.27/729.36 c #Conflicts: 232000 | #Constraints: 15836
855.45/857.86 c #Conflicts: 233000 | #Constraints: 16836
855.45/857.86 c #Conflicts: 234000 | #Constraints: 17836
855.45/857.86 c #Conflicts: 235000 | #Constraints: 18836
855.45/857.86 c #Conflicts: 236000 | #Constraints: 19836
855.45/857.86 c #Conflicts: 237000 | #Constraints: 20836
855.45/857.86 c #Conflicts: 238000 | #Constraints: 21836
855.45/857.86 c #Conflicts: 239000 | #Constraints: 22836
855.45/857.86 c #Conflicts: 240000 | #Constraints: 23836
855.45/857.86 c INPROCESSING
855.45/857.86 c GARBAGE COLLECT
855.45/857.86 c #Conflicts: 241000 | #Constraints: 15140
855.45/857.86 c #Conflicts: 242000 | #Constraints: 16140
855.45/857.86 c #Conflicts: 243000 | #Constraints: 17140
855.45/857.86 c #Conflicts: 244000 | #Constraints: 18140
855.45/857.86 c #Conflicts: 245000 | #Constraints: 19140
855.45/857.86 c #Conflicts: 246000 | #Constraints: 20140
855.45/857.86 c #Conflicts: 247000 | #Constraints: 21140
855.45/857.86 c #Conflicts: 248000 | #Constraints: 22140
855.45/857.86 c #Conflicts: 249000 | #Constraints: 23140
855.45/857.86 c #Conflicts: 250000 | #Constraints: 24140
855.45/857.86 c INPROCESSING
855.45/857.86 c GARBAGE COLLECT
855.45/857.86 c #Conflicts: 251000 | #Constraints: 15232
855.45/857.86 c #Conflicts: 252000 | #Constraints: 16232
855.45/857.86 c #Conflicts: 253000 | #Constraints: 17232
855.45/857.86 c #Conflicts: 254000 | #Constraints: 18232
855.45/857.86 c #Conflicts: 255000 | #Constraints: 19232
855.45/857.86 c #Conflicts: 256000 | #Constraints: 20232
855.45/857.86 c #Conflicts: 257000 | #Constraints: 21232
855.45/857.86 c GLOBAL bounds - >= 0 @ 852.079
1028.02/1030.80 c #Conflicts: 258000 | #Constraints: 22234
1028.02/1030.80 c #Conflicts: 259000 | #Constraints: 23234
1028.02/1030.80 c #Conflicts: 260000 | #Constraints: 24234
1028.02/1030.80 c INPROCESSING
1028.02/1030.80 c GARBAGE COLLECT
1028.02/1030.80 c #Conflicts: 261000 | #Constraints: 15166
1028.02/1030.80 c #Conflicts: 262000 | #Constraints: 16166
1028.02/1030.80 c #Conflicts: 263000 | #Constraints: 17166
1028.02/1030.80 c #Conflicts: 264000 | #Constraints: 18166
1028.02/1030.80 c #Conflicts: 265000 | #Constraints: 19166
1028.02/1030.80 c #Conflicts: 266000 | #Constraints: 20166
1028.02/1030.80 c #Conflicts: 267000 | #Constraints: 21166
1028.02/1030.80 c #Conflicts: 268000 | #Constraints: 22166
1028.02/1030.80 c #Conflicts: 269000 | #Constraints: 23166
1028.02/1030.80 c #Conflicts: 270000 | #Constraints: 24166
1028.02/1030.80 c INPROCESSING
1028.02/1030.80 c GARBAGE COLLECT
1028.02/1030.80 c #Conflicts: 271000 | #Constraints: 14865
1028.02/1030.80 c #Conflicts: 272000 | #Constraints: 15865
1028.02/1030.80 c #Conflicts: 273000 | #Constraints: 16865
1028.02/1030.80 c #Conflicts: 274000 | #Constraints: 17865
1028.02/1030.80 c #Conflicts: 275000 | #Constraints: 18865
1028.02/1030.80 c #Conflicts: 276000 | #Constraints: 19865
1028.02/1030.80 c #Conflicts: 277000 | #Constraints: 20865
1028.02/1030.80 c #Conflicts: 278000 | #Constraints: 21865
1028.02/1030.80 c #Conflicts: 279000 | #Constraints: 22865
1028.02/1030.80 c #Conflicts: 280000 | #Constraints: 23865
1028.02/1030.80 c #Conflicts: 281000 | #Constraints: 24865
1028.02/1030.80 c INPROCESSING
1028.02/1030.80 c GARBAGE COLLECT
1028.02/1030.80 c #Conflicts: 282000 | #Constraints: 15359
1028.02/1030.80 c #Conflicts: 283000 | #Constraints: 16359
1028.02/1030.80 c #Conflicts: 284000 | #Constraints: 17359
1028.02/1030.80 c #Conflicts: 285000 | #Constraints: 18359
1028.02/1030.80 c #Conflicts: 286000 | #Constraints: 19359
1028.02/1030.80 c #Conflicts: 287000 | #Constraints: 20359
1028.02/1030.80 c #Conflicts: 288000 | #Constraints: 21359
1028.02/1030.80 c #Conflicts: 289000 | #Constraints: 22359
1028.02/1030.80 c #Conflicts: 290000 | #Constraints: 23359
1028.02/1030.80 c #Conflicts: 291000 | #Constraints: 24359
1028.02/1030.80 c #Conflicts: 292000 | #Constraints: 25359
1028.02/1030.80 c GLOBAL bounds - >= 0 @ 1024.13
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 293000 | #Constraints: 15701
1300.18/1303.71 c #Conflicts: 294000 | #Constraints: 16701
1300.18/1303.71 c #Conflicts: 295000 | #Constraints: 17701
1300.18/1303.71 c #Conflicts: 296000 | #Constraints: 18701
1300.18/1303.71 c #Conflicts: 297000 | #Constraints: 19701
1300.18/1303.71 c #Conflicts: 298000 | #Constraints: 20701
1300.18/1303.71 c #Conflicts: 299000 | #Constraints: 21701
1300.18/1303.71 c #Conflicts: 300000 | #Constraints: 22701
1300.18/1303.71 c #Conflicts: 301000 | #Constraints: 23701
1300.18/1303.71 c #Conflicts: 302000 | #Constraints: 24701
1300.18/1303.71 c #Conflicts: 303000 | #Constraints: 25701
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 304000 | #Constraints: 15794
1300.18/1303.71 c #Conflicts: 305000 | #Constraints: 16794
1300.18/1303.71 c #Conflicts: 306000 | #Constraints: 17794
1300.18/1303.71 c #Conflicts: 307000 | #Constraints: 18794
1300.18/1303.71 c #Conflicts: 308000 | #Constraints: 19794
1300.18/1303.71 c #Conflicts: 309000 | #Constraints: 20794
1300.18/1303.71 c #Conflicts: 310000 | #Constraints: 21794
1300.18/1303.71 c #Conflicts: 311000 | #Constraints: 22794
1300.18/1303.71 c #Conflicts: 312000 | #Constraints: 23794
1300.18/1303.71 c #Conflicts: 313000 | #Constraints: 24794
1300.18/1303.71 c #Conflicts: 314000 | #Constraints: 25794
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 315000 | #Constraints: 15693
1300.18/1303.71 c #Conflicts: 316000 | #Constraints: 16693
1300.18/1303.71 c #Conflicts: 317000 | #Constraints: 17693
1300.18/1303.71 c #Conflicts: 318000 | #Constraints: 18693
1300.18/1303.71 c #Conflicts: 319000 | #Constraints: 19693
1300.18/1303.71 c #Conflicts: 320000 | #Constraints: 20693
1300.18/1303.71 c #Conflicts: 321000 | #Constraints: 21693
1300.18/1303.71 c #Conflicts: 322000 | #Constraints: 22693
1300.18/1303.71 c #Conflicts: 323000 | #Constraints: 23693
1300.18/1303.71 c #Conflicts: 324000 | #Constraints: 24693
1300.18/1303.71 c #Conflicts: 325000 | #Constraints: 25693
1300.18/1303.71 c #Conflicts: 326000 | #Constraints: 26693
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 327000 | #Constraints: 16393
1300.18/1303.71 c #Conflicts: 328000 | #Constraints: 17393
1300.18/1303.71 c #Conflicts: 329000 | #Constraints: 18393
1300.18/1303.71 c #Conflicts: 330000 | #Constraints: 19393
1300.18/1303.71 c #Conflicts: 331000 | #Constraints: 20393
1300.18/1303.71 c #Conflicts: 332000 | #Constraints: 21393
1300.18/1303.71 c #Conflicts: 333000 | #Constraints: 22393
1300.18/1303.71 c #Conflicts: 334000 | #Constraints: 23393
1300.18/1303.71 c #Conflicts: 335000 | #Constraints: 24393
1300.18/1303.71 c #Conflicts: 336000 | #Constraints: 25393
1300.18/1303.71 c #Conflicts: 337000 | #Constraints: 26393
1300.18/1303.71 c #Conflicts: 338000 | #Constraints: 27393
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 339000 | #Constraints: 16894
1300.18/1303.71 c #Conflicts: 340000 | #Constraints: 17894
1300.18/1303.71 c #Conflicts: 341000 | #Constraints: 18894
1300.18/1303.71 c #Conflicts: 342000 | #Constraints: 19894
1300.18/1303.71 c #Conflicts: 343000 | #Constraints: 20894
1300.18/1303.71 c #Conflicts: 344000 | #Constraints: 21894
1300.18/1303.71 c #Conflicts: 345000 | #Constraints: 22894
1300.18/1303.71 c #Conflicts: 346000 | #Constraints: 23894
1300.18/1303.71 c #Conflicts: 347000 | #Constraints: 24894
1300.18/1303.71 c #Conflicts: 348000 | #Constraints: 25894
1300.18/1303.71 c #Conflicts: 349000 | #Constraints: 26894
1300.18/1303.71 c #Conflicts: 350000 | #Constraints: 27894
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 351000 | #Constraints: 17186
1300.18/1303.71 c #Conflicts: 352000 | #Constraints: 18186
1300.18/1303.71 c #Conflicts: 353000 | #Constraints: 19186
1300.18/1303.71 c #Conflicts: 354000 | #Constraints: 20186
1300.18/1303.71 c #Conflicts: 355000 | #Constraints: 21186
1300.18/1303.71 c #Conflicts: 356000 | #Constraints: 22186
1300.18/1303.71 c #Conflicts: 357000 | #Constraints: 23186
1300.18/1303.71 c #Conflicts: 358000 | #Constraints: 24186
1300.18/1303.71 c #Conflicts: 359000 | #Constraints: 25186
1300.18/1303.71 c #Conflicts: 360000 | #Constraints: 26186
1300.18/1303.71 c #Conflicts: 361000 | #Constraints: 27186
1300.18/1303.71 c #Conflicts: 362000 | #Constraints: 28186
1300.18/1303.71 c INPROCESSING
1300.18/1303.71 c GARBAGE COLLECT
1300.18/1303.71 c #Conflicts: 363000 | #Constraints: 17284
1300.18/1303.71 c #Conflicts: 364000 | #Constraints: 18284
1300.18/1303.71 c #Conflicts: 365000 | #Constraints: 19284
1300.18/1303.71 c #Conflicts: 366000 | #Constraints: 20284
1300.18/1303.71 c #Conflicts: 367000 | #Constraints: 21284
1624.62/1629.08 c #Conflicts: 368000 | #Constraints: 22284
1624.62/1629.08 c #Conflicts: 369000 | #Constraints: 23284
1624.62/1629.08 c #Conflicts: 370000 | #Constraints: 24284
1624.62/1629.08 c #Conflicts: 371000 | #Constraints: 25284
1624.62/1629.08 c #Conflicts: 372000 | #Constraints: 26284
1624.62/1629.08 c #Conflicts: 373000 | #Constraints: 27284
1624.62/1629.08 c #Conflicts: 374000 | #Constraints: 28284
1624.62/1629.08 c INPROCESSING
1624.62/1629.08 c GARBAGE COLLECT
1624.62/1629.08 c #Conflicts: 375000 | #Constraints: 17180
1624.62/1629.08 c #Conflicts: 376000 | #Constraints: 18180
1624.62/1629.08 c #Conflicts: 377000 | #Constraints: 19180
1624.62/1629.08 c #Conflicts: 378000 | #Constraints: 20180
1624.62/1629.08 c #Conflicts: 379000 | #Constraints: 21180
1624.62/1629.08 c #Conflicts: 380000 | #Constraints: 22180
1624.62/1629.08 c #Conflicts: 381000 | #Constraints: 23180
1624.62/1629.08 c #Conflicts: 382000 | #Constraints: 24180
1624.62/1629.08 c #Conflicts: 383000 | #Constraints: 25180
1624.62/1629.08 c #Conflicts: 384000 | #Constraints: 26180
1624.62/1629.08 c #Conflicts: 385000 | #Constraints: 27180
1624.62/1629.08 c #Conflicts: 386000 | #Constraints: 28180
1624.62/1629.08 c INPROCESSING
1624.62/1629.08 c GARBAGE COLLECT
1624.62/1629.08 c #Conflicts: 387000 | #Constraints: 16879
1624.62/1629.08 c #Conflicts: 388000 | #Constraints: 17879
1624.62/1629.08 c #Conflicts: 389000 | #Constraints: 18879
1624.62/1629.08 c #Conflicts: 390000 | #Constraints: 19879
1624.62/1629.08 c #Conflicts: 391000 | #Constraints: 20879
1624.62/1629.08 c #Conflicts: 392000 | #Constraints: 21879
1624.62/1629.08 c #Conflicts: 393000 | #Constraints: 22879
1624.62/1629.08 c #Conflicts: 394000 | #Constraints: 23879
1624.62/1629.08 c #Conflicts: 395000 | #Constraints: 24879
1624.62/1629.08 c #Conflicts: 396000 | #Constraints: 25879
1624.62/1629.08 c #Conflicts: 397000 | #Constraints: 26879
1624.62/1629.08 c #Conflicts: 398000 | #Constraints: 27879
1624.62/1629.08 c #Conflicts: 399000 | #Constraints: 28879
1624.62/1629.08 c INPROCESSING
1624.62/1629.08 c GARBAGE COLLECT
1624.62/1629.08 c #Conflicts: 400000 | #Constraints: 17382
1624.62/1629.08 c #Conflicts: 401000 | #Constraints: 18382
1624.62/1629.08 c #Conflicts: 402000 | #Constraints: 19382
1624.62/1629.08 c #Conflicts: 403000 | #Constraints: 20382
1624.62/1629.08 c #Conflicts: 404000 | #Constraints: 21382
1624.62/1629.08 c #Conflicts: 405000 | #Constraints: 22382
1624.62/1629.08 c #Conflicts: 406000 | #Constraints: 23382
1624.62/1629.08 c #Conflicts: 407000 | #Constraints: 24382
1624.62/1629.08 c #Conflicts: 408000 | #Constraints: 25382
1624.62/1629.08 c #Conflicts: 409000 | #Constraints: 26382
1624.62/1629.08 c #Conflicts: 410000 | #Constraints: 27382
1624.62/1629.08 c #Conflicts: 411000 | #Constraints: 28382
1624.62/1629.08 c #Conflicts: 412000 | #Constraints: 29382
1624.62/1629.08 c INPROCESSING
1624.62/1629.08 c GARBAGE COLLECT
1624.62/1629.08 c #Conflicts: 413000 | #Constraints: 17682
1624.62/1629.08 c #Conflicts: 414000 | #Constraints: 18682
1624.62/1629.08 c #Conflicts: 415000 | #Constraints: 19682
1624.62/1629.08 c #Conflicts: 416000 | #Constraints: 20682
1624.62/1629.08 c #Conflicts: 417000 | #Constraints: 21682
1624.62/1629.08 c #Conflicts: 418000 | #Constraints: 22682
1624.62/1629.08 c #Conflicts: 419000 | #Constraints: 23682
1624.62/1629.08 c #Conflicts: 420000 | #Constraints: 24682
1624.62/1629.08 c #Conflicts: 421000 | #Constraints: 25682
1624.62/1629.08 c #Conflicts: 422000 | #Constraints: 26682
1624.62/1629.08 c #Conflicts: 423000 | #Constraints: 27682
1624.62/1629.08 c #Conflicts: 424000 | #Constraints: 28682
1624.62/1629.08 c #Conflicts: 425000 | #Constraints: 29682
1624.62/1629.08 c INPROCESSING
1624.62/1629.08 c GARBAGE COLLECT
1624.62/1629.08 c #Conflicts: 426000 | #Constraints: 17779
1624.62/1629.08 c #Conflicts: 427000 | #Constraints: 18779
1624.62/1629.08 c #Conflicts: 428000 | #Constraints: 19779
1624.62/1629.08 c #Conflicts: 429000 | #Constraints: 20779
1624.62/1629.08 c #Conflicts: 430000 | #Constraints: 21779
1624.62/1629.08 c #Conflicts: 431000 | #Constraints: 22779
1624.62/1629.08 c #Conflicts: 432000 | #Constraints: 23779
1624.62/1629.08 c #Conflicts: 433000 | #Constraints: 24779
1624.62/1629.08 c #Conflicts: 434000 | #Constraints: 25779
1624.62/1629.08 c #Conflicts: 435000 | #Constraints: 26779
1624.62/1629.08 c #Conflicts: 436000 | #Constraints: 27779
1624.62/1629.08 c #Conflicts: 437000 | #Constraints: 28779
1624.62/1629.08 c #Conflicts: 438000 | #Constraints: 29779
1624.62/1629.08 c INPROCESSING
1624.62/1629.08 c GARBAGE COLLECT
1624.62/1629.08 c #Conflicts: 439000 | #Constraints: 17683
1624.62/1629.08 c #Conflicts: 440000 | #Constraints: 18683
1624.62/1629.08 c #Conflicts: 441000 | #Constraints: 19683
1624.62/1629.08 c #Conflicts: 442000 | #Constraints: 20683
1957.05/1962.33 c #Conflicts: 443000 | #Constraints: 21683
1957.05/1962.33 c #Conflicts: 444000 | #Constraints: 22683
1957.05/1962.33 c #Conflicts: 445000 | #Constraints: 23683
1957.05/1962.33 c #Conflicts: 446000 | #Constraints: 24683
1957.05/1962.33 c #Conflicts: 447000 | #Constraints: 25683
1957.05/1962.33 c #Conflicts: 448000 | #Constraints: 26683
1957.05/1962.33 c #Conflicts: 449000 | #Constraints: 27683
1957.05/1962.33 c #Conflicts: 450000 | #Constraints: 28683
1957.05/1962.33 c #Conflicts: 451000 | #Constraints: 29683
1957.05/1962.33 c #Conflicts: 452000 | #Constraints: 30683
1957.05/1962.33 c INPROCESSING
1957.05/1962.33 c GARBAGE COLLECT
1957.05/1962.33 c #Conflicts: 453000 | #Constraints: 18378
1957.05/1962.33 c #Conflicts: 454000 | #Constraints: 19378
1957.05/1962.33 c #Conflicts: 455000 | #Constraints: 20378
1957.05/1962.33 c #Conflicts: 456000 | #Constraints: 21378
1957.05/1962.33 c #Conflicts: 457000 | #Constraints: 22378
1957.05/1962.33 c #Conflicts: 458000 | #Constraints: 23378
1957.05/1962.33 c #Conflicts: 459000 | #Constraints: 24378
1957.05/1962.33 c #Conflicts: 460000 | #Constraints: 25378
1957.05/1962.33 c #Conflicts: 461000 | #Constraints: 26378
1957.05/1962.33 c #Conflicts: 462000 | #Constraints: 27378
1957.05/1962.33 c #Conflicts: 463000 | #Constraints: 28378
1957.05/1962.33 c #Conflicts: 464000 | #Constraints: 29378
1957.05/1962.33 c #Conflicts: 465000 | #Constraints: 30378
1957.05/1962.33 c #Conflicts: 466000 | #Constraints: 31378
1957.05/1962.33 c INPROCESSING
1957.05/1962.33 c GARBAGE COLLECT
1957.05/1962.33 c #Conflicts: 467000 | #Constraints: 18877
1957.05/1962.33 c #Conflicts: 468000 | #Constraints: 19877
1957.05/1962.33 c #Conflicts: 469000 | #Constraints: 20877
1957.05/1962.33 c #Conflicts: 470000 | #Constraints: 21877
1957.05/1962.33 c #Conflicts: 471000 | #Constraints: 22877
1957.05/1962.33 c #Conflicts: 472000 | #Constraints: 23877
1957.05/1962.33 c #Conflicts: 473000 | #Constraints: 24877
1957.05/1962.33 c #Conflicts: 474000 | #Constraints: 25877
1957.05/1962.33 c #Conflicts: 475000 | #Constraints: 26877
1957.05/1962.33 c #Conflicts: 476000 | #Constraints: 27877
1957.05/1962.33 c #Conflicts: 477000 | #Constraints: 28877
1957.05/1962.33 c #Conflicts: 478000 | #Constraints: 29877
1957.05/1962.33 c #Conflicts: 479000 | #Constraints: 30877
1957.05/1962.33 c #Conflicts: 480000 | #Constraints: 31877
1957.05/1962.33 c INPROCESSING
1957.05/1962.33 c GARBAGE COLLECT
1957.05/1962.33 c #Conflicts: 481000 | #Constraints: 19191
1957.05/1962.33 c #Conflicts: 482000 | #Constraints: 20191
1957.05/1962.33 c #Conflicts: 483000 | #Constraints: 21191
1957.05/1962.33 c #Conflicts: 484000 | #Constraints: 22191
1957.05/1962.33 c #Conflicts: 485000 | #Constraints: 23191
1957.05/1962.33 c #Conflicts: 486000 | #Constraints: 24191
1957.05/1962.33 c #Conflicts: 487000 | #Constraints: 25191
1957.05/1962.33 c #Conflicts: 488000 | #Constraints: 26191
1957.05/1962.33 c #Conflicts: 489000 | #Constraints: 27191
1957.05/1962.33 c #Conflicts: 490000 | #Constraints: 28191
1957.05/1962.33 c #Conflicts: 491000 | #Constraints: 29191
1957.05/1962.33 c #Conflicts: 492000 | #Constraints: 30191
1957.05/1962.33 c #Conflicts: 493000 | #Constraints: 31191
1957.05/1962.33 c #Conflicts: 494000 | #Constraints: 32191
1957.05/1962.33 c INPROCESSING
1957.05/1962.33 c GARBAGE COLLECT
1957.05/1962.33 c #Conflicts: 495000 | #Constraints: 19298
1957.05/1962.33 c #Conflicts: 496000 | #Constraints: 20298
1957.05/1962.33 c #Conflicts: 497000 | #Constraints: 21298
1957.05/1962.33 c #Conflicts: 498000 | #Constraints: 22298
1957.05/1962.33 c #Conflicts: 499000 | #Constraints: 23298
1957.05/1962.33 c #Conflicts: 500000 | #Constraints: 24298
1957.05/1962.33 c #Conflicts: 501000 | #Constraints: 25298
1957.05/1962.33 c #Conflicts: 502000 | #Constraints: 26298
1957.05/1962.33 c #Conflicts: 503000 | #Constraints: 27298
1957.05/1962.33 c #Conflicts: 504000 | #Constraints: 28298
1957.05/1962.33 c #Conflicts: 505000 | #Constraints: 29298
1957.05/1962.33 c #Conflicts: 506000 | #Constraints: 30298
1957.05/1962.33 c #Conflicts: 507000 | #Constraints: 31298
1957.05/1962.33 c #Conflicts: 508000 | #Constraints: 32298
1957.05/1962.33 c INPROCESSING
1957.05/1962.33 c GARBAGE COLLECT
1957.05/1962.33 c #Conflicts: 509000 | #Constraints: 19188
1957.05/1962.33 c #Conflicts: 510000 | #Constraints: 20188
1957.05/1962.33 c #Conflicts: 511000 | #Constraints: 21188
1957.05/1962.33 c #Conflicts: 512000 | #Constraints: 22188
1957.05/1962.33 c #Conflicts: 513000 | #Constraints: 23188
1957.05/1962.33 c #Conflicts: 514000 | #Constraints: 24188
1957.05/1962.33 c #Conflicts: 515000 | #Constraints: 25188
1957.05/1962.33 c #Conflicts: 516000 | #Constraints: 26188
1957.05/1962.33 c #Conflicts: 517000 | #Constraints: 27188
2509.37/2516.01 c #Conflicts: 518000 | #Constraints: 28188
2509.37/2516.01 c #Conflicts: 519000 | #Constraints: 29188
2509.37/2516.01 c #Conflicts: 520000 | #Constraints: 30188
2509.37/2516.01 c #Conflicts: 521000 | #Constraints: 31188
2509.37/2516.01 c #Conflicts: 522000 | #Constraints: 32188
2509.37/2516.01 c INPROCESSING
2509.37/2516.01 c GARBAGE COLLECT
2509.37/2516.01 c #Conflicts: 523000 | #Constraints: 18904
2509.37/2516.01 c #Conflicts: 524000 | #Constraints: 19904
2509.37/2516.01 c #Conflicts: 525000 | #Constraints: 20904
2509.37/2516.01 c #Conflicts: 526000 | #Constraints: 21904
2509.37/2516.01 c #Conflicts: 527000 | #Constraints: 22904
2509.37/2516.01 c #Conflicts: 528000 | #Constraints: 23904
2509.37/2516.01 c #Conflicts: 529000 | #Constraints: 24904
2509.37/2516.01 c #Conflicts: 530000 | #Constraints: 25904
2509.37/2516.01 c #Conflicts: 531000 | #Constraints: 26904
2509.37/2516.01 c #Conflicts: 532000 | #Constraints: 27904
2509.37/2516.01 c #Conflicts: 533000 | #Constraints: 28904
2509.37/2516.01 c #Conflicts: 534000 | #Constraints: 29904
2509.37/2516.01 c #Conflicts: 535000 | #Constraints: 30904
2509.37/2516.01 c #Conflicts: 536000 | #Constraints: 31904
2509.37/2516.01 c #Conflicts: 537000 | #Constraints: 32904
2509.37/2516.01 c INPROCESSING
2509.37/2516.01 c GARBAGE COLLECT
2509.37/2516.01 c #Conflicts: 538000 | #Constraints: 19386
2509.37/2516.01 c #Conflicts: 539000 | #Constraints: 20386
2509.37/2516.01 c #Conflicts: 540000 | #Constraints: 21386
2509.37/2516.01 c #Conflicts: 541000 | #Constraints: 22386
2509.37/2516.01 c #Conflicts: 542000 | #Constraints: 23386
2509.37/2516.01 c #Conflicts: 543000 | #Constraints: 24386
2509.37/2516.01 c #Conflicts: 544000 | #Constraints: 25386
2509.37/2516.01 c #Conflicts: 545000 | #Constraints: 26386
2509.37/2516.01 c #Conflicts: 546000 | #Constraints: 27386
2509.37/2516.01 c #Conflicts: 547000 | #Constraints: 28386
2509.37/2516.01 c #Conflicts: 548000 | #Constraints: 29386
2509.37/2516.01 c #Conflicts: 549000 | #Constraints: 30386
2509.37/2516.01 c #Conflicts: 550000 | #Constraints: 31386
2509.37/2516.01 c #Conflicts: 551000 | #Constraints: 32386
2509.37/2516.01 c #Conflicts: 552000 | #Constraints: 33386
2509.37/2516.01 c INPROCESSING
2509.37/2516.01 c GARBAGE COLLECT
2509.37/2516.01 c #Conflicts: 553000 | #Constraints: 19671
2509.37/2516.01 c #Conflicts: 554000 | #Constraints: 20671
2509.37/2516.01 c #Conflicts: 555000 | #Constraints: 21671
2509.37/2516.01 c #Conflicts: 556000 | #Constraints: 22671
2509.37/2516.01 c #Conflicts: 557000 | #Constraints: 23671
2509.37/2516.01 c #Conflicts: 558000 | #Constraints: 24671
2509.37/2516.01 c #Conflicts: 559000 | #Constraints: 25671
2509.37/2516.01 c #Conflicts: 560000 | #Constraints: 26671
2509.37/2516.01 c #Conflicts: 561000 | #Constraints: 27671
2509.37/2516.01 c #Conflicts: 562000 | #Constraints: 28671
2509.37/2516.01 c #Conflicts: 563000 | #Constraints: 29671
2509.37/2516.01 c #Conflicts: 564000 | #Constraints: 30671
2509.37/2516.01 c #Conflicts: 565000 | #Constraints: 31671
2509.37/2516.01 c #Conflicts: 566000 | #Constraints: 32671
2509.37/2516.01 c #Conflicts: 567000 | #Constraints: 33671
2509.37/2516.01 c INPROCESSING
2509.37/2516.01 c GARBAGE COLLECT
2509.37/2516.01 c #Conflicts: 568000 | #Constraints: 19762
2509.37/2516.01 c #Conflicts: 569000 | #Constraints: 20762
2509.37/2516.01 c #Conflicts: 570000 | #Constraints: 21762
2509.37/2516.01 c #Conflicts: 571000 | #Constraints: 22762
2509.37/2516.01 c #Conflicts: 572000 | #Constraints: 23762
2509.37/2516.01 c #Conflicts: 573000 | #Constraints: 24762
2509.37/2516.01 c #Conflicts: 574000 | #Constraints: 25762
2509.37/2516.01 c #Conflicts: 575000 | #Constraints: 26762
2509.37/2516.01 c #Conflicts: 576000 | #Constraints: 27762
2509.37/2516.01 c #Conflicts: 577000 | #Constraints: 28762
2509.37/2516.01 c #Conflicts: 578000 | #Constraints: 29762
2509.37/2516.01 c #Conflicts: 579000 | #Constraints: 30762
2509.37/2516.01 c #Conflicts: 580000 | #Constraints: 31762
2509.37/2516.01 c #Conflicts: 581000 | #Constraints: 32762
2509.37/2516.01 c #Conflicts: 582000 | #Constraints: 33762
2509.37/2516.01 c INPROCESSING
2509.37/2516.01 c GARBAGE COLLECT
2509.37/2516.01 c #Conflicts: 583000 | #Constraints: 19660
2509.37/2516.01 c #Conflicts: 584000 | #Constraints: 20660
2509.37/2516.01 c #Conflicts: 585000 | #Constraints: 21660
2509.37/2516.01 c #Conflicts: 586000 | #Constraints: 22660
2509.37/2516.01 c #Conflicts: 587000 | #Constraints: 23660
2509.37/2516.01 c #Conflicts: 588000 | #Constraints: 24660
2509.37/2516.01 c #Conflicts: 589000 | #Constraints: 25660
2509.37/2516.01 c #Conflicts: 590000 | #Constraints: 26660
2509.37/2516.01 c #Conflicts: 591000 | #Constraints: 27660
2509.37/2516.01 c #Conflicts: 592000 | #Constraints: 28660
2509.37/2516.01 c #Conflicts: 593000 | #Constraints: 29660
2990.28/2998.20 c #Conflicts: 594000 | #Constraints: 30660
2990.28/2998.20 c #Conflicts: 595000 | #Constraints: 31660
2990.28/2998.20 c #Conflicts: 596000 | #Constraints: 32660
2990.28/2998.20 c #Conflicts: 597000 | #Constraints: 33660
2990.28/2998.20 c #Conflicts: 598000 | #Constraints: 34660
2990.28/2998.20 c INPROCESSING
2990.28/2998.20 c GARBAGE COLLECT
2990.28/2998.20 c #Conflicts: 599000 | #Constraints: 20352
2990.28/2998.20 c #Conflicts: 600000 | #Constraints: 21352
2990.28/2998.20 c #Conflicts: 601000 | #Constraints: 22352
2990.28/2998.20 c #Conflicts: 602000 | #Constraints: 23352
2990.28/2998.20 c #Conflicts: 603000 | #Constraints: 24352
2990.28/2998.20 c #Conflicts: 604000 | #Constraints: 25352
2990.28/2998.20 c #Conflicts: 605000 | #Constraints: 26352
2990.28/2998.20 c #Conflicts: 606000 | #Constraints: 27352
2990.28/2998.20 c #Conflicts: 607000 | #Constraints: 28352
2990.28/2998.20 c #Conflicts: 608000 | #Constraints: 29352
2990.28/2998.20 c #Conflicts: 609000 | #Constraints: 30352
2990.28/2998.20 c #Conflicts: 610000 | #Constraints: 31352
2990.28/2998.20 c #Conflicts: 611000 | #Constraints: 32352
2990.28/2998.20 c #Conflicts: 612000 | #Constraints: 33352
2990.28/2998.20 c #Conflicts: 613000 | #Constraints: 34352
2990.28/2998.20 c #Conflicts: 614000 | #Constraints: 35352
2990.28/2998.20 c INPROCESSING
2990.28/2998.20 c GARBAGE COLLECT
2990.28/2998.20 c #Conflicts: 615000 | #Constraints: 20850
2990.28/2998.20 c #Conflicts: 616000 | #Constraints: 21850
2990.28/2998.20 c #Conflicts: 617000 | #Constraints: 22850
2990.28/2998.20 c #Conflicts: 618000 | #Constraints: 23850
2990.28/2998.20 c #Conflicts: 619000 | #Constraints: 24850
2990.28/2998.20 c #Conflicts: 620000 | #Constraints: 25850
2990.28/2998.20 c #Conflicts: 621000 | #Constraints: 26850
2990.28/2998.20 c #Conflicts: 622000 | #Constraints: 27850
2990.28/2998.20 c #Conflicts: 623000 | #Constraints: 28850
2990.28/2998.20 c #Conflicts: 624000 | #Constraints: 29850
2990.28/2998.20 c #Conflicts: 625000 | #Constraints: 30850
2990.28/2998.20 c #Conflicts: 626000 | #Constraints: 31850
2990.28/2998.20 c #Conflicts: 627000 | #Constraints: 32850
2990.28/2998.20 c #Conflicts: 628000 | #Constraints: 33850
2990.28/2998.20 c #Conflicts: 629000 | #Constraints: 34850
2990.28/2998.20 c #Conflicts: 630000 | #Constraints: 35850
2990.28/2998.20 c INPROCESSING
2990.28/2998.20 c GARBAGE COLLECT
2990.28/2998.20 c #Conflicts: 631000 | #Constraints: 21154
2990.28/2998.20 c #Conflicts: 632000 | #Constraints: 22154
2990.28/2998.20 c #Conflicts: 633000 | #Constraints: 23154
2990.28/2998.20 c #Conflicts: 634000 | #Constraints: 24154
2990.28/2998.20 c #Conflicts: 635000 | #Constraints: 25154
2990.28/2998.20 c #Conflicts: 636000 | #Constraints: 26154
2990.28/2998.20 c #Conflicts: 637000 | #Constraints: 27154
2990.28/2998.20 c #Conflicts: 638000 | #Constraints: 28154
2990.28/2998.20 c #Conflicts: 639000 | #Constraints: 29154
2990.28/2998.20 c #Conflicts: 640000 | #Constraints: 30154
2990.28/2998.20 c #Conflicts: 641000 | #Constraints: 31154
2990.28/2998.20 c #Conflicts: 642000 | #Constraints: 32154
2990.28/2998.20 c #Conflicts: 643000 | #Constraints: 33154
2990.28/2998.20 c #Conflicts: 644000 | #Constraints: 34154
2990.28/2998.20 c #Conflicts: 645000 | #Constraints: 35154
2990.28/2998.20 c #Conflicts: 646000 | #Constraints: 36154
2990.28/2998.20 c INPROCESSING
2990.28/2998.20 c GARBAGE COLLECT
2990.28/2998.20 c #Conflicts: 647000 | #Constraints: 21212
2990.28/2998.20 c #Conflicts: 648000 | #Constraints: 22212
2990.28/2998.20 c #Conflicts: 649000 | #Constraints: 23212
2990.28/2998.20 c #Conflicts: 650000 | #Constraints: 24212
2990.28/2998.20 c #Conflicts: 651000 | #Constraints: 25212
2990.28/2998.20 c #Conflicts: 652000 | #Constraints: 26212
2990.28/2998.20 c #Conflicts: 653000 | #Constraints: 27212
2990.28/2998.20 c #Conflicts: 654000 | #Constraints: 28212
2990.28/2998.20 c #Conflicts: 655000 | #Constraints: 29212
2990.28/2998.20 c #Conflicts: 656000 | #Constraints: 30212
2990.28/2998.20 c #Conflicts: 657000 | #Constraints: 31212
2990.28/2998.20 c #Conflicts: 658000 | #Constraints: 32212
2990.28/2998.20 c #Conflicts: 659000 | #Constraints: 33212
2990.28/2998.20 c #Conflicts: 660000 | #Constraints: 34212
2990.28/2998.20 c #Conflicts: 661000 | #Constraints: 35212
2990.28/2998.20 c #Conflicts: 662000 | #Constraints: 36212
2990.28/2998.20 c INPROCESSING
2990.28/2998.20 c GARBAGE COLLECT
2990.28/2998.20 c #Conflicts: 663000 | #Constraints: 21096
2990.28/2998.20 c #Conflicts: 664000 | #Constraints: 22096
2990.28/2998.20 c #Conflicts: 665000 | #Constraints: 23096
2990.28/2998.20 c #Conflicts: 666000 | #Constraints: 24096
2990.28/2998.20 c #Conflicts: 667000 | #Constraints: 25096
2990.28/2998.20 c #Conflicts: 668000 | #Constraints: 26096
2990.28/2998.20 c #Conflicts: 669000 | #Constraints: 27096
3434.04/3443.18 c #Conflicts: 670000 | #Constraints: 28096
3434.04/3443.18 c #Conflicts: 671000 | #Constraints: 29096
3434.04/3443.18 c #Conflicts: 672000 | #Constraints: 30096
3434.04/3443.18 c #Conflicts: 673000 | #Constraints: 31096
3434.04/3443.18 c #Conflicts: 674000 | #Constraints: 32096
3434.04/3443.18 c #Conflicts: 675000 | #Constraints: 33096
3434.04/3443.18 c #Conflicts: 676000 | #Constraints: 34096
3434.04/3443.18 c #Conflicts: 677000 | #Constraints: 35096
3434.04/3443.18 c #Conflicts: 678000 | #Constraints: 36096
3434.04/3443.18 c INPROCESSING
3434.04/3443.18 c GARBAGE COLLECT
3434.04/3443.18 c #Conflicts: 679000 | #Constraints: 20780
3434.04/3443.18 c #Conflicts: 680000 | #Constraints: 21780
3434.04/3443.18 c #Conflicts: 681000 | #Constraints: 22780
3434.04/3443.18 c #Conflicts: 682000 | #Constraints: 23780
3434.04/3443.18 c #Conflicts: 683000 | #Constraints: 24780
3434.04/3443.18 c #Conflicts: 684000 | #Constraints: 25780
3434.04/3443.18 c #Conflicts: 685000 | #Constraints: 26780
3434.04/3443.18 c #Conflicts: 686000 | #Constraints: 27780
3434.04/3443.18 c #Conflicts: 687000 | #Constraints: 28780
3434.04/3443.18 c #Conflicts: 688000 | #Constraints: 29780
3434.04/3443.18 c #Conflicts: 689000 | #Constraints: 30780
3434.04/3443.18 c #Conflicts: 690000 | #Constraints: 31780
3434.04/3443.18 c #Conflicts: 691000 | #Constraints: 32780
3434.04/3443.18 c #Conflicts: 692000 | #Constraints: 33780
3434.04/3443.18 c #Conflicts: 693000 | #Constraints: 34780
3434.04/3443.18 c #Conflicts: 694000 | #Constraints: 35780
3434.04/3443.18 c #Conflicts: 695000 | #Constraints: 36780
3434.04/3443.18 c INPROCESSING
3434.04/3443.18 c GARBAGE COLLECT
3434.04/3443.18 c #Conflicts: 696000 | #Constraints: 21271
3434.04/3443.18 c #Conflicts: 697000 | #Constraints: 22271
3434.04/3443.18 c #Conflicts: 698000 | #Constraints: 23271
3434.04/3443.18 c #Conflicts: 699000 | #Constraints: 24271
3434.04/3443.18 c #Conflicts: 700000 | #Constraints: 25271
3434.04/3443.18 c #Conflicts: 701000 | #Constraints: 26271
3434.04/3443.18 c #Conflicts: 702000 | #Constraints: 27271
3434.04/3443.18 c #Conflicts: 703000 | #Constraints: 28271
3434.04/3443.18 c #Conflicts: 704000 | #Constraints: 29271
3434.04/3443.18 c #Conflicts: 705000 | #Constraints: 30271
3434.04/3443.18 c #Conflicts: 706000 | #Constraints: 31271
3434.04/3443.18 c #Conflicts: 707000 | #Constraints: 32271
3434.04/3443.18 c #Conflicts: 708000 | #Constraints: 33271
3434.04/3443.18 c #Conflicts: 709000 | #Constraints: 34271
3434.04/3443.18 c #Conflicts: 710000 | #Constraints: 35271
3434.04/3443.18 c #Conflicts: 711000 | #Constraints: 36271
3434.04/3443.18 c #Conflicts: 712000 | #Constraints: 37271
3434.04/3443.18 c INPROCESSING
3434.04/3443.18 c GARBAGE COLLECT
3434.04/3443.18 c #Conflicts: 713000 | #Constraints: 21566
3434.04/3443.18 c #Conflicts: 714000 | #Constraints: 22566
3434.04/3443.18 c #Conflicts: 715000 | #Constraints: 23566
3434.04/3443.18 c #Conflicts: 716000 | #Constraints: 24566
3434.04/3443.18 c #Conflicts: 717000 | #Constraints: 25566
3434.04/3443.18 c #Conflicts: 718000 | #Constraints: 26566
3434.04/3443.18 c #Conflicts: 719000 | #Constraints: 27566
3434.04/3443.18 c #Conflicts: 720000 | #Constraints: 28566
3434.04/3443.18 c #Conflicts: 721000 | #Constraints: 29566
3434.04/3443.18 c #Conflicts: 722000 | #Constraints: 30566
3434.04/3443.18 c #Conflicts: 723000 | #Constraints: 31566
3434.04/3443.18 c #Conflicts: 724000 | #Constraints: 32566
3434.04/3443.18 c #Conflicts: 725000 | #Constraints: 33566
3434.04/3443.18 c #Conflicts: 726000 | #Constraints: 34566
3434.04/3443.18 c #Conflicts: 727000 | #Constraints: 35566
3434.04/3443.18 c #Conflicts: 728000 | #Constraints: 36566
3434.04/3443.18 c #Conflicts: 729000 | #Constraints: 37566
3434.04/3443.18 c INPROCESSING
3434.04/3443.18 c GARBAGE COLLECT
3434.04/3443.18 c #Conflicts: 730000 | #Constraints: 21662
3434.04/3443.18 c #Conflicts: 731000 | #Constraints: 22662
3434.04/3443.18 c #Conflicts: 732000 | #Constraints: 23662
3434.04/3443.18 c #Conflicts: 733000 | #Constraints: 24662
3434.04/3443.18 c #Conflicts: 734000 | #Constraints: 25662
3434.04/3443.18 c #Conflicts: 735000 | #Constraints: 26662
3434.04/3443.18 c #Conflicts: 736000 | #Constraints: 27662
3434.04/3443.18 c #Conflicts: 737000 | #Constraints: 28662
3434.04/3443.18 c #Conflicts: 738000 | #Constraints: 29662
3434.04/3443.18 c #Conflicts: 739000 | #Constraints: 30662
3434.04/3443.18 c #Conflicts: 740000 | #Constraints: 31662
3434.04/3443.18 c #Conflicts: 741000 | #Constraints: 32662
3434.04/3443.18 c #Conflicts: 742000 | #Constraints: 33662
3434.04/3443.18 c #Conflicts: 743000 | #Constraints: 34662
3434.04/3443.18 c #Conflicts: 744000 | #Constraints: 35662
3434.04/3443.18 c #Conflicts: 745000 | #Constraints: 36662
3582.66/3592.19 c #Conflicts: 746000 | #Constraints: 37662
3582.66/3592.19 c INPROCESSING
3582.66/3592.19 c GARBAGE COLLECT
3582.66/3592.19 c #Conflicts: 747000 | #Constraints: 21556
3582.66/3592.19 c #Conflicts: 748000 | #Constraints: 22556
3582.66/3592.19 c #Conflicts: 749000 | #Constraints: 23556
3582.66/3592.19 c #Conflicts: 750000 | #Constraints: 24556
3582.66/3592.19 c #Conflicts: 751000 | #Constraints: 25556
3582.66/3592.19 c #Conflicts: 752000 | #Constraints: 26556
3582.66/3592.19 c #Conflicts: 753000 | #Constraints: 27556
3582.66/3592.19 c #Conflicts: 754000 | #Constraints: 28556
3582.66/3592.19 c #Conflicts: 755000 | #Constraints: 29556
3582.66/3592.19 c #Conflicts: 756000 | #Constraints: 30556
3582.66/3592.19 c #Conflicts: 757000 | #Constraints: 31556
3582.66/3592.19 c #Conflicts: 758000 | #Constraints: 32556
3582.66/3592.19 c #Conflicts: 759000 | #Constraints: 33556
3582.66/3592.19 c #Conflicts: 760000 | #Constraints: 34556
3582.66/3592.19 c #Conflicts: 761000 | #Constraints: 35556
3582.66/3592.19 c #Conflicts: 762000 | #Constraints: 36556
3582.66/3592.19 c #Conflicts: 763000 | #Constraints: 37556
3582.66/3592.19 c #Conflicts: 764000 | #Constraints: 38556
3582.66/3592.19 c INPROCESSING
3582.66/3592.19 c GARBAGE COLLECT
3582.66/3592.19 c #Conflicts: 765000 | #Constraints: 22251
3582.66/3592.19 c #Conflicts: 766000 | #Constraints: 23251
3582.66/3592.19 c #Conflicts: 767000 | #Constraints: 24251
3582.66/3592.19 c #Conflicts: 768000 | #Constraints: 25251
3582.66/3592.19 c #Conflicts: 769000 | #Constraints: 26251
3582.66/3592.19 c GLOBAL bounds - >= 0 @ 3572.16
3600.01/3609.50 c #Conflicts: 770000 | #Constraints: 27253
3600.01/3609.50 c #Conflicts: 771000 | #Constraints: 28253
3600.01/3609.50 c #Conflicts: 772000 | #Constraints: 29253
3600.01/3609.50 c #Conflicts: 773000 | #Constraints: 30253
3600.01/3609.50 c #Conflicts: 774000 | #Constraints: 31253
3600.01/3609.50 c cpu time 3589.36 s
3600.01/3609.50 c deterministic time 1 1.00e+00
3600.01/3609.50 c optimization time 3589.34 s
3600.01/3609.50 c total solve time 0 s
3600.01/3609.50 c core-guided solve time 0 s
3600.01/3609.50 c propagation time 0.001669 s
3600.01/3609.50 c conflict analysis time 0 s
3600.01/3609.50 c propagations 0
3600.01/3609.50 c resolve steps 0
3600.01/3609.50 c decisions 0
3600.01/3609.50 c conflicts 0
3600.01/3609.50 c restarts 0
3600.01/3609.50 c inprocessing phases 0
3600.01/3609.50 c garbage collections 0 ,( -nan )
3600.01/3609.50 c input clauses 4000 ,( 100.00 )
3600.01/3609.50 c input cardinalities 0 ,( 0.00 )
3600.01/3609.50 c input general constraints 0 ,( 0.00 )
3600.01/3609.50 c input average constraint length 2.00
3600.01/3609.50 c input average constraint degree 1.00
3600.01/3609.50 c learned clauses 0 ,( 0.00 )
3600.01/3609.50 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.50 c learned general constraints 0 ,( 0.00 )
3600.01/3609.50 c learned average constraint length 0.00
3600.01/3609.50 c learned average constraint degree 0.00
3600.01/3609.50 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.50 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3609.50 c watched constraints 0 ,( -nan )
3600.01/3609.50 c counting constraints 0 ,( -nan )
3600.01/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3609.50 c gcd simplifications 0
3600.01/3609.50 c detected cardinalities 0
3600.01/3609.50 c weakened non-implied lits 0
3600.01/3609.50 c weakened non-implying lits 0
3600.01/3609.50 c original variables 1968
3600.01/3609.50 c clausal propagations 0
3600.01/3609.50 c cardinality propagations 0
3600.01/3609.50 c watched propagations 0
3600.01/3609.50 c counting propagations 0
3600.01/3609.50 c watch lookups 0
3600.01/3609.50 c watch backjump lookups 0
3600.01/3609.50 c watch checks 0
3600.01/3609.50 c propagation checks 0
3600.01/3609.50 c constraint additions 0
3600.01/3609.50 c trail pops 0
3600.01/3609.50 c formula constraints 4000
3600.01/3609.50 c learned constraints 0
3600.01/3609.50 c bound constraints 0
3600.01/3609.50 c core-guided constraints 0
3600.01/3609.50 c encountered formula constraints 0
3600.01/3609.50 c encountered learned constraints 0
3600.01/3609.50 c encountered bound constraints 0
3600.01/3609.50 c encountered core-guided constraints 0
3600.01/3609.50 c LP total time 0 s
3600.01/3609.50 c LP solve time 0 s
3600.01/3609.50 c LP constraints added 0
3600.01/3609.50 c LP constraints removed 0
3600.01/3609.50 c LP pivots internal 0
3600.01/3609.50 c LP pivots root 0
3600.01/3609.50 c LP calls 0
3600.01/3609.50 c LP optimalities 0
3600.01/3609.50 c LP no pivot count 0
3600.01/3609.50 c LP infeasibilities 0
3600.01/3609.50 c LP valid Farkas constraints 0
3600.01/3609.50 c LP learned Farkas constraints 0
3600.01/3609.50 c LP basis resets 0
3600.01/3609.50 c LP cycling count 0
3600.01/3609.50 c LP singular count 0
3600.01/3609.50 c LP no primal count 0
3600.01/3609.50 c LP no farkas count 0
3600.01/3609.50 c LP other issue count 0
3600.01/3609.50 c LP Gomory cuts 0
3600.01/3609.50 c LP learned cuts 0
3600.01/3609.50 c LP deleted cuts 0
3600.01/3609.50 c LP encountered Gomory constraints 0
3600.01/3609.50 c LP encountered Farkas constraints 0
3600.01/3609.50 c LP encountered learned Farkas constraints 0
3600.01/3609.50 c CG auxiliary variables introduced 0
3600.01/3609.50 c CG solutions found 0
3600.01/3609.50 c CG cores constructed 0
3600.01/3609.50 c CG core cardinality constraints returned 0
3600.01/3609.50 c CG unit cores 0
3600.01/3609.50 c CG single cores 0
3600.01/3609.50 c CG blocks removed during cardinality reduction 0
3600.01/3609.50 c CG first core best 0
3600.01/3609.50 c CG decision core best 0
3600.01/3609.50 c CG core reduction tie 0
3600.01/3609.50 c CG core degree average 0.00
3600.01/3609.50 c CG core slack average 0.00
3600.01/3609.50 c CG core upper bound improvements 0
3600.01/3609.50 c STR number of successful calls 0
3600.01/3609.50 c STR number of unsuccessful calls 0
3600.01/3609.50 c STR number of inconclusive calls 0
3600.01/3609.50 c STR number of successful attempts 0
3600.01/3609.50 c STR number of unsuccessful attempts 0
3600.01/3609.50 c STR number of inconclusive attempts 0
3600.01/3609.50 c STR average degree increase per successful call inf
3600.01/3609.50 c STR average degree increase per successful attempt inf
3600.01/3609.50 c STR total number of conflicts for successful attempts 0
3600.01/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.50 c STR average number of conflicts per successful attempt inf
3600.01/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.50 c AVG.sumWPerc -nan
3600.01/3609.50 c bigint constraints 0
3600.01/3609.50 s UNKNOWN
3600.01/3609.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63114 MiB free)
memory of node 1: 64507 MiB (63931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488863-1751348277/watcher-4488863-1751348277 -o /tmp/evaluation-result-4488863-1751348277/solver-4488863-1751348277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45609 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488863-1751348277.opb PROOFDIR/proof-4488863-1751348277
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=45653, runsolver pid=45647
[startup+0.100057 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=130051872/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=66440 memory=17764 CPUtime=0.07 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 2909 0 0 0 6 1 0 0 20 0 1 0 50507265 68034560 4441 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 16610 4441 2336 1147 0 4037 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70632 KiB
Current children cumulated memory: 20708 KiB
[startup+0.205758 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=130003576/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=72552 memory=26508 CPUtime=0.16 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 4589 0 0 0 15 1 0 0 20 0 1 0 50507265 74293248 6627 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 18138 6627 2336 1147 0 5565 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 76744 KiB
Current children cumulated memory: 29452 KiB
[startup+0.305676 s]*
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129963128/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=83408 memory=37508 CPUtime=0.27 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 6826 0 0 0 25 2 0 0 20 0 1 0 50507265 85409792 9377 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 20852 9377 2336 1147 0 8279 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 87600 KiB
Current children cumulated memory: 40452 KiB
[startup+0.700208 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129945236/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=102468 memory=55956 CPUtime=0.65 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 10927 0 0 0 62 3 0 0 20 0 1 0 50507265 104927232 13989 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 25617 13989 2336 1147 0 13044 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 106660 KiB
Current children cumulated memory: 58900 KiB
[startup+1.50021 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129797116/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=155692 memory=98544 CPUtime=1.46 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 19028 0 0 0 140 6 0 0 20 0 1 0 50507265 159428608 24636 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 38923 24636 2336 1147 0 26350 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 159884 KiB
Current children cumulated memory: 101488 KiB
[startup+3.10559 s]
/proc/loadavg: 0.80 1.13 1.42 5/277 45670
/proc/meminfo: memFree=129531788/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=229908 memory=144912 CPUtime=3.06 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 29089 0 0 0 296 10 0 0 20 0 1 0 50507265 235425792 36228 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 57477 36228 2336 1147 0 44904 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 234100 KiB
Current children cumulated memory: 147856 KiB
[startup+6.30018 s]
/proc/loadavg: 1.05 1.17 1.43 5/277 45670
/proc/meminfo: memFree=129324872/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=277180 memory=197096 CPUtime=6.24 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 37564 0 0 0 609 15 0 0 20 0 1 0 50507265 283832320 49274 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 69295 49274 2336 1147 0 56722 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 281372 KiB
Current children cumulated memory: 200040 KiB
[startup+12.7002 s]
/proc/loadavg: 1.29 1.22 1.45 5/277 45670
/proc/meminfo: memFree=128899060/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=630008 memory=454652 CPUtime=12.63 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 98874 0 0 0 1232 31 0 0 20 0 1 0 50507265 645128192 113663 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 157502 113663 2336 1147 0 144929 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 634200 KiB
Current children cumulated memory: 457596 KiB
[startup+25.5002 s]
/proc/loadavg: 1.97 1.37 1.49 5/277 45670
/proc/meminfo: memFree=128222720/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=630440 memory=478728 CPUtime=25.39 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 102343 0 0 0 2499 40 0 0 20 0 1 0 50507265 645570560 119682 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 157610 119682 2336 1147 0 145037 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 634632 KiB
Current children cumulated memory: 481672 KiB
[startup+51.1056 s]
/proc/loadavg: 2.66 1.59 1.56 5/277 45670
/proc/meminfo: memFree=127960888/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=684120 memory=517752 CPUtime=50.93 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 108020 0 0 0 5036 57 0 0 20 0 1 0 50507265 700538880 129438 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 171030 129438 2336 1147 0 158457 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 688312 KiB
Current children cumulated memory: 520696 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.98 1.70 5/277 45672
/proc/meminfo: memFree=127598732/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=739008 memory=559096 CPUtime=101.98 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 118362 0 0 0 10113 85 0 0 20 0 1 0 50507265 756744192 139774 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 184752 139774 2336 1147 0 172179 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 743200 KiB
Current children cumulated memory: 562040 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.38 1.85 5/274 45674
/proc/meminfo: memFree=127222652/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=786196 memory=601900 CPUtime=161.82 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 126163 0 0 0 16064 118 0 0 20 0 1 0 50507265 805064704 150475 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 196549 150475 2336 1147 0 183976 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 790388 KiB
Current children cumulated memory: 604844 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.69 2.00 5/274 45677
/proc/meminfo: memFree=126925764/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=786464 memory=645292 CPUtime=221.65 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 126239 0 0 0 22029 136 0 0 20 0 1 0 50507265 805339136 161323 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
################
# More data... #
################
/proc/45663/statm: 314269 292726 2336 1147 0 301696 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 1261268 KiB
Current children cumulated memory: 1173848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.28 4.13 5/270 45837
/proc/meminfo: memFree=117703832/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1257076 memory=1170904 CPUtime=3153.95 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 190847 0 0 0 314426 969 0 0 20 0 1 0 50507265 1287245824 292726 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 314269 292726 2336 1147 0 301696 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 1261268 KiB
Current children cumulated memory: 1173848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.24 4.12 5/269 45839
/proc/meminfo: memFree=117565316/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1258960 memory=1172056 CPUtime=3213.8 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191143 0 0 0 320399 981 0 0 20 0 1 0 50507265 1289175040 293014 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 314740 293014 2336 1147 0 302167 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 1263152 KiB
Current children cumulated memory: 1175000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.21 4.11 5/271 45845
/proc/meminfo: memFree=117407712/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1258960 memory=1172056 CPUtime=3273.65 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191144 0 0 0 326372 993 0 0 20 0 1 0 50507265 1289175040 293014 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 314740 293014 2336 1147 0 302167 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 1263152 KiB
Current children cumulated memory: 1175000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.11 5/270 45847
/proc/meminfo: memFree=117200520/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1259500 memory=1172312 CPUtime=3333.5 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191215 0 0 0 332343 1007 0 0 20 0 1 0 50507265 1289728000 293078 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 314875 293078 2336 1147 0 302302 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 1263692 KiB
Current children cumulated memory: 1175256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.16 4.10 5/271 45850
/proc/meminfo: memFree=116990804/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1263312 memory=1177088 CPUtime=3393.35 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191878 0 0 0 338317 1018 0 0 20 0 1 0 50507265 1293631488 294272 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 315828 294272 2336 1147 0 303255 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 1267504 KiB
Current children cumulated memory: 1180032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/271 45852
/proc/meminfo: memFree=116830804/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1263312 memory=1177088 CPUtime=3453.19 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191978 0 0 0 344282 1037 0 0 20 0 1 0 50507265 1293631488 294272 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 315828 294272 2336 1147 0 303255 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 1267504 KiB
Current children cumulated memory: 1180032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/271 45858
/proc/meminfo: memFree=116709000/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1263312 memory=1177088 CPUtime=3513.04 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191979 0 0 0 350257 1047 0 0 20 0 1 0 50507265 1293631488 294272 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 315828 294272 2336 1147 0 303255 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 1267504 KiB
Current children cumulated memory: 1180032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/269 45860
/proc/meminfo: memFree=116560876/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1263312 memory=1177088 CPUtime=3572.88 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191979 0 0 0 356231 1057 0 0 20 0 1 0 50507265 1293631488 294272 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 315828 294272 2336 1147 0 303255 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 1267504 KiB
Current children cumulated memory: 1180032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.14 4.15 4.10 5/269 45861
/proc/meminfo: memFree=116511188/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1263312 memory=1177088 CPUtime=3600.01 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191980 0 0 0 358935 1066 0 0 20 0 1 0 50507265 1293631488 294272 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 315828 294272 2336 1147 0 303255 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1267504 KiB
Current children cumulated memory: 1180032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 45653 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002691 s
[startup+3609.53 s]
# the end of solver process 45663 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.36 s, system=10.6757 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.14 4.15 4.10 5/269 45861
/proc/meminfo: memFree=116511188/131249996 swapFree=33010416/33010684
[pid=45653] ppid=45647 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/45653/stat : 45653 (run-opt-log.sh) S 45647 45653 45597 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 50507263 4292608 736 18446744073709551615 94015144550400 94015145444933 140731543871792 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94015145683984 94015145731728 94015151104000 140731543877921 140731543878116 140731543878116 140731543883718 0
/proc/45653/statm: 1048 736 672 219 0 110 0
[pid=45663] ppid=45653 vsize=1263312 memory=1177088 CPUtime=3600.01 cores=1,3
/proc/45663/stat : 45663 (roundingsat) R 45653 45653 45597 0 -1 4194304 191980 0 0 0 358935 1066 0 0 20 0 1 0 50507265 1293631488 294272 18446744073709551615 4227072 8923433 140731683200544 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11825152 140731683203410 140731683203624 140731683203624 140731683209194 0
/proc/45663/statm: 315828 294272 2336 1147 0 303255 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1267504 KiB
Current children cumulated memory: 1180032 KiB
Child status: 2
Real time (s): 3609.53
CPU time (s): 3600.04
CPU user time (s): 3589.36
CPU system time (s): 10.6757
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 1267504
Max. memory (cumulated for all children) (KiB): 1180032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.36
system time used= 10.6757
maximum resident set size= 1177472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192263
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4589568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 649
involuntary context switches= 4909
# summary of solver processes directly reported to runsolver:
# pid: 45653,45663
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.36
# total CPU system time (s): 10.6757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05867 second user time and 17.7171 second system time
The end
Begin job on nodeC030 at 2025-07-01 07:37:57
IDJOB=4488863
IDBENCH=147533
IDSOLVER=3351
FILE ID=nodeC030/4488863-1751348277
RUNJOBID= nodeC030-1751348277-45609
SLURM_JOB_ID= 9598121
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488863-1751348277/watcher-4488863-1751348277 -o /tmp/evaluation-result-4488863-1751348277/solver-4488863-1751348277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45609 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488863-1751348277.opb PROOFDIR/proof-4488863-1751348277
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=719910755
nodeC030 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.924
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.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.804
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.62
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 : 3596.314
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.62
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 : 3559.480
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.62
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 : 3595.302
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.62
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 : 3507.982
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.62
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.327
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.62
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.327
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.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130094272 kB
MemAvailable: 129826704 kB
Buffers: 2564 kB
Cached: 526440 kB
SwapCached: 16 kB
Active: 480820 kB
Inactive: 108568 kB
Active(anon): 73884 kB
Inactive(anon): 4548 kB
Active(file): 406936 kB
Inactive(file): 104020 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28512 kB
Writeback: 0 kB
AnonPages: 63520 kB
Mapped: 102876 kB
Shmem: 18048 kB
KReclaimable: 121032 kB
Slab: 209720 kB
SReclaimable: 121032 kB
SUnreclaim: 88688 kB
KernelStack: 4168 kB
PageTables: 2656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329304 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 08:38:07