0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 1086 #constraints 169
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.001966
0.00/0.01 c stratification level: 235
0.00/0.03 c bounds 4878 >= 0 @ 0.017352
0.00/0.03 c stratification level: 234
0.00/0.03 c bounds 4877 >= 0 @ 0.020656
0.00/0.03 c stratification level: 233
0.00/0.06 c bounds 4777 >= 0 @ 0.05173
0.00/0.06 c stratification level: 232
0.00/0.06 c bounds 4770 >= 0 @ 0.053759
0.00/0.06 c stratification level: 231
0.00/0.07 c bounds 4767 >= 0 @ 0.054243
0.00/0.07 c stratification level: 230
0.00/0.07 c bounds 4762 >= 0 @ 0.055412
0.00/0.07 c stratification level: 229
0.00/0.07 c bounds 4760 >= 0 @ 0.056719
0.00/0.07 c stratification level: 228
0.00/0.07 c bounds 4759 >= 0 @ 0.061418
0.00/0.07 c stratification level: 227
0.00/0.08 c bounds 4755 >= 0 @ 0.068587
0.00/0.08 c stratification level: 226
0.09/0.12 c bounds 4177 >= 0 @ 0.097049
0.09/0.12 c stratification level: 225
0.09/0.12 c bounds 4176 >= 0 @ 0.098298
0.09/0.12 c stratification level: 224
0.09/0.12 c bounds 4173 >= 0 @ 0.105219
0.09/0.12 c stratification level: 223
0.09/0.15 c bounds 4049 >= 0 @ 0.126252
0.09/0.15 c stratification level: 222
0.09/0.15 c bounds 4014 >= 0 @ 0.127319
0.09/0.15 c stratification level: 221
0.09/0.16 c bounds 3992 >= 0 @ 0.135852
0.09/0.16 c stratification level: 220
0.78/0.84 c #Conflicts: 1000 | #Constraints: 1183
0.78/0.84 c #Conflicts: 2000 | #Constraints: 2183
0.78/0.84 c INPROCESSING
0.78/0.84 c GARBAGE COLLECT
0.78/0.84 c bounds 3948 >= 0 @ 0.798562
0.78/0.84 c stratification level: 219
0.88/0.95 c bounds 3822 >= 0 @ 0.902305
0.88/0.95 c stratification level: 218
2.67/2.71 c #Conflicts: 3000 | #Constraints: 2186
2.67/2.71 c #Conflicts: 4000 | #Constraints: 3186
2.67/2.71 c INPROCESSING
2.67/2.71 c GARBAGE COLLECT
2.67/2.71 c #Conflicts: 5000 | #Constraints: 2597
2.67/2.71 c bounds 3776 >= 0 @ 2.61964
2.67/2.71 c stratification level: 217
7.46/7.58 c #Conflicts: 6000 | #Constraints: 3598
7.46/7.58 c INPROCESSING
7.46/7.58 c GARBAGE COLLECT
7.46/7.58 c #Conflicts: 7000 | #Constraints: 2602
7.46/7.58 c #Conflicts: 8000 | #Constraints: 3602
7.46/7.58 c #Conflicts: 9000 | #Constraints: 4602
7.46/7.58 c INPROCESSING
7.46/7.58 c GARBAGE COLLECT
7.46/7.58 c #Conflicts: 10000 | #Constraints: 3307
7.46/7.58 c #Conflicts: 11000 | #Constraints: 4307
7.46/7.58 c bounds 3686 >= 0 @ 7.43434
7.46/7.58 c stratification level: 216
7.85/7.92 c #Conflicts: 12000 | #Constraints: 5308
7.85/7.92 c INPROCESSING
7.85/7.92 c GARBAGE COLLECT
7.85/7.92 c bounds 3678 >= 0 @ 7.76058
7.85/7.92 c stratification level: 215
8.85/8.97 c #Conflicts: 13000 | #Constraints: 3765
8.85/8.97 c bounds 3630 >= 0 @ 8.79761
8.85/8.97 c stratification level: 214
8.85/8.98 c bounds 3628 >= 0 @ 8.80792
8.85/8.98 c stratification level: 213
9.46/9.50 c #Conflicts: 14000 | #Constraints: 4767
9.46/9.50 c bounds 3622 >= 0 @ 9.32752
9.46/9.50 c stratification level: 212
35.38/35.59 c bounds 3622 >= 212 @ 9.75429
35.38/35.59 c #Conflicts: 15000 | #Constraints: 5769
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 16000 | #Constraints: 3991
35.38/35.59 c #Conflicts: 17000 | #Constraints: 4991
35.38/35.59 c #Conflicts: 18000 | #Constraints: 5991
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 19000 | #Constraints: 4009
35.38/35.59 c #Conflicts: 20000 | #Constraints: 5009
35.38/35.59 c #Conflicts: 21000 | #Constraints: 6009
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 22000 | #Constraints: 3808
35.38/35.59 c #Conflicts: 23000 | #Constraints: 4808
35.38/35.59 c #Conflicts: 24000 | #Constraints: 5808
35.38/35.59 c #Conflicts: 25000 | #Constraints: 6808
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 26000 | #Constraints: 4410
35.38/35.59 c #Conflicts: 27000 | #Constraints: 5410
35.38/35.59 c #Conflicts: 28000 | #Constraints: 6410
35.38/35.59 c #Conflicts: 29000 | #Constraints: 7410
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 30000 | #Constraints: 4815
35.38/35.59 c #Conflicts: 31000 | #Constraints: 5815
35.38/35.59 c #Conflicts: 32000 | #Constraints: 6815
35.38/35.59 c #Conflicts: 33000 | #Constraints: 7815
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 34000 | #Constraints: 5017
35.38/35.59 c #Conflicts: 35000 | #Constraints: 6017
35.38/35.59 c #Conflicts: 36000 | #Constraints: 7017
35.38/35.59 c #Conflicts: 37000 | #Constraints: 8017
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 38000 | #Constraints: 5018
35.38/35.59 c #Conflicts: 39000 | #Constraints: 6018
35.38/35.59 c #Conflicts: 40000 | #Constraints: 7018
35.38/35.59 c #Conflicts: 41000 | #Constraints: 8018
35.38/35.59 c INPROCESSING
35.38/35.59 c GARBAGE COLLECT
35.38/35.59 c #Conflicts: 42000 | #Constraints: 4828
35.38/35.59 c #Conflicts: 43000 | #Constraints: 5828
35.38/35.59 c #Conflicts: 44000 | #Constraints: 6828
35.38/35.59 c finalizing WCE round: reformulating cores
39.47/39.60 c bounds 3580 >= 212 @ 35.8928
39.47/39.60 c #Conflicts: 45000 | #Constraints: 7831
39.47/39.60 c #Conflicts: 46000 | #Constraints: 8831
39.47/39.60 c INPROCESSING
39.47/39.60 c GARBAGE COLLECT
39.47/39.60 c bounds 3484 >= 212 @ 39.0336
39.47/39.60 c stratification level: 211
39.47/39.62 c bounds 3481 >= 212 @ 39.0465
39.47/39.62 c stratification level: 210
40.97/41.19 c #Conflicts: 47000 | #Constraints: 5437
40.97/41.19 c #Conflicts: 48000 | #Constraints: 6437
40.97/41.19 c bounds 3480 >= 212 @ 40.5968
40.97/41.19 c stratification level: 209
41.07/41.23 c bounds 3479 >= 212 @ 40.6319
41.07/41.23 c stratification level: 208
44.06/44.22 c #Conflicts: 49000 | #Constraints: 7439
44.06/44.22 c bounds 3463 >= 212 @ 43.5845
44.06/44.22 c stratification level: 207
44.06/44.25 c bounds 3460 >= 212 @ 43.6138
44.06/44.25 c stratification level: 206
44.06/44.28 c bounds 3457 >= 212 @ 43.644
44.06/44.28 c stratification level: 205
44.26/44.40 c bounds 3454 >= 212 @ 43.7615
44.26/44.40 c stratification level: 204
44.26/44.43 c bounds 3448 >= 212 @ 43.789
44.26/44.43 c stratification level: 203
44.56/44.77 c bounds 3416 >= 212 @ 44.1271
44.56/44.77 c stratification level: 202
44.66/44.80 c bounds 3415 >= 212 @ 44.157
44.66/44.80 c stratification level: 201
573.62/575.19 c #Conflicts: 50000 | #Constraints: 8446
573.62/575.19 c #Conflicts: 51000 | #Constraints: 9446
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 52000 | #Constraints: 5837
573.62/575.19 c #Conflicts: 53000 | #Constraints: 6837
573.62/575.19 c #Conflicts: 54000 | #Constraints: 7837
573.62/575.19 c #Conflicts: 55000 | #Constraints: 8837
573.62/575.19 c #Conflicts: 56000 | #Constraints: 9837
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 57000 | #Constraints: 6044
573.62/575.19 c #Conflicts: 58000 | #Constraints: 7044
573.62/575.19 c #Conflicts: 59000 | #Constraints: 8044
573.62/575.19 c #Conflicts: 60000 | #Constraints: 9044
573.62/575.19 c #Conflicts: 61000 | #Constraints: 10044
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 62000 | #Constraints: 6042
573.62/575.19 c #Conflicts: 63000 | #Constraints: 7042
573.62/575.19 c #Conflicts: 64000 | #Constraints: 8042
573.62/575.19 c #Conflicts: 65000 | #Constraints: 9042
573.62/575.19 c #Conflicts: 66000 | #Constraints: 10042
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 67000 | #Constraints: 5847
573.62/575.19 c #Conflicts: 68000 | #Constraints: 6847
573.62/575.19 c #Conflicts: 69000 | #Constraints: 7847
573.62/575.19 c #Conflicts: 70000 | #Constraints: 8847
573.62/575.19 c #Conflicts: 71000 | #Constraints: 9847
573.62/575.19 c #Conflicts: 72000 | #Constraints: 10847
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 73000 | #Constraints: 6449
573.62/575.19 c #Conflicts: 74000 | #Constraints: 7449
573.62/575.19 c #Conflicts: 75000 | #Constraints: 8449
573.62/575.19 c #Conflicts: 76000 | #Constraints: 9449
573.62/575.19 c #Conflicts: 77000 | #Constraints: 10449
573.62/575.19 c #Conflicts: 78000 | #Constraints: 11449
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 79000 | #Constraints: 6855
573.62/575.19 c #Conflicts: 80000 | #Constraints: 7855
573.62/575.19 c #Conflicts: 81000 | #Constraints: 8855
573.62/575.19 c #Conflicts: 82000 | #Constraints: 9855
573.62/575.19 c #Conflicts: 83000 | #Constraints: 10855
573.62/575.19 c #Conflicts: 84000 | #Constraints: 11855
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 85000 | #Constraints: 7054
573.62/575.19 c #Conflicts: 86000 | #Constraints: 8054
573.62/575.19 c #Conflicts: 87000 | #Constraints: 9054
573.62/575.19 c #Conflicts: 88000 | #Constraints: 10054
573.62/575.19 c #Conflicts: 89000 | #Constraints: 11054
573.62/575.19 c #Conflicts: 90000 | #Constraints: 12054
573.62/575.19 c INPROCESSING
573.62/575.19 c GARBAGE COLLECT
573.62/575.19 c #Conflicts: 91000 | #Constraints: 7058
573.62/575.19 c #Conflicts: 92000 | #Constraints: 8058
573.62/575.19 c #Conflicts: 93000 | #Constraints: 9058
573.62/575.19 c #Conflicts: 94000 | #Constraints: 10058
573.62/575.19 c #Conflicts: 95000 | #Constraints: 11058
573.62/575.19 c #Conflicts: 96000 | #Constraints: 12058
573.62/575.19 c bounds 3326 >= 212 @ 569.259
573.62/575.19 c stratification level: 200
718.56/720.40 c bounds 3326 >= 412 @ 569.869
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 97000 | #Constraints: 6849
718.56/720.40 c #Conflicts: 98000 | #Constraints: 7849
718.56/720.40 c #Conflicts: 99000 | #Constraints: 8849
718.56/720.40 c #Conflicts: 100000 | #Constraints: 9849
718.56/720.40 c #Conflicts: 101000 | #Constraints: 10849
718.56/720.40 c #Conflicts: 102000 | #Constraints: 11849
718.56/720.40 c #Conflicts: 103000 | #Constraints: 12849
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 104000 | #Constraints: 7437
718.56/720.40 c #Conflicts: 105000 | #Constraints: 8437
718.56/720.40 c #Conflicts: 106000 | #Constraints: 9437
718.56/720.40 c #Conflicts: 107000 | #Constraints: 10437
718.56/720.40 c #Conflicts: 108000 | #Constraints: 11437
718.56/720.40 c #Conflicts: 109000 | #Constraints: 12437
718.56/720.40 c #Conflicts: 110000 | #Constraints: 13437
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 111000 | #Constraints: 7833
718.56/720.40 c #Conflicts: 112000 | #Constraints: 8833
718.56/720.40 c #Conflicts: 113000 | #Constraints: 9833
718.56/720.40 c #Conflicts: 114000 | #Constraints: 10833
718.56/720.40 c #Conflicts: 115000 | #Constraints: 11833
718.56/720.40 c #Conflicts: 116000 | #Constraints: 12833
718.56/720.40 c #Conflicts: 117000 | #Constraints: 13833
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 118000 | #Constraints: 8029
718.56/720.40 c #Conflicts: 119000 | #Constraints: 9029
718.56/720.40 c #Conflicts: 120000 | #Constraints: 10029
718.56/720.40 c #Conflicts: 121000 | #Constraints: 11029
718.56/720.40 c #Conflicts: 122000 | #Constraints: 12029
718.56/720.40 c #Conflicts: 123000 | #Constraints: 13029
718.56/720.40 c #Conflicts: 124000 | #Constraints: 14029
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 125000 | #Constraints: 8021
718.56/720.40 c #Conflicts: 126000 | #Constraints: 9021
718.56/720.40 c #Conflicts: 127000 | #Constraints: 10021
718.56/720.40 c #Conflicts: 128000 | #Constraints: 11021
718.56/720.40 c #Conflicts: 129000 | #Constraints: 12021
718.56/720.40 c #Conflicts: 130000 | #Constraints: 13021
718.56/720.40 c #Conflicts: 131000 | #Constraints: 14021
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 132000 | #Constraints: 7820
718.56/720.40 c #Conflicts: 133000 | #Constraints: 8820
718.56/720.40 c #Conflicts: 134000 | #Constraints: 9820
718.56/720.40 c #Conflicts: 135000 | #Constraints: 10820
718.56/720.40 c #Conflicts: 136000 | #Constraints: 11820
718.56/720.40 c #Conflicts: 137000 | #Constraints: 12820
718.56/720.40 c #Conflicts: 138000 | #Constraints: 13820
718.56/720.40 c #Conflicts: 139000 | #Constraints: 14820
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 140000 | #Constraints: 8426
718.56/720.40 c #Conflicts: 141000 | #Constraints: 9426
718.56/720.40 c #Conflicts: 142000 | #Constraints: 10426
718.56/720.40 c #Conflicts: 143000 | #Constraints: 11426
718.56/720.40 c #Conflicts: 144000 | #Constraints: 12426
718.56/720.40 c #Conflicts: 145000 | #Constraints: 13426
718.56/720.40 c #Conflicts: 146000 | #Constraints: 14426
718.56/720.40 c #Conflicts: 147000 | #Constraints: 15426
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 148000 | #Constraints: 8832
718.56/720.40 c #Conflicts: 149000 | #Constraints: 9832
718.56/720.40 c #Conflicts: 150000 | #Constraints: 10832
718.56/720.40 c #Conflicts: 151000 | #Constraints: 11832
718.56/720.40 c #Conflicts: 152000 | #Constraints: 12832
718.56/720.40 c #Conflicts: 153000 | #Constraints: 13832
718.56/720.40 c #Conflicts: 154000 | #Constraints: 14832
718.56/720.40 c #Conflicts: 155000 | #Constraints: 15832
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 156000 | #Constraints: 9027
718.56/720.40 c #Conflicts: 157000 | #Constraints: 10027
718.56/720.40 c #Conflicts: 158000 | #Constraints: 11027
718.56/720.40 c #Conflicts: 159000 | #Constraints: 12027
718.56/720.40 c #Conflicts: 160000 | #Constraints: 13027
718.56/720.40 c #Conflicts: 161000 | #Constraints: 14027
718.56/720.40 c #Conflicts: 162000 | #Constraints: 15027
718.56/720.40 c #Conflicts: 163000 | #Constraints: 16027
718.56/720.40 c INPROCESSING
718.56/720.40 c GARBAGE COLLECT
718.56/720.40 c #Conflicts: 164000 | #Constraints: 9029
718.56/720.40 c #Conflicts: 165000 | #Constraints: 10029
718.56/720.40 c #Conflicts: 166000 | #Constraints: 11029
718.56/720.40 c #Conflicts: 167000 | #Constraints: 12029
718.56/720.40 c #Conflicts: 168000 | #Constraints: 13029
919.83/922.20 c #Conflicts: 169000 | #Constraints: 14029
919.83/922.20 c #Conflicts: 170000 | #Constraints: 15029
919.83/922.20 c #Conflicts: 171000 | #Constraints: 16029
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 172000 | #Constraints: 8829
919.83/922.20 c #Conflicts: 173000 | #Constraints: 9829
919.83/922.20 c #Conflicts: 174000 | #Constraints: 10829
919.83/922.20 c #Conflicts: 175000 | #Constraints: 11829
919.83/922.20 c #Conflicts: 176000 | #Constraints: 12829
919.83/922.20 c #Conflicts: 177000 | #Constraints: 13829
919.83/922.20 c #Conflicts: 178000 | #Constraints: 14829
919.83/922.20 c #Conflicts: 179000 | #Constraints: 15829
919.83/922.20 c #Conflicts: 180000 | #Constraints: 16829
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 181000 | #Constraints: 9427
919.83/922.20 c #Conflicts: 182000 | #Constraints: 10427
919.83/922.20 c #Conflicts: 183000 | #Constraints: 11427
919.83/922.20 c #Conflicts: 184000 | #Constraints: 12427
919.83/922.20 c #Conflicts: 185000 | #Constraints: 13427
919.83/922.20 c #Conflicts: 186000 | #Constraints: 14427
919.83/922.20 c #Conflicts: 187000 | #Constraints: 15427
919.83/922.20 c #Conflicts: 188000 | #Constraints: 16427
919.83/922.20 c #Conflicts: 189000 | #Constraints: 17427
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 190000 | #Constraints: 9834
919.83/922.20 c #Conflicts: 191000 | #Constraints: 10834
919.83/922.20 c #Conflicts: 192000 | #Constraints: 11834
919.83/922.20 c #Conflicts: 193000 | #Constraints: 12834
919.83/922.20 c #Conflicts: 194000 | #Constraints: 13834
919.83/922.20 c #Conflicts: 195000 | #Constraints: 14834
919.83/922.20 c #Conflicts: 196000 | #Constraints: 15834
919.83/922.20 c #Conflicts: 197000 | #Constraints: 16834
919.83/922.20 c #Conflicts: 198000 | #Constraints: 17834
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 199000 | #Constraints: 10041
919.83/922.20 c #Conflicts: 200000 | #Constraints: 11041
919.83/922.20 c #Conflicts: 201000 | #Constraints: 12041
919.83/922.20 c #Conflicts: 202000 | #Constraints: 13041
919.83/922.20 c #Conflicts: 203000 | #Constraints: 14041
919.83/922.20 c #Conflicts: 204000 | #Constraints: 15041
919.83/922.20 c #Conflicts: 205000 | #Constraints: 16041
919.83/922.20 c #Conflicts: 206000 | #Constraints: 17041
919.83/922.20 c #Conflicts: 207000 | #Constraints: 18041
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 208000 | #Constraints: 10048
919.83/922.20 c #Conflicts: 209000 | #Constraints: 11048
919.83/922.20 c #Conflicts: 210000 | #Constraints: 12048
919.83/922.20 c #Conflicts: 211000 | #Constraints: 13048
919.83/922.20 c #Conflicts: 212000 | #Constraints: 14048
919.83/922.20 c #Conflicts: 213000 | #Constraints: 15048
919.83/922.20 c #Conflicts: 214000 | #Constraints: 16048
919.83/922.20 c #Conflicts: 215000 | #Constraints: 17048
919.83/922.20 c #Conflicts: 216000 | #Constraints: 18048
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 217000 | #Constraints: 9843
919.83/922.20 c #Conflicts: 218000 | #Constraints: 10843
919.83/922.20 c #Conflicts: 219000 | #Constraints: 11843
919.83/922.20 c #Conflicts: 220000 | #Constraints: 12843
919.83/922.20 c #Conflicts: 221000 | #Constraints: 13843
919.83/922.20 c #Conflicts: 222000 | #Constraints: 14843
919.83/922.20 c #Conflicts: 223000 | #Constraints: 15843
919.83/922.20 c #Conflicts: 224000 | #Constraints: 16843
919.83/922.20 c #Conflicts: 225000 | #Constraints: 17843
919.83/922.20 c #Conflicts: 226000 | #Constraints: 18843
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 227000 | #Constraints: 10449
919.83/922.20 c #Conflicts: 228000 | #Constraints: 11449
919.83/922.20 c #Conflicts: 229000 | #Constraints: 12449
919.83/922.20 c #Conflicts: 230000 | #Constraints: 13449
919.83/922.20 c #Conflicts: 231000 | #Constraints: 14449
919.83/922.20 c #Conflicts: 232000 | #Constraints: 15449
919.83/922.20 c #Conflicts: 233000 | #Constraints: 16449
919.83/922.20 c #Conflicts: 234000 | #Constraints: 17449
919.83/922.20 c #Conflicts: 235000 | #Constraints: 18449
919.83/922.20 c #Conflicts: 236000 | #Constraints: 19449
919.83/922.20 c INPROCESSING
919.83/922.20 c GARBAGE COLLECT
919.83/922.20 c #Conflicts: 237000 | #Constraints: 10834
919.83/922.20 c #Conflicts: 238000 | #Constraints: 11834
919.83/922.20 c #Conflicts: 239000 | #Constraints: 12834
919.83/922.20 c #Conflicts: 240000 | #Constraints: 13834
919.83/922.20 c #Conflicts: 241000 | #Constraints: 14834
919.83/922.20 c #Conflicts: 242000 | #Constraints: 15834
1180.79/1183.95 c #Conflicts: 243000 | #Constraints: 16834
1180.79/1183.95 c #Conflicts: 244000 | #Constraints: 17834
1180.79/1183.95 c #Conflicts: 245000 | #Constraints: 18834
1180.79/1183.95 c #Conflicts: 246000 | #Constraints: 19834
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 247000 | #Constraints: 11039
1180.79/1183.95 c #Conflicts: 248000 | #Constraints: 12039
1180.79/1183.95 c #Conflicts: 249000 | #Constraints: 13039
1180.79/1183.95 c #Conflicts: 250000 | #Constraints: 14039
1180.79/1183.95 c #Conflicts: 251000 | #Constraints: 15039
1180.79/1183.95 c #Conflicts: 252000 | #Constraints: 16039
1180.79/1183.95 c #Conflicts: 253000 | #Constraints: 17039
1180.79/1183.95 c #Conflicts: 254000 | #Constraints: 18039
1180.79/1183.95 c #Conflicts: 255000 | #Constraints: 19039
1180.79/1183.95 c #Conflicts: 256000 | #Constraints: 20039
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 257000 | #Constraints: 11037
1180.79/1183.95 c #Conflicts: 258000 | #Constraints: 12037
1180.79/1183.95 c #Conflicts: 259000 | #Constraints: 13037
1180.79/1183.95 c #Conflicts: 260000 | #Constraints: 14037
1180.79/1183.95 c #Conflicts: 261000 | #Constraints: 15037
1180.79/1183.95 c #Conflicts: 262000 | #Constraints: 16037
1180.79/1183.95 c #Conflicts: 263000 | #Constraints: 17037
1180.79/1183.95 c #Conflicts: 264000 | #Constraints: 18037
1180.79/1183.95 c #Conflicts: 265000 | #Constraints: 19037
1180.79/1183.95 c #Conflicts: 266000 | #Constraints: 20037
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 267000 | #Constraints: 10835
1180.79/1183.95 c #Conflicts: 268000 | #Constraints: 11835
1180.79/1183.95 c #Conflicts: 269000 | #Constraints: 12835
1180.79/1183.95 c #Conflicts: 270000 | #Constraints: 13835
1180.79/1183.95 c #Conflicts: 271000 | #Constraints: 14835
1180.79/1183.95 c #Conflicts: 272000 | #Constraints: 15835
1180.79/1183.95 c #Conflicts: 273000 | #Constraints: 16835
1180.79/1183.95 c #Conflicts: 274000 | #Constraints: 17835
1180.79/1183.95 c #Conflicts: 275000 | #Constraints: 18835
1180.79/1183.95 c #Conflicts: 276000 | #Constraints: 19835
1180.79/1183.95 c #Conflicts: 277000 | #Constraints: 20835
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 278000 | #Constraints: 11435
1180.79/1183.95 c #Conflicts: 279000 | #Constraints: 12435
1180.79/1183.95 c #Conflicts: 280000 | #Constraints: 13435
1180.79/1183.95 c #Conflicts: 281000 | #Constraints: 14435
1180.79/1183.95 c #Conflicts: 282000 | #Constraints: 15435
1180.79/1183.95 c #Conflicts: 283000 | #Constraints: 16435
1180.79/1183.95 c #Conflicts: 284000 | #Constraints: 17435
1180.79/1183.95 c #Conflicts: 285000 | #Constraints: 18435
1180.79/1183.95 c #Conflicts: 286000 | #Constraints: 19435
1180.79/1183.95 c #Conflicts: 287000 | #Constraints: 20435
1180.79/1183.95 c #Conflicts: 288000 | #Constraints: 21435
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 289000 | #Constraints: 11835
1180.79/1183.95 c #Conflicts: 290000 | #Constraints: 12835
1180.79/1183.95 c #Conflicts: 291000 | #Constraints: 13835
1180.79/1183.95 c #Conflicts: 292000 | #Constraints: 14835
1180.79/1183.95 c #Conflicts: 293000 | #Constraints: 15835
1180.79/1183.95 c #Conflicts: 294000 | #Constraints: 16835
1180.79/1183.95 c #Conflicts: 295000 | #Constraints: 17835
1180.79/1183.95 c #Conflicts: 296000 | #Constraints: 18835
1180.79/1183.95 c #Conflicts: 297000 | #Constraints: 19835
1180.79/1183.95 c #Conflicts: 298000 | #Constraints: 20835
1180.79/1183.95 c #Conflicts: 299000 | #Constraints: 21835
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 300000 | #Constraints: 12027
1180.79/1183.95 c #Conflicts: 301000 | #Constraints: 13027
1180.79/1183.95 c #Conflicts: 302000 | #Constraints: 14027
1180.79/1183.95 c #Conflicts: 303000 | #Constraints: 15027
1180.79/1183.95 c #Conflicts: 304000 | #Constraints: 16027
1180.79/1183.95 c #Conflicts: 305000 | #Constraints: 17027
1180.79/1183.95 c #Conflicts: 306000 | #Constraints: 18027
1180.79/1183.95 c #Conflicts: 307000 | #Constraints: 19027
1180.79/1183.95 c #Conflicts: 308000 | #Constraints: 20027
1180.79/1183.95 c #Conflicts: 309000 | #Constraints: 21027
1180.79/1183.95 c #Conflicts: 310000 | #Constraints: 22027
1180.79/1183.95 c INPROCESSING
1180.79/1183.95 c GARBAGE COLLECT
1180.79/1183.95 c #Conflicts: 311000 | #Constraints: 12026
1180.79/1183.95 c #Conflicts: 312000 | #Constraints: 13026
1180.79/1183.95 c #Conflicts: 313000 | #Constraints: 14026
1180.79/1183.95 c #Conflicts: 314000 | #Constraints: 15026
1180.79/1183.95 c #Conflicts: 315000 | #Constraints: 16026
1180.79/1183.95 c #Conflicts: 316000 | #Constraints: 17026
1449.23/1453.14 c #Conflicts: 317000 | #Constraints: 18026
1449.23/1453.14 c #Conflicts: 318000 | #Constraints: 19026
1449.23/1453.14 c #Conflicts: 319000 | #Constraints: 20026
1449.23/1453.14 c #Conflicts: 320000 | #Constraints: 21026
1449.23/1453.14 c #Conflicts: 321000 | #Constraints: 22026
1449.23/1453.14 c INPROCESSING
1449.23/1453.14 c GARBAGE COLLECT
1449.23/1453.14 c #Conflicts: 322000 | #Constraints: 11838
1449.23/1453.14 c #Conflicts: 323000 | #Constraints: 12838
1449.23/1453.14 c #Conflicts: 324000 | #Constraints: 13838
1449.23/1453.14 c #Conflicts: 325000 | #Constraints: 14838
1449.23/1453.14 c #Conflicts: 326000 | #Constraints: 15838
1449.23/1453.14 c #Conflicts: 327000 | #Constraints: 16838
1449.23/1453.14 c #Conflicts: 328000 | #Constraints: 17838
1449.23/1453.14 c #Conflicts: 329000 | #Constraints: 18838
1449.23/1453.14 c #Conflicts: 330000 | #Constraints: 19838
1449.23/1453.14 c #Conflicts: 331000 | #Constraints: 20838
1449.23/1453.14 c #Conflicts: 332000 | #Constraints: 21838
1449.23/1453.14 c #Conflicts: 333000 | #Constraints: 22838
1449.23/1453.14 c INPROCESSING
1449.23/1453.14 c GARBAGE COLLECT
1449.23/1453.14 c #Conflicts: 334000 | #Constraints: 12440
1449.23/1453.14 c #Conflicts: 335000 | #Constraints: 13440
1449.23/1453.14 c #Conflicts: 336000 | #Constraints: 14440
1449.23/1453.14 c #Conflicts: 337000 | #Constraints: 15440
1449.23/1453.14 c #Conflicts: 338000 | #Constraints: 16440
1449.23/1453.14 c #Conflicts: 339000 | #Constraints: 17440
1449.23/1453.14 c #Conflicts: 340000 | #Constraints: 18440
1449.23/1453.14 c #Conflicts: 341000 | #Constraints: 19440
1449.23/1453.14 c #Conflicts: 342000 | #Constraints: 20440
1449.23/1453.14 c #Conflicts: 343000 | #Constraints: 21440
1449.23/1453.14 c #Conflicts: 344000 | #Constraints: 22440
1449.23/1453.14 c #Conflicts: 345000 | #Constraints: 23440
1449.23/1453.14 c INPROCESSING
1449.23/1453.14 c GARBAGE COLLECT
1449.23/1453.14 c #Conflicts: 346000 | #Constraints: 12835
1449.23/1453.14 c #Conflicts: 347000 | #Constraints: 13835
1449.23/1453.14 c #Conflicts: 348000 | #Constraints: 14835
1449.23/1453.14 c #Conflicts: 349000 | #Constraints: 15835
1449.23/1453.14 c #Conflicts: 350000 | #Constraints: 16835
1449.23/1453.14 c #Conflicts: 351000 | #Constraints: 17835
1449.23/1453.14 c #Conflicts: 352000 | #Constraints: 18835
1449.23/1453.14 c #Conflicts: 353000 | #Constraints: 19835
1449.23/1453.14 c #Conflicts: 354000 | #Constraints: 20835
1449.23/1453.14 c #Conflicts: 355000 | #Constraints: 21835
1449.23/1453.14 c #Conflicts: 356000 | #Constraints: 22835
1449.23/1453.14 c #Conflicts: 357000 | #Constraints: 23835
1449.23/1453.14 c INPROCESSING
1449.23/1453.14 c GARBAGE COLLECT
1449.23/1453.14 c #Conflicts: 358000 | #Constraints: 13035
1449.23/1453.14 c #Conflicts: 359000 | #Constraints: 14035
1449.23/1453.14 c #Conflicts: 360000 | #Constraints: 15035
1449.23/1453.14 c #Conflicts: 361000 | #Constraints: 16035
1449.23/1453.14 c #Conflicts: 362000 | #Constraints: 17035
1449.23/1453.14 c #Conflicts: 363000 | #Constraints: 18035
1449.23/1453.14 c #Conflicts: 364000 | #Constraints: 19035
1449.23/1453.14 c #Conflicts: 365000 | #Constraints: 20035
1449.23/1453.14 c #Conflicts: 366000 | #Constraints: 21035
1449.23/1453.14 c #Conflicts: 367000 | #Constraints: 22035
1449.23/1453.14 c #Conflicts: 368000 | #Constraints: 23035
1449.23/1453.14 c #Conflicts: 369000 | #Constraints: 24035
1449.23/1453.14 c INPROCESSING
1449.23/1453.14 c GARBAGE COLLECT
1449.23/1453.14 c #Conflicts: 370000 | #Constraints: 13034
1449.23/1453.14 c #Conflicts: 371000 | #Constraints: 14034
1449.23/1453.14 c #Conflicts: 372000 | #Constraints: 15034
1449.23/1453.14 c #Conflicts: 373000 | #Constraints: 16034
1449.23/1453.14 c #Conflicts: 374000 | #Constraints: 17034
1449.23/1453.14 c #Conflicts: 375000 | #Constraints: 18034
1449.23/1453.14 c #Conflicts: 376000 | #Constraints: 19034
1449.23/1453.14 c #Conflicts: 377000 | #Constraints: 20034
1449.23/1453.14 c #Conflicts: 378000 | #Constraints: 21034
1449.23/1453.14 c #Conflicts: 379000 | #Constraints: 22034
1449.23/1453.14 c #Conflicts: 380000 | #Constraints: 23034
1449.23/1453.14 c #Conflicts: 381000 | #Constraints: 24034
1449.23/1453.14 c INPROCESSING
1449.23/1453.14 c GARBAGE COLLECT
1449.23/1453.14 c #Conflicts: 382000 | #Constraints: 12832
1449.23/1453.14 c #Conflicts: 383000 | #Constraints: 13832
1449.23/1453.14 c #Conflicts: 384000 | #Constraints: 14832
1449.23/1453.14 c #Conflicts: 385000 | #Constraints: 15832
1449.23/1453.14 c #Conflicts: 386000 | #Constraints: 16832
1449.23/1453.14 c #Conflicts: 387000 | #Constraints: 17832
1449.23/1453.14 c #Conflicts: 388000 | #Constraints: 18832
1449.23/1453.14 c #Conflicts: 389000 | #Constraints: 19832
1449.23/1453.14 c #Conflicts: 390000 | #Constraints: 20832
1449.23/1453.14 c #Conflicts: 391000 | #Constraints: 21832
1751.57/1756.32 c #Conflicts: 392000 | #Constraints: 22832
1751.57/1756.32 c #Conflicts: 393000 | #Constraints: 23832
1751.57/1756.32 c #Conflicts: 394000 | #Constraints: 24832
1751.57/1756.32 c INPROCESSING
1751.57/1756.32 c GARBAGE COLLECT
1751.57/1756.32 c #Conflicts: 395000 | #Constraints: 13433
1751.57/1756.32 c #Conflicts: 396000 | #Constraints: 14433
1751.57/1756.32 c #Conflicts: 397000 | #Constraints: 15433
1751.57/1756.32 c #Conflicts: 398000 | #Constraints: 16433
1751.57/1756.32 c #Conflicts: 399000 | #Constraints: 17433
1751.57/1756.32 c #Conflicts: 400000 | #Constraints: 18433
1751.57/1756.32 c #Conflicts: 401000 | #Constraints: 19433
1751.57/1756.32 c #Conflicts: 402000 | #Constraints: 20433
1751.57/1756.32 c #Conflicts: 403000 | #Constraints: 21433
1751.57/1756.32 c #Conflicts: 404000 | #Constraints: 22433
1751.57/1756.32 c #Conflicts: 405000 | #Constraints: 23433
1751.57/1756.32 c #Conflicts: 406000 | #Constraints: 24433
1751.57/1756.32 c #Conflicts: 407000 | #Constraints: 25433
1751.57/1756.32 c INPROCESSING
1751.57/1756.32 c GARBAGE COLLECT
1751.57/1756.32 c #Conflicts: 408000 | #Constraints: 13829
1751.57/1756.32 c #Conflicts: 409000 | #Constraints: 14829
1751.57/1756.32 c #Conflicts: 410000 | #Constraints: 15829
1751.57/1756.32 c #Conflicts: 411000 | #Constraints: 16829
1751.57/1756.32 c #Conflicts: 412000 | #Constraints: 17829
1751.57/1756.32 c #Conflicts: 413000 | #Constraints: 18829
1751.57/1756.32 c #Conflicts: 414000 | #Constraints: 19829
1751.57/1756.32 c #Conflicts: 415000 | #Constraints: 20829
1751.57/1756.32 c #Conflicts: 416000 | #Constraints: 21829
1751.57/1756.32 c #Conflicts: 417000 | #Constraints: 22829
1751.57/1756.32 c #Conflicts: 418000 | #Constraints: 23829
1751.57/1756.32 c #Conflicts: 419000 | #Constraints: 24829
1751.57/1756.32 c #Conflicts: 420000 | #Constraints: 25829
1751.57/1756.32 c INPROCESSING
1751.57/1756.32 c GARBAGE COLLECT
1751.57/1756.32 c #Conflicts: 421000 | #Constraints: 14036
1751.57/1756.32 c #Conflicts: 422000 | #Constraints: 15036
1751.57/1756.32 c #Conflicts: 423000 | #Constraints: 16036
1751.57/1756.32 c #Conflicts: 424000 | #Constraints: 17036
1751.57/1756.32 c #Conflicts: 425000 | #Constraints: 18036
1751.57/1756.32 c #Conflicts: 426000 | #Constraints: 19036
1751.57/1756.32 c #Conflicts: 427000 | #Constraints: 20036
1751.57/1756.32 c #Conflicts: 428000 | #Constraints: 21036
1751.57/1756.32 c #Conflicts: 429000 | #Constraints: 22036
1751.57/1756.32 c #Conflicts: 430000 | #Constraints: 23036
1751.57/1756.32 c #Conflicts: 431000 | #Constraints: 24036
1751.57/1756.32 c #Conflicts: 432000 | #Constraints: 25036
1751.57/1756.32 c #Conflicts: 433000 | #Constraints: 26036
1751.57/1756.32 c INPROCESSING
1751.57/1756.32 c GARBAGE COLLECT
1751.57/1756.32 c #Conflicts: 434000 | #Constraints: 14048
1751.57/1756.32 c #Conflicts: 435000 | #Constraints: 15048
1751.57/1756.32 c #Conflicts: 436000 | #Constraints: 16048
1751.57/1756.32 c #Conflicts: 437000 | #Constraints: 17048
1751.57/1756.32 c #Conflicts: 438000 | #Constraints: 18048
1751.57/1756.32 c #Conflicts: 439000 | #Constraints: 19048
1751.57/1756.32 c #Conflicts: 440000 | #Constraints: 20048
1751.57/1756.32 c #Conflicts: 441000 | #Constraints: 21048
1751.57/1756.32 c #Conflicts: 442000 | #Constraints: 22048
1751.57/1756.32 c #Conflicts: 443000 | #Constraints: 23048
1751.57/1756.32 c #Conflicts: 444000 | #Constraints: 24048
1751.57/1756.32 c #Conflicts: 445000 | #Constraints: 25048
1751.57/1756.32 c #Conflicts: 446000 | #Constraints: 26048
1751.57/1756.32 c INPROCESSING
1751.57/1756.32 c GARBAGE COLLECT
1751.57/1756.32 c #Conflicts: 447000 | #Constraints: 13848
1751.57/1756.32 c #Conflicts: 448000 | #Constraints: 14848
1751.57/1756.32 c #Conflicts: 449000 | #Constraints: 15848
1751.57/1756.32 c #Conflicts: 450000 | #Constraints: 16848
1751.57/1756.32 c #Conflicts: 451000 | #Constraints: 17848
1751.57/1756.32 c #Conflicts: 452000 | #Constraints: 18848
1751.57/1756.32 c #Conflicts: 453000 | #Constraints: 19848
1751.57/1756.32 c #Conflicts: 454000 | #Constraints: 20848
1751.57/1756.32 c #Conflicts: 455000 | #Constraints: 21848
1751.57/1756.32 c #Conflicts: 456000 | #Constraints: 22848
1751.57/1756.32 c #Conflicts: 457000 | #Constraints: 23848
1751.57/1756.32 c #Conflicts: 458000 | #Constraints: 24848
1751.57/1756.32 c #Conflicts: 459000 | #Constraints: 25848
1751.57/1756.32 c #Conflicts: 460000 | #Constraints: 26848
1751.57/1756.32 c INPROCESSING
1751.57/1756.32 c GARBAGE COLLECT
1751.57/1756.32 c #Conflicts: 461000 | #Constraints: 14453
1751.57/1756.32 c #Conflicts: 462000 | #Constraints: 15453
1751.57/1756.32 c #Conflicts: 463000 | #Constraints: 16453
1751.57/1756.32 c #Conflicts: 464000 | #Constraints: 17453
1751.57/1756.32 c #Conflicts: 465000 | #Constraints: 18453
1751.57/1756.32 c #Conflicts: 466000 | #Constraints: 19453
2105.86/2111.68 c #Conflicts: 467000 | #Constraints: 20453
2105.86/2111.68 c #Conflicts: 468000 | #Constraints: 21453
2105.86/2111.68 c #Conflicts: 469000 | #Constraints: 22453
2105.86/2111.68 c #Conflicts: 470000 | #Constraints: 23453
2105.86/2111.68 c #Conflicts: 471000 | #Constraints: 24453
2105.86/2111.68 c #Conflicts: 472000 | #Constraints: 25453
2105.86/2111.68 c #Conflicts: 473000 | #Constraints: 26453
2105.86/2111.68 c #Conflicts: 474000 | #Constraints: 27453
2105.86/2111.68 c INPROCESSING
2105.86/2111.68 c GARBAGE COLLECT
2105.86/2111.68 c #Conflicts: 475000 | #Constraints: 14845
2105.86/2111.68 c #Conflicts: 476000 | #Constraints: 15845
2105.86/2111.68 c #Conflicts: 477000 | #Constraints: 16845
2105.86/2111.68 c #Conflicts: 478000 | #Constraints: 17845
2105.86/2111.68 c #Conflicts: 479000 | #Constraints: 18845
2105.86/2111.68 c #Conflicts: 480000 | #Constraints: 19845
2105.86/2111.68 c #Conflicts: 481000 | #Constraints: 20845
2105.86/2111.68 c #Conflicts: 482000 | #Constraints: 21845
2105.86/2111.68 c #Conflicts: 483000 | #Constraints: 22845
2105.86/2111.68 c #Conflicts: 484000 | #Constraints: 23845
2105.86/2111.68 c #Conflicts: 485000 | #Constraints: 24845
2105.86/2111.68 c #Conflicts: 486000 | #Constraints: 25845
2105.86/2111.68 c #Conflicts: 487000 | #Constraints: 26845
2105.86/2111.68 c #Conflicts: 488000 | #Constraints: 27845
2105.86/2111.68 c INPROCESSING
2105.86/2111.68 c GARBAGE COLLECT
2105.86/2111.68 c #Conflicts: 489000 | #Constraints: 15039
2105.86/2111.68 c #Conflicts: 490000 | #Constraints: 16039
2105.86/2111.68 c #Conflicts: 491000 | #Constraints: 17039
2105.86/2111.68 c #Conflicts: 492000 | #Constraints: 18039
2105.86/2111.68 c #Conflicts: 493000 | #Constraints: 19039
2105.86/2111.68 c #Conflicts: 494000 | #Constraints: 20039
2105.86/2111.68 c #Conflicts: 495000 | #Constraints: 21039
2105.86/2111.68 c #Conflicts: 496000 | #Constraints: 22039
2105.86/2111.68 c #Conflicts: 497000 | #Constraints: 23039
2105.86/2111.68 c #Conflicts: 498000 | #Constraints: 24039
2105.86/2111.68 c #Conflicts: 499000 | #Constraints: 25039
2105.86/2111.68 c #Conflicts: 500000 | #Constraints: 26039
2105.86/2111.68 c #Conflicts: 501000 | #Constraints: 27039
2105.86/2111.68 c #Conflicts: 502000 | #Constraints: 28039
2105.86/2111.68 c INPROCESSING
2105.86/2111.68 c GARBAGE COLLECT
2105.86/2111.68 c #Conflicts: 503000 | #Constraints: 15042
2105.86/2111.68 c #Conflicts: 504000 | #Constraints: 16042
2105.86/2111.68 c #Conflicts: 505000 | #Constraints: 17042
2105.86/2111.68 c #Conflicts: 506000 | #Constraints: 18042
2105.86/2111.68 c #Conflicts: 507000 | #Constraints: 19042
2105.86/2111.68 c #Conflicts: 508000 | #Constraints: 20042
2105.86/2111.68 c #Conflicts: 509000 | #Constraints: 21042
2105.86/2111.68 c #Conflicts: 510000 | #Constraints: 22042
2105.86/2111.68 c #Conflicts: 511000 | #Constraints: 23042
2105.86/2111.68 c #Conflicts: 512000 | #Constraints: 24042
2105.86/2111.68 c #Conflicts: 513000 | #Constraints: 25042
2105.86/2111.68 c #Conflicts: 514000 | #Constraints: 26042
2105.86/2111.68 c #Conflicts: 515000 | #Constraints: 27042
2105.86/2111.68 c #Conflicts: 516000 | #Constraints: 28042
2105.86/2111.68 c INPROCESSING
2105.86/2111.68 c GARBAGE COLLECT
2105.86/2111.68 c #Conflicts: 517000 | #Constraints: 14841
2105.86/2111.68 c #Conflicts: 518000 | #Constraints: 15841
2105.86/2111.68 c #Conflicts: 519000 | #Constraints: 16841
2105.86/2111.68 c #Conflicts: 520000 | #Constraints: 17841
2105.86/2111.68 c #Conflicts: 521000 | #Constraints: 18841
2105.86/2111.68 c #Conflicts: 522000 | #Constraints: 19841
2105.86/2111.68 c #Conflicts: 523000 | #Constraints: 20841
2105.86/2111.68 c #Conflicts: 524000 | #Constraints: 21841
2105.86/2111.68 c #Conflicts: 525000 | #Constraints: 22841
2105.86/2111.68 c #Conflicts: 526000 | #Constraints: 23841
2105.86/2111.68 c #Conflicts: 527000 | #Constraints: 24841
2105.86/2111.68 c #Conflicts: 528000 | #Constraints: 25841
2105.86/2111.68 c #Conflicts: 529000 | #Constraints: 26841
2105.86/2111.68 c #Conflicts: 530000 | #Constraints: 27841
2105.86/2111.68 c #Conflicts: 531000 | #Constraints: 28841
2105.86/2111.68 c INPROCESSING
2105.86/2111.68 c GARBAGE COLLECT
2105.86/2111.68 c #Conflicts: 532000 | #Constraints: 15445
2105.86/2111.68 c #Conflicts: 533000 | #Constraints: 16445
2105.86/2111.68 c #Conflicts: 534000 | #Constraints: 17445
2105.86/2111.68 c #Conflicts: 535000 | #Constraints: 18445
2105.86/2111.68 c #Conflicts: 536000 | #Constraints: 19445
2105.86/2111.68 c #Conflicts: 537000 | #Constraints: 20445
2105.86/2111.68 c #Conflicts: 538000 | #Constraints: 21445
2105.86/2111.68 c #Conflicts: 539000 | #Constraints: 22445
2105.86/2111.68 c #Conflicts: 540000 | #Constraints: 23445
2105.86/2111.68 c #Conflicts: 541000 | #Constraints: 24445
2105.86/2111.68 c #Conflicts: 542000 | #Constraints: 25445
2456.67/2463.51 c #Conflicts: 543000 | #Constraints: 26445
2456.67/2463.51 c #Conflicts: 544000 | #Constraints: 27445
2456.67/2463.51 c #Conflicts: 545000 | #Constraints: 28445
2456.67/2463.51 c #Conflicts: 546000 | #Constraints: 29445
2456.67/2463.51 c INPROCESSING
2456.67/2463.51 c GARBAGE COLLECT
2456.67/2463.51 c #Conflicts: 547000 | #Constraints: 15847
2456.67/2463.51 c #Conflicts: 548000 | #Constraints: 16847
2456.67/2463.51 c #Conflicts: 549000 | #Constraints: 17847
2456.67/2463.51 c #Conflicts: 550000 | #Constraints: 18847
2456.67/2463.51 c #Conflicts: 551000 | #Constraints: 19847
2456.67/2463.51 c #Conflicts: 552000 | #Constraints: 20847
2456.67/2463.51 c #Conflicts: 553000 | #Constraints: 21847
2456.67/2463.51 c #Conflicts: 554000 | #Constraints: 22847
2456.67/2463.51 c #Conflicts: 555000 | #Constraints: 23847
2456.67/2463.51 c #Conflicts: 556000 | #Constraints: 24847
2456.67/2463.51 c #Conflicts: 557000 | #Constraints: 25847
2456.67/2463.51 c #Conflicts: 558000 | #Constraints: 26847
2456.67/2463.51 c #Conflicts: 559000 | #Constraints: 27847
2456.67/2463.51 c #Conflicts: 560000 | #Constraints: 28847
2456.67/2463.51 c #Conflicts: 561000 | #Constraints: 29847
2456.67/2463.51 c INPROCESSING
2456.67/2463.51 c GARBAGE COLLECT
2456.67/2463.51 c #Conflicts: 562000 | #Constraints: 16042
2456.67/2463.51 c #Conflicts: 563000 | #Constraints: 17042
2456.67/2463.51 c #Conflicts: 564000 | #Constraints: 18042
2456.67/2463.51 c #Conflicts: 565000 | #Constraints: 19042
2456.67/2463.51 c #Conflicts: 566000 | #Constraints: 20042
2456.67/2463.51 c #Conflicts: 567000 | #Constraints: 21042
2456.67/2463.51 c #Conflicts: 568000 | #Constraints: 22042
2456.67/2463.51 c #Conflicts: 569000 | #Constraints: 23042
2456.67/2463.51 c #Conflicts: 570000 | #Constraints: 24042
2456.67/2463.51 c #Conflicts: 571000 | #Constraints: 25042
2456.67/2463.51 c #Conflicts: 572000 | #Constraints: 26042
2456.67/2463.51 c #Conflicts: 573000 | #Constraints: 27042
2456.67/2463.51 c #Conflicts: 574000 | #Constraints: 28042
2456.67/2463.51 c #Conflicts: 575000 | #Constraints: 29042
2456.67/2463.51 c #Conflicts: 576000 | #Constraints: 30042
2456.67/2463.51 c INPROCESSING
2456.67/2463.51 c GARBAGE COLLECT
2456.67/2463.51 c #Conflicts: 577000 | #Constraints: 16042
2456.67/2463.51 c #Conflicts: 578000 | #Constraints: 17042
2456.67/2463.51 c #Conflicts: 579000 | #Constraints: 18042
2456.67/2463.51 c #Conflicts: 580000 | #Constraints: 19042
2456.67/2463.51 c #Conflicts: 581000 | #Constraints: 20042
2456.67/2463.51 c #Conflicts: 582000 | #Constraints: 21042
2456.67/2463.51 c #Conflicts: 583000 | #Constraints: 22042
2456.67/2463.51 c #Conflicts: 584000 | #Constraints: 23042
2456.67/2463.51 c #Conflicts: 585000 | #Constraints: 24042
2456.67/2463.51 c #Conflicts: 586000 | #Constraints: 25042
2456.67/2463.51 c #Conflicts: 587000 | #Constraints: 26042
2456.67/2463.51 c #Conflicts: 588000 | #Constraints: 27042
2456.67/2463.51 c #Conflicts: 589000 | #Constraints: 28042
2456.67/2463.51 c #Conflicts: 590000 | #Constraints: 29042
2456.67/2463.51 c #Conflicts: 591000 | #Constraints: 30042
2456.67/2463.51 c INPROCESSING
2456.67/2463.51 c GARBAGE COLLECT
2456.67/2463.51 c #Conflicts: 592000 | #Constraints: 15838
2456.67/2463.51 c #Conflicts: 593000 | #Constraints: 16838
2456.67/2463.51 c #Conflicts: 594000 | #Constraints: 17838
2456.67/2463.51 c #Conflicts: 595000 | #Constraints: 18838
2456.67/2463.51 c #Conflicts: 596000 | #Constraints: 19838
2456.67/2463.51 c #Conflicts: 597000 | #Constraints: 20838
2456.67/2463.51 c #Conflicts: 598000 | #Constraints: 21838
2456.67/2463.51 c #Conflicts: 599000 | #Constraints: 22838
2456.67/2463.51 c #Conflicts: 600000 | #Constraints: 23838
2456.67/2463.51 c #Conflicts: 601000 | #Constraints: 24838
2456.67/2463.51 c #Conflicts: 602000 | #Constraints: 25838
2456.67/2463.51 c #Conflicts: 603000 | #Constraints: 26838
2456.67/2463.51 c #Conflicts: 604000 | #Constraints: 27838
2456.67/2463.51 c #Conflicts: 605000 | #Constraints: 28838
2456.67/2463.51 c #Conflicts: 606000 | #Constraints: 29838
2456.67/2463.51 c #Conflicts: 607000 | #Constraints: 30838
2456.67/2463.51 c INPROCESSING
2456.67/2463.51 c GARBAGE COLLECT
2456.67/2463.51 c #Conflicts: 608000 | #Constraints: 16439
2456.67/2463.51 c #Conflicts: 609000 | #Constraints: 17439
2456.67/2463.51 c #Conflicts: 610000 | #Constraints: 18439
2456.67/2463.51 c #Conflicts: 611000 | #Constraints: 19439
2456.67/2463.51 c #Conflicts: 612000 | #Constraints: 20439
2456.67/2463.51 c #Conflicts: 613000 | #Constraints: 21439
2456.67/2463.51 c #Conflicts: 614000 | #Constraints: 22439
2456.67/2463.51 c #Conflicts: 615000 | #Constraints: 23439
2456.67/2463.51 c #Conflicts: 616000 | #Constraints: 24439
2456.67/2463.51 c #Conflicts: 617000 | #Constraints: 25439
2820.54/2828.66 c #Conflicts: 618000 | #Constraints: 26439
2820.54/2828.66 c #Conflicts: 619000 | #Constraints: 27439
2820.54/2828.66 c #Conflicts: 620000 | #Constraints: 28439
2820.54/2828.66 c #Conflicts: 621000 | #Constraints: 29439
2820.54/2828.66 c #Conflicts: 622000 | #Constraints: 30439
2820.54/2828.66 c #Conflicts: 623000 | #Constraints: 31439
2820.54/2828.66 c INPROCESSING
2820.54/2828.66 c GARBAGE COLLECT
2820.54/2828.66 c #Conflicts: 624000 | #Constraints: 16836
2820.54/2828.66 c #Conflicts: 625000 | #Constraints: 17836
2820.54/2828.66 c #Conflicts: 626000 | #Constraints: 18836
2820.54/2828.66 c #Conflicts: 627000 | #Constraints: 19836
2820.54/2828.66 c #Conflicts: 628000 | #Constraints: 20836
2820.54/2828.66 c #Conflicts: 629000 | #Constraints: 21836
2820.54/2828.66 c #Conflicts: 630000 | #Constraints: 22836
2820.54/2828.66 c #Conflicts: 631000 | #Constraints: 23836
2820.54/2828.66 c #Conflicts: 632000 | #Constraints: 24836
2820.54/2828.66 c #Conflicts: 633000 | #Constraints: 25836
2820.54/2828.66 c #Conflicts: 634000 | #Constraints: 26836
2820.54/2828.66 c #Conflicts: 635000 | #Constraints: 27836
2820.54/2828.66 c #Conflicts: 636000 | #Constraints: 28836
2820.54/2828.66 c #Conflicts: 637000 | #Constraints: 29836
2820.54/2828.66 c #Conflicts: 638000 | #Constraints: 30836
2820.54/2828.66 c #Conflicts: 639000 | #Constraints: 31836
2820.54/2828.66 c INPROCESSING
2820.54/2828.66 c GARBAGE COLLECT
2820.54/2828.66 c #Conflicts: 640000 | #Constraints: 17044
2820.54/2828.66 c #Conflicts: 641000 | #Constraints: 18044
2820.54/2828.66 c #Conflicts: 642000 | #Constraints: 19044
2820.54/2828.66 c #Conflicts: 643000 | #Constraints: 20044
2820.54/2828.66 c #Conflicts: 644000 | #Constraints: 21044
2820.54/2828.66 c #Conflicts: 645000 | #Constraints: 22044
2820.54/2828.66 c #Conflicts: 646000 | #Constraints: 23044
2820.54/2828.66 c #Conflicts: 647000 | #Constraints: 24044
2820.54/2828.66 c #Conflicts: 648000 | #Constraints: 25044
2820.54/2828.66 c #Conflicts: 649000 | #Constraints: 26044
2820.54/2828.66 c #Conflicts: 650000 | #Constraints: 27044
2820.54/2828.66 c #Conflicts: 651000 | #Constraints: 28044
2820.54/2828.66 c #Conflicts: 652000 | #Constraints: 29044
2820.54/2828.66 c #Conflicts: 653000 | #Constraints: 30044
2820.54/2828.66 c #Conflicts: 654000 | #Constraints: 31044
2820.54/2828.66 c #Conflicts: 655000 | #Constraints: 32044
2820.54/2828.66 c INPROCESSING
2820.54/2828.66 c GARBAGE COLLECT
2820.54/2828.66 c #Conflicts: 656000 | #Constraints: 17051
2820.54/2828.66 c #Conflicts: 657000 | #Constraints: 18051
2820.54/2828.66 c #Conflicts: 658000 | #Constraints: 19051
2820.54/2828.66 c #Conflicts: 659000 | #Constraints: 20051
2820.54/2828.66 c #Conflicts: 660000 | #Constraints: 21051
2820.54/2828.66 c #Conflicts: 661000 | #Constraints: 22051
2820.54/2828.66 c #Conflicts: 662000 | #Constraints: 23051
2820.54/2828.66 c #Conflicts: 663000 | #Constraints: 24051
2820.54/2828.66 c #Conflicts: 664000 | #Constraints: 25051
2820.54/2828.66 c #Conflicts: 665000 | #Constraints: 26051
2820.54/2828.66 c #Conflicts: 666000 | #Constraints: 27051
2820.54/2828.66 c #Conflicts: 667000 | #Constraints: 28051
2820.54/2828.66 c #Conflicts: 668000 | #Constraints: 29051
2820.54/2828.66 c #Conflicts: 669000 | #Constraints: 30051
2820.54/2828.66 c #Conflicts: 670000 | #Constraints: 31051
2820.54/2828.66 c #Conflicts: 671000 | #Constraints: 32051
2820.54/2828.66 c INPROCESSING
2820.54/2828.66 c GARBAGE COLLECT
2820.54/2828.66 c #Conflicts: 672000 | #Constraints: 16841
2820.54/2828.66 c #Conflicts: 673000 | #Constraints: 17841
2820.54/2828.66 c #Conflicts: 674000 | #Constraints: 18841
2820.54/2828.66 c #Conflicts: 675000 | #Constraints: 19841
2820.54/2828.66 c #Conflicts: 676000 | #Constraints: 20841
2820.54/2828.66 c #Conflicts: 677000 | #Constraints: 21841
2820.54/2828.66 c #Conflicts: 678000 | #Constraints: 22841
2820.54/2828.66 c #Conflicts: 679000 | #Constraints: 23841
2820.54/2828.66 c #Conflicts: 680000 | #Constraints: 24841
2820.54/2828.66 c #Conflicts: 681000 | #Constraints: 25841
2820.54/2828.66 c #Conflicts: 682000 | #Constraints: 26841
2820.54/2828.66 c #Conflicts: 683000 | #Constraints: 27841
2820.54/2828.66 c #Conflicts: 684000 | #Constraints: 28841
2820.54/2828.66 c #Conflicts: 685000 | #Constraints: 29841
2820.54/2828.66 c #Conflicts: 686000 | #Constraints: 30841
2820.54/2828.66 c #Conflicts: 687000 | #Constraints: 31841
2820.54/2828.66 c #Conflicts: 688000 | #Constraints: 32841
2820.54/2828.66 c INPROCESSING
2820.54/2828.66 c GARBAGE COLLECT
2820.54/2828.66 c #Conflicts: 689000 | #Constraints: 17443
2820.54/2828.66 c #Conflicts: 690000 | #Constraints: 18443
2820.54/2828.66 c #Conflicts: 691000 | #Constraints: 19443
2820.54/2828.66 c #Conflicts: 692000 | #Constraints: 20443
2820.54/2828.66 c #Conflicts: 693000 | #Constraints: 21443
3201.24/3210.62 c #Conflicts: 694000 | #Constraints: 22443
3201.24/3210.62 c #Conflicts: 695000 | #Constraints: 23443
3201.24/3210.62 c #Conflicts: 696000 | #Constraints: 24443
3201.24/3210.62 c #Conflicts: 697000 | #Constraints: 25443
3201.24/3210.62 c #Conflicts: 698000 | #Constraints: 26443
3201.24/3210.62 c #Conflicts: 699000 | #Constraints: 27443
3201.24/3210.62 c #Conflicts: 700000 | #Constraints: 28443
3201.24/3210.62 c #Conflicts: 701000 | #Constraints: 29443
3201.24/3210.62 c #Conflicts: 702000 | #Constraints: 30443
3201.24/3210.62 c #Conflicts: 703000 | #Constraints: 31443
3201.24/3210.62 c #Conflicts: 704000 | #Constraints: 32443
3201.24/3210.62 c #Conflicts: 705000 | #Constraints: 33443
3201.24/3210.62 c INPROCESSING
3201.24/3210.62 c GARBAGE COLLECT
3201.24/3210.62 c #Conflicts: 706000 | #Constraints: 17842
3201.24/3210.62 c #Conflicts: 707000 | #Constraints: 18842
3201.24/3210.62 c #Conflicts: 708000 | #Constraints: 19842
3201.24/3210.62 c #Conflicts: 709000 | #Constraints: 20842
3201.24/3210.62 c #Conflicts: 710000 | #Constraints: 21842
3201.24/3210.62 c #Conflicts: 711000 | #Constraints: 22842
3201.24/3210.62 c #Conflicts: 712000 | #Constraints: 23842
3201.24/3210.62 c #Conflicts: 713000 | #Constraints: 24842
3201.24/3210.62 c #Conflicts: 714000 | #Constraints: 25842
3201.24/3210.62 c #Conflicts: 715000 | #Constraints: 26842
3201.24/3210.62 c #Conflicts: 716000 | #Constraints: 27842
3201.24/3210.62 c #Conflicts: 717000 | #Constraints: 28842
3201.24/3210.62 c #Conflicts: 718000 | #Constraints: 29842
3201.24/3210.62 c #Conflicts: 719000 | #Constraints: 30842
3201.24/3210.62 c #Conflicts: 720000 | #Constraints: 31842
3201.24/3210.62 c #Conflicts: 721000 | #Constraints: 32842
3201.24/3210.62 c #Conflicts: 722000 | #Constraints: 33842
3201.24/3210.62 c INPROCESSING
3201.24/3210.62 c GARBAGE COLLECT
3201.24/3210.62 c #Conflicts: 723000 | #Constraints: 18046
3201.24/3210.62 c #Conflicts: 724000 | #Constraints: 19046
3201.24/3210.62 c #Conflicts: 725000 | #Constraints: 20046
3201.24/3210.62 c #Conflicts: 726000 | #Constraints: 21046
3201.24/3210.62 c #Conflicts: 727000 | #Constraints: 22046
3201.24/3210.62 c #Conflicts: 728000 | #Constraints: 23046
3201.24/3210.62 c #Conflicts: 729000 | #Constraints: 24046
3201.24/3210.62 c #Conflicts: 730000 | #Constraints: 25046
3201.24/3210.62 c #Conflicts: 731000 | #Constraints: 26046
3201.24/3210.62 c #Conflicts: 732000 | #Constraints: 27046
3201.24/3210.62 c #Conflicts: 733000 | #Constraints: 28046
3201.24/3210.62 c #Conflicts: 734000 | #Constraints: 29046
3201.24/3210.62 c #Conflicts: 735000 | #Constraints: 30046
3201.24/3210.62 c #Conflicts: 736000 | #Constraints: 31046
3201.24/3210.62 c #Conflicts: 737000 | #Constraints: 32046
3201.24/3210.62 c #Conflicts: 738000 | #Constraints: 33046
3201.24/3210.62 c #Conflicts: 739000 | #Constraints: 34046
3201.24/3210.62 c INPROCESSING
3201.24/3210.62 c GARBAGE COLLECT
3201.24/3210.62 c #Conflicts: 740000 | #Constraints: 18058
3201.24/3210.62 c #Conflicts: 741000 | #Constraints: 19058
3201.24/3210.62 c #Conflicts: 742000 | #Constraints: 20058
3201.24/3210.62 c #Conflicts: 743000 | #Constraints: 21058
3201.24/3210.62 c #Conflicts: 744000 | #Constraints: 22058
3201.24/3210.62 c #Conflicts: 745000 | #Constraints: 23058
3201.24/3210.62 c #Conflicts: 746000 | #Constraints: 24058
3201.24/3210.62 c #Conflicts: 747000 | #Constraints: 25058
3201.24/3210.62 c #Conflicts: 748000 | #Constraints: 26058
3201.24/3210.62 c #Conflicts: 749000 | #Constraints: 27058
3201.24/3210.62 c #Conflicts: 750000 | #Constraints: 28058
3201.24/3210.62 c #Conflicts: 751000 | #Constraints: 29058
3201.24/3210.62 c #Conflicts: 752000 | #Constraints: 30058
3201.24/3210.62 c #Conflicts: 753000 | #Constraints: 31058
3201.24/3210.62 c #Conflicts: 754000 | #Constraints: 32058
3201.24/3210.62 c #Conflicts: 755000 | #Constraints: 33058
3201.24/3210.62 c #Conflicts: 756000 | #Constraints: 34058
3201.24/3210.62 c INPROCESSING
3201.24/3210.62 c GARBAGE COLLECT
3201.24/3210.62 c #Conflicts: 757000 | #Constraints: 17846
3201.24/3210.62 c #Conflicts: 758000 | #Constraints: 18846
3201.24/3210.62 c #Conflicts: 759000 | #Constraints: 19846
3201.24/3210.62 c #Conflicts: 760000 | #Constraints: 20846
3201.24/3210.62 c #Conflicts: 761000 | #Constraints: 21846
3201.24/3210.62 c #Conflicts: 762000 | #Constraints: 22846
3201.24/3210.62 c #Conflicts: 763000 | #Constraints: 23846
3201.24/3210.62 c #Conflicts: 764000 | #Constraints: 24846
3201.24/3210.62 c #Conflicts: 765000 | #Constraints: 25846
3201.24/3210.62 c #Conflicts: 766000 | #Constraints: 26846
3201.24/3210.62 c #Conflicts: 767000 | #Constraints: 27846
3201.24/3210.62 c #Conflicts: 768000 | #Constraints: 28846
3201.24/3210.62 c #Conflicts: 769000 | #Constraints: 29846
3600.00/3610.70 c #Conflicts: 770000 | #Constraints: 30846
3600.00/3610.70 c #Conflicts: 771000 | #Constraints: 31846
3600.00/3610.70 c #Conflicts: 772000 | #Constraints: 32846
3600.00/3610.70 c #Conflicts: 773000 | #Constraints: 33846
3600.00/3610.70 c #Conflicts: 774000 | #Constraints: 34846
3600.00/3610.70 c INPROCESSING
3600.00/3610.70 c GARBAGE COLLECT
3600.00/3610.70 c #Conflicts: 775000 | #Constraints: 18452
3600.00/3610.70 c #Conflicts: 776000 | #Constraints: 19452
3600.00/3610.70 c #Conflicts: 777000 | #Constraints: 20452
3600.00/3610.70 c #Conflicts: 778000 | #Constraints: 21452
3600.00/3610.70 c #Conflicts: 779000 | #Constraints: 22452
3600.00/3610.70 c #Conflicts: 780000 | #Constraints: 23452
3600.00/3610.70 c #Conflicts: 781000 | #Constraints: 24452
3600.00/3610.70 c #Conflicts: 782000 | #Constraints: 25452
3600.00/3610.70 c #Conflicts: 783000 | #Constraints: 26452
3600.00/3610.70 c #Conflicts: 784000 | #Constraints: 27452
3600.00/3610.70 c #Conflicts: 785000 | #Constraints: 28452
3600.00/3610.70 c #Conflicts: 786000 | #Constraints: 29452
3600.00/3610.70 c #Conflicts: 787000 | #Constraints: 30452
3600.00/3610.70 c #Conflicts: 788000 | #Constraints: 31452
3600.00/3610.70 c #Conflicts: 789000 | #Constraints: 32452
3600.00/3610.70 c #Conflicts: 790000 | #Constraints: 33452
3600.00/3610.70 c #Conflicts: 791000 | #Constraints: 34452
3600.00/3610.70 c #Conflicts: 792000 | #Constraints: 35452
3600.00/3610.70 c INPROCESSING
3600.00/3610.70 c GARBAGE COLLECT
3600.00/3610.70 c #Conflicts: 793000 | #Constraints: 18843
3600.00/3610.70 c #Conflicts: 794000 | #Constraints: 19843
3600.00/3610.70 c #Conflicts: 795000 | #Constraints: 20843
3600.00/3610.70 c #Conflicts: 796000 | #Constraints: 21843
3600.00/3610.70 c #Conflicts: 797000 | #Constraints: 22843
3600.00/3610.70 c #Conflicts: 798000 | #Constraints: 23843
3600.00/3610.70 c #Conflicts: 799000 | #Constraints: 24843
3600.00/3610.70 c #Conflicts: 800000 | #Constraints: 25843
3600.00/3610.70 c #Conflicts: 801000 | #Constraints: 26843
3600.00/3610.70 c #Conflicts: 802000 | #Constraints: 27843
3600.00/3610.70 c #Conflicts: 803000 | #Constraints: 28843
3600.00/3610.70 c #Conflicts: 804000 | #Constraints: 29843
3600.00/3610.70 c #Conflicts: 805000 | #Constraints: 30843
3600.00/3610.70 c #Conflicts: 806000 | #Constraints: 31843
3600.00/3610.70 c #Conflicts: 807000 | #Constraints: 32843
3600.00/3610.70 c #Conflicts: 808000 | #Constraints: 33843
3600.00/3610.70 c #Conflicts: 809000 | #Constraints: 34843
3600.00/3610.70 c #Conflicts: 810000 | #Constraints: 35843
3600.00/3610.70 c INPROCESSING
3600.00/3610.70 c GARBAGE COLLECT
3600.00/3610.70 c #Conflicts: 811000 | #Constraints: 19046
3600.00/3610.70 c #Conflicts: 812000 | #Constraints: 20046
3600.00/3610.70 c #Conflicts: 813000 | #Constraints: 21046
3600.00/3610.70 c #Conflicts: 814000 | #Constraints: 22046
3600.00/3610.70 c #Conflicts: 815000 | #Constraints: 23046
3600.00/3610.70 c #Conflicts: 816000 | #Constraints: 24046
3600.00/3610.70 c #Conflicts: 817000 | #Constraints: 25046
3600.00/3610.70 c #Conflicts: 818000 | #Constraints: 26046
3600.00/3610.70 c #Conflicts: 819000 | #Constraints: 27046
3600.00/3610.70 c #Conflicts: 820000 | #Constraints: 28046
3600.00/3610.70 c #Conflicts: 821000 | #Constraints: 29046
3600.00/3610.70 c #Conflicts: 822000 | #Constraints: 30046
3600.00/3610.70 c #Conflicts: 823000 | #Constraints: 31046
3600.00/3610.70 c #Conflicts: 824000 | #Constraints: 32046
3600.00/3610.70 c #Conflicts: 825000 | #Constraints: 33046
3600.00/3610.70 c #Conflicts: 826000 | #Constraints: 34046
3600.00/3610.70 c #Conflicts: 827000 | #Constraints: 35046
3600.00/3610.70 c #Conflicts: 828000 | #Constraints: 36046
3600.00/3610.70 c INPROCESSING
3600.00/3610.70 c GARBAGE COLLECT
3600.00/3610.70 c #Conflicts: 829000 | #Constraints: 19046
3600.00/3610.70 c #Conflicts: 830000 | #Constraints: 20046
3600.00/3610.70 c #Conflicts: 831000 | #Constraints: 21046
3600.00/3610.70 c #Conflicts: 832000 | #Constraints: 22046
3600.00/3610.70 c #Conflicts: 833000 | #Constraints: 23046
3600.00/3610.70 c Program interrupted by user.
3600.00/3610.70 c cpu time 3587.44 s
3600.00/3610.70 c deterministic time 337662630929 3.38e+11
3600.00/3610.70 c optimization time 19.6198 s
3600.00/3610.70 c total solve time 3567.82 s
3600.00/3610.70 c core-guided solve time 3567.82 s
3600.00/3610.70 c propagation time 2846.39 s
3600.00/3610.70 c conflict analysis time 669.431 s
3600.00/3610.70 c propagations 71459355
3600.00/3610.70 c resolve steps 6339511
3600.00/3610.70 c decisions 8848659
3600.00/3610.70 c conflicts 833848
3600.00/3610.70 c restarts 1788
3600.00/3610.70 c inprocessing phases 82
3600.00/3610.70 c input clauses 83
3600.00/3610.70 c input cardinalities 86
3600.00/3610.70 c input general constraints 40
3600.00/3610.70 c input average constraint length 244.03
3600.00/3610.70 c input average constraint degree 33322.44
3600.00/3610.70 c learned clauses 77917
3600.00/3610.70 c learned cardinalities 1854
3600.00/3610.70 c learned general constraints 754077
3600.00/3610.70 c learned average constraint length 634.72
3600.00/3610.70 c learned average constraint degree 11472799.49
3600.00/3610.70 c watched constraints 343761
3600.00/3610.70 c counting constraints 410356
3600.00/3610.70 c gcd simplifications 9226
3600.00/3610.70 c detected cardinalities 0
3600.00/3610.70 c weakened non-implied lits 161666591
3600.00/3610.70 c weakened non-implying lits 404257
3600.00/3610.70 c original variables 1086
3600.00/3610.70 c clausal propagations 1001458
3600.00/3610.70 c cardinality propagations 30164221
3600.00/3610.70 c watched propagations 2500352
3600.00/3610.70 c counting propagations 37135447
3600.00/3610.70 c watch lookups 67989314873
3600.00/3610.70 c watch backjump lookups 67074399383
3600.00/3610.70 c watch checks 83722858051
3600.00/3610.70 c propagation checks 116095132125
3600.00/3610.70 c constraint additions 2619477617
3600.00/3610.70 c trail pops 81140865
3600.00/3610.70 c formula constraints 169
3600.00/3610.70 c learned constraints 833848
3600.00/3610.70 c bound constraints 38
3600.00/3610.70 c core-guided constraints 2
3600.00/3610.70 c encountered formula constraints 1610685
3600.00/3610.70 c encountered learned constraints 5558092
3600.00/3610.70 c encountered bound constraints 3416
3600.00/3610.70 c encountered core-guided constraints 1166
3600.00/3610.70 c LP total time 0 s
3600.00/3610.70 c LP solve time 0 s
3600.00/3610.70 c LP constraints added 0
3600.00/3610.70 c LP constraints removed 0
3600.00/3610.70 c LP pivots internal 0
3600.00/3610.70 c LP pivots root 0
3600.00/3610.70 c LP calls 0
3600.00/3610.70 c LP optimalities 0
3600.00/3610.70 c LP no pivot count 0
3600.00/3610.70 c LP infeasibilities 0
3600.00/3610.70 c LP valid Farkas constraints 0
3600.00/3610.70 c LP learned Farkas constraints 0
3600.00/3610.70 c LP basis resets 0
3600.00/3610.70 c LP cycling count 0
3600.00/3610.70 c LP singular count 0
3600.00/3610.70 c LP no primal count 0
3600.00/3610.70 c LP no farkas count 0
3600.00/3610.70 c LP other issue count 0
3600.00/3610.70 c LP Gomory cuts 0
3600.00/3610.70 c LP learned cuts 0
3600.00/3610.70 c LP deleted cuts 0
3600.00/3610.70 c LP encountered Gomory constraints 0
3600.00/3610.70 c LP encountered Farkas constraints 0
3600.00/3610.70 c LP encountered learned Farkas constraints 0
3600.00/3610.70 c CG auxiliary variables introduced 1
3600.00/3610.70 c CG solutions found 36
3600.00/3610.70 c CG cores constructed 2
3600.00/3610.70 c CG core cardinality constraints returned 0
3600.00/3610.70 c CG unit cores 0
3600.00/3610.70 c CG single cores 2
3600.00/3610.70 c CG blocks removed during cardinality reduction 0
3600.00/3610.70 c CG first core best 0
3600.00/3610.70 c CG decision core best 0
3600.00/3610.70 c CG core reduction tie 0
3600.00/3610.70 c CG core degree average 1.00
3600.00/3610.70 c CG core slack average 175.50
3600.00/3610.70 c CG exhausted 0
3600.00/3610.70 c CG exhaust time 0.824596 s
3600.00/3610.70 c CG trimmed 0
3600.00/3610.70 c CG trim time 0.017976 s
3600.00/3610.70 c CG minimized 0
3600.00/3610.70 c CG minimize time 0 s
3600.00/3610.70 c CG am1 prop time 0.009404 s
3600.00/3610.70 c CG # am1s reformulated 0
3600.00/3610.70 c CG lower bound derived from am1s 0
3600.00/3610.70 c CG # clausal cores 2
3600.00/3610.70 c CG # cardinality cores 0
3600.00/3610.70 c CG # pb cores 0
3600.00/3610.70 c CG # pb reforms 0
3600.00/3610.70 c CG # cores discarded because of pb reform 0
3600.00/3610.70 d LOWERBOUND 412
3600.00/3610.70 d NCORES 2
3600.00/3610.70 d NPBCORES 0
3600.00/3610.70 d NPBREFORM 0
3600.00/3610.70 d NTRIMMED 0
3600.00/3610.70 d NEXHAUSTED 0
3600.00/3610.70 d NAM1S 0
3600.00/3610.70 d AM1LB 0
3600.00/3610.70 o 3326
3600.00/3610.70 s SATISFIABLE
3600.00/3610.70 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086
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 (61456 MiB free)
memory of node 1: 64465 MiB (62160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522454-1751593773/watcher-4522454-1751593773 -o /tmp/evaluation-result-4522454-1751593773/solver-4522454-1751593773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82259 --watchdog 3760 pb-oll-rs HOME/instance-4522454-1751593773.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82712, runsolver pid=82709
[startup+0.100068 s]*
/proc/loadavg: 4.13 4.11 4.09 4/255 82719
/proc/meminfo: memFree=126579664/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=21324 memory=9564 CPUtime=0.09 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 703 0 0 0 8 1 0 0 20 0 1 0 75055956 21835776 2391 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 5331 2391 1376 243 0 1580 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21324 KiB
Current children cumulated memory: 9564 KiB
[startup+0.205668 s]*
/proc/loadavg: 4.13 4.11 4.09 5/259 82727
/proc/meminfo: memFree=126522956/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=22976 memory=13288 CPUtime=0.19 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 1125 0 0 0 18 1 0 0 20 0 1 0 75055956 23527424 3322 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 5744 3322 1376 243 0 1993 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22976 KiB
Current children cumulated memory: 13288 KiB
[startup+0.305672 s]*
/proc/loadavg: 4.13 4.11 4.09 4/260 82732
/proc/meminfo: memFree=126486688/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=24260 memory=14440 CPUtime=0.29 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 1441 0 0 0 27 2 0 0 20 0 1 0 75055956 24842240 3610 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 6065 3610 1376 243 0 2314 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24260 KiB
Current children cumulated memory: 14440 KiB
[startup+0.70017 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 82737
/proc/meminfo: memFree=126432944/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=36140 memory=22376 CPUtime=0.68 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 3396 0 0 0 65 3 0 0 20 0 1 0 75055956 37007360 5594 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 9035 5594 1376 243 0 5284 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36140 KiB
Current children cumulated memory: 22376 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 82738
/proc/meminfo: memFree=126387896/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=39548 memory=28692 CPUtime=1.48 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 4477 0 0 0 144 4 0 0 20 0 1 0 75055956 40497152 7173 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 9887 7173 1376 243 0 6136 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39548 KiB
Current children cumulated memory: 28692 KiB
[startup+3.10556 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 82738
/proc/meminfo: memFree=126261380/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=52688 memory=37976 CPUtime=3.08 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 6273 0 0 0 300 8 0 0 20 0 1 0 75055956 53952512 9494 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 13172 9494 1376 243 0 9421 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52688 KiB
Current children cumulated memory: 37976 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 82738
/proc/meminfo: memFree=126213908/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=55252 memory=43904 CPUtime=6.26 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 7274 0 0 0 616 10 0 0 20 0 1 0 75055956 56578048 10976 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 13813 10976 1376 243 0 10062 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 55252 KiB
Current children cumulated memory: 43904 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126185376/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=71724 memory=52308 CPUtime=12.64 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 8868 0 0 0 1248 16 0 0 20 0 1 0 75055956 73445376 13077 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 17931 13077 1376 243 0 14180 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71724 KiB
Current children cumulated memory: 52308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.09 4.08 5/263 82784
/proc/meminfo: memFree=126011760/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=85988 memory=70504 CPUtime=25.41 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 11868 0 0 0 2509 32 0 0 20 0 1 0 75055956 88051712 17626 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 21497 17626 1376 243 0 17746 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 85988 KiB
Current children cumulated memory: 70504 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.09 4.09 5/263 82784
/proc/meminfo: memFree=125749024/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=117700 memory=91768 CPUtime=50.94 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 15158 0 0 0 5037 57 0 0 20 0 1 0 75055956 120524800 22942 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 29425 22942 1376 243 0 25674 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 117700 KiB
Current children cumulated memory: 91768 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 82787
/proc/meminfo: memFree=124672108/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=142796 memory=122160 CPUtime=102 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 20200 0 0 0 10093 107 0 0 20 0 1 0 75055956 146223104 30540 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 35699 30540 1376 243 0 31948 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 142796 KiB
Current children cumulated memory: 122160 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 82789
/proc/meminfo: memFree=124246160/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=178352 memory=131112 CPUtime=161.85 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 21407 0 0 0 16022 163 0 0 20 0 1 0 75055956 182632448 32778 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 44588 32778 1376 243 0 40837 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 178352 KiB
Current children cumulated memory: 131112 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 82791
/proc/meminfo: memFree=123344188/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=183876 memory=141788 CPUtime=221.69 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 23051 0 0 0 21956 213 0 0 20 0 1 0 75055956 188289024 35447 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 45969 35447 1376 243 0 42218 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 183876 KiB
Current children cumulated memory: 141788 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 82799
/proc/meminfo: memFree=123211228/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=185544 memory=152924 CPUtime=281.53 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 23351 0 0 0 27895 258 0 0 20 0 1 0 75055956 189997056 38231 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 46386 38231 1376 243 0 42635 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 185544 KiB
Current children cumulated memory: 152924 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 82801
/proc/meminfo: memFree=121885032/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=189288 memory=160032 CPUtime=341.38 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 23857 0 0 0 33830 308 0 0 20 0 1 0 75055956 193830912 40008 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 47322 40008 1376 243 0 43571 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 189288 KiB
Current children cumulated memory: 160032 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 82803
/proc/meminfo: memFree=121074104/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=203676 memory=171636 CPUtime=401.24 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 25768 0 0 0 39772 352 0 0 20 0 1 0 75055956 208564224 42909 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 50919 42909 1376 243 0 47168 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 203676 KiB
Current children cumulated memory: 171636 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 82805
/proc/meminfo: memFree=119328488/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=204072 memory=171892 CPUtime=461.09 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 25822 0 0 0 45725 384 0 0 20 0 1 0 75055956 208969728 42973 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 51018 42973 1376 243 0 47267 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
Current children cumulated memory: 298580 KiB
[startup+2922.3 s]
/proc/loadavg: 4.40 4.21 4.15 5/263 83077
/proc/meminfo: memFree=113227344/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=420956 memory=307656 CPUtime=2913.93 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 44909 0 0 0 290295 1098 0 0 20 0 1 0 75055956 431058944 76914 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 105239 76914 1376 243 0 101488 0
Current children cumulated CPU time: 2913.93 s
Current children cumulated vsize: 420956 KiB
Current children cumulated memory: 307656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.18 4.14 5/263 83079
/proc/meminfo: memFree=113061452/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=421468 memory=308040 CPUtime=2973.72 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 45039 0 0 0 296262 1110 0 0 20 0 1 0 75055956 431583232 77010 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 105367 77010 1376 243 0 101616 0
Current children cumulated CPU time: 2973.72 s
Current children cumulated vsize: 421468 KiB
Current children cumulated memory: 308040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.14 5/264 83084
/proc/meminfo: memFree=112760684/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=423644 memory=309704 CPUtime=3033.52 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 45725 0 0 0 302227 1125 0 0 20 0 1 0 75055956 433811456 77426 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 105911 77426 1376 243 0 102160 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 423644 KiB
Current children cumulated memory: 309704 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/264 83086
/proc/meminfo: memFree=112205324/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=426848 memory=316244 CPUtime=3093.32 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 46836 0 0 0 308190 1142 0 0 20 0 1 0 75055956 437092352 79061 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 106712 79061 1376 243 0 102961 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 426848 KiB
Current children cumulated memory: 316244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/264 83088
/proc/meminfo: memFree=111764764/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=427492 memory=316716 CPUtime=3153.11 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 47017 0 0 0 314156 1155 0 0 20 0 1 0 75055956 437751808 79179 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 106873 79179 1376 243 0 103122 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 427492 KiB
Current children cumulated memory: 316716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/264 83090
/proc/meminfo: memFree=111272944/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=427492 memory=316716 CPUtime=3212.91 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 47025 0 0 0 320119 1172 0 0 20 0 1 0 75055956 437751808 79179 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 106873 79179 1376 243 0 103122 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 427492 KiB
Current children cumulated memory: 316716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/264 83092
/proc/meminfo: memFree=110536532/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=429804 memory=318104 CPUtime=3272.7 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 47808 0 0 0 326084 1186 0 0 20 0 1 0 75055956 440119296 79526 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 107451 79526 1376 243 0 103700 0
Current children cumulated CPU time: 3272.7 s
Current children cumulated vsize: 429804 KiB
Current children cumulated memory: 318104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/264 83099
/proc/meminfo: memFree=109841028/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=430960 memory=320924 CPUtime=3332.5 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 48185 0 0 0 332052 1198 0 0 20 0 1 0 75055956 441303040 80231 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 107740 80231 1376 243 0 103989 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 430960 KiB
Current children cumulated memory: 320924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/265 83102
/proc/meminfo: memFree=109541312/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=431088 memory=321148 CPUtime=3392.29 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 48266 0 0 0 338015 1214 0 0 20 0 1 0 75055956 441434112 80287 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 107772 80287 1376 243 0 104021 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 431088 KiB
Current children cumulated memory: 321148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/265 83104
/proc/meminfo: memFree=109339736/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=433664 memory=322936 CPUtime=3452.1 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 49081 0 0 0 343985 1225 0 0 20 0 1 0 75055956 444071936 80734 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 108416 80734 1376 243 0 104665 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 433664 KiB
Current children cumulated memory: 322936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/264 83106
/proc/meminfo: memFree=109192212/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=437168 memory=329052 CPUtime=3511.9 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 50195 0 0 0 349949 1241 0 0 20 0 1 0 75055956 447660032 82263 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 109292 82263 1376 243 0 105541 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 437168 KiB
Current children cumulated memory: 329052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/264 83108
/proc/meminfo: memFree=109138752/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=437424 memory=329436 CPUtime=3571.69 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 50328 0 0 0 355920 1249 0 0 20 0 1 0 75055956 447922176 82359 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 109356 82359 1376 243 0 105605 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 437424 KiB
Current children cumulated memory: 329436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.18 4.13 4.11 5/264 83111
/proc/meminfo: memFree=109103636/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=438704 memory=332024 CPUtime=3600 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 50807 0 0 0 358744 1256 0 0 20 0 1 0 75055956 449232896 83006 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 109676 83006 1376 243 0 105925 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 438704 KiB
Current children cumulated memory: 332024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 82712 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.45 s, system=12.5725 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.18 4.13 4.11 5/264 83111
/proc/meminfo: memFree=109103636/131250000 swapFree=33010672/33010684
[pid=82712] ppid=82709 vsize=438704 memory=332024 CPUtime=3600 cores=1,3
/proc/82712/stat : 82712 (pb-oll-rs) R 82709 82712 82247 0 -1 4194304 50807 0 0 0 358744 1256 0 0 20 0 1 0 75055956 449232896 83006 18446744073709551615 4218880 5211445 140731150902928 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 7053312 140731150907804 140731150907881 140731150907881 140731150913483 0
/proc/82712/statm: 109676 83006 1376 243 0 105925 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 438704 KiB
Current children cumulated memory: 332024 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.02
CPU user time (s): 3587.45
CPU system time (s): 12.5725
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 438704
Max. memory (cumulated for all children) (KiB): 332024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.45
system time used= 12.5725
maximum resident set size= 332280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50822
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= 110
involuntary context switches= 2341
# summary of solver processes directly reported to runsolver:
# pid: 82712
# total CPU time (s): 3600.02
# total CPU user time (s): 3587.45
# total CPU system time (s): 12.5725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06043 second user time and 16.029 second system time
The end
Begin job on nodeC026 at 2025-07-04 03:49:33
IDJOB=4522454
IDBENCH=178829
IDSOLVER=3345
FILE ID=nodeC026/4522454-1751593773
RUNJOBID= nodeC026-1751590160-82259
SLURM_JOB_ID= 9598846
Free space on /tmp= 430276 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2/normalized-lp4l.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522454-1751593773/watcher-4522454-1751593773 -o /tmp/evaluation-result-4522454-1751593773/solver-4522454-1751593773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82259 --watchdog 3760 pb-oll-rs HOME/instance-4522454-1751593773.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b6d457804c0edb01048fac97a08f0a0d
RANDOM SEED=1938695051
nodeC026 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 : 3599.782
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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.808
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 : 6999.59
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 : 3600.315
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 : 6999.59
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 : 3599.422
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 : 6999.59
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 : 3601.387
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 : 6999.59
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 : 3599.790
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 : 6999.59
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.122
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 : 6999.59
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 : 3599.541
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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126593116 kB
MemAvailable: 129193096 kB
Buffers: 2128 kB
Cached: 3227928 kB
SwapCached: 4 kB
Active: 1144516 kB
Inactive: 2557776 kB
Active(anon): 480660 kB
Inactive(anon): 9688 kB
Active(file): 663856 kB
Inactive(file): 2548088 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23660 kB
Writeback: 56 kB
AnonPages: 475428 kB
Mapped: 106056 kB
Shmem: 18076 kB
KReclaimable: 448836 kB
Slab: 549560 kB
SReclaimable: 448836 kB
SUnreclaim: 100724 kB
KernelStack: 4128 kB
PageTables: 3848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 831992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 174080 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 429944 MiB
End job on nodeC026 at 2025-07-04 04:49:44