0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 1086 #constraints 169
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.003935
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.021087
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.022287
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.024014
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.02518
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.026334
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.035438
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.037138
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.03874
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.041054
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.042205
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.059769
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.062726
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.064074
0.07/0.12 c GLOBAL bounds - >= 0 @ 0.094829
0.07/0.13 c GLOBAL bounds - >= 0 @ 0.101845
0.07/0.15 c GLOBAL bounds - >= 0 @ 0.116316
0.07/0.17 c GLOBAL bounds - >= 0 @ 0.138314
0.07/0.19 c GLOBAL bounds - >= 0 @ 0.159455
0.18/0.21 c GLOBAL bounds - >= 0 @ 0.173889
0.18/0.22 c GLOBAL bounds - >= 0 @ 0.176406
0.18/0.22 c GLOBAL bounds - >= 0 @ 0.179181
0.18/0.22 c GLOBAL bounds - >= 0 @ 0.18107
0.18/0.22 c GLOBAL bounds - >= 0 @ 0.183787
0.18/0.23 c GLOBAL bounds - >= 0 @ 0.186631
0.18/0.24 c GLOBAL bounds - >= 0 @ 0.204279
0.18/0.25 c GLOBAL bounds - >= 0 @ 0.205282
0.18/0.27 c GLOBAL bounds - >= 0 @ 0.226405
0.18/0.28 c GLOBAL bounds - >= 0 @ 0.241041
0.27/0.34 c GLOBAL bounds - >= 0 @ 0.289221
0.27/0.35 c GLOBAL bounds - >= 0 @ 0.301196
0.36/0.47 c #Conflicts: 1000 | #Constraints: 1227
0.36/0.47 c GLOBAL bounds - >= 0 @ 0.410533
0.36/0.47 c GLOBAL bounds - >= 0 @ 0.412939
0.36/0.48 c GLOBAL bounds - >= 0 @ 0.41729
0.46/0.55 c GLOBAL bounds - >= 0 @ 0.483161
0.46/0.58 c GLOBAL bounds - >= 0 @ 0.510512
0.46/0.58 c GLOBAL bounds - >= 0 @ 0.514601
0.46/0.59 c GLOBAL bounds - >= 0 @ 0.522227
0.55/0.61 c GLOBAL bounds - >= 0 @ 0.539111
0.75/0.89 c GLOBAL bounds - >= 0 @ 0.812351
0.85/0.90 c GLOBAL bounds - >= 0 @ 0.823576
0.85/0.91 c GLOBAL bounds - >= 0 @ 0.827512
0.85/0.93 c #Conflicts: 2000 | #Constraints: 2249
0.85/0.93 c INPROCESSING
0.85/0.93 c GARBAGE COLLECT
0.85/0.93 c GLOBAL bounds - >= 0 @ 0.854339
1.74/1.84 c #Conflicts: 3000 | #Constraints: 2265
1.74/1.84 c GLOBAL bounds - >= 0 @ 1.74627
2.13/2.24 c #Conflicts: 4000 | #Constraints: 3267
2.13/2.24 c INPROCESSING
2.13/2.24 c GARBAGE COLLECT
2.13/2.24 c GLOBAL bounds - >= 0 @ 2.13345
2.13/2.24 c GLOBAL bounds - >= 0 @ 2.13817
14.78/14.91 c #Conflicts: 5000 | #Constraints: 2688
14.78/14.91 c #Conflicts: 6000 | #Constraints: 3688
14.78/14.91 c INPROCESSING
14.78/14.91 c GARBAGE COLLECT
14.78/14.91 c #Conflicts: 7000 | #Constraints: 2690
14.78/14.91 c #Conflicts: 8000 | #Constraints: 3690
14.78/14.91 c #Conflicts: 9000 | #Constraints: 4690
14.78/14.91 c INPROCESSING
14.78/14.91 c GARBAGE COLLECT
14.78/14.91 c #Conflicts: 10000 | #Constraints: 3395
14.78/14.91 c #Conflicts: 11000 | #Constraints: 4395
14.78/14.91 c #Conflicts: 12000 | #Constraints: 5395
14.78/14.91 c INPROCESSING
14.78/14.91 c GARBAGE COLLECT
14.78/14.91 c #Conflicts: 13000 | #Constraints: 3845
14.78/14.91 c #Conflicts: 14000 | #Constraints: 4845
14.78/14.91 c #Conflicts: 15000 | #Constraints: 5845
14.78/14.91 c INPROCESSING
14.78/14.91 c GARBAGE COLLECT
14.78/14.91 c #Conflicts: 16000 | #Constraints: 4076
14.78/14.91 c #Conflicts: 17000 | #Constraints: 5076
14.78/14.91 c #Conflicts: 18000 | #Constraints: 6076
14.78/14.91 c INPROCESSING
14.78/14.91 c GARBAGE COLLECT
14.78/14.91 c #Conflicts: 19000 | #Constraints: 4097
14.78/14.91 c #Conflicts: 20000 | #Constraints: 5097
14.78/14.91 c GLOBAL bounds - >= 0 @ 14.6508
15.89/16.05 c #Conflicts: 21000 | #Constraints: 6099
15.89/16.05 c INPROCESSING
15.89/16.05 c GARBAGE COLLECT
15.89/16.05 c GLOBAL bounds - >= 0 @ 15.7841
15.89/16.06 c GLOBAL bounds - >= 0 @ 15.7907
15.89/16.08 c GLOBAL bounds - >= 0 @ 15.8071
19.77/19.96 c #Conflicts: 22000 | #Constraints: 3908
19.77/19.96 c #Conflicts: 23000 | #Constraints: 4908
19.77/19.96 c #Conflicts: 24000 | #Constraints: 5908
19.77/19.96 c #Conflicts: 25000 | #Constraints: 6908
19.77/19.96 c INPROCESSING
19.77/19.96 c GARBAGE COLLECT
19.77/19.96 c #Conflicts: 26000 | #Constraints: 4507
19.77/19.96 c GLOBAL bounds - >= 0 @ 19.6489
19.88/20.01 c GLOBAL bounds - >= 0 @ 19.7049
21.47/21.63 c #Conflicts: 27000 | #Constraints: 5511
21.47/21.63 c #Conflicts: 28000 | #Constraints: 6511
21.47/21.63 c GLOBAL bounds - >= 0 @ 21.2985
21.47/21.64 c GLOBAL bounds - >= 0 @ 21.3154
21.47/21.68 c GLOBAL bounds - >= 0 @ 21.3466
21.47/21.69 c GLOBAL bounds - >= 0 @ 21.3652
21.67/21.81 c GLOBAL bounds - >= 0 @ 21.4739
21.67/21.82 c GLOBAL bounds - >= 0 @ 21.4902
21.67/21.89 c GLOBAL bounds - >= 0 @ 21.5526
23.77/23.91 c #Conflicts: 29000 | #Constraints: 7525
23.77/23.91 c INPROCESSING
23.77/23.91 c GARBAGE COLLECT
23.77/23.91 c #Conflicts: 30000 | #Constraints: 4920
23.77/23.91 c GLOBAL bounds - >= 0 @ 23.5617
24.37/24.51 c #Conflicts: 31000 | #Constraints: 5922
24.37/24.51 c GLOBAL bounds - >= 0 @ 24.1519
24.77/24.94 c GLOBAL bounds - >= 0 @ 24.5831
25.06/25.23 c GLOBAL bounds - >= 0 @ 24.8684
25.06/25.25 c GLOBAL bounds - >= 0 @ 24.894
26.86/27.04 c #Conflicts: 32000 | #Constraints: 6930
26.86/27.04 c #Conflicts: 33000 | #Constraints: 7930
26.86/27.04 c INPROCESSING
26.86/27.04 c GARBAGE COLLECT
26.86/27.04 c GLOBAL bounds - >= 0 @ 26.6591
30.15/30.33 c #Conflicts: 34000 | #Constraints: 5132
30.15/30.33 c #Conflicts: 35000 | #Constraints: 6132
30.15/30.33 c #Conflicts: 36000 | #Constraints: 7132
30.15/30.33 c #Conflicts: 37000 | #Constraints: 8132
30.15/30.33 c INPROCESSING
30.15/30.33 c GARBAGE COLLECT
30.15/30.33 c GLOBAL bounds - >= 0 @ 29.926
30.15/30.36 c GLOBAL bounds - >= 0 @ 29.9567
30.34/30.54 c GLOBAL bounds - >= 0 @ 30.1327
30.45/30.67 c GLOBAL bounds - >= 0 @ 30.2529
31.25/31.49 c #Conflicts: 38000 | #Constraints: 5139
31.25/31.49 c GLOBAL bounds - >= 0 @ 31.0651
34.04/34.24 c #Conflicts: 39000 | #Constraints: 6141
34.04/34.24 c #Conflicts: 40000 | #Constraints: 7141
34.04/34.24 c #Conflicts: 41000 | #Constraints: 8141
34.04/34.24 c INPROCESSING
34.04/34.24 c GARBAGE COLLECT
34.04/34.24 c GLOBAL bounds - >= 0 @ 33.7916
38.03/38.21 c #Conflicts: 42000 | #Constraints: 4947
38.03/38.21 c #Conflicts: 43000 | #Constraints: 5947
38.03/38.21 c #Conflicts: 44000 | #Constraints: 6947
38.03/38.21 c #Conflicts: 45000 | #Constraints: 7947
38.03/38.21 c GLOBAL bounds - >= 0 @ 37.7265
39.23/39.43 c #Conflicts: 46000 | #Constraints: 8949
39.23/39.43 c INPROCESSING
39.23/39.43 c GARBAGE COLLECT
39.23/39.43 c GLOBAL bounds - >= 0 @ 38.9339
44.51/44.71 c #Conflicts: 47000 | #Constraints: 5553
44.51/44.71 c #Conflicts: 48000 | #Constraints: 6553
44.51/44.71 c #Conflicts: 49000 | #Constraints: 7553
44.51/44.71 c #Conflicts: 50000 | #Constraints: 8553
44.51/44.71 c #Conflicts: 51000 | #Constraints: 9553
44.51/44.71 c INPROCESSING
44.51/44.71 c GARBAGE COLLECT
44.51/44.71 c GLOBAL bounds - >= 0 @ 44.1636
50.90/51.16 c #Conflicts: 52000 | #Constraints: 5952
50.90/51.16 c #Conflicts: 53000 | #Constraints: 6952
50.90/51.16 c #Conflicts: 54000 | #Constraints: 7952
50.90/51.16 c #Conflicts: 55000 | #Constraints: 8952
50.90/51.16 c #Conflicts: 56000 | #Constraints: 9952
50.90/51.16 c INPROCESSING
50.90/51.16 c GARBAGE COLLECT
50.90/51.16 c #Conflicts: 57000 | #Constraints: 6158
50.90/51.16 c GLOBAL bounds - >= 0 @ 50.5573
56.88/57.19 c #Conflicts: 58000 | #Constraints: 7160
56.88/57.19 c #Conflicts: 59000 | #Constraints: 8160
56.88/57.19 c #Conflicts: 60000 | #Constraints: 9160
56.88/57.19 c #Conflicts: 61000 | #Constraints: 10160
56.88/57.19 c INPROCESSING
56.88/57.19 c GARBAGE COLLECT
56.88/57.19 c #Conflicts: 62000 | #Constraints: 6156
56.88/57.19 c GLOBAL bounds - >= 0 @ 56.542
56.98/57.20 c GLOBAL bounds - >= 0 @ 56.5589
56.98/57.23 c GLOBAL bounds - >= 0 @ 56.5869
56.98/57.26 c GLOBAL bounds - >= 0 @ 56.6112
57.28/57.53 c GLOBAL bounds - >= 0 @ 56.8873
58.87/59.13 c #Conflicts: 63000 | #Constraints: 7166
58.87/59.13 c #Conflicts: 64000 | #Constraints: 8166
58.87/59.13 c GLOBAL bounds - >= 0 @ 58.4729
77.42/77.74 c #Conflicts: 65000 | #Constraints: 9168
77.42/77.74 c #Conflicts: 66000 | #Constraints: 10168
77.42/77.74 c INPROCESSING
77.42/77.74 c GARBAGE COLLECT
77.42/77.74 c #Conflicts: 67000 | #Constraints: 5968
77.42/77.74 c #Conflicts: 68000 | #Constraints: 6968
77.42/77.74 c #Conflicts: 69000 | #Constraints: 7968
77.42/77.74 c #Conflicts: 70000 | #Constraints: 8968
77.42/77.74 c #Conflicts: 71000 | #Constraints: 9968
77.42/77.74 c #Conflicts: 72000 | #Constraints: 10968
77.42/77.74 c INPROCESSING
77.42/77.74 c GARBAGE COLLECT
77.42/77.74 c #Conflicts: 73000 | #Constraints: 6567
77.42/77.74 c #Conflicts: 74000 | #Constraints: 7567
77.42/77.74 c #Conflicts: 75000 | #Constraints: 8567
77.42/77.74 c #Conflicts: 76000 | #Constraints: 9567
77.42/77.74 c #Conflicts: 77000 | #Constraints: 10567
77.42/77.74 c #Conflicts: 78000 | #Constraints: 11567
77.42/77.74 c INPROCESSING
77.42/77.74 c GARBAGE COLLECT
77.42/77.74 c GLOBAL bounds - >= 0 @ 76.9356
77.42/77.76 c GLOBAL bounds - >= 0 @ 76.9524
77.42/77.77 c GLOBAL bounds - >= 0 @ 76.9667
80.71/81.07 c #Conflicts: 79000 | #Constraints: 6973
80.71/81.07 c #Conflicts: 80000 | #Constraints: 7973
80.71/81.07 c #Conflicts: 81000 | #Constraints: 8973
80.71/81.07 c GLOBAL bounds - >= 0 @ 80.2355
80.71/81.09 c GLOBAL bounds - >= 0 @ 80.2555
80.81/81.15 c GLOBAL bounds - >= 0 @ 80.3179
80.81/81.18 c GLOBAL bounds - >= 0 @ 80.3432
80.91/81.20 c GLOBAL bounds - >= 0 @ 80.365
127.00/127.45 c #Conflicts: 82000 | #Constraints: 9983
127.00/127.45 c #Conflicts: 83000 | #Constraints: 10983
127.00/127.45 c #Conflicts: 84000 | #Constraints: 11983
127.00/127.45 c INPROCESSING
127.00/127.45 c GARBAGE COLLECT
127.00/127.45 c #Conflicts: 85000 | #Constraints: 7187
127.00/127.45 c #Conflicts: 86000 | #Constraints: 8187
127.00/127.45 c #Conflicts: 87000 | #Constraints: 9187
127.00/127.45 c #Conflicts: 88000 | #Constraints: 10187
127.00/127.45 c #Conflicts: 89000 | #Constraints: 11187
127.00/127.45 c #Conflicts: 90000 | #Constraints: 12187
127.00/127.45 c INPROCESSING
127.00/127.45 c GARBAGE COLLECT
127.00/127.45 c #Conflicts: 91000 | #Constraints: 7194
127.00/127.45 c #Conflicts: 92000 | #Constraints: 8194
127.00/127.45 c #Conflicts: 93000 | #Constraints: 9194
127.00/127.45 c #Conflicts: 94000 | #Constraints: 10194
127.00/127.45 c #Conflicts: 95000 | #Constraints: 11194
127.00/127.45 c #Conflicts: 96000 | #Constraints: 12194
127.00/127.45 c INPROCESSING
127.00/127.45 c GARBAGE COLLECT
127.00/127.45 c #Conflicts: 97000 | #Constraints: 6987
127.00/127.45 c #Conflicts: 98000 | #Constraints: 7987
127.00/127.45 c #Conflicts: 99000 | #Constraints: 8987
127.00/127.45 c #Conflicts: 100000 | #Constraints: 9987
127.00/127.45 c #Conflicts: 101000 | #Constraints: 10987
127.00/127.45 c #Conflicts: 102000 | #Constraints: 11987
127.00/127.45 c #Conflicts: 103000 | #Constraints: 12987
127.00/127.45 c INPROCESSING
127.00/127.45 c GARBAGE COLLECT
127.00/127.45 c #Conflicts: 104000 | #Constraints: 7590
127.00/127.45 c #Conflicts: 105000 | #Constraints: 8590
127.00/127.45 c #Conflicts: 106000 | #Constraints: 9590
127.00/127.45 c #Conflicts: 107000 | #Constraints: 10590
127.00/127.45 c #Conflicts: 108000 | #Constraints: 11590
127.00/127.45 c #Conflicts: 109000 | #Constraints: 12590
127.00/127.45 c #Conflicts: 110000 | #Constraints: 13590
127.00/127.45 c INPROCESSING
127.00/127.45 c GARBAGE COLLECT
127.00/127.45 c #Conflicts: 111000 | #Constraints: 7998
127.00/127.45 c #Conflicts: 112000 | #Constraints: 8998
127.00/127.45 c #Conflicts: 113000 | #Constraints: 9998
127.00/127.45 c GLOBAL bounds - >= 0 @ 126.276
161.10/161.67 c #Conflicts: 114000 | #Constraints: 11000
161.10/161.67 c #Conflicts: 115000 | #Constraints: 12000
161.10/161.67 c #Conflicts: 116000 | #Constraints: 13000
161.10/161.67 c #Conflicts: 117000 | #Constraints: 14000
161.10/161.67 c INPROCESSING
161.10/161.67 c GARBAGE COLLECT
161.10/161.67 c #Conflicts: 118000 | #Constraints: 8202
161.10/161.67 c #Conflicts: 119000 | #Constraints: 9202
161.10/161.67 c #Conflicts: 120000 | #Constraints: 10202
161.10/161.67 c #Conflicts: 121000 | #Constraints: 11202
161.10/161.67 c #Conflicts: 122000 | #Constraints: 12202
161.10/161.67 c #Conflicts: 123000 | #Constraints: 13202
161.10/161.67 c #Conflicts: 124000 | #Constraints: 14202
161.10/161.67 c INPROCESSING
161.10/161.67 c GARBAGE COLLECT
161.10/161.67 c #Conflicts: 125000 | #Constraints: 8199
161.10/161.67 c #Conflicts: 126000 | #Constraints: 9199
161.10/161.67 c #Conflicts: 127000 | #Constraints: 10199
161.10/161.67 c #Conflicts: 128000 | #Constraints: 11199
161.10/161.67 c #Conflicts: 129000 | #Constraints: 12199
161.10/161.67 c #Conflicts: 130000 | #Constraints: 13199
161.10/161.67 c #Conflicts: 131000 | #Constraints: 14199
161.10/161.67 c INPROCESSING
161.10/161.67 c GARBAGE COLLECT
161.10/161.67 c #Conflicts: 132000 | #Constraints: 8000
161.10/161.67 c #Conflicts: 133000 | #Constraints: 9000
161.10/161.67 c GLOBAL bounds - >= 0 @ 160.265
161.10/161.68 c GLOBAL bounds - >= 0 @ 160.283
161.20/161.71 c GLOBAL bounds - >= 0 @ 160.309
161.20/161.74 c GLOBAL bounds - >= 0 @ 160.338
305.93/306.86 c #Conflicts: 134000 | #Constraints: 10008
305.93/306.86 c #Conflicts: 135000 | #Constraints: 11008
305.93/306.86 c #Conflicts: 136000 | #Constraints: 12008
305.93/306.86 c #Conflicts: 137000 | #Constraints: 13008
305.93/306.86 c #Conflicts: 138000 | #Constraints: 14008
305.93/306.86 c #Conflicts: 139000 | #Constraints: 15008
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 140000 | #Constraints: 8609
305.93/306.86 c #Conflicts: 141000 | #Constraints: 9609
305.93/306.86 c #Conflicts: 142000 | #Constraints: 10609
305.93/306.86 c #Conflicts: 143000 | #Constraints: 11609
305.93/306.86 c #Conflicts: 144000 | #Constraints: 12609
305.93/306.86 c #Conflicts: 145000 | #Constraints: 13609
305.93/306.86 c #Conflicts: 146000 | #Constraints: 14609
305.93/306.86 c #Conflicts: 147000 | #Constraints: 15609
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 148000 | #Constraints: 9011
305.93/306.86 c #Conflicts: 149000 | #Constraints: 10011
305.93/306.86 c #Conflicts: 150000 | #Constraints: 11011
305.93/306.86 c #Conflicts: 151000 | #Constraints: 12011
305.93/306.86 c #Conflicts: 152000 | #Constraints: 13011
305.93/306.86 c #Conflicts: 153000 | #Constraints: 14011
305.93/306.86 c #Conflicts: 154000 | #Constraints: 15011
305.93/306.86 c #Conflicts: 155000 | #Constraints: 16011
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 156000 | #Constraints: 9212
305.93/306.86 c #Conflicts: 157000 | #Constraints: 10212
305.93/306.86 c #Conflicts: 158000 | #Constraints: 11212
305.93/306.86 c #Conflicts: 159000 | #Constraints: 12212
305.93/306.86 c #Conflicts: 160000 | #Constraints: 13212
305.93/306.86 c #Conflicts: 161000 | #Constraints: 14212
305.93/306.86 c #Conflicts: 162000 | #Constraints: 15212
305.93/306.86 c #Conflicts: 163000 | #Constraints: 16212
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 164000 | #Constraints: 9207
305.93/306.86 c #Conflicts: 165000 | #Constraints: 10207
305.93/306.86 c #Conflicts: 166000 | #Constraints: 11207
305.93/306.86 c #Conflicts: 167000 | #Constraints: 12207
305.93/306.86 c #Conflicts: 168000 | #Constraints: 13207
305.93/306.86 c #Conflicts: 169000 | #Constraints: 14207
305.93/306.86 c #Conflicts: 170000 | #Constraints: 15207
305.93/306.86 c #Conflicts: 171000 | #Constraints: 16207
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 172000 | #Constraints: 9014
305.93/306.86 c #Conflicts: 173000 | #Constraints: 10014
305.93/306.86 c #Conflicts: 174000 | #Constraints: 11014
305.93/306.86 c #Conflicts: 175000 | #Constraints: 12014
305.93/306.86 c #Conflicts: 176000 | #Constraints: 13014
305.93/306.86 c #Conflicts: 177000 | #Constraints: 14014
305.93/306.86 c #Conflicts: 178000 | #Constraints: 15014
305.93/306.86 c #Conflicts: 179000 | #Constraints: 16014
305.93/306.86 c #Conflicts: 180000 | #Constraints: 17014
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 181000 | #Constraints: 9604
305.93/306.86 c #Conflicts: 182000 | #Constraints: 10604
305.93/306.86 c #Conflicts: 183000 | #Constraints: 11604
305.93/306.86 c #Conflicts: 184000 | #Constraints: 12604
305.93/306.86 c #Conflicts: 185000 | #Constraints: 13604
305.93/306.86 c #Conflicts: 186000 | #Constraints: 14604
305.93/306.86 c #Conflicts: 187000 | #Constraints: 15604
305.93/306.86 c #Conflicts: 188000 | #Constraints: 16604
305.93/306.86 c #Conflicts: 189000 | #Constraints: 17604
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 190000 | #Constraints: 10014
305.93/306.86 c #Conflicts: 191000 | #Constraints: 11014
305.93/306.86 c #Conflicts: 192000 | #Constraints: 12014
305.93/306.86 c #Conflicts: 193000 | #Constraints: 13014
305.93/306.86 c #Conflicts: 194000 | #Constraints: 14014
305.93/306.86 c #Conflicts: 195000 | #Constraints: 15014
305.93/306.86 c #Conflicts: 196000 | #Constraints: 16014
305.93/306.86 c #Conflicts: 197000 | #Constraints: 17014
305.93/306.86 c #Conflicts: 198000 | #Constraints: 18014
305.93/306.86 c INPROCESSING
305.93/306.86 c GARBAGE COLLECT
305.93/306.86 c #Conflicts: 199000 | #Constraints: 10204
305.93/306.86 c #Conflicts: 200000 | #Constraints: 11204
305.93/306.86 c #Conflicts: 201000 | #Constraints: 12204
305.93/306.86 c #Conflicts: 202000 | #Constraints: 13204
305.93/306.86 c #Conflicts: 203000 | #Constraints: 14204
305.93/306.86 c #Conflicts: 204000 | #Constraints: 15204
305.93/306.86 c #Conflicts: 205000 | #Constraints: 16204
305.93/306.86 c #Conflicts: 206000 | #Constraints: 17204
305.93/306.86 c #Conflicts: 207000 | #Constraints: 18204
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 208000 | #Constraints: 10208
455.83/457.15 c #Conflicts: 209000 | #Constraints: 11208
455.83/457.15 c #Conflicts: 210000 | #Constraints: 12208
455.83/457.15 c #Conflicts: 211000 | #Constraints: 13208
455.83/457.15 c #Conflicts: 212000 | #Constraints: 14208
455.83/457.15 c #Conflicts: 213000 | #Constraints: 15208
455.83/457.15 c #Conflicts: 214000 | #Constraints: 16208
455.83/457.15 c #Conflicts: 215000 | #Constraints: 17208
455.83/457.15 c #Conflicts: 216000 | #Constraints: 18208
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 217000 | #Constraints: 10009
455.83/457.15 c #Conflicts: 218000 | #Constraints: 11009
455.83/457.15 c #Conflicts: 219000 | #Constraints: 12009
455.83/457.15 c #Conflicts: 220000 | #Constraints: 13009
455.83/457.15 c #Conflicts: 221000 | #Constraints: 14009
455.83/457.15 c #Conflicts: 222000 | #Constraints: 15009
455.83/457.15 c #Conflicts: 223000 | #Constraints: 16009
455.83/457.15 c #Conflicts: 224000 | #Constraints: 17009
455.83/457.15 c #Conflicts: 225000 | #Constraints: 18009
455.83/457.15 c #Conflicts: 226000 | #Constraints: 19009
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 227000 | #Constraints: 10603
455.83/457.15 c #Conflicts: 228000 | #Constraints: 11603
455.83/457.15 c #Conflicts: 229000 | #Constraints: 12603
455.83/457.15 c #Conflicts: 230000 | #Constraints: 13603
455.83/457.15 c #Conflicts: 231000 | #Constraints: 14603
455.83/457.15 c #Conflicts: 232000 | #Constraints: 15603
455.83/457.15 c #Conflicts: 233000 | #Constraints: 16603
455.83/457.15 c #Conflicts: 234000 | #Constraints: 17603
455.83/457.15 c #Conflicts: 235000 | #Constraints: 18603
455.83/457.15 c #Conflicts: 236000 | #Constraints: 19603
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 237000 | #Constraints: 11000
455.83/457.15 c #Conflicts: 238000 | #Constraints: 12000
455.83/457.15 c #Conflicts: 239000 | #Constraints: 13000
455.83/457.15 c #Conflicts: 240000 | #Constraints: 14000
455.83/457.15 c #Conflicts: 241000 | #Constraints: 15000
455.83/457.15 c #Conflicts: 242000 | #Constraints: 16000
455.83/457.15 c #Conflicts: 243000 | #Constraints: 17000
455.83/457.15 c #Conflicts: 244000 | #Constraints: 18000
455.83/457.15 c #Conflicts: 245000 | #Constraints: 19000
455.83/457.15 c #Conflicts: 246000 | #Constraints: 20000
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 247000 | #Constraints: 11200
455.83/457.15 c #Conflicts: 248000 | #Constraints: 12200
455.83/457.15 c #Conflicts: 249000 | #Constraints: 13200
455.83/457.15 c #Conflicts: 250000 | #Constraints: 14200
455.83/457.15 c #Conflicts: 251000 | #Constraints: 15200
455.83/457.15 c #Conflicts: 252000 | #Constraints: 16200
455.83/457.15 c #Conflicts: 253000 | #Constraints: 17200
455.83/457.15 c #Conflicts: 254000 | #Constraints: 18200
455.83/457.15 c #Conflicts: 255000 | #Constraints: 19200
455.83/457.15 c #Conflicts: 256000 | #Constraints: 20200
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 257000 | #Constraints: 11207
455.83/457.15 c #Conflicts: 258000 | #Constraints: 12207
455.83/457.15 c #Conflicts: 259000 | #Constraints: 13207
455.83/457.15 c #Conflicts: 260000 | #Constraints: 14207
455.83/457.15 c #Conflicts: 261000 | #Constraints: 15207
455.83/457.15 c #Conflicts: 262000 | #Constraints: 16207
455.83/457.15 c #Conflicts: 263000 | #Constraints: 17207
455.83/457.15 c #Conflicts: 264000 | #Constraints: 18207
455.83/457.15 c #Conflicts: 265000 | #Constraints: 19207
455.83/457.15 c #Conflicts: 266000 | #Constraints: 20207
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 267000 | #Constraints: 11011
455.83/457.15 c #Conflicts: 268000 | #Constraints: 12011
455.83/457.15 c #Conflicts: 269000 | #Constraints: 13011
455.83/457.15 c #Conflicts: 270000 | #Constraints: 14011
455.83/457.15 c #Conflicts: 271000 | #Constraints: 15011
455.83/457.15 c #Conflicts: 272000 | #Constraints: 16011
455.83/457.15 c #Conflicts: 273000 | #Constraints: 17011
455.83/457.15 c #Conflicts: 274000 | #Constraints: 18011
455.83/457.15 c #Conflicts: 275000 | #Constraints: 19011
455.83/457.15 c #Conflicts: 276000 | #Constraints: 20011
455.83/457.15 c #Conflicts: 277000 | #Constraints: 21011
455.83/457.15 c INPROCESSING
455.83/457.15 c GARBAGE COLLECT
455.83/457.15 c #Conflicts: 278000 | #Constraints: 11613
455.83/457.15 c #Conflicts: 279000 | #Constraints: 12613
455.83/457.15 c #Conflicts: 280000 | #Constraints: 13613
455.83/457.15 c #Conflicts: 281000 | #Constraints: 14613
642.53/644.35 c #Conflicts: 282000 | #Constraints: 15613
642.53/644.35 c #Conflicts: 283000 | #Constraints: 16613
642.53/644.35 c #Conflicts: 284000 | #Constraints: 17613
642.53/644.35 c #Conflicts: 285000 | #Constraints: 18613
642.53/644.35 c #Conflicts: 286000 | #Constraints: 19613
642.53/644.35 c #Conflicts: 287000 | #Constraints: 20613
642.53/644.35 c #Conflicts: 288000 | #Constraints: 21613
642.53/644.35 c INPROCESSING
642.53/644.35 c GARBAGE COLLECT
642.53/644.35 c #Conflicts: 289000 | #Constraints: 12012
642.53/644.35 c #Conflicts: 290000 | #Constraints: 13012
642.53/644.35 c #Conflicts: 291000 | #Constraints: 14012
642.53/644.35 c #Conflicts: 292000 | #Constraints: 15012
642.53/644.35 c #Conflicts: 293000 | #Constraints: 16012
642.53/644.35 c #Conflicts: 294000 | #Constraints: 17012
642.53/644.35 c #Conflicts: 295000 | #Constraints: 18012
642.53/644.35 c #Conflicts: 296000 | #Constraints: 19012
642.53/644.35 c #Conflicts: 297000 | #Constraints: 20012
642.53/644.35 c #Conflicts: 298000 | #Constraints: 21012
642.53/644.35 c #Conflicts: 299000 | #Constraints: 22012
642.53/644.35 c INPROCESSING
642.53/644.35 c GARBAGE COLLECT
642.53/644.35 c #Conflicts: 300000 | #Constraints: 12217
642.53/644.35 c #Conflicts: 301000 | #Constraints: 13217
642.53/644.35 c #Conflicts: 302000 | #Constraints: 14217
642.53/644.35 c #Conflicts: 303000 | #Constraints: 15217
642.53/644.35 c #Conflicts: 304000 | #Constraints: 16217
642.53/644.35 c #Conflicts: 305000 | #Constraints: 17217
642.53/644.35 c #Conflicts: 306000 | #Constraints: 18217
642.53/644.35 c #Conflicts: 307000 | #Constraints: 19217
642.53/644.35 c #Conflicts: 308000 | #Constraints: 20217
642.53/644.35 c #Conflicts: 309000 | #Constraints: 21217
642.53/644.35 c #Conflicts: 310000 | #Constraints: 22217
642.53/644.35 c INPROCESSING
642.53/644.35 c GARBAGE COLLECT
642.53/644.35 c #Conflicts: 311000 | #Constraints: 12211
642.53/644.35 c #Conflicts: 312000 | #Constraints: 13211
642.53/644.35 c #Conflicts: 313000 | #Constraints: 14211
642.53/644.35 c #Conflicts: 314000 | #Constraints: 15211
642.53/644.35 c #Conflicts: 315000 | #Constraints: 16211
642.53/644.35 c #Conflicts: 316000 | #Constraints: 17211
642.53/644.35 c #Conflicts: 317000 | #Constraints: 18211
642.53/644.35 c #Conflicts: 318000 | #Constraints: 19211
642.53/644.35 c #Conflicts: 319000 | #Constraints: 20211
642.53/644.35 c #Conflicts: 320000 | #Constraints: 21211
642.53/644.35 c #Conflicts: 321000 | #Constraints: 22211
642.53/644.35 c INPROCESSING
642.53/644.35 c GARBAGE COLLECT
642.53/644.35 c #Conflicts: 322000 | #Constraints: 12018
642.53/644.35 c #Conflicts: 323000 | #Constraints: 13018
642.53/644.35 c #Conflicts: 324000 | #Constraints: 14018
642.53/644.35 c #Conflicts: 325000 | #Constraints: 15018
642.53/644.35 c #Conflicts: 326000 | #Constraints: 16018
642.53/644.35 c #Conflicts: 327000 | #Constraints: 17018
642.53/644.35 c #Conflicts: 328000 | #Constraints: 18018
642.53/644.35 c #Conflicts: 329000 | #Constraints: 19018
642.53/644.35 c #Conflicts: 330000 | #Constraints: 20018
642.53/644.35 c #Conflicts: 331000 | #Constraints: 21018
642.53/644.35 c #Conflicts: 332000 | #Constraints: 22018
642.53/644.35 c #Conflicts: 333000 | #Constraints: 23018
642.53/644.35 c INPROCESSING
642.53/644.35 c GARBAGE COLLECT
642.53/644.35 c #Conflicts: 334000 | #Constraints: 12612
642.53/644.35 c #Conflicts: 335000 | #Constraints: 13612
642.53/644.35 c #Conflicts: 336000 | #Constraints: 14612
642.53/644.35 c #Conflicts: 337000 | #Constraints: 15612
642.53/644.35 c #Conflicts: 338000 | #Constraints: 16612
642.53/644.35 c #Conflicts: 339000 | #Constraints: 17612
642.53/644.35 c #Conflicts: 340000 | #Constraints: 18612
642.53/644.35 c #Conflicts: 341000 | #Constraints: 19612
642.53/644.35 c #Conflicts: 342000 | #Constraints: 20612
642.53/644.35 c #Conflicts: 343000 | #Constraints: 21612
642.53/644.35 c #Conflicts: 344000 | #Constraints: 22612
642.53/644.35 c #Conflicts: 345000 | #Constraints: 23612
642.53/644.35 c INPROCESSING
642.53/644.35 c GARBAGE COLLECT
642.53/644.35 c #Conflicts: 346000 | #Constraints: 13025
642.53/644.35 c #Conflicts: 347000 | #Constraints: 14025
642.53/644.35 c #Conflicts: 348000 | #Constraints: 15025
642.53/644.35 c #Conflicts: 349000 | #Constraints: 16025
642.53/644.35 c #Conflicts: 350000 | #Constraints: 17025
642.53/644.35 c #Conflicts: 351000 | #Constraints: 18025
642.53/644.35 c #Conflicts: 352000 | #Constraints: 19025
642.53/644.35 c #Conflicts: 353000 | #Constraints: 20025
642.53/644.35 c #Conflicts: 354000 | #Constraints: 21025
642.53/644.35 c #Conflicts: 355000 | #Constraints: 22025
642.53/644.35 c #Conflicts: 356000 | #Constraints: 23025
859.87/862.27 c #Conflicts: 357000 | #Constraints: 24025
859.87/862.27 c INPROCESSING
859.87/862.27 c GARBAGE COLLECT
859.87/862.27 c #Conflicts: 358000 | #Constraints: 13220
859.87/862.27 c #Conflicts: 359000 | #Constraints: 14220
859.87/862.27 c #Conflicts: 360000 | #Constraints: 15220
859.87/862.27 c #Conflicts: 361000 | #Constraints: 16220
859.87/862.27 c #Conflicts: 362000 | #Constraints: 17220
859.87/862.27 c #Conflicts: 363000 | #Constraints: 18220
859.87/862.27 c #Conflicts: 364000 | #Constraints: 19220
859.87/862.27 c #Conflicts: 365000 | #Constraints: 20220
859.87/862.27 c #Conflicts: 366000 | #Constraints: 21220
859.87/862.27 c #Conflicts: 367000 | #Constraints: 22220
859.87/862.27 c #Conflicts: 368000 | #Constraints: 23220
859.87/862.27 c #Conflicts: 369000 | #Constraints: 24220
859.87/862.27 c INPROCESSING
859.87/862.27 c GARBAGE COLLECT
859.87/862.27 c #Conflicts: 370000 | #Constraints: 13220
859.87/862.27 c #Conflicts: 371000 | #Constraints: 14220
859.87/862.27 c #Conflicts: 372000 | #Constraints: 15220
859.87/862.27 c #Conflicts: 373000 | #Constraints: 16220
859.87/862.27 c #Conflicts: 374000 | #Constraints: 17220
859.87/862.27 c #Conflicts: 375000 | #Constraints: 18220
859.87/862.27 c #Conflicts: 376000 | #Constraints: 19220
859.87/862.27 c #Conflicts: 377000 | #Constraints: 20220
859.87/862.27 c #Conflicts: 378000 | #Constraints: 21220
859.87/862.27 c #Conflicts: 379000 | #Constraints: 22220
859.87/862.27 c #Conflicts: 380000 | #Constraints: 23220
859.87/862.27 c #Conflicts: 381000 | #Constraints: 24220
859.87/862.27 c INPROCESSING
859.87/862.27 c GARBAGE COLLECT
859.87/862.27 c #Conflicts: 382000 | #Constraints: 13018
859.87/862.27 c #Conflicts: 383000 | #Constraints: 14018
859.87/862.27 c #Conflicts: 384000 | #Constraints: 15018
859.87/862.27 c #Conflicts: 385000 | #Constraints: 16018
859.87/862.27 c #Conflicts: 386000 | #Constraints: 17018
859.87/862.27 c #Conflicts: 387000 | #Constraints: 18018
859.87/862.27 c #Conflicts: 388000 | #Constraints: 19018
859.87/862.27 c #Conflicts: 389000 | #Constraints: 20018
859.87/862.27 c #Conflicts: 390000 | #Constraints: 21018
859.87/862.27 c #Conflicts: 391000 | #Constraints: 22018
859.87/862.27 c #Conflicts: 392000 | #Constraints: 23018
859.87/862.27 c #Conflicts: 393000 | #Constraints: 24018
859.87/862.27 c #Conflicts: 394000 | #Constraints: 25018
859.87/862.27 c INPROCESSING
859.87/862.27 c GARBAGE COLLECT
859.87/862.27 c #Conflicts: 395000 | #Constraints: 13612
859.87/862.27 c #Conflicts: 396000 | #Constraints: 14612
859.87/862.27 c #Conflicts: 397000 | #Constraints: 15612
859.87/862.27 c #Conflicts: 398000 | #Constraints: 16612
859.87/862.27 c #Conflicts: 399000 | #Constraints: 17612
859.87/862.27 c #Conflicts: 400000 | #Constraints: 18612
859.87/862.27 c #Conflicts: 401000 | #Constraints: 19612
859.87/862.27 c #Conflicts: 402000 | #Constraints: 20612
859.87/862.27 c #Conflicts: 403000 | #Constraints: 21612
859.87/862.27 c #Conflicts: 404000 | #Constraints: 22612
859.87/862.27 c #Conflicts: 405000 | #Constraints: 23612
859.87/862.27 c #Conflicts: 406000 | #Constraints: 24612
859.87/862.27 c #Conflicts: 407000 | #Constraints: 25612
859.87/862.27 c INPROCESSING
859.87/862.27 c GARBAGE COLLECT
859.87/862.27 c #Conflicts: 408000 | #Constraints: 14011
859.87/862.27 c #Conflicts: 409000 | #Constraints: 15011
859.87/862.27 c #Conflicts: 410000 | #Constraints: 16011
859.87/862.27 c #Conflicts: 411000 | #Constraints: 17011
859.87/862.27 c #Conflicts: 412000 | #Constraints: 18011
859.87/862.27 c #Conflicts: 413000 | #Constraints: 19011
859.87/862.27 c #Conflicts: 414000 | #Constraints: 20011
859.87/862.27 c #Conflicts: 415000 | #Constraints: 21011
859.87/862.27 c #Conflicts: 416000 | #Constraints: 22011
859.87/862.27 c #Conflicts: 417000 | #Constraints: 23011
859.87/862.27 c #Conflicts: 418000 | #Constraints: 24011
859.87/862.27 c #Conflicts: 419000 | #Constraints: 25011
859.87/862.27 c #Conflicts: 420000 | #Constraints: 26011
859.87/862.27 c INPROCESSING
859.87/862.27 c GARBAGE COLLECT
859.87/862.27 c #Conflicts: 421000 | #Constraints: 14221
859.87/862.27 c #Conflicts: 422000 | #Constraints: 15221
859.87/862.27 c #Conflicts: 423000 | #Constraints: 16221
859.87/862.27 c #Conflicts: 424000 | #Constraints: 17221
859.87/862.27 c #Conflicts: 425000 | #Constraints: 18221
859.87/862.27 c #Conflicts: 426000 | #Constraints: 19221
859.87/862.27 c #Conflicts: 427000 | #Constraints: 20221
859.87/862.27 c #Conflicts: 428000 | #Constraints: 21221
859.87/862.27 c #Conflicts: 429000 | #Constraints: 22221
859.87/862.27 c #Conflicts: 430000 | #Constraints: 23221
859.87/862.27 c #Conflicts: 431000 | #Constraints: 24221
1077.12/1080.02 c #Conflicts: 432000 | #Constraints: 25221
1077.12/1080.02 c #Conflicts: 433000 | #Constraints: 26221
1077.12/1080.02 c INPROCESSING
1077.12/1080.02 c GARBAGE COLLECT
1077.12/1080.02 c #Conflicts: 434000 | #Constraints: 14222
1077.12/1080.02 c #Conflicts: 435000 | #Constraints: 15222
1077.12/1080.02 c #Conflicts: 436000 | #Constraints: 16222
1077.12/1080.02 c #Conflicts: 437000 | #Constraints: 17222
1077.12/1080.02 c #Conflicts: 438000 | #Constraints: 18222
1077.12/1080.02 c #Conflicts: 439000 | #Constraints: 19222
1077.12/1080.02 c #Conflicts: 440000 | #Constraints: 20222
1077.12/1080.02 c #Conflicts: 441000 | #Constraints: 21222
1077.12/1080.02 c #Conflicts: 442000 | #Constraints: 22222
1077.12/1080.02 c #Conflicts: 443000 | #Constraints: 23222
1077.12/1080.02 c #Conflicts: 444000 | #Constraints: 24222
1077.12/1080.02 c #Conflicts: 445000 | #Constraints: 25222
1077.12/1080.02 c #Conflicts: 446000 | #Constraints: 26222
1077.12/1080.02 c INPROCESSING
1077.12/1080.02 c GARBAGE COLLECT
1077.12/1080.02 c #Conflicts: 447000 | #Constraints: 14030
1077.12/1080.02 c #Conflicts: 448000 | #Constraints: 15030
1077.12/1080.02 c #Conflicts: 449000 | #Constraints: 16030
1077.12/1080.02 c #Conflicts: 450000 | #Constraints: 17030
1077.12/1080.02 c #Conflicts: 451000 | #Constraints: 18030
1077.12/1080.02 c #Conflicts: 452000 | #Constraints: 19030
1077.12/1080.02 c #Conflicts: 453000 | #Constraints: 20030
1077.12/1080.02 c #Conflicts: 454000 | #Constraints: 21030
1077.12/1080.02 c #Conflicts: 455000 | #Constraints: 22030
1077.12/1080.02 c #Conflicts: 456000 | #Constraints: 23030
1077.12/1080.02 c #Conflicts: 457000 | #Constraints: 24030
1077.12/1080.02 c #Conflicts: 458000 | #Constraints: 25030
1077.12/1080.02 c #Conflicts: 459000 | #Constraints: 26030
1077.12/1080.02 c #Conflicts: 460000 | #Constraints: 27030
1077.12/1080.02 c INPROCESSING
1077.12/1080.02 c GARBAGE COLLECT
1077.12/1080.02 c #Conflicts: 461000 | #Constraints: 14608
1077.12/1080.02 c #Conflicts: 462000 | #Constraints: 15608
1077.12/1080.02 c #Conflicts: 463000 | #Constraints: 16608
1077.12/1080.02 c #Conflicts: 464000 | #Constraints: 17608
1077.12/1080.02 c #Conflicts: 465000 | #Constraints: 18608
1077.12/1080.02 c #Conflicts: 466000 | #Constraints: 19608
1077.12/1080.02 c #Conflicts: 467000 | #Constraints: 20608
1077.12/1080.02 c #Conflicts: 468000 | #Constraints: 21608
1077.12/1080.02 c #Conflicts: 469000 | #Constraints: 22608
1077.12/1080.02 c #Conflicts: 470000 | #Constraints: 23608
1077.12/1080.02 c #Conflicts: 471000 | #Constraints: 24608
1077.12/1080.02 c #Conflicts: 472000 | #Constraints: 25608
1077.12/1080.02 c #Conflicts: 473000 | #Constraints: 26608
1077.12/1080.02 c #Conflicts: 474000 | #Constraints: 27608
1077.12/1080.02 c INPROCESSING
1077.12/1080.02 c GARBAGE COLLECT
1077.12/1080.02 c #Conflicts: 475000 | #Constraints: 15022
1077.12/1080.02 c #Conflicts: 476000 | #Constraints: 16022
1077.12/1080.02 c #Conflicts: 477000 | #Constraints: 17022
1077.12/1080.02 c #Conflicts: 478000 | #Constraints: 18022
1077.12/1080.02 c #Conflicts: 479000 | #Constraints: 19022
1077.12/1080.02 c #Conflicts: 480000 | #Constraints: 20022
1077.12/1080.02 c #Conflicts: 481000 | #Constraints: 21022
1077.12/1080.02 c #Conflicts: 482000 | #Constraints: 22022
1077.12/1080.02 c #Conflicts: 483000 | #Constraints: 23022
1077.12/1080.02 c #Conflicts: 484000 | #Constraints: 24022
1077.12/1080.02 c #Conflicts: 485000 | #Constraints: 25022
1077.12/1080.02 c #Conflicts: 486000 | #Constraints: 26022
1077.12/1080.02 c #Conflicts: 487000 | #Constraints: 27022
1077.12/1080.02 c #Conflicts: 488000 | #Constraints: 28022
1077.12/1080.02 c INPROCESSING
1077.12/1080.02 c GARBAGE COLLECT
1077.12/1080.02 c #Conflicts: 489000 | #Constraints: 15221
1077.12/1080.02 c #Conflicts: 490000 | #Constraints: 16221
1077.12/1080.02 c #Conflicts: 491000 | #Constraints: 17221
1077.12/1080.02 c #Conflicts: 492000 | #Constraints: 18221
1077.12/1080.02 c #Conflicts: 493000 | #Constraints: 19221
1077.12/1080.02 c #Conflicts: 494000 | #Constraints: 20221
1077.12/1080.02 c #Conflicts: 495000 | #Constraints: 21221
1077.12/1080.02 c #Conflicts: 496000 | #Constraints: 22221
1077.12/1080.02 c #Conflicts: 497000 | #Constraints: 23221
1077.12/1080.02 c #Conflicts: 498000 | #Constraints: 24221
1077.12/1080.02 c #Conflicts: 499000 | #Constraints: 25221
1077.12/1080.02 c #Conflicts: 500000 | #Constraints: 26221
1077.12/1080.02 c #Conflicts: 501000 | #Constraints: 27221
1077.12/1080.02 c #Conflicts: 502000 | #Constraints: 28221
1077.12/1080.02 c INPROCESSING
1077.12/1080.02 c GARBAGE COLLECT
1077.12/1080.02 c #Conflicts: 503000 | #Constraints: 15221
1077.12/1080.02 c #Conflicts: 504000 | #Constraints: 16221
1077.12/1080.02 c #Conflicts: 505000 | #Constraints: 17221
1077.12/1080.02 c #Conflicts: 506000 | #Constraints: 18221
1306.13/1309.68 c #Conflicts: 507000 | #Constraints: 19221
1306.13/1309.68 c #Conflicts: 508000 | #Constraints: 20221
1306.13/1309.68 c #Conflicts: 509000 | #Constraints: 21221
1306.13/1309.68 c #Conflicts: 510000 | #Constraints: 22221
1306.13/1309.68 c #Conflicts: 511000 | #Constraints: 23221
1306.13/1309.68 c #Conflicts: 512000 | #Constraints: 24221
1306.13/1309.68 c #Conflicts: 513000 | #Constraints: 25221
1306.13/1309.68 c #Conflicts: 514000 | #Constraints: 26221
1306.13/1309.68 c #Conflicts: 515000 | #Constraints: 27221
1306.13/1309.68 c #Conflicts: 516000 | #Constraints: 28221
1306.13/1309.68 c INPROCESSING
1306.13/1309.68 c GARBAGE COLLECT
1306.13/1309.68 c #Conflicts: 517000 | #Constraints: 15015
1306.13/1309.68 c #Conflicts: 518000 | #Constraints: 16015
1306.13/1309.68 c #Conflicts: 519000 | #Constraints: 17015
1306.13/1309.68 c #Conflicts: 520000 | #Constraints: 18015
1306.13/1309.68 c #Conflicts: 521000 | #Constraints: 19015
1306.13/1309.68 c #Conflicts: 522000 | #Constraints: 20015
1306.13/1309.68 c #Conflicts: 523000 | #Constraints: 21015
1306.13/1309.68 c #Conflicts: 524000 | #Constraints: 22015
1306.13/1309.68 c #Conflicts: 525000 | #Constraints: 23015
1306.13/1309.68 c #Conflicts: 526000 | #Constraints: 24015
1306.13/1309.68 c #Conflicts: 527000 | #Constraints: 25015
1306.13/1309.68 c #Conflicts: 528000 | #Constraints: 26015
1306.13/1309.68 c #Conflicts: 529000 | #Constraints: 27015
1306.13/1309.68 c #Conflicts: 530000 | #Constraints: 28015
1306.13/1309.68 c #Conflicts: 531000 | #Constraints: 29015
1306.13/1309.68 c INPROCESSING
1306.13/1309.68 c GARBAGE COLLECT
1306.13/1309.68 c #Conflicts: 532000 | #Constraints: 15622
1306.13/1309.68 c #Conflicts: 533000 | #Constraints: 16622
1306.13/1309.68 c #Conflicts: 534000 | #Constraints: 17622
1306.13/1309.68 c #Conflicts: 535000 | #Constraints: 18622
1306.13/1309.68 c #Conflicts: 536000 | #Constraints: 19622
1306.13/1309.68 c #Conflicts: 537000 | #Constraints: 20622
1306.13/1309.68 c #Conflicts: 538000 | #Constraints: 21622
1306.13/1309.68 c #Conflicts: 539000 | #Constraints: 22622
1306.13/1309.68 c #Conflicts: 540000 | #Constraints: 23622
1306.13/1309.68 c #Conflicts: 541000 | #Constraints: 24622
1306.13/1309.68 c #Conflicts: 542000 | #Constraints: 25622
1306.13/1309.68 c #Conflicts: 543000 | #Constraints: 26622
1306.13/1309.68 c #Conflicts: 544000 | #Constraints: 27622
1306.13/1309.68 c #Conflicts: 545000 | #Constraints: 28622
1306.13/1309.68 c #Conflicts: 546000 | #Constraints: 29622
1306.13/1309.68 c INPROCESSING
1306.13/1309.68 c GARBAGE COLLECT
1306.13/1309.68 c #Conflicts: 547000 | #Constraints: 16014
1306.13/1309.68 c #Conflicts: 548000 | #Constraints: 17014
1306.13/1309.68 c #Conflicts: 549000 | #Constraints: 18014
1306.13/1309.68 c #Conflicts: 550000 | #Constraints: 19014
1306.13/1309.68 c #Conflicts: 551000 | #Constraints: 20014
1306.13/1309.68 c #Conflicts: 552000 | #Constraints: 21014
1306.13/1309.68 c #Conflicts: 553000 | #Constraints: 22014
1306.13/1309.68 c #Conflicts: 554000 | #Constraints: 23014
1306.13/1309.68 c #Conflicts: 555000 | #Constraints: 24014
1306.13/1309.68 c #Conflicts: 556000 | #Constraints: 25014
1306.13/1309.68 c #Conflicts: 557000 | #Constraints: 26014
1306.13/1309.68 c #Conflicts: 558000 | #Constraints: 27014
1306.13/1309.68 c #Conflicts: 559000 | #Constraints: 28014
1306.13/1309.68 c #Conflicts: 560000 | #Constraints: 29014
1306.13/1309.68 c #Conflicts: 561000 | #Constraints: 30014
1306.13/1309.68 c INPROCESSING
1306.13/1309.68 c GARBAGE COLLECT
1306.13/1309.68 c #Conflicts: 562000 | #Constraints: 16213
1306.13/1309.68 c #Conflicts: 563000 | #Constraints: 17213
1306.13/1309.68 c #Conflicts: 564000 | #Constraints: 18213
1306.13/1309.68 c #Conflicts: 565000 | #Constraints: 19213
1306.13/1309.68 c #Conflicts: 566000 | #Constraints: 20213
1306.13/1309.68 c #Conflicts: 567000 | #Constraints: 21213
1306.13/1309.68 c #Conflicts: 568000 | #Constraints: 22213
1306.13/1309.68 c #Conflicts: 569000 | #Constraints: 23213
1306.13/1309.68 c #Conflicts: 570000 | #Constraints: 24213
1306.13/1309.68 c #Conflicts: 571000 | #Constraints: 25213
1306.13/1309.68 c #Conflicts: 572000 | #Constraints: 26213
1306.13/1309.68 c #Conflicts: 573000 | #Constraints: 27213
1306.13/1309.68 c #Conflicts: 574000 | #Constraints: 28213
1306.13/1309.68 c #Conflicts: 575000 | #Constraints: 29213
1306.13/1309.68 c #Conflicts: 576000 | #Constraints: 30213
1306.13/1309.68 c INPROCESSING
1306.13/1309.68 c GARBAGE COLLECT
1306.13/1309.68 c #Conflicts: 577000 | #Constraints: 16223
1306.13/1309.68 c #Conflicts: 578000 | #Constraints: 17223
1306.13/1309.68 c #Conflicts: 579000 | #Constraints: 18223
1306.13/1309.68 c #Conflicts: 580000 | #Constraints: 19223
1306.13/1309.68 c #Conflicts: 581000 | #Constraints: 20223
1580.83/1585.09 c #Conflicts: 582000 | #Constraints: 21223
1580.83/1585.09 c #Conflicts: 583000 | #Constraints: 22223
1580.83/1585.09 c #Conflicts: 584000 | #Constraints: 23223
1580.83/1585.09 c #Conflicts: 585000 | #Constraints: 24223
1580.83/1585.09 c #Conflicts: 586000 | #Constraints: 25223
1580.83/1585.09 c #Conflicts: 587000 | #Constraints: 26223
1580.83/1585.09 c #Conflicts: 588000 | #Constraints: 27223
1580.83/1585.09 c #Conflicts: 589000 | #Constraints: 28223
1580.83/1585.09 c #Conflicts: 590000 | #Constraints: 29223
1580.83/1585.09 c #Conflicts: 591000 | #Constraints: 30223
1580.83/1585.09 c INPROCESSING
1580.83/1585.09 c GARBAGE COLLECT
1580.83/1585.09 c #Conflicts: 592000 | #Constraints: 16024
1580.83/1585.09 c #Conflicts: 593000 | #Constraints: 17024
1580.83/1585.09 c #Conflicts: 594000 | #Constraints: 18024
1580.83/1585.09 c #Conflicts: 595000 | #Constraints: 19024
1580.83/1585.09 c #Conflicts: 596000 | #Constraints: 20024
1580.83/1585.09 c #Conflicts: 597000 | #Constraints: 21024
1580.83/1585.09 c #Conflicts: 598000 | #Constraints: 22024
1580.83/1585.09 c #Conflicts: 599000 | #Constraints: 23024
1580.83/1585.09 c #Conflicts: 600000 | #Constraints: 24024
1580.83/1585.09 c #Conflicts: 601000 | #Constraints: 25024
1580.83/1585.09 c #Conflicts: 602000 | #Constraints: 26024
1580.83/1585.09 c #Conflicts: 603000 | #Constraints: 27024
1580.83/1585.09 c #Conflicts: 604000 | #Constraints: 28024
1580.83/1585.09 c #Conflicts: 605000 | #Constraints: 29024
1580.83/1585.09 c #Conflicts: 606000 | #Constraints: 30024
1580.83/1585.09 c #Conflicts: 607000 | #Constraints: 31024
1580.83/1585.09 c INPROCESSING
1580.83/1585.09 c GARBAGE COLLECT
1580.83/1585.09 c #Conflicts: 608000 | #Constraints: 16628
1580.83/1585.09 c #Conflicts: 609000 | #Constraints: 17628
1580.83/1585.09 c #Conflicts: 610000 | #Constraints: 18628
1580.83/1585.09 c #Conflicts: 611000 | #Constraints: 19628
1580.83/1585.09 c #Conflicts: 612000 | #Constraints: 20628
1580.83/1585.09 c #Conflicts: 613000 | #Constraints: 21628
1580.83/1585.09 c #Conflicts: 614000 | #Constraints: 22628
1580.83/1585.09 c #Conflicts: 615000 | #Constraints: 23628
1580.83/1585.09 c #Conflicts: 616000 | #Constraints: 24628
1580.83/1585.09 c #Conflicts: 617000 | #Constraints: 25628
1580.83/1585.09 c #Conflicts: 618000 | #Constraints: 26628
1580.83/1585.09 c #Conflicts: 619000 | #Constraints: 27628
1580.83/1585.09 c #Conflicts: 620000 | #Constraints: 28628
1580.83/1585.09 c #Conflicts: 621000 | #Constraints: 29628
1580.83/1585.09 c #Conflicts: 622000 | #Constraints: 30628
1580.83/1585.09 c #Conflicts: 623000 | #Constraints: 31628
1580.83/1585.09 c INPROCESSING
1580.83/1585.09 c GARBAGE COLLECT
1580.83/1585.09 c #Conflicts: 624000 | #Constraints: 17021
1580.83/1585.09 c #Conflicts: 625000 | #Constraints: 18021
1580.83/1585.09 c #Conflicts: 626000 | #Constraints: 19021
1580.83/1585.09 c #Conflicts: 627000 | #Constraints: 20021
1580.83/1585.09 c #Conflicts: 628000 | #Constraints: 21021
1580.83/1585.09 c #Conflicts: 629000 | #Constraints: 22021
1580.83/1585.09 c #Conflicts: 630000 | #Constraints: 23021
1580.83/1585.09 c #Conflicts: 631000 | #Constraints: 24021
1580.83/1585.09 c #Conflicts: 632000 | #Constraints: 25021
1580.83/1585.09 c #Conflicts: 633000 | #Constraints: 26021
1580.83/1585.09 c #Conflicts: 634000 | #Constraints: 27021
1580.83/1585.09 c #Conflicts: 635000 | #Constraints: 28021
1580.83/1585.09 c #Conflicts: 636000 | #Constraints: 29021
1580.83/1585.09 c #Conflicts: 637000 | #Constraints: 30021
1580.83/1585.09 c #Conflicts: 638000 | #Constraints: 31021
1580.83/1585.09 c #Conflicts: 639000 | #Constraints: 32021
1580.83/1585.09 c INPROCESSING
1580.83/1585.09 c GARBAGE COLLECT
1580.83/1585.09 c #Conflicts: 640000 | #Constraints: 17220
1580.83/1585.09 c #Conflicts: 641000 | #Constraints: 18220
1580.83/1585.09 c #Conflicts: 642000 | #Constraints: 19220
1580.83/1585.09 c #Conflicts: 643000 | #Constraints: 20220
1580.83/1585.09 c #Conflicts: 644000 | #Constraints: 21220
1580.83/1585.09 c #Conflicts: 645000 | #Constraints: 22220
1580.83/1585.09 c #Conflicts: 646000 | #Constraints: 23220
1580.83/1585.09 c #Conflicts: 647000 | #Constraints: 24220
1580.83/1585.09 c #Conflicts: 648000 | #Constraints: 25220
1580.83/1585.09 c #Conflicts: 649000 | #Constraints: 26220
1580.83/1585.09 c #Conflicts: 650000 | #Constraints: 27220
1580.83/1585.09 c #Conflicts: 651000 | #Constraints: 28220
1580.83/1585.09 c #Conflicts: 652000 | #Constraints: 29220
1580.83/1585.09 c #Conflicts: 653000 | #Constraints: 30220
1580.83/1585.09 c #Conflicts: 654000 | #Constraints: 31220
1580.83/1585.09 c #Conflicts: 655000 | #Constraints: 32220
1580.83/1585.09 c INPROCESSING
1580.83/1585.09 c GARBAGE COLLECT
1580.83/1585.09 c #Conflicts: 656000 | #Constraints: 17217
1580.83/1585.09 c #Conflicts: 657000 | #Constraints: 18217
1846.76/1851.65 c #Conflicts: 658000 | #Constraints: 19217
1846.76/1851.65 c #Conflicts: 659000 | #Constraints: 20217
1846.76/1851.65 c #Conflicts: 660000 | #Constraints: 21217
1846.76/1851.65 c #Conflicts: 661000 | #Constraints: 22217
1846.76/1851.65 c #Conflicts: 662000 | #Constraints: 23217
1846.76/1851.65 c #Conflicts: 663000 | #Constraints: 24217
1846.76/1851.65 c #Conflicts: 664000 | #Constraints: 25217
1846.76/1851.65 c #Conflicts: 665000 | #Constraints: 26217
1846.76/1851.65 c #Conflicts: 666000 | #Constraints: 27217
1846.76/1851.65 c #Conflicts: 667000 | #Constraints: 28217
1846.76/1851.65 c #Conflicts: 668000 | #Constraints: 29217
1846.76/1851.65 c #Conflicts: 669000 | #Constraints: 30217
1846.76/1851.65 c #Conflicts: 670000 | #Constraints: 31217
1846.76/1851.65 c #Conflicts: 671000 | #Constraints: 32217
1846.76/1851.65 c INPROCESSING
1846.76/1851.65 c GARBAGE COLLECT
1846.76/1851.65 c #Conflicts: 672000 | #Constraints: 17022
1846.76/1851.65 c #Conflicts: 673000 | #Constraints: 18022
1846.76/1851.65 c #Conflicts: 674000 | #Constraints: 19022
1846.76/1851.65 c #Conflicts: 675000 | #Constraints: 20022
1846.76/1851.65 c #Conflicts: 676000 | #Constraints: 21022
1846.76/1851.65 c #Conflicts: 677000 | #Constraints: 22022
1846.76/1851.65 c #Conflicts: 678000 | #Constraints: 23022
1846.76/1851.65 c #Conflicts: 679000 | #Constraints: 24022
1846.76/1851.65 c #Conflicts: 680000 | #Constraints: 25022
1846.76/1851.65 c #Conflicts: 681000 | #Constraints: 26022
1846.76/1851.65 c #Conflicts: 682000 | #Constraints: 27022
1846.76/1851.65 c #Conflicts: 683000 | #Constraints: 28022
1846.76/1851.65 c #Conflicts: 684000 | #Constraints: 29022
1846.76/1851.65 c #Conflicts: 685000 | #Constraints: 30022
1846.76/1851.65 c #Conflicts: 686000 | #Constraints: 31022
1846.76/1851.65 c #Conflicts: 687000 | #Constraints: 32022
1846.76/1851.65 c #Conflicts: 688000 | #Constraints: 33022
1846.76/1851.65 c INPROCESSING
1846.76/1851.65 c GARBAGE COLLECT
1846.76/1851.65 c #Conflicts: 689000 | #Constraints: 17628
1846.76/1851.65 c #Conflicts: 690000 | #Constraints: 18628
1846.76/1851.65 c #Conflicts: 691000 | #Constraints: 19628
1846.76/1851.65 c #Conflicts: 692000 | #Constraints: 20628
1846.76/1851.65 c #Conflicts: 693000 | #Constraints: 21628
1846.76/1851.65 c #Conflicts: 694000 | #Constraints: 22628
1846.76/1851.65 c #Conflicts: 695000 | #Constraints: 23628
1846.76/1851.65 c #Conflicts: 696000 | #Constraints: 24628
1846.76/1851.65 c #Conflicts: 697000 | #Constraints: 25628
1846.76/1851.65 c #Conflicts: 698000 | #Constraints: 26628
1846.76/1851.65 c #Conflicts: 699000 | #Constraints: 27628
1846.76/1851.65 c #Conflicts: 700000 | #Constraints: 28628
1846.76/1851.65 c #Conflicts: 701000 | #Constraints: 29628
1846.76/1851.65 c #Conflicts: 702000 | #Constraints: 30628
1846.76/1851.65 c #Conflicts: 703000 | #Constraints: 31628
1846.76/1851.65 c #Conflicts: 704000 | #Constraints: 32628
1846.76/1851.65 c #Conflicts: 705000 | #Constraints: 33628
1846.76/1851.65 c INPROCESSING
1846.76/1851.65 c GARBAGE COLLECT
1846.76/1851.65 c #Conflicts: 706000 | #Constraints: 18019
1846.76/1851.65 c #Conflicts: 707000 | #Constraints: 19019
1846.76/1851.65 c #Conflicts: 708000 | #Constraints: 20019
1846.76/1851.65 c #Conflicts: 709000 | #Constraints: 21019
1846.76/1851.65 c #Conflicts: 710000 | #Constraints: 22019
1846.76/1851.65 c #Conflicts: 711000 | #Constraints: 23019
1846.76/1851.65 c #Conflicts: 712000 | #Constraints: 24019
1846.76/1851.65 c #Conflicts: 713000 | #Constraints: 25019
1846.76/1851.65 c #Conflicts: 714000 | #Constraints: 26019
1846.76/1851.65 c #Conflicts: 715000 | #Constraints: 27019
1846.76/1851.65 c #Conflicts: 716000 | #Constraints: 28019
1846.76/1851.65 c #Conflicts: 717000 | #Constraints: 29019
1846.76/1851.65 c #Conflicts: 718000 | #Constraints: 30019
1846.76/1851.65 c #Conflicts: 719000 | #Constraints: 31019
1846.76/1851.65 c #Conflicts: 720000 | #Constraints: 32019
1846.76/1851.65 c #Conflicts: 721000 | #Constraints: 33019
1846.76/1851.65 c #Conflicts: 722000 | #Constraints: 34019
1846.76/1851.65 c INPROCESSING
1846.76/1851.65 c GARBAGE COLLECT
1846.76/1851.65 c #Conflicts: 723000 | #Constraints: 18217
1846.76/1851.65 c #Conflicts: 724000 | #Constraints: 19217
1846.76/1851.65 c #Conflicts: 725000 | #Constraints: 20217
1846.76/1851.65 c #Conflicts: 726000 | #Constraints: 21217
1846.76/1851.65 c #Conflicts: 727000 | #Constraints: 22217
1846.76/1851.65 c #Conflicts: 728000 | #Constraints: 23217
1846.76/1851.65 c #Conflicts: 729000 | #Constraints: 24217
1846.76/1851.65 c #Conflicts: 730000 | #Constraints: 25217
1846.76/1851.65 c #Conflicts: 731000 | #Constraints: 26217
1846.76/1851.65 c #Conflicts: 732000 | #Constraints: 27217
1846.76/1851.65 c #Conflicts: 733000 | #Constraints: 28217
2151.52/2157.12 c #Conflicts: 734000 | #Constraints: 29217
2151.52/2157.12 c #Conflicts: 735000 | #Constraints: 30217
2151.52/2157.12 c #Conflicts: 736000 | #Constraints: 31217
2151.52/2157.12 c #Conflicts: 737000 | #Constraints: 32217
2151.52/2157.12 c #Conflicts: 738000 | #Constraints: 33217
2151.52/2157.12 c #Conflicts: 739000 | #Constraints: 34217
2151.52/2157.12 c INPROCESSING
2151.52/2157.12 c GARBAGE COLLECT
2151.52/2157.12 c #Conflicts: 740000 | #Constraints: 18220
2151.52/2157.12 c #Conflicts: 741000 | #Constraints: 19220
2151.52/2157.12 c #Conflicts: 742000 | #Constraints: 20220
2151.52/2157.12 c #Conflicts: 743000 | #Constraints: 21220
2151.52/2157.12 c #Conflicts: 744000 | #Constraints: 22220
2151.52/2157.12 c #Conflicts: 745000 | #Constraints: 23220
2151.52/2157.12 c #Conflicts: 746000 | #Constraints: 24220
2151.52/2157.12 c #Conflicts: 747000 | #Constraints: 25220
2151.52/2157.12 c #Conflicts: 748000 | #Constraints: 26220
2151.52/2157.12 c #Conflicts: 749000 | #Constraints: 27220
2151.52/2157.12 c #Conflicts: 750000 | #Constraints: 28220
2151.52/2157.12 c #Conflicts: 751000 | #Constraints: 29220
2151.52/2157.12 c #Conflicts: 752000 | #Constraints: 30220
2151.52/2157.12 c #Conflicts: 753000 | #Constraints: 31220
2151.52/2157.12 c #Conflicts: 754000 | #Constraints: 32220
2151.52/2157.12 c #Conflicts: 755000 | #Constraints: 33220
2151.52/2157.12 c #Conflicts: 756000 | #Constraints: 34220
2151.52/2157.12 c INPROCESSING
2151.52/2157.12 c GARBAGE COLLECT
2151.52/2157.12 c #Conflicts: 757000 | #Constraints: 18009
2151.52/2157.12 c #Conflicts: 758000 | #Constraints: 19009
2151.52/2157.12 c #Conflicts: 759000 | #Constraints: 20009
2151.52/2157.12 c #Conflicts: 760000 | #Constraints: 21009
2151.52/2157.12 c #Conflicts: 761000 | #Constraints: 22009
2151.52/2157.12 c #Conflicts: 762000 | #Constraints: 23009
2151.52/2157.12 c #Conflicts: 763000 | #Constraints: 24009
2151.52/2157.12 c #Conflicts: 764000 | #Constraints: 25009
2151.52/2157.12 c #Conflicts: 765000 | #Constraints: 26009
2151.52/2157.12 c #Conflicts: 766000 | #Constraints: 27009
2151.52/2157.12 c #Conflicts: 767000 | #Constraints: 28009
2151.52/2157.12 c #Conflicts: 768000 | #Constraints: 29009
2151.52/2157.12 c #Conflicts: 769000 | #Constraints: 30009
2151.52/2157.12 c #Conflicts: 770000 | #Constraints: 31009
2151.52/2157.12 c #Conflicts: 771000 | #Constraints: 32009
2151.52/2157.12 c #Conflicts: 772000 | #Constraints: 33009
2151.52/2157.12 c #Conflicts: 773000 | #Constraints: 34009
2151.52/2157.12 c #Conflicts: 774000 | #Constraints: 35009
2151.52/2157.12 c INPROCESSING
2151.52/2157.12 c GARBAGE COLLECT
2151.52/2157.12 c #Conflicts: 775000 | #Constraints: 18623
2151.52/2157.12 c #Conflicts: 776000 | #Constraints: 19623
2151.52/2157.12 c #Conflicts: 777000 | #Constraints: 20623
2151.52/2157.12 c #Conflicts: 778000 | #Constraints: 21623
2151.52/2157.12 c #Conflicts: 779000 | #Constraints: 22623
2151.52/2157.12 c #Conflicts: 780000 | #Constraints: 23623
2151.52/2157.12 c #Conflicts: 781000 | #Constraints: 24623
2151.52/2157.12 c #Conflicts: 782000 | #Constraints: 25623
2151.52/2157.12 c #Conflicts: 783000 | #Constraints: 26623
2151.52/2157.12 c #Conflicts: 784000 | #Constraints: 27623
2151.52/2157.12 c #Conflicts: 785000 | #Constraints: 28623
2151.52/2157.12 c #Conflicts: 786000 | #Constraints: 29623
2151.52/2157.12 c #Conflicts: 787000 | #Constraints: 30623
2151.52/2157.12 c #Conflicts: 788000 | #Constraints: 31623
2151.52/2157.12 c #Conflicts: 789000 | #Constraints: 32623
2151.52/2157.12 c #Conflicts: 790000 | #Constraints: 33623
2151.52/2157.12 c #Conflicts: 791000 | #Constraints: 34623
2151.52/2157.12 c #Conflicts: 792000 | #Constraints: 35623
2151.52/2157.12 c INPROCESSING
2151.52/2157.12 c GARBAGE COLLECT
2151.52/2157.12 c #Conflicts: 793000 | #Constraints: 19013
2151.52/2157.12 c #Conflicts: 794000 | #Constraints: 20013
2151.52/2157.12 c #Conflicts: 795000 | #Constraints: 21013
2151.52/2157.12 c #Conflicts: 796000 | #Constraints: 22013
2151.52/2157.12 c #Conflicts: 797000 | #Constraints: 23013
2151.52/2157.12 c #Conflicts: 798000 | #Constraints: 24013
2151.52/2157.12 c #Conflicts: 799000 | #Constraints: 25013
2151.52/2157.12 c #Conflicts: 800000 | #Constraints: 26013
2151.52/2157.12 c #Conflicts: 801000 | #Constraints: 27013
2151.52/2157.12 c #Conflicts: 802000 | #Constraints: 28013
2151.52/2157.12 c #Conflicts: 803000 | #Constraints: 29013
2151.52/2157.12 c #Conflicts: 804000 | #Constraints: 30013
2151.52/2157.12 c #Conflicts: 805000 | #Constraints: 31013
2151.52/2157.12 c #Conflicts: 806000 | #Constraints: 32013
2151.52/2157.12 c #Conflicts: 807000 | #Constraints: 33013
2151.52/2157.12 c #Conflicts: 808000 | #Constraints: 34013
2151.52/2157.12 c #Conflicts: 809000 | #Constraints: 35013
2478.41/2484.87 c #Conflicts: 810000 | #Constraints: 36013
2478.41/2484.87 c INPROCESSING
2478.41/2484.87 c GARBAGE COLLECT
2478.41/2484.87 c #Conflicts: 811000 | #Constraints: 19223
2478.41/2484.87 c #Conflicts: 812000 | #Constraints: 20223
2478.41/2484.87 c #Conflicts: 813000 | #Constraints: 21223
2478.41/2484.87 c #Conflicts: 814000 | #Constraints: 22223
2478.41/2484.87 c #Conflicts: 815000 | #Constraints: 23223
2478.41/2484.87 c #Conflicts: 816000 | #Constraints: 24223
2478.41/2484.87 c #Conflicts: 817000 | #Constraints: 25223
2478.41/2484.87 c #Conflicts: 818000 | #Constraints: 26223
2478.41/2484.87 c #Conflicts: 819000 | #Constraints: 27223
2478.41/2484.87 c #Conflicts: 820000 | #Constraints: 28223
2478.41/2484.87 c #Conflicts: 821000 | #Constraints: 29223
2478.41/2484.87 c #Conflicts: 822000 | #Constraints: 30223
2478.41/2484.87 c #Conflicts: 823000 | #Constraints: 31223
2478.41/2484.87 c #Conflicts: 824000 | #Constraints: 32223
2478.41/2484.87 c #Conflicts: 825000 | #Constraints: 33223
2478.41/2484.87 c #Conflicts: 826000 | #Constraints: 34223
2478.41/2484.87 c #Conflicts: 827000 | #Constraints: 35223
2478.41/2484.87 c #Conflicts: 828000 | #Constraints: 36223
2478.41/2484.87 c INPROCESSING
2478.41/2484.87 c GARBAGE COLLECT
2478.41/2484.87 c #Conflicts: 829000 | #Constraints: 19223
2478.41/2484.87 c #Conflicts: 830000 | #Constraints: 20223
2478.41/2484.87 c #Conflicts: 831000 | #Constraints: 21223
2478.41/2484.87 c #Conflicts: 832000 | #Constraints: 22223
2478.41/2484.87 c #Conflicts: 833000 | #Constraints: 23223
2478.41/2484.87 c #Conflicts: 834000 | #Constraints: 24223
2478.41/2484.87 c #Conflicts: 835000 | #Constraints: 25223
2478.41/2484.87 c #Conflicts: 836000 | #Constraints: 26223
2478.41/2484.87 c #Conflicts: 837000 | #Constraints: 27223
2478.41/2484.87 c #Conflicts: 838000 | #Constraints: 28223
2478.41/2484.87 c #Conflicts: 839000 | #Constraints: 29223
2478.41/2484.87 c #Conflicts: 840000 | #Constraints: 30223
2478.41/2484.87 c #Conflicts: 841000 | #Constraints: 31223
2478.41/2484.87 c #Conflicts: 842000 | #Constraints: 32223
2478.41/2484.87 c #Conflicts: 843000 | #Constraints: 33223
2478.41/2484.87 c #Conflicts: 844000 | #Constraints: 34223
2478.41/2484.87 c #Conflicts: 845000 | #Constraints: 35223
2478.41/2484.87 c #Conflicts: 846000 | #Constraints: 36223
2478.41/2484.87 c INPROCESSING
2478.41/2484.87 c GARBAGE COLLECT
2478.41/2484.87 c #Conflicts: 847000 | #Constraints: 19037
2478.41/2484.87 c #Conflicts: 848000 | #Constraints: 20037
2478.41/2484.87 c #Conflicts: 849000 | #Constraints: 21037
2478.41/2484.87 c #Conflicts: 850000 | #Constraints: 22037
2478.41/2484.87 c #Conflicts: 851000 | #Constraints: 23037
2478.41/2484.87 c #Conflicts: 852000 | #Constraints: 24037
2478.41/2484.87 c #Conflicts: 853000 | #Constraints: 25037
2478.41/2484.87 c #Conflicts: 854000 | #Constraints: 26037
2478.41/2484.87 c #Conflicts: 855000 | #Constraints: 27037
2478.41/2484.87 c #Conflicts: 856000 | #Constraints: 28037
2478.41/2484.87 c #Conflicts: 857000 | #Constraints: 29037
2478.41/2484.87 c #Conflicts: 858000 | #Constraints: 30037
2478.41/2484.87 c #Conflicts: 859000 | #Constraints: 31037
2478.41/2484.87 c #Conflicts: 860000 | #Constraints: 32037
2478.41/2484.87 c #Conflicts: 861000 | #Constraints: 33037
2478.41/2484.87 c #Conflicts: 862000 | #Constraints: 34037
2478.41/2484.87 c #Conflicts: 863000 | #Constraints: 35037
2478.41/2484.87 c #Conflicts: 864000 | #Constraints: 36037
2478.41/2484.87 c #Conflicts: 865000 | #Constraints: 37037
2478.41/2484.87 c INPROCESSING
2478.41/2484.87 c GARBAGE COLLECT
2478.41/2484.87 c #Conflicts: 866000 | #Constraints: 19619
2478.41/2484.87 c #Conflicts: 867000 | #Constraints: 20619
2478.41/2484.87 c #Conflicts: 868000 | #Constraints: 21619
2478.41/2484.87 c #Conflicts: 869000 | #Constraints: 22619
2478.41/2484.87 c #Conflicts: 870000 | #Constraints: 23619
2478.41/2484.87 c #Conflicts: 871000 | #Constraints: 24619
2478.41/2484.87 c #Conflicts: 872000 | #Constraints: 25619
2478.41/2484.87 c #Conflicts: 873000 | #Constraints: 26619
2478.41/2484.87 c #Conflicts: 874000 | #Constraints: 27619
2478.41/2484.87 c #Conflicts: 875000 | #Constraints: 28619
2478.41/2484.87 c #Conflicts: 876000 | #Constraints: 29619
2478.41/2484.87 c #Conflicts: 877000 | #Constraints: 30619
2478.41/2484.87 c #Conflicts: 878000 | #Constraints: 31619
2478.41/2484.87 c #Conflicts: 879000 | #Constraints: 32619
2478.41/2484.87 c #Conflicts: 880000 | #Constraints: 33619
2478.41/2484.87 c #Conflicts: 881000 | #Constraints: 34619
2478.41/2484.87 c #Conflicts: 882000 | #Constraints: 35619
2478.41/2484.87 c #Conflicts: 883000 | #Constraints: 36619
2478.41/2484.87 c #Conflicts: 884000 | #Constraints: 37619
2478.41/2484.87 c INPROCESSING
2478.41/2484.87 c GARBAGE COLLECT
2478.41/2484.87 c #Conflicts: 885000 | #Constraints: 20023
2836.31/2843.63 c #Conflicts: 886000 | #Constraints: 21023
2836.31/2843.63 c #Conflicts: 887000 | #Constraints: 22023
2836.31/2843.63 c #Conflicts: 888000 | #Constraints: 23023
2836.31/2843.63 c #Conflicts: 889000 | #Constraints: 24023
2836.31/2843.63 c #Conflicts: 890000 | #Constraints: 25023
2836.31/2843.63 c #Conflicts: 891000 | #Constraints: 26023
2836.31/2843.63 c #Conflicts: 892000 | #Constraints: 27023
2836.31/2843.63 c #Conflicts: 893000 | #Constraints: 28023
2836.31/2843.63 c #Conflicts: 894000 | #Constraints: 29023
2836.31/2843.63 c #Conflicts: 895000 | #Constraints: 30023
2836.31/2843.63 c #Conflicts: 896000 | #Constraints: 31023
2836.31/2843.63 c #Conflicts: 897000 | #Constraints: 32023
2836.31/2843.63 c #Conflicts: 898000 | #Constraints: 33023
2836.31/2843.63 c #Conflicts: 899000 | #Constraints: 34023
2836.31/2843.63 c #Conflicts: 900000 | #Constraints: 35023
2836.31/2843.63 c #Conflicts: 901000 | #Constraints: 36023
2836.31/2843.63 c #Conflicts: 902000 | #Constraints: 37023
2836.31/2843.63 c #Conflicts: 903000 | #Constraints: 38023
2836.31/2843.63 c INPROCESSING
2836.31/2843.63 c GARBAGE COLLECT
2836.31/2843.63 c #Conflicts: 904000 | #Constraints: 20228
2836.31/2843.63 c #Conflicts: 905000 | #Constraints: 21228
2836.31/2843.63 c #Conflicts: 906000 | #Constraints: 22228
2836.31/2843.63 c #Conflicts: 907000 | #Constraints: 23228
2836.31/2843.63 c #Conflicts: 908000 | #Constraints: 24228
2836.31/2843.63 c #Conflicts: 909000 | #Constraints: 25228
2836.31/2843.63 c #Conflicts: 910000 | #Constraints: 26228
2836.31/2843.63 c #Conflicts: 911000 | #Constraints: 27228
2836.31/2843.63 c #Conflicts: 912000 | #Constraints: 28228
2836.31/2843.63 c #Conflicts: 913000 | #Constraints: 29228
2836.31/2843.63 c #Conflicts: 914000 | #Constraints: 30228
2836.31/2843.63 c #Conflicts: 915000 | #Constraints: 31228
2836.31/2843.63 c #Conflicts: 916000 | #Constraints: 32228
2836.31/2843.63 c #Conflicts: 917000 | #Constraints: 33228
2836.31/2843.63 c #Conflicts: 918000 | #Constraints: 34228
2836.31/2843.63 c #Conflicts: 919000 | #Constraints: 35228
2836.31/2843.63 c #Conflicts: 920000 | #Constraints: 36228
2836.31/2843.63 c #Conflicts: 921000 | #Constraints: 37228
2836.31/2843.63 c #Conflicts: 922000 | #Constraints: 38228
2836.31/2843.63 c INPROCESSING
2836.31/2843.63 c GARBAGE COLLECT
2836.31/2843.63 c #Conflicts: 923000 | #Constraints: 20232
2836.31/2843.63 c #Conflicts: 924000 | #Constraints: 21232
2836.31/2843.63 c #Conflicts: 925000 | #Constraints: 22232
2836.31/2843.63 c #Conflicts: 926000 | #Constraints: 23232
2836.31/2843.63 c #Conflicts: 927000 | #Constraints: 24232
2836.31/2843.63 c #Conflicts: 928000 | #Constraints: 25232
2836.31/2843.63 c #Conflicts: 929000 | #Constraints: 26232
2836.31/2843.63 c #Conflicts: 930000 | #Constraints: 27232
2836.31/2843.63 c #Conflicts: 931000 | #Constraints: 28232
2836.31/2843.63 c #Conflicts: 932000 | #Constraints: 29232
2836.31/2843.63 c #Conflicts: 933000 | #Constraints: 30232
2836.31/2843.63 c #Conflicts: 934000 | #Constraints: 31232
2836.31/2843.63 c #Conflicts: 935000 | #Constraints: 32232
2836.31/2843.63 c #Conflicts: 936000 | #Constraints: 33232
2836.31/2843.63 c #Conflicts: 937000 | #Constraints: 34232
2836.31/2843.63 c #Conflicts: 938000 | #Constraints: 35232
2836.31/2843.63 c #Conflicts: 939000 | #Constraints: 36232
2836.31/2843.63 c #Conflicts: 940000 | #Constraints: 37232
2836.31/2843.63 c #Conflicts: 941000 | #Constraints: 38232
2836.31/2843.63 c INPROCESSING
2836.31/2843.63 c GARBAGE COLLECT
2836.31/2843.63 c #Conflicts: 942000 | #Constraints: 20036
2836.31/2843.63 c #Conflicts: 943000 | #Constraints: 21036
2836.31/2843.63 c #Conflicts: 944000 | #Constraints: 22036
2836.31/2843.63 c #Conflicts: 945000 | #Constraints: 23036
2836.31/2843.63 c #Conflicts: 946000 | #Constraints: 24036
2836.31/2843.63 c #Conflicts: 947000 | #Constraints: 25036
2836.31/2843.63 c #Conflicts: 948000 | #Constraints: 26036
2836.31/2843.63 c #Conflicts: 949000 | #Constraints: 27036
2836.31/2843.63 c #Conflicts: 950000 | #Constraints: 28036
2836.31/2843.63 c #Conflicts: 951000 | #Constraints: 29036
2836.31/2843.63 c #Conflicts: 952000 | #Constraints: 30036
2836.31/2843.63 c #Conflicts: 953000 | #Constraints: 31036
2836.31/2843.63 c #Conflicts: 954000 | #Constraints: 32036
2836.31/2843.63 c #Conflicts: 955000 | #Constraints: 33036
2836.31/2843.63 c #Conflicts: 956000 | #Constraints: 34036
2836.31/2843.63 c #Conflicts: 957000 | #Constraints: 35036
2836.31/2843.63 c #Conflicts: 958000 | #Constraints: 36036
2836.31/2843.63 c #Conflicts: 959000 | #Constraints: 37036
2836.31/2843.63 c #Conflicts: 960000 | #Constraints: 38036
2836.31/2843.63 c #Conflicts: 961000 | #Constraints: 39036
2836.31/2843.63 c INPROCESSING
2836.31/2843.63 c GARBAGE COLLECT
3162.28/3170.43 c #Conflicts: 962000 | #Constraints: 20632
3162.28/3170.43 c #Conflicts: 963000 | #Constraints: 21632
3162.28/3170.43 c #Conflicts: 964000 | #Constraints: 22632
3162.28/3170.43 c #Conflicts: 965000 | #Constraints: 23632
3162.28/3170.43 c #Conflicts: 966000 | #Constraints: 24632
3162.28/3170.43 c #Conflicts: 967000 | #Constraints: 25632
3162.28/3170.43 c #Conflicts: 968000 | #Constraints: 26632
3162.28/3170.43 c #Conflicts: 969000 | #Constraints: 27632
3162.28/3170.43 c #Conflicts: 970000 | #Constraints: 28632
3162.28/3170.43 c #Conflicts: 971000 | #Constraints: 29632
3162.28/3170.43 c #Conflicts: 972000 | #Constraints: 30632
3162.28/3170.43 c #Conflicts: 973000 | #Constraints: 31632
3162.28/3170.43 c #Conflicts: 974000 | #Constraints: 32632
3162.28/3170.43 c #Conflicts: 975000 | #Constraints: 33632
3162.28/3170.43 c #Conflicts: 976000 | #Constraints: 34632
3162.28/3170.43 c #Conflicts: 977000 | #Constraints: 35632
3162.28/3170.43 c #Conflicts: 978000 | #Constraints: 36632
3162.28/3170.43 c #Conflicts: 979000 | #Constraints: 37632
3162.28/3170.43 c #Conflicts: 980000 | #Constraints: 38632
3162.28/3170.43 c #Conflicts: 981000 | #Constraints: 39632
3162.28/3170.43 c INPROCESSING
3162.28/3170.43 c GARBAGE COLLECT
3162.28/3170.43 c #Conflicts: 982000 | #Constraints: 21025
3162.28/3170.43 c #Conflicts: 983000 | #Constraints: 22025
3162.28/3170.43 c #Conflicts: 984000 | #Constraints: 23025
3162.28/3170.43 c #Conflicts: 985000 | #Constraints: 24025
3162.28/3170.43 c #Conflicts: 986000 | #Constraints: 25025
3162.28/3170.43 c #Conflicts: 987000 | #Constraints: 26025
3162.28/3170.43 c #Conflicts: 988000 | #Constraints: 27025
3162.28/3170.43 c #Conflicts: 989000 | #Constraints: 28025
3162.28/3170.43 c #Conflicts: 990000 | #Constraints: 29025
3162.28/3170.43 c #Conflicts: 991000 | #Constraints: 30025
3162.28/3170.43 c #Conflicts: 992000 | #Constraints: 31025
3162.28/3170.43 c #Conflicts: 993000 | #Constraints: 32025
3162.28/3170.43 c #Conflicts: 994000 | #Constraints: 33025
3162.28/3170.43 c #Conflicts: 995000 | #Constraints: 34025
3162.28/3170.43 c #Conflicts: 996000 | #Constraints: 35025
3162.28/3170.43 c #Conflicts: 997000 | #Constraints: 36025
3162.28/3170.43 c #Conflicts: 998000 | #Constraints: 37025
3162.28/3170.43 c #Conflicts: 999000 | #Constraints: 38025
3162.28/3170.43 c #Conflicts: 1000000 | #Constraints: 39025
3162.28/3170.43 c #Conflicts: 1001000 | #Constraints: 40025
3162.28/3170.43 c INPROCESSING
3162.28/3170.43 c GARBAGE COLLECT
3162.28/3170.43 c #Conflicts: 1002000 | #Constraints: 21223
3162.28/3170.43 c #Conflicts: 1003000 | #Constraints: 22223
3162.28/3170.43 c #Conflicts: 1004000 | #Constraints: 23223
3162.28/3170.43 c #Conflicts: 1005000 | #Constraints: 24223
3162.28/3170.43 c #Conflicts: 1006000 | #Constraints: 25223
3162.28/3170.43 c #Conflicts: 1007000 | #Constraints: 26223
3162.28/3170.43 c #Conflicts: 1008000 | #Constraints: 27223
3162.28/3170.43 c #Conflicts: 1009000 | #Constraints: 28223
3162.28/3170.43 c #Conflicts: 1010000 | #Constraints: 29223
3162.28/3170.43 c #Conflicts: 1011000 | #Constraints: 30223
3162.28/3170.43 c #Conflicts: 1012000 | #Constraints: 31223
3162.28/3170.43 c #Conflicts: 1013000 | #Constraints: 32223
3162.28/3170.43 c #Conflicts: 1014000 | #Constraints: 33223
3162.28/3170.43 c #Conflicts: 1015000 | #Constraints: 34223
3162.28/3170.43 c #Conflicts: 1016000 | #Constraints: 35223
3162.28/3170.43 c #Conflicts: 1017000 | #Constraints: 36223
3162.28/3170.43 c #Conflicts: 1018000 | #Constraints: 37223
3162.28/3170.43 c #Conflicts: 1019000 | #Constraints: 38223
3162.28/3170.43 c #Conflicts: 1020000 | #Constraints: 39223
3162.28/3170.43 c #Conflicts: 1021000 | #Constraints: 40223
3162.28/3170.43 c INPROCESSING
3162.28/3170.43 c GARBAGE COLLECT
3162.28/3170.43 c #Conflicts: 1022000 | #Constraints: 21217
3162.28/3170.43 c #Conflicts: 1023000 | #Constraints: 22217
3162.28/3170.43 c #Conflicts: 1024000 | #Constraints: 23217
3162.28/3170.43 c #Conflicts: 1025000 | #Constraints: 24217
3162.28/3170.43 c #Conflicts: 1026000 | #Constraints: 25217
3162.28/3170.43 c #Conflicts: 1027000 | #Constraints: 26217
3162.28/3170.43 c #Conflicts: 1028000 | #Constraints: 27217
3162.28/3170.43 c #Conflicts: 1029000 | #Constraints: 28217
3162.28/3170.43 c #Conflicts: 1030000 | #Constraints: 29217
3162.28/3170.43 c #Conflicts: 1031000 | #Constraints: 30217
3162.28/3170.43 c #Conflicts: 1032000 | #Constraints: 31217
3162.28/3170.43 c #Conflicts: 1033000 | #Constraints: 32217
3162.28/3170.43 c #Conflicts: 1034000 | #Constraints: 33217
3162.28/3170.43 c #Conflicts: 1035000 | #Constraints: 34217
3162.28/3170.43 c #Conflicts: 1036000 | #Constraints: 35217
3162.28/3170.43 c #Conflicts: 1037000 | #Constraints: 36217
3162.28/3170.43 c #Conflicts: 1038000 | #Constraints: 37217
3441.74/3450.61 c #Conflicts: 1039000 | #Constraints: 38217
3441.74/3450.61 c #Conflicts: 1040000 | #Constraints: 39217
3441.74/3450.61 c #Conflicts: 1041000 | #Constraints: 40217
3441.74/3450.61 c INPROCESSING
3441.74/3450.61 c GARBAGE COLLECT
3441.74/3450.61 c #Conflicts: 1042000 | #Constraints: 21014
3441.74/3450.61 c #Conflicts: 1043000 | #Constraints: 22014
3441.74/3450.61 c #Conflicts: 1044000 | #Constraints: 23014
3441.74/3450.61 c #Conflicts: 1045000 | #Constraints: 24014
3441.74/3450.61 c #Conflicts: 1046000 | #Constraints: 25014
3441.74/3450.61 c #Conflicts: 1047000 | #Constraints: 26014
3441.74/3450.61 c #Conflicts: 1048000 | #Constraints: 27014
3441.74/3450.61 c #Conflicts: 1049000 | #Constraints: 28014
3441.74/3450.61 c #Conflicts: 1050000 | #Constraints: 29014
3441.74/3450.61 c #Conflicts: 1051000 | #Constraints: 30014
3441.74/3450.61 c #Conflicts: 1052000 | #Constraints: 31014
3441.74/3450.61 c #Conflicts: 1053000 | #Constraints: 32014
3441.74/3450.61 c #Conflicts: 1054000 | #Constraints: 33014
3441.74/3450.61 c #Conflicts: 1055000 | #Constraints: 34014
3441.74/3450.61 c #Conflicts: 1056000 | #Constraints: 35014
3441.74/3450.61 c #Conflicts: 1057000 | #Constraints: 36014
3441.74/3450.61 c #Conflicts: 1058000 | #Constraints: 37014
3441.74/3450.61 c #Conflicts: 1059000 | #Constraints: 38014
3441.74/3450.61 c #Conflicts: 1060000 | #Constraints: 39014
3441.74/3450.61 c #Conflicts: 1061000 | #Constraints: 40014
3441.74/3450.61 c #Conflicts: 1062000 | #Constraints: 41014
3441.74/3450.61 c INPROCESSING
3441.74/3450.61 c GARBAGE COLLECT
3441.74/3450.61 c #Conflicts: 1063000 | #Constraints: 21614
3441.74/3450.61 c #Conflicts: 1064000 | #Constraints: 22614
3441.74/3450.61 c #Conflicts: 1065000 | #Constraints: 23614
3441.74/3450.61 c #Conflicts: 1066000 | #Constraints: 24614
3441.74/3450.61 c #Conflicts: 1067000 | #Constraints: 25614
3441.74/3450.61 c #Conflicts: 1068000 | #Constraints: 26614
3441.74/3450.61 c #Conflicts: 1069000 | #Constraints: 27614
3441.74/3450.61 c #Conflicts: 1070000 | #Constraints: 28614
3441.74/3450.61 c #Conflicts: 1071000 | #Constraints: 29614
3441.74/3450.61 c #Conflicts: 1072000 | #Constraints: 30614
3441.74/3450.61 c #Conflicts: 1073000 | #Constraints: 31614
3441.74/3450.61 c #Conflicts: 1074000 | #Constraints: 32614
3441.74/3450.61 c #Conflicts: 1075000 | #Constraints: 33614
3441.74/3450.61 c #Conflicts: 1076000 | #Constraints: 34614
3441.74/3450.61 c #Conflicts: 1077000 | #Constraints: 35614
3441.74/3450.61 c #Conflicts: 1078000 | #Constraints: 36614
3441.74/3450.61 c #Conflicts: 1079000 | #Constraints: 37614
3441.74/3450.61 c #Conflicts: 1080000 | #Constraints: 38614
3441.74/3450.61 c #Conflicts: 1081000 | #Constraints: 39614
3441.74/3450.61 c #Conflicts: 1082000 | #Constraints: 40614
3441.74/3450.61 c #Conflicts: 1083000 | #Constraints: 41614
3441.74/3450.61 c INPROCESSING
3441.74/3450.61 c GARBAGE COLLECT
3441.74/3450.61 c #Conflicts: 1084000 | #Constraints: 22022
3441.74/3450.61 c #Conflicts: 1085000 | #Constraints: 23022
3441.74/3450.61 c #Conflicts: 1086000 | #Constraints: 24022
3441.74/3450.61 c #Conflicts: 1087000 | #Constraints: 25022
3441.74/3450.61 c #Conflicts: 1088000 | #Constraints: 26022
3441.74/3450.61 c #Conflicts: 1089000 | #Constraints: 27022
3441.74/3450.61 c #Conflicts: 1090000 | #Constraints: 28022
3441.74/3450.61 c #Conflicts: 1091000 | #Constraints: 29022
3441.74/3450.61 c #Conflicts: 1092000 | #Constraints: 30022
3441.74/3450.61 c #Conflicts: 1093000 | #Constraints: 31022
3441.74/3450.61 c #Conflicts: 1094000 | #Constraints: 32022
3441.74/3450.61 c #Conflicts: 1095000 | #Constraints: 33022
3441.74/3450.61 c #Conflicts: 1096000 | #Constraints: 34022
3441.74/3450.61 c #Conflicts: 1097000 | #Constraints: 35022
3441.74/3450.61 c #Conflicts: 1098000 | #Constraints: 36022
3441.74/3450.61 c #Conflicts: 1099000 | #Constraints: 37022
3441.74/3450.61 c #Conflicts: 1100000 | #Constraints: 38022
3441.74/3450.61 c #Conflicts: 1101000 | #Constraints: 39022
3441.74/3450.61 c #Conflicts: 1102000 | #Constraints: 40022
3441.74/3450.61 c #Conflicts: 1103000 | #Constraints: 41022
3441.74/3450.61 c #Conflicts: 1104000 | #Constraints: 42022
3441.74/3450.61 c INPROCESSING
3441.74/3450.61 c GARBAGE COLLECT
3441.74/3450.61 c #Conflicts: 1105000 | #Constraints: 22225
3441.74/3450.61 c #Conflicts: 1106000 | #Constraints: 23225
3441.74/3450.61 c #Conflicts: 1107000 | #Constraints: 24225
3441.74/3450.61 c #Conflicts: 1108000 | #Constraints: 25225
3441.74/3450.61 c #Conflicts: 1109000 | #Constraints: 26225
3441.74/3450.61 c #Conflicts: 1110000 | #Constraints: 27225
3441.74/3450.61 c #Conflicts: 1111000 | #Constraints: 28225
3441.74/3450.61 c #Conflicts: 1112000 | #Constraints: 29225
3441.74/3450.61 c #Conflicts: 1113000 | #Constraints: 30225
3441.74/3450.61 c #Conflicts: 1114000 | #Constraints: 31225
3600.07/3609.30 c #Conflicts: 1115000 | #Constraints: 32225
3600.07/3609.30 c #Conflicts: 1116000 | #Constraints: 33225
3600.07/3609.30 c #Conflicts: 1117000 | #Constraints: 34225
3600.07/3609.30 c #Conflicts: 1118000 | #Constraints: 35225
3600.07/3609.30 c #Conflicts: 1119000 | #Constraints: 36225
3600.07/3609.30 c #Conflicts: 1120000 | #Constraints: 37225
3600.07/3609.30 c #Conflicts: 1121000 | #Constraints: 38225
3600.07/3609.30 c #Conflicts: 1122000 | #Constraints: 39225
3600.07/3609.30 c #Conflicts: 1123000 | #Constraints: 40225
3600.07/3609.30 c #Conflicts: 1124000 | #Constraints: 41225
3600.07/3609.30 c #Conflicts: 1125000 | #Constraints: 42225
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 1126000 | #Constraints: 22220
3600.07/3609.30 c #Conflicts: 1127000 | #Constraints: 23220
3600.07/3609.30 c #Conflicts: 1128000 | #Constraints: 24220
3600.07/3609.30 c #Conflicts: 1129000 | #Constraints: 25220
3600.07/3609.30 c #Conflicts: 1130000 | #Constraints: 26220
3600.07/3609.30 c #Conflicts: 1131000 | #Constraints: 27220
3600.07/3609.30 c #Conflicts: 1132000 | #Constraints: 28220
3600.07/3609.30 c #Conflicts: 1133000 | #Constraints: 29220
3600.07/3609.30 c #Conflicts: 1134000 | #Constraints: 30220
3600.07/3609.30 c #Conflicts: 1135000 | #Constraints: 31220
3600.07/3609.30 c #Conflicts: 1136000 | #Constraints: 32220
3600.07/3609.30 c #Conflicts: 1137000 | #Constraints: 33220
3600.07/3609.30 c #Conflicts: 1138000 | #Constraints: 34220
3600.07/3609.30 c #Conflicts: 1139000 | #Constraints: 35220
3600.07/3609.30 c #Conflicts: 1140000 | #Constraints: 36220
3600.07/3609.30 c #Conflicts: 1141000 | #Constraints: 37220
3600.07/3609.30 c #Conflicts: 1142000 | #Constraints: 38220
3600.07/3609.30 c #Conflicts: 1143000 | #Constraints: 39220
3600.07/3609.30 c #Conflicts: 1144000 | #Constraints: 40220
3600.07/3609.30 c #Conflicts: 1145000 | #Constraints: 41220
3600.07/3609.30 c #Conflicts: 1146000 | #Constraints: 42220
3600.07/3609.30 c INPROCESSING
3600.07/3609.30 c GARBAGE COLLECT
3600.07/3609.30 c #Conflicts: 1147000 | #Constraints: 22032
3600.07/3609.30 c #Conflicts: 1148000 | #Constraints: 23032
3600.07/3609.30 c #Conflicts: 1149000 | #Constraints: 24032
3600.07/3609.30 c #Conflicts: 1150000 | #Constraints: 25032
3600.07/3609.30 c #Conflicts: 1151000 | #Constraints: 26032
3600.07/3609.30 c cpu time 3592.6 s
3600.07/3609.30 c deterministic time 1 1.00e+00
3600.07/3609.30 c optimization time 3592.6 s
3600.07/3609.30 c total solve time 0 s
3600.07/3609.30 c core-guided solve time 0 s
3600.07/3609.30 c propagation time 7.7e-05 s
3600.07/3609.30 c conflict analysis time 0 s
3600.07/3609.30 c propagations 0
3600.07/3609.30 c resolve steps 0
3600.07/3609.30 c decisions 0
3600.07/3609.30 c conflicts 0
3600.07/3609.30 c restarts 0
3600.07/3609.30 c inprocessing phases 0
3600.07/3609.30 c garbage collections 0 ,( -nan )
3600.07/3609.30 c input clauses 83 ,( 49.11 )
3600.07/3609.30 c input cardinalities 85 ,( 50.30 )
3600.07/3609.30 c input general constraints 1 ,( 0.59 )
3600.07/3609.30 c input average constraint length 54.58
3600.07/3609.30 c input average constraint degree 41.53
3600.07/3609.30 c learned clauses 0 ,( 0.00 )
3600.07/3609.30 c learned cardinalities 0 ,( 0.00 )
3600.07/3609.30 c learned general constraints 0 ,( 0.00 )
3600.07/3609.30 c learned average constraint length 0.00
3600.07/3609.30 c learned average constraint degree 0.00
3600.07/3609.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3609.30 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.07/3609.30 c watched constraints 0 ,( 0.00 )
3600.07/3609.30 c counting constraints 1 ,( 100.00 )
3600.07/3609.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3609.30 c gcd simplifications 0
3600.07/3609.30 c detected cardinalities 0
3600.07/3609.30 c weakened non-implied lits 0
3600.07/3609.30 c weakened non-implying lits 0
3600.07/3609.30 c original variables 1086
3600.07/3609.30 c clausal propagations 0
3600.07/3609.30 c cardinality propagations 0
3600.07/3609.30 c watched propagations 0
3600.07/3609.30 c counting propagations 0
3600.07/3609.30 c watch lookups 0
3600.07/3609.30 c watch backjump lookups 0
3600.07/3609.30 c watch checks 0
3600.07/3609.30 c propagation checks 0
3600.07/3609.30 c constraint additions 0
3600.07/3609.30 c trail pops 0
3600.07/3609.30 c formula constraints 169
3600.07/3609.30 c learned constraints 0
3600.07/3609.30 c bound constraints 0
3600.07/3609.30 c core-guided constraints 0
3600.07/3609.30 c encountered formula constraints 0
3600.07/3609.30 c encountered learned constraints 0
3600.07/3609.30 c encountered bound constraints 0
3600.07/3609.30 c encountered core-guided constraints 0
3600.07/3609.30 c LP total time 0 s
3600.07/3609.30 c LP solve time 0 s
3600.07/3609.30 c LP constraints added 0
3600.07/3609.30 c LP constraints removed 0
3600.07/3609.30 c LP pivots internal 0
3600.07/3609.30 c LP pivots root 0
3600.07/3609.30 c LP calls 0
3600.07/3609.30 c LP optimalities 0
3600.07/3609.30 c LP no pivot count 0
3600.07/3609.30 c LP infeasibilities 0
3600.07/3609.30 c LP valid Farkas constraints 0
3600.07/3609.30 c LP learned Farkas constraints 0
3600.07/3609.30 c LP basis resets 0
3600.07/3609.30 c LP cycling count 0
3600.07/3609.30 c LP singular count 0
3600.07/3609.30 c LP no primal count 0
3600.07/3609.30 c LP no farkas count 0
3600.07/3609.30 c LP other issue count 0
3600.07/3609.30 c LP Gomory cuts 0
3600.07/3609.30 c LP learned cuts 0
3600.07/3609.30 c LP deleted cuts 0
3600.07/3609.30 c LP encountered Gomory constraints 0
3600.07/3609.30 c LP encountered Farkas constraints 0
3600.07/3609.30 c LP encountered learned Farkas constraints 0
3600.07/3609.30 c CG auxiliary variables introduced 0
3600.07/3609.30 c CG solutions found 0
3600.07/3609.30 c CG cores constructed 0
3600.07/3609.30 c CG core cardinality constraints returned 0
3600.07/3609.30 c CG unit cores 0
3600.07/3609.30 c CG single cores 0
3600.07/3609.30 c CG blocks removed during cardinality reduction 0
3600.07/3609.30 c CG first core best 0
3600.07/3609.30 c CG decision core best 0
3600.07/3609.30 c CG core reduction tie 0
3600.07/3609.30 c CG core degree average 0.00
3600.07/3609.30 c CG core slack average 0.00
3600.07/3609.30 c CG core upper bound improvements 0
3600.07/3609.30 c STR number of successful calls 0
3600.07/3609.30 c STR number of unsuccessful calls 0
3600.07/3609.30 c STR number of inconclusive calls 0
3600.07/3609.30 c STR number of successful attempts 0
3600.07/3609.30 c STR number of unsuccessful attempts 0
3600.07/3609.30 c STR number of inconclusive attempts 0
3600.07/3609.30 c STR average degree increase per successful call inf
3600.07/3609.30 c STR average degree increase per successful attempt inf
3600.07/3609.30 c STR total number of conflicts for successful attempts 0
3600.07/3609.30 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.30 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.30 c STR average number of conflicts per successful attempt inf
3600.07/3609.30 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.30 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.30 c AVG.sumWPerc 100.00
3600.07/3609.30 c bigint constraints 0
3600.07/3609.30 s UNKNOWN
3600.07/3609.30 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: 63708 MiB (54340 MiB free)
memory of node 1: 64465 MiB (62502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522458-1751593755/watcher-4522458-1751593755 -o /tmp/evaluation-result-4522458-1751593755/solver-4522458-1751593755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87392 --watchdog 3760 run-opt.sh HOME/instance-4522458-1751593755.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=88463, runsolver pid=88460
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.16 4.12 4.09 6/269 88465
/proc/meminfo: memFree=119638924/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=63336 memory=15984 CPUtime=0.07 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 1434 0 0 0 7 0 0 0 20 0 1 0 75054934 64856064 3996 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 15834 3996 2336 1147 0 3261 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 18928 KiB
[startup+0.205634 s]*
/proc/loadavg: 4.16 4.12 4.09 6/269 88465
/proc/meminfo: memFree=119638924/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=65060 memory=17776 CPUtime=0.18 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 1868 0 0 0 17 1 0 0 20 0 1 0 75054934 66621440 4444 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 16265 4444 2336 1147 0 3692 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 69252 KiB
Current children cumulated memory: 20720 KiB
[startup+0.305651 s]*
/proc/loadavg: 4.16 4.12 4.09 6/269 88465
/proc/meminfo: memFree=119638924/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=66516 memory=19184 CPUtime=0.27 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 2245 0 0 0 26 1 0 0 20 0 1 0 75054934 68112384 4796 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 16629 4796 2336 1147 0 4056 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 70708 KiB
Current children cumulated memory: 22128 KiB
[startup+0.700183 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 88465
/proc/meminfo: memFree=119630860/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=73808 memory=26352 CPUtime=0.64 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 4040 0 0 0 62 2 0 0 20 0 1 0 75054934 75579392 6588 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 18452 6588 2336 1147 0 5879 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 78000 KiB
Current children cumulated memory: 29296 KiB
[startup+1.50022 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 88465
/proc/meminfo: memFree=119630636/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=79144 memory=33008 CPUtime=1.44 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 5687 0 0 0 140 4 0 0 20 0 1 0 75054934 81043456 8252 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 19786 8252 2336 1147 0 7213 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 83336 KiB
Current children cumulated memory: 35952 KiB
[startup+3.10544 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 88470
/proc/meminfo: memFree=119912696/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=89780 memory=42416 CPUtime=3.03 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 7542 0 0 0 297 6 0 0 20 0 1 0 75054934 91934720 10604 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 22445 10604 2336 1147 0 9872 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 93972 KiB
Current children cumulated memory: 45360 KiB
[startup+6.30014 s]
/proc/loadavg: 4.21 4.13 4.10 5/268 88470
/proc/meminfo: memFree=119976660/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=105380 memory=53880 CPUtime=6.22 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 9909 0 0 0 613 9 0 0 20 0 1 0 75054934 107909120 13470 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 26345 13470 2336 1147 0 13772 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 109572 KiB
Current children cumulated memory: 56824 KiB
[startup+12.7001 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 88470
/proc/meminfo: memFree=120094128/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=114988 memory=65700 CPUtime=12.59 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 12365 0 0 0 1246 13 0 0 20 0 1 0 75054934 117747712 16425 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 28747 16425 2336 1147 0 16174 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 119180 KiB
Current children cumulated memory: 68644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.14 4.10 5/268 88471
/proc/meminfo: memFree=120178812/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=151696 memory=92824 CPUtime=25.36 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 18129 0 0 0 2513 23 0 0 20 0 1 0 75054934 155336704 23206 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 37924 23206 2336 1147 0 25351 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 155888 KiB
Current children cumulated memory: 95768 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 88472
/proc/meminfo: memFree=120274980/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=200892 memory=125916 CPUtime=50.9 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 24863 0 0 0 5050 40 0 0 20 0 1 0 75054934 205713408 31479 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 50223 31479 2336 1147 0 37650 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 205084 KiB
Current children cumulated memory: 128860 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/268 88475
/proc/meminfo: memFree=120115164/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=238072 memory=164732 CPUtime=101.96 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 33031 0 0 0 10130 66 0 0 20 0 1 0 75054934 243785728 41183 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 59518 41183 2336 1147 0 46945 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 242264 KiB
Current children cumulated memory: 167676 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 88477
/proc/meminfo: memFree=119705320/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=269344 memory=198356 CPUtime=161.81 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 39417 0 0 0 16089 92 0 0 20 0 1 0 75054934 275808256 49589 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 67336 49589 2336 1147 0 54763 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 273536 KiB
Current children cumulated memory: 201300 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/269 88482
/proc/meminfo: memFree=119293772/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=275508 memory=204244 CPUtime=221.64 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 40879 0 0 0 22055 109 0 0 20 0 1 0 75054934 282120192 51061 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 68877 51061 2336 1147 0 56304 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/88465/statm: 136402 105433 2336 1147 0 123829 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 549800 KiB
Current children cumulated memory: 424676 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 4/261 88669
/proc/meminfo: memFree=113233396/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=545924 memory=422116 CPUtime=3154.21 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 86701 0 0 0 314740 681 0 0 20 0 1 0 75054934 559026176 105529 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 136481 105529 2336 1147 0 123908 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 550116 KiB
Current children cumulated memory: 425060 KiB
[startup+3222.3 s]
/proc/loadavg: 2.86 3.75 3.97 3/253 88701
/proc/meminfo: memFree=114211704/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=545924 memory=422116 CPUtime=3214.04 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 86710 0 0 0 320713 691 0 0 20 0 1 0 75054934 559026176 105529 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 136481 105529 2336 1147 0 123908 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 550116 KiB
Current children cumulated memory: 425060 KiB
[startup+3282.3 s]
/proc/loadavg: 2.13 3.39 3.83 2/249 88740
/proc/meminfo: memFree=123123156/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=547912 memory=428536 CPUtime=3273.87 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 87511 0 0 0 326688 699 0 0 20 0 1 0 75054934 561061888 107134 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 136978 107134 2336 1147 0 124405 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 552104 KiB
Current children cumulated memory: 431480 KiB
[startup+3342.3 s]
/proc/loadavg: 1.52 2.98 3.66 2/249 88742
/proc/meminfo: memFree=123077832/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=580700 memory=462892 CPUtime=3333.71 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 96667 0 0 0 332660 711 0 0 20 0 1 0 75054934 594636800 115723 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 145175 115723 2336 1147 0 132602 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 584892 KiB
Current children cumulated memory: 465836 KiB
[startup+3402.3 s]
/proc/loadavg: 1.24 2.63 3.50 2/249 88749
/proc/meminfo: memFree=123071480/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=581212 memory=467884 CPUtime=3393.56 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 96739 0 0 0 338637 719 0 0 20 0 1 0 75054934 595161088 116971 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 145303 116971 2336 1147 0 132730 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 585404 KiB
Current children cumulated memory: 470828 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 2.35 3.34 2/249 88751
/proc/meminfo: memFree=123043724/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=582492 memory=496900 CPUtime=3453.4 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 97240 0 0 0 344612 728 0 0 20 0 1 0 75054934 596471808 124225 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 145623 124225 2336 1147 0 133050 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 586684 KiB
Current children cumulated memory: 499844 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 2.12 3.20 2/249 88753
/proc/meminfo: memFree=123050828/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=582820 memory=501892 CPUtime=3513.26 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 97351 0 0 0 350588 738 0 0 20 0 1 0 75054934 596807680 125473 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 145705 125473 2336 1147 0 133132 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 587012 KiB
Current children cumulated memory: 504836 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.93 3.06 2/247 88754
/proc/meminfo: memFree=123036832/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=583260 memory=519172 CPUtime=3573.13 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 97430 0 0 0 356568 745 0 0 20 0 1 0 75054934 597258240 129793 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 145815 129793 2336 1147 0 133242 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 587452 KiB
Current children cumulated memory: 522116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 1.12 1.87 3.01 2/247 88755
/proc/meminfo: memFree=123035100/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=584100 memory=519936 CPUtime=3600.07 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 97698 0 0 0 359259 748 0 0 20 0 1 0 75054934 598118400 129984 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 146025 129984 2336 1147 0 133452 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 588292 KiB
Current children cumulated memory: 522880 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 88463 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00109 s, system=0.001073 s
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 88465 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.6 s, system=7.48759 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.3 s]
/proc/loadavg: 1.12 1.87 3.01 2/247 88755
/proc/meminfo: memFree=123035100/131250000 swapFree=33009904/33010684
[pid=88463] ppid=88460 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/88463/stat : 88463 (run-opt.sh) S 88460 88463 87381 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 75054933 4292608 736 18446744073709551615 94662594527232 94662595421765 140730337188640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94662595660816 94662595708560 94662598864896 140730337196397 140730337196520 140730337196520 140730337202122 0
/proc/88463/statm: 1048 736 672 219 0 110 0
[pid=88465] ppid=88463 vsize=584100 memory=519936 CPUtime=3600.07 cores=4,6
/proc/88465/stat : 88465 (roundingsat) R 88463 88463 87381 0 -1 4194304 97698 0 0 0 359259 748 0 0 20 0 1 0 75054934 598118400 129984 18446744073709551615 4227072 8923433 140726717688976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 9949184 140726717692322 140726717692456 140726717692456 140726717698026 0
/proc/88465/statm: 146025 129984 2336 1147 0 133452 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 588292 KiB
Current children cumulated memory: 522880 KiB
Child status: 2
Real time (s): 3609.31
CPU time (s): 3600.09
CPU user time (s): 3592.6
CPU system time (s): 7.48759
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 588628
Max. memory (cumulated for all children) (KiB): 523140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.6
system time used= 7.48759
maximum resident set size= 520320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212
involuntary context switches= 2884
# summary of solver processes directly reported to runsolver:
# pid: 88463,88465
# total CPU time (s): 3600.09
# total CPU user time (s): 3592.6
# total CPU system time (s): 7.48759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91664 second user time and 15.3233 second system time
The end
Begin job on nodeC033 at 2025-07-04 03:49:15
IDJOB=4522458
IDBENCH=178829
IDSOLVER=3350
FILE ID=nodeC033/4522458-1751593755
RUNJOBID= nodeC033-1751586076-87392
SLURM_JOB_ID= 9598834
Free space on /tmp= 427664 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522458-1751593755/watcher-4522458-1751593755 -o /tmp/evaluation-result-4522458-1751593755/solver-4522458-1751593755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87392 --watchdog 3760 run-opt.sh HOME/instance-4522458-1751593755.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=1837646755
nodeC033 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.062
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.071
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.13
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 : 3601.070
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.13
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 : 3547.880
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.13
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 : 3600.085
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.063
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.13
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.075
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.13
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 : 3585.351
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119646988 kB
MemAvailable: 126848208 kB
Buffers: 2128 kB
Cached: 7953384 kB
SwapCached: 68 kB
Active: 3361652 kB
Inactive: 7372452 kB
Active(anon): 2791180 kB
Inactive(anon): 5524 kB
Active(file): 570472 kB
Inactive(file): 7366928 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1182916 kB
Writeback: 40 kB
AnonPages: 2781688 kB
Mapped: 117824 kB
Shmem: 18032 kB
KReclaimable: 206120 kB
Slab: 298672 kB
SReclaimable: 206120 kB
SUnreclaim: 92552 kB
KernelStack: 4352 kB
PageTables: 8984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3496336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150740 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 567296 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429760 MiB
End job on nodeC033 at 2025-07-04 04:49:25