0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 71 #constraints 17
0.00/0.00 c SMALL=int, LARGE=long long
30.59/30.72 c bounds - >= 0 @ 0.000318
30.59/30.72 c #Conflicts: 1000 | #Constraints: 1016
30.59/30.72 c #Conflicts: 2000 | #Constraints: 2016
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 3000 | #Constraints: 2019
30.59/30.72 c #Conflicts: 4000 | #Constraints: 3019
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 5000 | #Constraints: 2420
30.59/30.72 c #Conflicts: 6000 | #Constraints: 3420
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 7000 | #Constraints: 2423
30.59/30.72 c #Conflicts: 8000 | #Constraints: 3423
30.59/30.72 c #Conflicts: 9000 | #Constraints: 4423
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 10000 | #Constraints: 3123
30.59/30.72 c #Conflicts: 11000 | #Constraints: 4123
30.59/30.72 c #Conflicts: 12000 | #Constraints: 5123
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 13000 | #Constraints: 3573
30.59/30.72 c #Conflicts: 14000 | #Constraints: 4573
30.59/30.72 c #Conflicts: 15000 | #Constraints: 5573
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 16000 | #Constraints: 3799
30.59/30.72 c #Conflicts: 17000 | #Constraints: 4799
30.59/30.72 c #Conflicts: 18000 | #Constraints: 5799
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 19000 | #Constraints: 3814
30.59/30.72 c #Conflicts: 20000 | #Constraints: 4814
30.59/30.72 c #Conflicts: 21000 | #Constraints: 5814
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 22000 | #Constraints: 3618
30.59/30.72 c #Conflicts: 23000 | #Constraints: 4618
30.59/30.72 c #Conflicts: 24000 | #Constraints: 5618
30.59/30.72 c #Conflicts: 25000 | #Constraints: 6618
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 26000 | #Constraints: 4221
30.59/30.72 c #Conflicts: 27000 | #Constraints: 5221
30.59/30.72 c #Conflicts: 28000 | #Constraints: 6221
30.59/30.72 c #Conflicts: 29000 | #Constraints: 7221
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 30000 | #Constraints: 4621
30.59/30.72 c #Conflicts: 31000 | #Constraints: 5621
30.59/30.72 c #Conflicts: 32000 | #Constraints: 6621
30.59/30.72 c #Conflicts: 33000 | #Constraints: 7621
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 34000 | #Constraints: 4823
30.59/30.72 c #Conflicts: 35000 | #Constraints: 5823
30.59/30.72 c #Conflicts: 36000 | #Constraints: 6823
30.59/30.72 c #Conflicts: 37000 | #Constraints: 7823
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 38000 | #Constraints: 4828
30.59/30.72 c #Conflicts: 39000 | #Constraints: 5828
30.59/30.72 c #Conflicts: 40000 | #Constraints: 6828
30.59/30.72 c #Conflicts: 41000 | #Constraints: 7828
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 42000 | #Constraints: 4626
30.59/30.72 c #Conflicts: 43000 | #Constraints: 5626
30.59/30.72 c #Conflicts: 44000 | #Constraints: 6626
30.59/30.72 c #Conflicts: 45000 | #Constraints: 7626
30.59/30.72 c #Conflicts: 46000 | #Constraints: 8626
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 47000 | #Constraints: 5225
30.59/30.72 c #Conflicts: 48000 | #Constraints: 6225
30.59/30.72 c #Conflicts: 49000 | #Constraints: 7225
30.59/30.72 c #Conflicts: 50000 | #Constraints: 8225
30.59/30.72 c #Conflicts: 51000 | #Constraints: 9225
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 52000 | #Constraints: 5625
30.59/30.72 c #Conflicts: 53000 | #Constraints: 6625
30.59/30.72 c #Conflicts: 54000 | #Constraints: 7625
30.59/30.72 c #Conflicts: 55000 | #Constraints: 8625
30.59/30.72 c #Conflicts: 56000 | #Constraints: 9625
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 57000 | #Constraints: 5824
30.59/30.72 c #Conflicts: 58000 | #Constraints: 6824
30.59/30.72 c #Conflicts: 59000 | #Constraints: 7824
30.59/30.72 c #Conflicts: 60000 | #Constraints: 8824
30.59/30.72 c #Conflicts: 61000 | #Constraints: 9824
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 62000 | #Constraints: 5824
30.59/30.72 c #Conflicts: 63000 | #Constraints: 6824
30.59/30.72 c #Conflicts: 64000 | #Constraints: 7824
30.59/30.72 c #Conflicts: 65000 | #Constraints: 8824
30.59/30.72 c #Conflicts: 66000 | #Constraints: 9824
30.59/30.72 c INPROCESSING
30.59/30.72 c GARBAGE COLLECT
30.59/30.72 c #Conflicts: 67000 | #Constraints: 5623
89.22/89.55 c #Conflicts: 68000 | #Constraints: 6623
89.22/89.55 c #Conflicts: 69000 | #Constraints: 7623
89.22/89.55 c #Conflicts: 70000 | #Constraints: 8623
89.22/89.55 c #Conflicts: 71000 | #Constraints: 9623
89.22/89.55 c #Conflicts: 72000 | #Constraints: 10623
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 73000 | #Constraints: 6223
89.22/89.55 c #Conflicts: 74000 | #Constraints: 7223
89.22/89.55 c #Conflicts: 75000 | #Constraints: 8223
89.22/89.55 c #Conflicts: 76000 | #Constraints: 9223
89.22/89.55 c #Conflicts: 77000 | #Constraints: 10223
89.22/89.55 c #Conflicts: 78000 | #Constraints: 11223
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 79000 | #Constraints: 6624
89.22/89.55 c #Conflicts: 80000 | #Constraints: 7624
89.22/89.55 c #Conflicts: 81000 | #Constraints: 8624
89.22/89.55 c #Conflicts: 82000 | #Constraints: 9624
89.22/89.55 c #Conflicts: 83000 | #Constraints: 10624
89.22/89.55 c #Conflicts: 84000 | #Constraints: 11624
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 85000 | #Constraints: 6823
89.22/89.55 c #Conflicts: 86000 | #Constraints: 7823
89.22/89.55 c #Conflicts: 87000 | #Constraints: 8823
89.22/89.55 c #Conflicts: 88000 | #Constraints: 9823
89.22/89.55 c #Conflicts: 89000 | #Constraints: 10823
89.22/89.55 c #Conflicts: 90000 | #Constraints: 11823
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 91000 | #Constraints: 6824
89.22/89.55 c #Conflicts: 92000 | #Constraints: 7824
89.22/89.55 c #Conflicts: 93000 | #Constraints: 8824
89.22/89.55 c #Conflicts: 94000 | #Constraints: 9824
89.22/89.55 c #Conflicts: 95000 | #Constraints: 10824
89.22/89.55 c #Conflicts: 96000 | #Constraints: 11824
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 97000 | #Constraints: 6625
89.22/89.55 c #Conflicts: 98000 | #Constraints: 7625
89.22/89.55 c #Conflicts: 99000 | #Constraints: 8625
89.22/89.55 c #Conflicts: 100000 | #Constraints: 9625
89.22/89.55 c #Conflicts: 101000 | #Constraints: 10625
89.22/89.55 c #Conflicts: 102000 | #Constraints: 11625
89.22/89.55 c #Conflicts: 103000 | #Constraints: 12625
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 104000 | #Constraints: 7224
89.22/89.55 c #Conflicts: 105000 | #Constraints: 8224
89.22/89.55 c #Conflicts: 106000 | #Constraints: 9224
89.22/89.55 c #Conflicts: 107000 | #Constraints: 10224
89.22/89.55 c #Conflicts: 108000 | #Constraints: 11224
89.22/89.55 c #Conflicts: 109000 | #Constraints: 12224
89.22/89.55 c #Conflicts: 110000 | #Constraints: 13224
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 111000 | #Constraints: 7625
89.22/89.55 c #Conflicts: 112000 | #Constraints: 8625
89.22/89.55 c #Conflicts: 113000 | #Constraints: 9625
89.22/89.55 c #Conflicts: 114000 | #Constraints: 10625
89.22/89.55 c #Conflicts: 115000 | #Constraints: 11625
89.22/89.55 c #Conflicts: 116000 | #Constraints: 12625
89.22/89.55 c #Conflicts: 117000 | #Constraints: 13625
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 118000 | #Constraints: 7823
89.22/89.55 c #Conflicts: 119000 | #Constraints: 8823
89.22/89.55 c #Conflicts: 120000 | #Constraints: 9823
89.22/89.55 c #Conflicts: 121000 | #Constraints: 10823
89.22/89.55 c #Conflicts: 122000 | #Constraints: 11823
89.22/89.55 c #Conflicts: 123000 | #Constraints: 12823
89.22/89.55 c #Conflicts: 124000 | #Constraints: 13823
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 125000 | #Constraints: 7823
89.22/89.55 c #Conflicts: 126000 | #Constraints: 8823
89.22/89.55 c #Conflicts: 127000 | #Constraints: 9823
89.22/89.55 c #Conflicts: 128000 | #Constraints: 10823
89.22/89.55 c #Conflicts: 129000 | #Constraints: 11823
89.22/89.55 c #Conflicts: 130000 | #Constraints: 12823
89.22/89.55 c #Conflicts: 131000 | #Constraints: 13823
89.22/89.55 c INPROCESSING
89.22/89.55 c GARBAGE COLLECT
89.22/89.55 c #Conflicts: 132000 | #Constraints: 7624
89.22/89.55 c #Conflicts: 133000 | #Constraints: 8624
89.22/89.55 c #Conflicts: 134000 | #Constraints: 9624
89.22/89.55 c #Conflicts: 135000 | #Constraints: 10624
89.22/89.55 c #Conflicts: 136000 | #Constraints: 11624
89.22/89.55 c #Conflicts: 137000 | #Constraints: 12624
89.22/89.55 c #Conflicts: 138000 | #Constraints: 13624
89.22/89.55 c #Conflicts: 139000 | #Constraints: 14624
89.22/89.55 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 140000 | #Constraints: 8225
166.86/167.42 c #Conflicts: 141000 | #Constraints: 9225
166.86/167.42 c #Conflicts: 142000 | #Constraints: 10225
166.86/167.42 c #Conflicts: 143000 | #Constraints: 11225
166.86/167.42 c #Conflicts: 144000 | #Constraints: 12225
166.86/167.42 c #Conflicts: 145000 | #Constraints: 13225
166.86/167.42 c #Conflicts: 146000 | #Constraints: 14225
166.86/167.42 c #Conflicts: 147000 | #Constraints: 15225
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 148000 | #Constraints: 8624
166.86/167.42 c #Conflicts: 149000 | #Constraints: 9624
166.86/167.42 c #Conflicts: 150000 | #Constraints: 10624
166.86/167.42 c #Conflicts: 151000 | #Constraints: 11624
166.86/167.42 c #Conflicts: 152000 | #Constraints: 12624
166.86/167.42 c #Conflicts: 153000 | #Constraints: 13624
166.86/167.42 c #Conflicts: 154000 | #Constraints: 14624
166.86/167.42 c #Conflicts: 155000 | #Constraints: 15624
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 156000 | #Constraints: 8824
166.86/167.42 c #Conflicts: 157000 | #Constraints: 9824
166.86/167.42 c #Conflicts: 158000 | #Constraints: 10824
166.86/167.42 c #Conflicts: 159000 | #Constraints: 11824
166.86/167.42 c #Conflicts: 160000 | #Constraints: 12824
166.86/167.42 c #Conflicts: 161000 | #Constraints: 13824
166.86/167.42 c #Conflicts: 162000 | #Constraints: 14824
166.86/167.42 c #Conflicts: 163000 | #Constraints: 15824
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 164000 | #Constraints: 8828
166.86/167.42 c #Conflicts: 165000 | #Constraints: 9828
166.86/167.42 c #Conflicts: 166000 | #Constraints: 10828
166.86/167.42 c #Conflicts: 167000 | #Constraints: 11828
166.86/167.42 c #Conflicts: 168000 | #Constraints: 12828
166.86/167.42 c #Conflicts: 169000 | #Constraints: 13828
166.86/167.42 c #Conflicts: 170000 | #Constraints: 14828
166.86/167.42 c #Conflicts: 171000 | #Constraints: 15828
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 172000 | #Constraints: 8624
166.86/167.42 c #Conflicts: 173000 | #Constraints: 9624
166.86/167.42 c #Conflicts: 174000 | #Constraints: 10624
166.86/167.42 c #Conflicts: 175000 | #Constraints: 11624
166.86/167.42 c #Conflicts: 176000 | #Constraints: 12624
166.86/167.42 c #Conflicts: 177000 | #Constraints: 13624
166.86/167.42 c #Conflicts: 178000 | #Constraints: 14624
166.86/167.42 c #Conflicts: 179000 | #Constraints: 15624
166.86/167.42 c #Conflicts: 180000 | #Constraints: 16624
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 181000 | #Constraints: 9224
166.86/167.42 c #Conflicts: 182000 | #Constraints: 10224
166.86/167.42 c #Conflicts: 183000 | #Constraints: 11224
166.86/167.42 c #Conflicts: 184000 | #Constraints: 12224
166.86/167.42 c #Conflicts: 185000 | #Constraints: 13224
166.86/167.42 c #Conflicts: 186000 | #Constraints: 14224
166.86/167.42 c #Conflicts: 187000 | #Constraints: 15224
166.86/167.42 c #Conflicts: 188000 | #Constraints: 16224
166.86/167.42 c #Conflicts: 189000 | #Constraints: 17224
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 190000 | #Constraints: 9625
166.86/167.42 c #Conflicts: 191000 | #Constraints: 10625
166.86/167.42 c #Conflicts: 192000 | #Constraints: 11625
166.86/167.42 c #Conflicts: 193000 | #Constraints: 12625
166.86/167.42 c #Conflicts: 194000 | #Constraints: 13625
166.86/167.42 c #Conflicts: 195000 | #Constraints: 14625
166.86/167.42 c #Conflicts: 196000 | #Constraints: 15625
166.86/167.42 c #Conflicts: 197000 | #Constraints: 16625
166.86/167.42 c #Conflicts: 198000 | #Constraints: 17625
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 199000 | #Constraints: 9825
166.86/167.42 c #Conflicts: 200000 | #Constraints: 10825
166.86/167.42 c #Conflicts: 201000 | #Constraints: 11825
166.86/167.42 c #Conflicts: 202000 | #Constraints: 12825
166.86/167.42 c #Conflicts: 203000 | #Constraints: 13825
166.86/167.42 c #Conflicts: 204000 | #Constraints: 14825
166.86/167.42 c #Conflicts: 205000 | #Constraints: 15825
166.86/167.42 c #Conflicts: 206000 | #Constraints: 16825
166.86/167.42 c #Conflicts: 207000 | #Constraints: 17825
166.86/167.42 c INPROCESSING
166.86/167.42 c GARBAGE COLLECT
166.86/167.42 c #Conflicts: 208000 | #Constraints: 9826
166.86/167.42 c #Conflicts: 209000 | #Constraints: 10826
166.86/167.42 c #Conflicts: 210000 | #Constraints: 11826
166.86/167.42 c #Conflicts: 211000 | #Constraints: 12826
166.86/167.42 c #Conflicts: 212000 | #Constraints: 13826
166.86/167.42 c #Conflicts: 213000 | #Constraints: 14826
250.07/250.94 c #Conflicts: 214000 | #Constraints: 15826
250.07/250.94 c #Conflicts: 215000 | #Constraints: 16826
250.07/250.94 c #Conflicts: 216000 | #Constraints: 17826
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 217000 | #Constraints: 9629
250.07/250.94 c #Conflicts: 218000 | #Constraints: 10629
250.07/250.94 c #Conflicts: 219000 | #Constraints: 11629
250.07/250.94 c #Conflicts: 220000 | #Constraints: 12629
250.07/250.94 c #Conflicts: 221000 | #Constraints: 13629
250.07/250.94 c #Conflicts: 222000 | #Constraints: 14629
250.07/250.94 c #Conflicts: 223000 | #Constraints: 15629
250.07/250.94 c #Conflicts: 224000 | #Constraints: 16629
250.07/250.94 c #Conflicts: 225000 | #Constraints: 17629
250.07/250.94 c #Conflicts: 226000 | #Constraints: 18629
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 227000 | #Constraints: 10228
250.07/250.94 c #Conflicts: 228000 | #Constraints: 11228
250.07/250.94 c #Conflicts: 229000 | #Constraints: 12228
250.07/250.94 c #Conflicts: 230000 | #Constraints: 13228
250.07/250.94 c #Conflicts: 231000 | #Constraints: 14228
250.07/250.94 c #Conflicts: 232000 | #Constraints: 15228
250.07/250.94 c #Conflicts: 233000 | #Constraints: 16228
250.07/250.94 c #Conflicts: 234000 | #Constraints: 17228
250.07/250.94 c #Conflicts: 235000 | #Constraints: 18228
250.07/250.94 c #Conflicts: 236000 | #Constraints: 19228
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 237000 | #Constraints: 10629
250.07/250.94 c #Conflicts: 238000 | #Constraints: 11629
250.07/250.94 c #Conflicts: 239000 | #Constraints: 12629
250.07/250.94 c #Conflicts: 240000 | #Constraints: 13629
250.07/250.94 c #Conflicts: 241000 | #Constraints: 14629
250.07/250.94 c #Conflicts: 242000 | #Constraints: 15629
250.07/250.94 c #Conflicts: 243000 | #Constraints: 16629
250.07/250.94 c #Conflicts: 244000 | #Constraints: 17629
250.07/250.94 c #Conflicts: 245000 | #Constraints: 18629
250.07/250.94 c #Conflicts: 246000 | #Constraints: 19629
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 247000 | #Constraints: 10827
250.07/250.94 c #Conflicts: 248000 | #Constraints: 11827
250.07/250.94 c #Conflicts: 249000 | #Constraints: 12827
250.07/250.94 c #Conflicts: 250000 | #Constraints: 13827
250.07/250.94 c #Conflicts: 251000 | #Constraints: 14827
250.07/250.94 c #Conflicts: 252000 | #Constraints: 15827
250.07/250.94 c #Conflicts: 253000 | #Constraints: 16827
250.07/250.94 c #Conflicts: 254000 | #Constraints: 17827
250.07/250.94 c #Conflicts: 255000 | #Constraints: 18827
250.07/250.94 c #Conflicts: 256000 | #Constraints: 19827
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 257000 | #Constraints: 10824
250.07/250.94 c #Conflicts: 258000 | #Constraints: 11824
250.07/250.94 c #Conflicts: 259000 | #Constraints: 12824
250.07/250.94 c #Conflicts: 260000 | #Constraints: 13824
250.07/250.94 c #Conflicts: 261000 | #Constraints: 14824
250.07/250.94 c #Conflicts: 262000 | #Constraints: 15824
250.07/250.94 c #Conflicts: 263000 | #Constraints: 16824
250.07/250.94 c #Conflicts: 264000 | #Constraints: 17824
250.07/250.94 c #Conflicts: 265000 | #Constraints: 18824
250.07/250.94 c #Conflicts: 266000 | #Constraints: 19824
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 267000 | #Constraints: 10625
250.07/250.94 c #Conflicts: 268000 | #Constraints: 11625
250.07/250.94 c #Conflicts: 269000 | #Constraints: 12625
250.07/250.94 c #Conflicts: 270000 | #Constraints: 13625
250.07/250.94 c #Conflicts: 271000 | #Constraints: 14625
250.07/250.94 c #Conflicts: 272000 | #Constraints: 15625
250.07/250.94 c #Conflicts: 273000 | #Constraints: 16625
250.07/250.94 c #Conflicts: 274000 | #Constraints: 17625
250.07/250.94 c #Conflicts: 275000 | #Constraints: 18625
250.07/250.94 c #Conflicts: 276000 | #Constraints: 19625
250.07/250.94 c #Conflicts: 277000 | #Constraints: 20625
250.07/250.94 c INPROCESSING
250.07/250.94 c GARBAGE COLLECT
250.07/250.94 c #Conflicts: 278000 | #Constraints: 11224
250.07/250.94 c #Conflicts: 279000 | #Constraints: 12224
250.07/250.94 c #Conflicts: 280000 | #Constraints: 13224
250.07/250.94 c #Conflicts: 281000 | #Constraints: 14224
250.07/250.94 c #Conflicts: 282000 | #Constraints: 15224
250.07/250.94 c #Conflicts: 283000 | #Constraints: 16224
250.07/250.94 c #Conflicts: 284000 | #Constraints: 17224
250.07/250.94 c #Conflicts: 285000 | #Constraints: 18224
250.07/250.94 c #Conflicts: 286000 | #Constraints: 19224
250.07/250.94 c #Conflicts: 287000 | #Constraints: 20224
350.72/351.96 c #Conflicts: 288000 | #Constraints: 21224
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 289000 | #Constraints: 11624
350.72/351.96 c #Conflicts: 290000 | #Constraints: 12624
350.72/351.96 c #Conflicts: 291000 | #Constraints: 13624
350.72/351.96 c #Conflicts: 292000 | #Constraints: 14624
350.72/351.96 c #Conflicts: 293000 | #Constraints: 15624
350.72/351.96 c #Conflicts: 294000 | #Constraints: 16624
350.72/351.96 c #Conflicts: 295000 | #Constraints: 17624
350.72/351.96 c #Conflicts: 296000 | #Constraints: 18624
350.72/351.96 c #Conflicts: 297000 | #Constraints: 19624
350.72/351.96 c #Conflicts: 298000 | #Constraints: 20624
350.72/351.96 c #Conflicts: 299000 | #Constraints: 21624
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 300000 | #Constraints: 11827
350.72/351.96 c #Conflicts: 301000 | #Constraints: 12827
350.72/351.96 c #Conflicts: 302000 | #Constraints: 13827
350.72/351.96 c #Conflicts: 303000 | #Constraints: 14827
350.72/351.96 c #Conflicts: 304000 | #Constraints: 15827
350.72/351.96 c #Conflicts: 305000 | #Constraints: 16827
350.72/351.96 c #Conflicts: 306000 | #Constraints: 17827
350.72/351.96 c #Conflicts: 307000 | #Constraints: 18827
350.72/351.96 c #Conflicts: 308000 | #Constraints: 19827
350.72/351.96 c #Conflicts: 309000 | #Constraints: 20827
350.72/351.96 c #Conflicts: 310000 | #Constraints: 21827
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 311000 | #Constraints: 11829
350.72/351.96 c #Conflicts: 312000 | #Constraints: 12829
350.72/351.96 c #Conflicts: 313000 | #Constraints: 13829
350.72/351.96 c #Conflicts: 314000 | #Constraints: 14829
350.72/351.96 c #Conflicts: 315000 | #Constraints: 15829
350.72/351.96 c #Conflicts: 316000 | #Constraints: 16829
350.72/351.96 c #Conflicts: 317000 | #Constraints: 17829
350.72/351.96 c #Conflicts: 318000 | #Constraints: 18829
350.72/351.96 c #Conflicts: 319000 | #Constraints: 19829
350.72/351.96 c #Conflicts: 320000 | #Constraints: 20829
350.72/351.96 c #Conflicts: 321000 | #Constraints: 21829
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 322000 | #Constraints: 11626
350.72/351.96 c #Conflicts: 323000 | #Constraints: 12626
350.72/351.96 c #Conflicts: 324000 | #Constraints: 13626
350.72/351.96 c #Conflicts: 325000 | #Constraints: 14626
350.72/351.96 c #Conflicts: 326000 | #Constraints: 15626
350.72/351.96 c #Conflicts: 327000 | #Constraints: 16626
350.72/351.96 c #Conflicts: 328000 | #Constraints: 17626
350.72/351.96 c #Conflicts: 329000 | #Constraints: 18626
350.72/351.96 c #Conflicts: 330000 | #Constraints: 19626
350.72/351.96 c #Conflicts: 331000 | #Constraints: 20626
350.72/351.96 c #Conflicts: 332000 | #Constraints: 21626
350.72/351.96 c #Conflicts: 333000 | #Constraints: 22626
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 334000 | #Constraints: 12224
350.72/351.96 c #Conflicts: 335000 | #Constraints: 13224
350.72/351.96 c #Conflicts: 336000 | #Constraints: 14224
350.72/351.96 c #Conflicts: 337000 | #Constraints: 15224
350.72/351.96 c #Conflicts: 338000 | #Constraints: 16224
350.72/351.96 c #Conflicts: 339000 | #Constraints: 17224
350.72/351.96 c #Conflicts: 340000 | #Constraints: 18224
350.72/351.96 c #Conflicts: 341000 | #Constraints: 19224
350.72/351.96 c #Conflicts: 342000 | #Constraints: 20224
350.72/351.96 c #Conflicts: 343000 | #Constraints: 21224
350.72/351.96 c #Conflicts: 344000 | #Constraints: 22224
350.72/351.96 c #Conflicts: 345000 | #Constraints: 23224
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 346000 | #Constraints: 12625
350.72/351.96 c #Conflicts: 347000 | #Constraints: 13625
350.72/351.96 c #Conflicts: 348000 | #Constraints: 14625
350.72/351.96 c #Conflicts: 349000 | #Constraints: 15625
350.72/351.96 c #Conflicts: 350000 | #Constraints: 16625
350.72/351.96 c #Conflicts: 351000 | #Constraints: 17625
350.72/351.96 c #Conflicts: 352000 | #Constraints: 18625
350.72/351.96 c #Conflicts: 353000 | #Constraints: 19625
350.72/351.96 c #Conflicts: 354000 | #Constraints: 20625
350.72/351.96 c #Conflicts: 355000 | #Constraints: 21625
350.72/351.96 c #Conflicts: 356000 | #Constraints: 22625
350.72/351.96 c #Conflicts: 357000 | #Constraints: 23625
350.72/351.96 c INPROCESSING
350.72/351.96 c GARBAGE COLLECT
350.72/351.96 c #Conflicts: 358000 | #Constraints: 12822
350.72/351.96 c #Conflicts: 359000 | #Constraints: 13822
350.72/351.96 c #Conflicts: 360000 | #Constraints: 14822
350.72/351.96 c #Conflicts: 361000 | #Constraints: 15822
462.05/463.62 c #Conflicts: 362000 | #Constraints: 16822
462.05/463.62 c #Conflicts: 363000 | #Constraints: 17822
462.05/463.62 c #Conflicts: 364000 | #Constraints: 18822
462.05/463.62 c #Conflicts: 365000 | #Constraints: 19822
462.05/463.62 c #Conflicts: 366000 | #Constraints: 20822
462.05/463.62 c #Conflicts: 367000 | #Constraints: 21822
462.05/463.62 c #Conflicts: 368000 | #Constraints: 22822
462.05/463.62 c #Conflicts: 369000 | #Constraints: 23822
462.05/463.62 c INPROCESSING
462.05/463.62 c GARBAGE COLLECT
462.05/463.62 c #Conflicts: 370000 | #Constraints: 12825
462.05/463.62 c #Conflicts: 371000 | #Constraints: 13825
462.05/463.62 c #Conflicts: 372000 | #Constraints: 14825
462.05/463.62 c #Conflicts: 373000 | #Constraints: 15825
462.05/463.62 c #Conflicts: 374000 | #Constraints: 16825
462.05/463.62 c #Conflicts: 375000 | #Constraints: 17825
462.05/463.62 c #Conflicts: 376000 | #Constraints: 18825
462.05/463.62 c #Conflicts: 377000 | #Constraints: 19825
462.05/463.62 c #Conflicts: 378000 | #Constraints: 20825
462.05/463.62 c #Conflicts: 379000 | #Constraints: 21825
462.05/463.62 c #Conflicts: 380000 | #Constraints: 22825
462.05/463.62 c #Conflicts: 381000 | #Constraints: 23825
462.05/463.62 c INPROCESSING
462.05/463.62 c GARBAGE COLLECT
462.05/463.62 c #Conflicts: 382000 | #Constraints: 12623
462.05/463.62 c #Conflicts: 383000 | #Constraints: 13623
462.05/463.62 c #Conflicts: 384000 | #Constraints: 14623
462.05/463.62 c #Conflicts: 385000 | #Constraints: 15623
462.05/463.62 c #Conflicts: 386000 | #Constraints: 16623
462.05/463.62 c #Conflicts: 387000 | #Constraints: 17623
462.05/463.62 c #Conflicts: 388000 | #Constraints: 18623
462.05/463.62 c #Conflicts: 389000 | #Constraints: 19623
462.05/463.62 c #Conflicts: 390000 | #Constraints: 20623
462.05/463.62 c #Conflicts: 391000 | #Constraints: 21623
462.05/463.62 c #Conflicts: 392000 | #Constraints: 22623
462.05/463.62 c #Conflicts: 393000 | #Constraints: 23623
462.05/463.62 c #Conflicts: 394000 | #Constraints: 24623
462.05/463.62 c INPROCESSING
462.05/463.62 c GARBAGE COLLECT
462.05/463.62 c #Conflicts: 395000 | #Constraints: 13226
462.05/463.62 c #Conflicts: 396000 | #Constraints: 14226
462.05/463.62 c #Conflicts: 397000 | #Constraints: 15226
462.05/463.62 c #Conflicts: 398000 | #Constraints: 16226
462.05/463.62 c #Conflicts: 399000 | #Constraints: 17226
462.05/463.62 c #Conflicts: 400000 | #Constraints: 18226
462.05/463.62 c #Conflicts: 401000 | #Constraints: 19226
462.05/463.62 c #Conflicts: 402000 | #Constraints: 20226
462.05/463.62 c #Conflicts: 403000 | #Constraints: 21226
462.05/463.62 c #Conflicts: 404000 | #Constraints: 22226
462.05/463.62 c #Conflicts: 405000 | #Constraints: 23226
462.05/463.62 c #Conflicts: 406000 | #Constraints: 24226
462.05/463.62 c #Conflicts: 407000 | #Constraints: 25226
462.05/463.62 c INPROCESSING
462.05/463.62 c GARBAGE COLLECT
462.05/463.62 c #Conflicts: 408000 | #Constraints: 13622
462.05/463.62 c #Conflicts: 409000 | #Constraints: 14622
462.05/463.62 c #Conflicts: 410000 | #Constraints: 15622
462.05/463.62 c #Conflicts: 411000 | #Constraints: 16622
462.05/463.62 c #Conflicts: 412000 | #Constraints: 17622
462.05/463.62 c #Conflicts: 413000 | #Constraints: 18622
462.05/463.62 c #Conflicts: 414000 | #Constraints: 19622
462.05/463.62 c #Conflicts: 415000 | #Constraints: 20622
462.05/463.62 c #Conflicts: 416000 | #Constraints: 21622
462.05/463.62 c #Conflicts: 417000 | #Constraints: 22622
462.05/463.62 c #Conflicts: 418000 | #Constraints: 23622
462.05/463.62 c #Conflicts: 419000 | #Constraints: 24622
462.05/463.62 c #Conflicts: 420000 | #Constraints: 25622
462.05/463.62 c INPROCESSING
462.05/463.62 c GARBAGE COLLECT
462.05/463.62 c #Conflicts: 421000 | #Constraints: 13825
462.05/463.62 c #Conflicts: 422000 | #Constraints: 14825
462.05/463.62 c #Conflicts: 423000 | #Constraints: 15825
462.05/463.62 c #Conflicts: 424000 | #Constraints: 16825
462.05/463.62 c #Conflicts: 425000 | #Constraints: 17825
462.05/463.62 c #Conflicts: 426000 | #Constraints: 18825
462.05/463.62 c #Conflicts: 427000 | #Constraints: 19825
462.05/463.62 c #Conflicts: 428000 | #Constraints: 20825
462.05/463.62 c #Conflicts: 429000 | #Constraints: 21825
462.05/463.62 c #Conflicts: 430000 | #Constraints: 22825
462.05/463.62 c #Conflicts: 431000 | #Constraints: 23825
462.05/463.62 c #Conflicts: 432000 | #Constraints: 24825
462.05/463.62 c #Conflicts: 433000 | #Constraints: 25825
462.05/463.62 c INPROCESSING
462.05/463.62 c GARBAGE COLLECT
462.05/463.62 c #Conflicts: 434000 | #Constraints: 13827
462.05/463.62 c #Conflicts: 435000 | #Constraints: 14827
462.05/463.62 c #Conflicts: 436000 | #Constraints: 15827
602.59/604.61 c #Conflicts: 437000 | #Constraints: 16827
602.59/604.61 c #Conflicts: 438000 | #Constraints: 17827
602.59/604.61 c #Conflicts: 439000 | #Constraints: 18827
602.59/604.61 c #Conflicts: 440000 | #Constraints: 19827
602.59/604.61 c #Conflicts: 441000 | #Constraints: 20827
602.59/604.61 c #Conflicts: 442000 | #Constraints: 21827
602.59/604.61 c #Conflicts: 443000 | #Constraints: 22827
602.59/604.61 c #Conflicts: 444000 | #Constraints: 23827
602.59/604.61 c #Conflicts: 445000 | #Constraints: 24827
602.59/604.61 c #Conflicts: 446000 | #Constraints: 25827
602.59/604.61 c INPROCESSING
602.59/604.61 c GARBAGE COLLECT
602.59/604.61 c #Conflicts: 447000 | #Constraints: 13625
602.59/604.61 c #Conflicts: 448000 | #Constraints: 14625
602.59/604.61 c #Conflicts: 449000 | #Constraints: 15625
602.59/604.61 c #Conflicts: 450000 | #Constraints: 16625
602.59/604.61 c #Conflicts: 451000 | #Constraints: 17625
602.59/604.61 c #Conflicts: 452000 | #Constraints: 18625
602.59/604.61 c #Conflicts: 453000 | #Constraints: 19625
602.59/604.61 c #Conflicts: 454000 | #Constraints: 20625
602.59/604.61 c #Conflicts: 455000 | #Constraints: 21625
602.59/604.61 c #Conflicts: 456000 | #Constraints: 22625
602.59/604.61 c #Conflicts: 457000 | #Constraints: 23625
602.59/604.61 c #Conflicts: 458000 | #Constraints: 24625
602.59/604.61 c #Conflicts: 459000 | #Constraints: 25625
602.59/604.61 c #Conflicts: 460000 | #Constraints: 26625
602.59/604.61 c INPROCESSING
602.59/604.61 c GARBAGE COLLECT
602.59/604.61 c #Conflicts: 461000 | #Constraints: 14228
602.59/604.61 c #Conflicts: 462000 | #Constraints: 15228
602.59/604.61 c #Conflicts: 463000 | #Constraints: 16228
602.59/604.61 c #Conflicts: 464000 | #Constraints: 17228
602.59/604.61 c #Conflicts: 465000 | #Constraints: 18228
602.59/604.61 c #Conflicts: 466000 | #Constraints: 19228
602.59/604.61 c #Conflicts: 467000 | #Constraints: 20228
602.59/604.61 c #Conflicts: 468000 | #Constraints: 21228
602.59/604.61 c #Conflicts: 469000 | #Constraints: 22228
602.59/604.61 c #Conflicts: 470000 | #Constraints: 23228
602.59/604.61 c #Conflicts: 471000 | #Constraints: 24228
602.59/604.61 c #Conflicts: 472000 | #Constraints: 25228
602.59/604.61 c #Conflicts: 473000 | #Constraints: 26228
602.59/604.61 c #Conflicts: 474000 | #Constraints: 27228
602.59/604.61 c INPROCESSING
602.59/604.61 c GARBAGE COLLECT
602.59/604.61 c #Conflicts: 475000 | #Constraints: 14629
602.59/604.61 c #Conflicts: 476000 | #Constraints: 15629
602.59/604.61 c #Conflicts: 477000 | #Constraints: 16629
602.59/604.61 c #Conflicts: 478000 | #Constraints: 17629
602.59/604.61 c #Conflicts: 479000 | #Constraints: 18629
602.59/604.61 c #Conflicts: 480000 | #Constraints: 19629
602.59/604.61 c #Conflicts: 481000 | #Constraints: 20629
602.59/604.61 c #Conflicts: 482000 | #Constraints: 21629
602.59/604.61 c #Conflicts: 483000 | #Constraints: 22629
602.59/604.61 c #Conflicts: 484000 | #Constraints: 23629
602.59/604.61 c #Conflicts: 485000 | #Constraints: 24629
602.59/604.61 c #Conflicts: 486000 | #Constraints: 25629
602.59/604.61 c #Conflicts: 487000 | #Constraints: 26629
602.59/604.61 c #Conflicts: 488000 | #Constraints: 27629
602.59/604.61 c INPROCESSING
602.59/604.61 c GARBAGE COLLECT
602.59/604.61 c #Conflicts: 489000 | #Constraints: 14829
602.59/604.61 c #Conflicts: 490000 | #Constraints: 15829
602.59/604.61 c #Conflicts: 491000 | #Constraints: 16829
602.59/604.61 c #Conflicts: 492000 | #Constraints: 17829
602.59/604.61 c #Conflicts: 493000 | #Constraints: 18829
602.59/604.61 c #Conflicts: 494000 | #Constraints: 19829
602.59/604.61 c #Conflicts: 495000 | #Constraints: 20829
602.59/604.61 c #Conflicts: 496000 | #Constraints: 21829
602.59/604.61 c #Conflicts: 497000 | #Constraints: 22829
602.59/604.61 c #Conflicts: 498000 | #Constraints: 23829
602.59/604.61 c #Conflicts: 499000 | #Constraints: 24829
602.59/604.61 c #Conflicts: 500000 | #Constraints: 25829
602.59/604.61 c #Conflicts: 501000 | #Constraints: 26829
602.59/604.61 c #Conflicts: 502000 | #Constraints: 27829
602.59/604.61 c INPROCESSING
602.59/604.61 c GARBAGE COLLECT
602.59/604.61 c #Conflicts: 503000 | #Constraints: 14831
602.59/604.61 c #Conflicts: 504000 | #Constraints: 15831
602.59/604.61 c #Conflicts: 505000 | #Constraints: 16831
602.59/604.61 c #Conflicts: 506000 | #Constraints: 17831
602.59/604.61 c #Conflicts: 507000 | #Constraints: 18831
602.59/604.61 c #Conflicts: 508000 | #Constraints: 19831
602.59/604.61 c #Conflicts: 509000 | #Constraints: 20831
602.59/604.61 c #Conflicts: 510000 | #Constraints: 21831
602.59/604.61 c #Conflicts: 511000 | #Constraints: 22831
602.59/604.61 c #Conflicts: 512000 | #Constraints: 23831
738.04/740.54 c #Conflicts: 513000 | #Constraints: 24831
738.04/740.54 c #Conflicts: 514000 | #Constraints: 25831
738.04/740.54 c #Conflicts: 515000 | #Constraints: 26831
738.04/740.54 c #Conflicts: 516000 | #Constraints: 27831
738.04/740.54 c INPROCESSING
738.04/740.54 c GARBAGE COLLECT
738.04/740.54 c #Conflicts: 517000 | #Constraints: 14627
738.04/740.54 c #Conflicts: 518000 | #Constraints: 15627
738.04/740.54 c #Conflicts: 519000 | #Constraints: 16627
738.04/740.54 c #Conflicts: 520000 | #Constraints: 17627
738.04/740.54 c #Conflicts: 521000 | #Constraints: 18627
738.04/740.54 c #Conflicts: 522000 | #Constraints: 19627
738.04/740.54 c #Conflicts: 523000 | #Constraints: 20627
738.04/740.54 c #Conflicts: 524000 | #Constraints: 21627
738.04/740.54 c #Conflicts: 525000 | #Constraints: 22627
738.04/740.54 c #Conflicts: 526000 | #Constraints: 23627
738.04/740.54 c #Conflicts: 527000 | #Constraints: 24627
738.04/740.54 c #Conflicts: 528000 | #Constraints: 25627
738.04/740.54 c #Conflicts: 529000 | #Constraints: 26627
738.04/740.54 c #Conflicts: 530000 | #Constraints: 27627
738.04/740.54 c #Conflicts: 531000 | #Constraints: 28627
738.04/740.54 c INPROCESSING
738.04/740.54 c GARBAGE COLLECT
738.04/740.54 c #Conflicts: 532000 | #Constraints: 15231
738.04/740.54 c #Conflicts: 533000 | #Constraints: 16231
738.04/740.54 c #Conflicts: 534000 | #Constraints: 17231
738.04/740.54 c #Conflicts: 535000 | #Constraints: 18231
738.04/740.54 c #Conflicts: 536000 | #Constraints: 19231
738.04/740.54 c #Conflicts: 537000 | #Constraints: 20231
738.04/740.54 c #Conflicts: 538000 | #Constraints: 21231
738.04/740.54 c #Conflicts: 539000 | #Constraints: 22231
738.04/740.54 c #Conflicts: 540000 | #Constraints: 23231
738.04/740.54 c #Conflicts: 541000 | #Constraints: 24231
738.04/740.54 c #Conflicts: 542000 | #Constraints: 25231
738.04/740.54 c #Conflicts: 543000 | #Constraints: 26231
738.04/740.54 c #Conflicts: 544000 | #Constraints: 27231
738.04/740.54 c #Conflicts: 545000 | #Constraints: 28231
738.04/740.54 c #Conflicts: 546000 | #Constraints: 29231
738.04/740.54 c INPROCESSING
738.04/740.54 c GARBAGE COLLECT
738.04/740.54 c #Conflicts: 547000 | #Constraints: 15629
738.04/740.54 c #Conflicts: 548000 | #Constraints: 16629
738.04/740.54 c #Conflicts: 549000 | #Constraints: 17629
738.04/740.54 c #Conflicts: 550000 | #Constraints: 18629
738.04/740.54 c #Conflicts: 551000 | #Constraints: 19629
738.04/740.54 c #Conflicts: 552000 | #Constraints: 20629
738.04/740.54 c #Conflicts: 553000 | #Constraints: 21629
738.04/740.54 c #Conflicts: 554000 | #Constraints: 22629
738.04/740.54 c #Conflicts: 555000 | #Constraints: 23629
738.04/740.54 c #Conflicts: 556000 | #Constraints: 24629
738.04/740.54 c #Conflicts: 557000 | #Constraints: 25629
738.04/740.54 c #Conflicts: 558000 | #Constraints: 26629
738.04/740.54 c #Conflicts: 559000 | #Constraints: 27629
738.04/740.54 c #Conflicts: 560000 | #Constraints: 28629
738.04/740.54 c #Conflicts: 561000 | #Constraints: 29629
738.04/740.54 c INPROCESSING
738.04/740.54 c GARBAGE COLLECT
738.04/740.54 c #Conflicts: 562000 | #Constraints: 15825
738.04/740.54 c #Conflicts: 563000 | #Constraints: 16825
738.04/740.54 c #Conflicts: 564000 | #Constraints: 17825
738.04/740.54 c #Conflicts: 565000 | #Constraints: 18825
738.04/740.54 c #Conflicts: 566000 | #Constraints: 19825
738.04/740.54 c #Conflicts: 567000 | #Constraints: 20825
738.04/740.54 c #Conflicts: 568000 | #Constraints: 21825
738.04/740.54 c #Conflicts: 569000 | #Constraints: 22825
738.04/740.54 c #Conflicts: 570000 | #Constraints: 23825
738.04/740.54 c #Conflicts: 571000 | #Constraints: 24825
738.04/740.54 c #Conflicts: 572000 | #Constraints: 25825
738.04/740.54 c #Conflicts: 573000 | #Constraints: 26825
738.04/740.54 c #Conflicts: 574000 | #Constraints: 27825
738.04/740.54 c #Conflicts: 575000 | #Constraints: 28825
738.04/740.54 c #Conflicts: 576000 | #Constraints: 29825
738.04/740.54 c INPROCESSING
738.04/740.54 c GARBAGE COLLECT
738.04/740.54 c #Conflicts: 577000 | #Constraints: 15826
738.04/740.54 c #Conflicts: 578000 | #Constraints: 16826
738.04/740.54 c #Conflicts: 579000 | #Constraints: 17826
738.04/740.54 c #Conflicts: 580000 | #Constraints: 18826
738.04/740.54 c #Conflicts: 581000 | #Constraints: 19826
738.04/740.54 c #Conflicts: 582000 | #Constraints: 20826
738.04/740.54 c #Conflicts: 583000 | #Constraints: 21826
738.04/740.54 c #Conflicts: 584000 | #Constraints: 22826
738.04/740.54 c #Conflicts: 585000 | #Constraints: 23826
738.04/740.54 c #Conflicts: 586000 | #Constraints: 24826
738.04/740.54 c #Conflicts: 587000 | #Constraints: 25826
738.04/740.54 c #Conflicts: 588000 | #Constraints: 26826
881.26/884.28 c #Conflicts: 589000 | #Constraints: 27826
881.26/884.28 c #Conflicts: 590000 | #Constraints: 28826
881.26/884.28 c #Conflicts: 591000 | #Constraints: 29826
881.26/884.28 c INPROCESSING
881.26/884.28 c GARBAGE COLLECT
881.26/884.28 c #Conflicts: 592000 | #Constraints: 15627
881.26/884.28 c #Conflicts: 593000 | #Constraints: 16627
881.26/884.28 c #Conflicts: 594000 | #Constraints: 17627
881.26/884.28 c #Conflicts: 595000 | #Constraints: 18627
881.26/884.28 c #Conflicts: 596000 | #Constraints: 19627
881.26/884.28 c #Conflicts: 597000 | #Constraints: 20627
881.26/884.28 c #Conflicts: 598000 | #Constraints: 21627
881.26/884.28 c #Conflicts: 599000 | #Constraints: 22627
881.26/884.28 c #Conflicts: 600000 | #Constraints: 23627
881.26/884.28 c #Conflicts: 601000 | #Constraints: 24627
881.26/884.28 c #Conflicts: 602000 | #Constraints: 25627
881.26/884.28 c #Conflicts: 603000 | #Constraints: 26627
881.26/884.28 c #Conflicts: 604000 | #Constraints: 27627
881.26/884.28 c #Conflicts: 605000 | #Constraints: 28627
881.26/884.28 c #Conflicts: 606000 | #Constraints: 29627
881.26/884.28 c #Conflicts: 607000 | #Constraints: 30627
881.26/884.28 c INPROCESSING
881.26/884.28 c GARBAGE COLLECT
881.26/884.28 c #Conflicts: 608000 | #Constraints: 16229
881.26/884.28 c #Conflicts: 609000 | #Constraints: 17229
881.26/884.28 c #Conflicts: 610000 | #Constraints: 18229
881.26/884.28 c #Conflicts: 611000 | #Constraints: 19229
881.26/884.28 c #Conflicts: 612000 | #Constraints: 20229
881.26/884.28 c #Conflicts: 613000 | #Constraints: 21229
881.26/884.28 c #Conflicts: 614000 | #Constraints: 22229
881.26/884.28 c #Conflicts: 615000 | #Constraints: 23229
881.26/884.28 c #Conflicts: 616000 | #Constraints: 24229
881.26/884.28 c #Conflicts: 617000 | #Constraints: 25229
881.26/884.28 c #Conflicts: 618000 | #Constraints: 26229
881.26/884.28 c #Conflicts: 619000 | #Constraints: 27229
881.26/884.28 c #Conflicts: 620000 | #Constraints: 28229
881.26/884.28 c #Conflicts: 621000 | #Constraints: 29229
881.26/884.28 c #Conflicts: 622000 | #Constraints: 30229
881.26/884.28 c #Conflicts: 623000 | #Constraints: 31229
881.26/884.28 c INPROCESSING
881.26/884.28 c GARBAGE COLLECT
881.26/884.28 c #Conflicts: 624000 | #Constraints: 16626
881.26/884.28 c #Conflicts: 625000 | #Constraints: 17626
881.26/884.28 c #Conflicts: 626000 | #Constraints: 18626
881.26/884.28 c #Conflicts: 627000 | #Constraints: 19626
881.26/884.28 c #Conflicts: 628000 | #Constraints: 20626
881.26/884.28 c #Conflicts: 629000 | #Constraints: 21626
881.26/884.28 c #Conflicts: 630000 | #Constraints: 22626
881.26/884.28 c #Conflicts: 631000 | #Constraints: 23626
881.26/884.28 c #Conflicts: 632000 | #Constraints: 24626
881.26/884.28 c #Conflicts: 633000 | #Constraints: 25626
881.26/884.28 c #Conflicts: 634000 | #Constraints: 26626
881.26/884.28 c #Conflicts: 635000 | #Constraints: 27626
881.26/884.28 c #Conflicts: 636000 | #Constraints: 28626
881.26/884.28 c #Conflicts: 637000 | #Constraints: 29626
881.26/884.28 c #Conflicts: 638000 | #Constraints: 30626
881.26/884.28 c #Conflicts: 639000 | #Constraints: 31626
881.26/884.28 c INPROCESSING
881.26/884.28 c GARBAGE COLLECT
881.26/884.28 c #Conflicts: 640000 | #Constraints: 16826
881.26/884.28 c #Conflicts: 641000 | #Constraints: 17826
881.26/884.28 c #Conflicts: 642000 | #Constraints: 18826
881.26/884.28 c #Conflicts: 643000 | #Constraints: 19826
881.26/884.28 c #Conflicts: 644000 | #Constraints: 20826
881.26/884.28 c #Conflicts: 645000 | #Constraints: 21826
881.26/884.28 c #Conflicts: 646000 | #Constraints: 22826
881.26/884.28 c #Conflicts: 647000 | #Constraints: 23826
881.26/884.28 c #Conflicts: 648000 | #Constraints: 24826
881.26/884.28 c #Conflicts: 649000 | #Constraints: 25826
881.26/884.28 c #Conflicts: 650000 | #Constraints: 26826
881.26/884.28 c #Conflicts: 651000 | #Constraints: 27826
881.26/884.28 c #Conflicts: 652000 | #Constraints: 28826
881.26/884.28 c #Conflicts: 653000 | #Constraints: 29826
881.26/884.28 c #Conflicts: 654000 | #Constraints: 30826
881.26/884.28 c #Conflicts: 655000 | #Constraints: 31826
881.26/884.28 c INPROCESSING
881.26/884.28 c GARBAGE COLLECT
881.26/884.28 c #Conflicts: 656000 | #Constraints: 16826
881.26/884.28 c #Conflicts: 657000 | #Constraints: 17826
881.26/884.28 c #Conflicts: 658000 | #Constraints: 18826
881.26/884.28 c #Conflicts: 659000 | #Constraints: 19826
881.26/884.28 c #Conflicts: 660000 | #Constraints: 20826
881.26/884.28 c #Conflicts: 661000 | #Constraints: 21826
881.26/884.28 c #Conflicts: 662000 | #Constraints: 22826
881.26/884.28 c #Conflicts: 663000 | #Constraints: 23826
1047.39/1050.91 c #Conflicts: 664000 | #Constraints: 24826
1047.39/1050.91 c #Conflicts: 665000 | #Constraints: 25826
1047.39/1050.91 c #Conflicts: 666000 | #Constraints: 26826
1047.39/1050.91 c #Conflicts: 667000 | #Constraints: 27826
1047.39/1050.91 c #Conflicts: 668000 | #Constraints: 28826
1047.39/1050.91 c #Conflicts: 669000 | #Constraints: 29826
1047.39/1050.91 c #Conflicts: 670000 | #Constraints: 30826
1047.39/1050.91 c #Conflicts: 671000 | #Constraints: 31826
1047.39/1050.91 c INPROCESSING
1047.39/1050.91 c GARBAGE COLLECT
1047.39/1050.91 c #Conflicts: 672000 | #Constraints: 16624
1047.39/1050.91 c #Conflicts: 673000 | #Constraints: 17624
1047.39/1050.91 c #Conflicts: 674000 | #Constraints: 18624
1047.39/1050.91 c #Conflicts: 675000 | #Constraints: 19624
1047.39/1050.91 c #Conflicts: 676000 | #Constraints: 20624
1047.39/1050.91 c #Conflicts: 677000 | #Constraints: 21624
1047.39/1050.91 c #Conflicts: 678000 | #Constraints: 22624
1047.39/1050.91 c #Conflicts: 679000 | #Constraints: 23624
1047.39/1050.91 c #Conflicts: 680000 | #Constraints: 24624
1047.39/1050.91 c #Conflicts: 681000 | #Constraints: 25624
1047.39/1050.91 c #Conflicts: 682000 | #Constraints: 26624
1047.39/1050.91 c #Conflicts: 683000 | #Constraints: 27624
1047.39/1050.91 c #Conflicts: 684000 | #Constraints: 28624
1047.39/1050.91 c #Conflicts: 685000 | #Constraints: 29624
1047.39/1050.91 c #Conflicts: 686000 | #Constraints: 30624
1047.39/1050.91 c #Conflicts: 687000 | #Constraints: 31624
1047.39/1050.91 c #Conflicts: 688000 | #Constraints: 32624
1047.39/1050.91 c INPROCESSING
1047.39/1050.91 c GARBAGE COLLECT
1047.39/1050.91 c #Conflicts: 689000 | #Constraints: 17221
1047.39/1050.91 c #Conflicts: 690000 | #Constraints: 18221
1047.39/1050.91 c #Conflicts: 691000 | #Constraints: 19221
1047.39/1050.91 c #Conflicts: 692000 | #Constraints: 20221
1047.39/1050.91 c #Conflicts: 693000 | #Constraints: 21221
1047.39/1050.91 c #Conflicts: 694000 | #Constraints: 22221
1047.39/1050.91 c #Conflicts: 695000 | #Constraints: 23221
1047.39/1050.91 c #Conflicts: 696000 | #Constraints: 24221
1047.39/1050.91 c #Conflicts: 697000 | #Constraints: 25221
1047.39/1050.91 c #Conflicts: 698000 | #Constraints: 26221
1047.39/1050.91 c #Conflicts: 699000 | #Constraints: 27221
1047.39/1050.91 c #Conflicts: 700000 | #Constraints: 28221
1047.39/1050.91 c #Conflicts: 701000 | #Constraints: 29221
1047.39/1050.91 c #Conflicts: 702000 | #Constraints: 30221
1047.39/1050.91 c #Conflicts: 703000 | #Constraints: 31221
1047.39/1050.91 c #Conflicts: 704000 | #Constraints: 32221
1047.39/1050.91 c #Conflicts: 705000 | #Constraints: 33221
1047.39/1050.91 c INPROCESSING
1047.39/1050.91 c GARBAGE COLLECT
1047.39/1050.91 c #Conflicts: 706000 | #Constraints: 17625
1047.39/1050.91 c #Conflicts: 707000 | #Constraints: 18625
1047.39/1050.91 c #Conflicts: 708000 | #Constraints: 19625
1047.39/1050.91 c #Conflicts: 709000 | #Constraints: 20625
1047.39/1050.91 c #Conflicts: 710000 | #Constraints: 21625
1047.39/1050.91 c #Conflicts: 711000 | #Constraints: 22625
1047.39/1050.91 c #Conflicts: 712000 | #Constraints: 23625
1047.39/1050.91 c #Conflicts: 713000 | #Constraints: 24625
1047.39/1050.91 c #Conflicts: 714000 | #Constraints: 25625
1047.39/1050.91 c #Conflicts: 715000 | #Constraints: 26625
1047.39/1050.91 c #Conflicts: 716000 | #Constraints: 27625
1047.39/1050.91 c #Conflicts: 717000 | #Constraints: 28625
1047.39/1050.91 c #Conflicts: 718000 | #Constraints: 29625
1047.39/1050.91 c #Conflicts: 719000 | #Constraints: 30625
1047.39/1050.91 c #Conflicts: 720000 | #Constraints: 31625
1047.39/1050.91 c #Conflicts: 721000 | #Constraints: 32625
1047.39/1050.91 c #Conflicts: 722000 | #Constraints: 33625
1047.39/1050.91 c INPROCESSING
1047.39/1050.91 c GARBAGE COLLECT
1047.39/1050.91 c #Conflicts: 723000 | #Constraints: 17829
1047.39/1050.91 c #Conflicts: 724000 | #Constraints: 18829
1047.39/1050.91 c #Conflicts: 725000 | #Constraints: 19829
1047.39/1050.91 c #Conflicts: 726000 | #Constraints: 20829
1047.39/1050.91 c #Conflicts: 727000 | #Constraints: 21829
1047.39/1050.91 c #Conflicts: 728000 | #Constraints: 22829
1047.39/1050.91 c #Conflicts: 729000 | #Constraints: 23829
1047.39/1050.91 c #Conflicts: 730000 | #Constraints: 24829
1047.39/1050.91 c #Conflicts: 731000 | #Constraints: 25829
1047.39/1050.91 c #Conflicts: 732000 | #Constraints: 26829
1047.39/1050.91 c #Conflicts: 733000 | #Constraints: 27829
1047.39/1050.91 c #Conflicts: 734000 | #Constraints: 28829
1047.39/1050.91 c #Conflicts: 735000 | #Constraints: 29829
1047.39/1050.91 c #Conflicts: 736000 | #Constraints: 30829
1047.39/1050.91 c #Conflicts: 737000 | #Constraints: 31829
1047.39/1050.91 c #Conflicts: 738000 | #Constraints: 32829
1047.39/1050.91 c #Conflicts: 739000 | #Constraints: 33829
1211.14/1215.23 c INPROCESSING
1211.14/1215.23 c GARBAGE COLLECT
1211.14/1215.23 c #Conflicts: 740000 | #Constraints: 17829
1211.14/1215.23 c #Conflicts: 741000 | #Constraints: 18829
1211.14/1215.23 c #Conflicts: 742000 | #Constraints: 19829
1211.14/1215.23 c #Conflicts: 743000 | #Constraints: 20829
1211.14/1215.23 c #Conflicts: 744000 | #Constraints: 21829
1211.14/1215.23 c #Conflicts: 745000 | #Constraints: 22829
1211.14/1215.23 c #Conflicts: 746000 | #Constraints: 23829
1211.14/1215.23 c #Conflicts: 747000 | #Constraints: 24829
1211.14/1215.23 c #Conflicts: 748000 | #Constraints: 25829
1211.14/1215.23 c #Conflicts: 749000 | #Constraints: 26829
1211.14/1215.23 c #Conflicts: 750000 | #Constraints: 27829
1211.14/1215.23 c #Conflicts: 751000 | #Constraints: 28829
1211.14/1215.23 c #Conflicts: 752000 | #Constraints: 29829
1211.14/1215.23 c #Conflicts: 753000 | #Constraints: 30829
1211.14/1215.23 c #Conflicts: 754000 | #Constraints: 31829
1211.14/1215.23 c #Conflicts: 755000 | #Constraints: 32829
1211.14/1215.23 c #Conflicts: 756000 | #Constraints: 33829
1211.14/1215.23 c INPROCESSING
1211.14/1215.23 c GARBAGE COLLECT
1211.14/1215.23 c #Conflicts: 757000 | #Constraints: 17626
1211.14/1215.23 c #Conflicts: 758000 | #Constraints: 18626
1211.14/1215.23 c #Conflicts: 759000 | #Constraints: 19626
1211.14/1215.23 c #Conflicts: 760000 | #Constraints: 20626
1211.14/1215.23 c #Conflicts: 761000 | #Constraints: 21626
1211.14/1215.23 c #Conflicts: 762000 | #Constraints: 22626
1211.14/1215.23 c #Conflicts: 763000 | #Constraints: 23626
1211.14/1215.23 c #Conflicts: 764000 | #Constraints: 24626
1211.14/1215.23 c #Conflicts: 765000 | #Constraints: 25626
1211.14/1215.23 c #Conflicts: 766000 | #Constraints: 26626
1211.14/1215.23 c #Conflicts: 767000 | #Constraints: 27626
1211.14/1215.23 c #Conflicts: 768000 | #Constraints: 28626
1211.14/1215.23 c #Conflicts: 769000 | #Constraints: 29626
1211.14/1215.23 c #Conflicts: 770000 | #Constraints: 30626
1211.14/1215.23 c #Conflicts: 771000 | #Constraints: 31626
1211.14/1215.23 c #Conflicts: 772000 | #Constraints: 32626
1211.14/1215.23 c #Conflicts: 773000 | #Constraints: 33626
1211.14/1215.23 c #Conflicts: 774000 | #Constraints: 34626
1211.14/1215.23 c INPROCESSING
1211.14/1215.23 c GARBAGE COLLECT
1211.14/1215.23 c #Conflicts: 775000 | #Constraints: 18225
1211.14/1215.23 c #Conflicts: 776000 | #Constraints: 19225
1211.14/1215.23 c #Conflicts: 777000 | #Constraints: 20225
1211.14/1215.23 c #Conflicts: 778000 | #Constraints: 21225
1211.14/1215.23 c #Conflicts: 779000 | #Constraints: 22225
1211.14/1215.23 c #Conflicts: 780000 | #Constraints: 23225
1211.14/1215.23 c #Conflicts: 781000 | #Constraints: 24225
1211.14/1215.23 c #Conflicts: 782000 | #Constraints: 25225
1211.14/1215.23 c #Conflicts: 783000 | #Constraints: 26225
1211.14/1215.23 c #Conflicts: 784000 | #Constraints: 27225
1211.14/1215.23 c #Conflicts: 785000 | #Constraints: 28225
1211.14/1215.23 c #Conflicts: 786000 | #Constraints: 29225
1211.14/1215.23 c #Conflicts: 787000 | #Constraints: 30225
1211.14/1215.23 c #Conflicts: 788000 | #Constraints: 31225
1211.14/1215.23 c #Conflicts: 789000 | #Constraints: 32225
1211.14/1215.23 c #Conflicts: 790000 | #Constraints: 33225
1211.14/1215.23 c #Conflicts: 791000 | #Constraints: 34225
1211.14/1215.23 c #Conflicts: 792000 | #Constraints: 35225
1211.14/1215.23 c INPROCESSING
1211.14/1215.23 c GARBAGE COLLECT
1211.14/1215.23 c #Conflicts: 793000 | #Constraints: 18628
1211.14/1215.23 c #Conflicts: 794000 | #Constraints: 19628
1211.14/1215.23 c #Conflicts: 795000 | #Constraints: 20628
1211.14/1215.23 c #Conflicts: 796000 | #Constraints: 21628
1211.14/1215.23 c #Conflicts: 797000 | #Constraints: 22628
1211.14/1215.23 c #Conflicts: 798000 | #Constraints: 23628
1211.14/1215.23 c #Conflicts: 799000 | #Constraints: 24628
1211.14/1215.23 c #Conflicts: 800000 | #Constraints: 25628
1211.14/1215.23 c #Conflicts: 801000 | #Constraints: 26628
1211.14/1215.23 c #Conflicts: 802000 | #Constraints: 27628
1211.14/1215.23 c #Conflicts: 803000 | #Constraints: 28628
1211.14/1215.23 c #Conflicts: 804000 | #Constraints: 29628
1211.14/1215.23 c #Conflicts: 805000 | #Constraints: 30628
1211.14/1215.23 c #Conflicts: 806000 | #Constraints: 31628
1211.14/1215.23 c #Conflicts: 807000 | #Constraints: 32628
1211.14/1215.23 c #Conflicts: 808000 | #Constraints: 33628
1211.14/1215.23 c #Conflicts: 809000 | #Constraints: 34628
1211.14/1215.23 c #Conflicts: 810000 | #Constraints: 35628
1211.14/1215.23 c INPROCESSING
1211.14/1215.23 c GARBAGE COLLECT
1211.14/1215.23 c #Conflicts: 811000 | #Constraints: 18825
1211.14/1215.23 c #Conflicts: 812000 | #Constraints: 19825
1211.14/1215.23 c #Conflicts: 813000 | #Constraints: 20825
1211.14/1215.23 c #Conflicts: 814000 | #Constraints: 21825
1211.14/1215.23 c #Conflicts: 815000 | #Constraints: 22825
1392.02/1396.73 c #Conflicts: 816000 | #Constraints: 23825
1392.02/1396.73 c #Conflicts: 817000 | #Constraints: 24825
1392.02/1396.73 c #Conflicts: 818000 | #Constraints: 25825
1392.02/1396.73 c #Conflicts: 819000 | #Constraints: 26825
1392.02/1396.73 c #Conflicts: 820000 | #Constraints: 27825
1392.02/1396.73 c #Conflicts: 821000 | #Constraints: 28825
1392.02/1396.73 c #Conflicts: 822000 | #Constraints: 29825
1392.02/1396.73 c #Conflicts: 823000 | #Constraints: 30825
1392.02/1396.73 c #Conflicts: 824000 | #Constraints: 31825
1392.02/1396.73 c #Conflicts: 825000 | #Constraints: 32825
1392.02/1396.73 c #Conflicts: 826000 | #Constraints: 33825
1392.02/1396.73 c #Conflicts: 827000 | #Constraints: 34825
1392.02/1396.73 c #Conflicts: 828000 | #Constraints: 35825
1392.02/1396.73 c INPROCESSING
1392.02/1396.73 c GARBAGE COLLECT
1392.02/1396.73 c #Conflicts: 829000 | #Constraints: 18826
1392.02/1396.73 c #Conflicts: 830000 | #Constraints: 19826
1392.02/1396.73 c #Conflicts: 831000 | #Constraints: 20826
1392.02/1396.73 c #Conflicts: 832000 | #Constraints: 21826
1392.02/1396.73 c #Conflicts: 833000 | #Constraints: 22826
1392.02/1396.73 c #Conflicts: 834000 | #Constraints: 23826
1392.02/1396.73 c #Conflicts: 835000 | #Constraints: 24826
1392.02/1396.73 c #Conflicts: 836000 | #Constraints: 25826
1392.02/1396.73 c #Conflicts: 837000 | #Constraints: 26826
1392.02/1396.73 c #Conflicts: 838000 | #Constraints: 27826
1392.02/1396.73 c #Conflicts: 839000 | #Constraints: 28826
1392.02/1396.73 c #Conflicts: 840000 | #Constraints: 29826
1392.02/1396.73 c #Conflicts: 841000 | #Constraints: 30826
1392.02/1396.73 c #Conflicts: 842000 | #Constraints: 31826
1392.02/1396.73 c #Conflicts: 843000 | #Constraints: 32826
1392.02/1396.73 c #Conflicts: 844000 | #Constraints: 33826
1392.02/1396.73 c #Conflicts: 845000 | #Constraints: 34826
1392.02/1396.73 c #Conflicts: 846000 | #Constraints: 35826
1392.02/1396.73 c INPROCESSING
1392.02/1396.73 c GARBAGE COLLECT
1392.02/1396.73 c #Conflicts: 847000 | #Constraints: 18626
1392.02/1396.73 c #Conflicts: 848000 | #Constraints: 19626
1392.02/1396.73 c #Conflicts: 849000 | #Constraints: 20626
1392.02/1396.73 c #Conflicts: 850000 | #Constraints: 21626
1392.02/1396.73 c #Conflicts: 851000 | #Constraints: 22626
1392.02/1396.73 c #Conflicts: 852000 | #Constraints: 23626
1392.02/1396.73 c #Conflicts: 853000 | #Constraints: 24626
1392.02/1396.73 c #Conflicts: 854000 | #Constraints: 25626
1392.02/1396.73 c #Conflicts: 855000 | #Constraints: 26626
1392.02/1396.73 c #Conflicts: 856000 | #Constraints: 27626
1392.02/1396.73 c #Conflicts: 857000 | #Constraints: 28626
1392.02/1396.73 c #Conflicts: 858000 | #Constraints: 29626
1392.02/1396.73 c #Conflicts: 859000 | #Constraints: 30626
1392.02/1396.73 c #Conflicts: 860000 | #Constraints: 31626
1392.02/1396.73 c #Conflicts: 861000 | #Constraints: 32626
1392.02/1396.73 c #Conflicts: 862000 | #Constraints: 33626
1392.02/1396.73 c #Conflicts: 863000 | #Constraints: 34626
1392.02/1396.73 c #Conflicts: 864000 | #Constraints: 35626
1392.02/1396.73 c #Conflicts: 865000 | #Constraints: 36626
1392.02/1396.73 c INPROCESSING
1392.02/1396.73 c GARBAGE COLLECT
1392.02/1396.73 c #Conflicts: 866000 | #Constraints: 19225
1392.02/1396.73 c #Conflicts: 867000 | #Constraints: 20225
1392.02/1396.73 c #Conflicts: 868000 | #Constraints: 21225
1392.02/1396.73 c #Conflicts: 869000 | #Constraints: 22225
1392.02/1396.73 c #Conflicts: 870000 | #Constraints: 23225
1392.02/1396.73 c #Conflicts: 871000 | #Constraints: 24225
1392.02/1396.73 c #Conflicts: 872000 | #Constraints: 25225
1392.02/1396.73 c #Conflicts: 873000 | #Constraints: 26225
1392.02/1396.73 c #Conflicts: 874000 | #Constraints: 27225
1392.02/1396.73 c #Conflicts: 875000 | #Constraints: 28225
1392.02/1396.73 c #Conflicts: 876000 | #Constraints: 29225
1392.02/1396.73 c #Conflicts: 877000 | #Constraints: 30225
1392.02/1396.73 c #Conflicts: 878000 | #Constraints: 31225
1392.02/1396.73 c #Conflicts: 879000 | #Constraints: 32225
1392.02/1396.73 c #Conflicts: 880000 | #Constraints: 33225
1392.02/1396.73 c #Conflicts: 881000 | #Constraints: 34225
1392.02/1396.73 c #Conflicts: 882000 | #Constraints: 35225
1392.02/1396.73 c #Conflicts: 883000 | #Constraints: 36225
1392.02/1396.73 c #Conflicts: 884000 | #Constraints: 37225
1392.02/1396.73 c INPROCESSING
1392.02/1396.73 c GARBAGE COLLECT
1392.02/1396.73 c #Conflicts: 885000 | #Constraints: 19625
1392.02/1396.73 c #Conflicts: 886000 | #Constraints: 20625
1392.02/1396.73 c #Conflicts: 887000 | #Constraints: 21625
1392.02/1396.73 c #Conflicts: 888000 | #Constraints: 22625
1392.02/1396.73 c #Conflicts: 889000 | #Constraints: 23625
1392.02/1396.73 c #Conflicts: 890000 | #Constraints: 24625
1392.02/1396.73 c #Conflicts: 891000 | #Constraints: 25625
1572.02/1577.30 c #Conflicts: 892000 | #Constraints: 26625
1572.02/1577.30 c #Conflicts: 893000 | #Constraints: 27625
1572.02/1577.30 c #Conflicts: 894000 | #Constraints: 28625
1572.02/1577.30 c #Conflicts: 895000 | #Constraints: 29625
1572.02/1577.30 c #Conflicts: 896000 | #Constraints: 30625
1572.02/1577.30 c #Conflicts: 897000 | #Constraints: 31625
1572.02/1577.30 c #Conflicts: 898000 | #Constraints: 32625
1572.02/1577.30 c #Conflicts: 899000 | #Constraints: 33625
1572.02/1577.30 c #Conflicts: 900000 | #Constraints: 34625
1572.02/1577.30 c #Conflicts: 901000 | #Constraints: 35625
1572.02/1577.30 c #Conflicts: 902000 | #Constraints: 36625
1572.02/1577.30 c #Conflicts: 903000 | #Constraints: 37625
1572.02/1577.30 c INPROCESSING
1572.02/1577.30 c GARBAGE COLLECT
1572.02/1577.30 c #Conflicts: 904000 | #Constraints: 19823
1572.02/1577.30 c #Conflicts: 905000 | #Constraints: 20823
1572.02/1577.30 c #Conflicts: 906000 | #Constraints: 21823
1572.02/1577.30 c #Conflicts: 907000 | #Constraints: 22823
1572.02/1577.30 c #Conflicts: 908000 | #Constraints: 23823
1572.02/1577.30 c #Conflicts: 909000 | #Constraints: 24823
1572.02/1577.30 c #Conflicts: 910000 | #Constraints: 25823
1572.02/1577.30 c #Conflicts: 911000 | #Constraints: 26823
1572.02/1577.30 c #Conflicts: 912000 | #Constraints: 27823
1572.02/1577.30 c #Conflicts: 913000 | #Constraints: 28823
1572.02/1577.30 c #Conflicts: 914000 | #Constraints: 29823
1572.02/1577.30 c #Conflicts: 915000 | #Constraints: 30823
1572.02/1577.30 c #Conflicts: 916000 | #Constraints: 31823
1572.02/1577.30 c #Conflicts: 917000 | #Constraints: 32823
1572.02/1577.30 c #Conflicts: 918000 | #Constraints: 33823
1572.02/1577.30 c #Conflicts: 919000 | #Constraints: 34823
1572.02/1577.30 c #Conflicts: 920000 | #Constraints: 35823
1572.02/1577.30 c #Conflicts: 921000 | #Constraints: 36823
1572.02/1577.30 c #Conflicts: 922000 | #Constraints: 37823
1572.02/1577.30 c INPROCESSING
1572.02/1577.30 c GARBAGE COLLECT
1572.02/1577.30 c #Conflicts: 923000 | #Constraints: 19824
1572.02/1577.30 c #Conflicts: 924000 | #Constraints: 20824
1572.02/1577.30 c #Conflicts: 925000 | #Constraints: 21824
1572.02/1577.30 c #Conflicts: 926000 | #Constraints: 22824
1572.02/1577.30 c #Conflicts: 927000 | #Constraints: 23824
1572.02/1577.30 c #Conflicts: 928000 | #Constraints: 24824
1572.02/1577.30 c #Conflicts: 929000 | #Constraints: 25824
1572.02/1577.30 c #Conflicts: 930000 | #Constraints: 26824
1572.02/1577.30 c #Conflicts: 931000 | #Constraints: 27824
1572.02/1577.30 c #Conflicts: 932000 | #Constraints: 28824
1572.02/1577.30 c #Conflicts: 933000 | #Constraints: 29824
1572.02/1577.30 c #Conflicts: 934000 | #Constraints: 30824
1572.02/1577.30 c #Conflicts: 935000 | #Constraints: 31824
1572.02/1577.30 c #Conflicts: 936000 | #Constraints: 32824
1572.02/1577.30 c #Conflicts: 937000 | #Constraints: 33824
1572.02/1577.30 c #Conflicts: 938000 | #Constraints: 34824
1572.02/1577.30 c #Conflicts: 939000 | #Constraints: 35824
1572.02/1577.30 c #Conflicts: 940000 | #Constraints: 36824
1572.02/1577.30 c #Conflicts: 941000 | #Constraints: 37824
1572.02/1577.30 c INPROCESSING
1572.02/1577.30 c GARBAGE COLLECT
1572.02/1577.30 c #Conflicts: 942000 | #Constraints: 19626
1572.02/1577.30 c #Conflicts: 943000 | #Constraints: 20626
1572.02/1577.30 c #Conflicts: 944000 | #Constraints: 21626
1572.02/1577.30 c #Conflicts: 945000 | #Constraints: 22626
1572.02/1577.30 c #Conflicts: 946000 | #Constraints: 23626
1572.02/1577.30 c #Conflicts: 947000 | #Constraints: 24626
1572.02/1577.30 c #Conflicts: 948000 | #Constraints: 25626
1572.02/1577.30 c #Conflicts: 949000 | #Constraints: 26626
1572.02/1577.30 c #Conflicts: 950000 | #Constraints: 27626
1572.02/1577.30 c #Conflicts: 951000 | #Constraints: 28626
1572.02/1577.30 c #Conflicts: 952000 | #Constraints: 29626
1572.02/1577.30 c #Conflicts: 953000 | #Constraints: 30626
1572.02/1577.30 c #Conflicts: 954000 | #Constraints: 31626
1572.02/1577.30 c #Conflicts: 955000 | #Constraints: 32626
1572.02/1577.30 c #Conflicts: 956000 | #Constraints: 33626
1572.02/1577.30 c #Conflicts: 957000 | #Constraints: 34626
1572.02/1577.30 c #Conflicts: 958000 | #Constraints: 35626
1572.02/1577.30 c #Conflicts: 959000 | #Constraints: 36626
1572.02/1577.30 c #Conflicts: 960000 | #Constraints: 37626
1572.02/1577.30 c #Conflicts: 961000 | #Constraints: 38626
1572.02/1577.30 c INPROCESSING
1572.02/1577.30 c GARBAGE COLLECT
1572.02/1577.30 c #Conflicts: 962000 | #Constraints: 20230
1572.02/1577.30 c #Conflicts: 963000 | #Constraints: 21230
1572.02/1577.30 c #Conflicts: 964000 | #Constraints: 22230
1572.02/1577.30 c #Conflicts: 965000 | #Constraints: 23230
1572.02/1577.30 c #Conflicts: 966000 | #Constraints: 24230
1572.02/1577.30 c #Conflicts: 967000 | #Constraints: 25230
1761.68/1767.61 c #Conflicts: 968000 | #Constraints: 26230
1761.68/1767.61 c #Conflicts: 969000 | #Constraints: 27230
1761.68/1767.61 c #Conflicts: 970000 | #Constraints: 28230
1761.68/1767.61 c #Conflicts: 971000 | #Constraints: 29230
1761.68/1767.61 c #Conflicts: 972000 | #Constraints: 30230
1761.68/1767.61 c #Conflicts: 973000 | #Constraints: 31230
1761.68/1767.61 c #Conflicts: 974000 | #Constraints: 32230
1761.68/1767.61 c #Conflicts: 975000 | #Constraints: 33230
1761.68/1767.61 c #Conflicts: 976000 | #Constraints: 34230
1761.68/1767.61 c #Conflicts: 977000 | #Constraints: 35230
1761.68/1767.61 c #Conflicts: 978000 | #Constraints: 36230
1761.68/1767.61 c #Conflicts: 979000 | #Constraints: 37230
1761.68/1767.61 c #Conflicts: 980000 | #Constraints: 38230
1761.68/1767.61 c #Conflicts: 981000 | #Constraints: 39230
1761.68/1767.61 c INPROCESSING
1761.68/1767.61 c GARBAGE COLLECT
1761.68/1767.61 c #Conflicts: 982000 | #Constraints: 20631
1761.68/1767.61 c #Conflicts: 983000 | #Constraints: 21631
1761.68/1767.61 c #Conflicts: 984000 | #Constraints: 22631
1761.68/1767.61 c #Conflicts: 985000 | #Constraints: 23631
1761.68/1767.61 c #Conflicts: 986000 | #Constraints: 24631
1761.68/1767.61 c #Conflicts: 987000 | #Constraints: 25631
1761.68/1767.61 c #Conflicts: 988000 | #Constraints: 26631
1761.68/1767.61 c #Conflicts: 989000 | #Constraints: 27631
1761.68/1767.61 c #Conflicts: 990000 | #Constraints: 28631
1761.68/1767.61 c #Conflicts: 991000 | #Constraints: 29631
1761.68/1767.61 c #Conflicts: 992000 | #Constraints: 30631
1761.68/1767.61 c #Conflicts: 993000 | #Constraints: 31631
1761.68/1767.61 c #Conflicts: 994000 | #Constraints: 32631
1761.68/1767.61 c #Conflicts: 995000 | #Constraints: 33631
1761.68/1767.61 c #Conflicts: 996000 | #Constraints: 34631
1761.68/1767.61 c #Conflicts: 997000 | #Constraints: 35631
1761.68/1767.61 c #Conflicts: 998000 | #Constraints: 36631
1761.68/1767.61 c #Conflicts: 999000 | #Constraints: 37631
1761.68/1767.61 c #Conflicts: 1000000 | #Constraints: 38631
1761.68/1767.61 c #Conflicts: 1001000 | #Constraints: 39631
1761.68/1767.61 c INPROCESSING
1761.68/1767.61 c GARBAGE COLLECT
1761.68/1767.61 c #Conflicts: 1002000 | #Constraints: 20832
1761.68/1767.61 c #Conflicts: 1003000 | #Constraints: 21832
1761.68/1767.61 c #Conflicts: 1004000 | #Constraints: 22832
1761.68/1767.61 c #Conflicts: 1005000 | #Constraints: 23832
1761.68/1767.61 c #Conflicts: 1006000 | #Constraints: 24832
1761.68/1767.61 c #Conflicts: 1007000 | #Constraints: 25832
1761.68/1767.61 c #Conflicts: 1008000 | #Constraints: 26832
1761.68/1767.61 c #Conflicts: 1009000 | #Constraints: 27832
1761.68/1767.61 c #Conflicts: 1010000 | #Constraints: 28832
1761.68/1767.61 c #Conflicts: 1011000 | #Constraints: 29832
1761.68/1767.61 c #Conflicts: 1012000 | #Constraints: 30832
1761.68/1767.61 c #Conflicts: 1013000 | #Constraints: 31832
1761.68/1767.61 c #Conflicts: 1014000 | #Constraints: 32832
1761.68/1767.61 c #Conflicts: 1015000 | #Constraints: 33832
1761.68/1767.61 c #Conflicts: 1016000 | #Constraints: 34832
1761.68/1767.61 c #Conflicts: 1017000 | #Constraints: 35832
1761.68/1767.61 c #Conflicts: 1018000 | #Constraints: 36832
1761.68/1767.61 c #Conflicts: 1019000 | #Constraints: 37832
1761.68/1767.61 c #Conflicts: 1020000 | #Constraints: 38832
1761.68/1767.61 c #Conflicts: 1021000 | #Constraints: 39832
1761.68/1767.61 c INPROCESSING
1761.68/1767.61 c GARBAGE COLLECT
1761.68/1767.61 c #Conflicts: 1022000 | #Constraints: 20833
1761.68/1767.61 c #Conflicts: 1023000 | #Constraints: 21833
1761.68/1767.61 c #Conflicts: 1024000 | #Constraints: 22833
1761.68/1767.61 c #Conflicts: 1025000 | #Constraints: 23833
1761.68/1767.61 c #Conflicts: 1026000 | #Constraints: 24833
1761.68/1767.61 c #Conflicts: 1027000 | #Constraints: 25833
1761.68/1767.61 c #Conflicts: 1028000 | #Constraints: 26833
1761.68/1767.61 c #Conflicts: 1029000 | #Constraints: 27833
1761.68/1767.61 c #Conflicts: 1030000 | #Constraints: 28833
1761.68/1767.61 c #Conflicts: 1031000 | #Constraints: 29833
1761.68/1767.61 c #Conflicts: 1032000 | #Constraints: 30833
1761.68/1767.61 c #Conflicts: 1033000 | #Constraints: 31833
1761.68/1767.61 c #Conflicts: 1034000 | #Constraints: 32833
1761.68/1767.61 c #Conflicts: 1035000 | #Constraints: 33833
1761.68/1767.61 c #Conflicts: 1036000 | #Constraints: 34833
1761.68/1767.61 c #Conflicts: 1037000 | #Constraints: 35833
1761.68/1767.61 c #Conflicts: 1038000 | #Constraints: 36833
1761.68/1767.61 c #Conflicts: 1039000 | #Constraints: 37833
1761.68/1767.61 c #Conflicts: 1040000 | #Constraints: 38833
1761.68/1767.61 c #Conflicts: 1041000 | #Constraints: 39833
1761.68/1767.61 c INPROCESSING
1761.68/1767.61 c GARBAGE COLLECT
1761.68/1767.61 c #Conflicts: 1042000 | #Constraints: 20630
1761.68/1767.61 c #Conflicts: 1043000 | #Constraints: 21630
1761.68/1767.61 c #Conflicts: 1044000 | #Constraints: 22630
2003.55/2010.31 c #Conflicts: 1045000 | #Constraints: 23630
2003.55/2010.31 c #Conflicts: 1046000 | #Constraints: 24630
2003.55/2010.31 c #Conflicts: 1047000 | #Constraints: 25630
2003.55/2010.31 c #Conflicts: 1048000 | #Constraints: 26630
2003.55/2010.31 c #Conflicts: 1049000 | #Constraints: 27630
2003.55/2010.31 c #Conflicts: 1050000 | #Constraints: 28630
2003.55/2010.31 c #Conflicts: 1051000 | #Constraints: 29630
2003.55/2010.31 c #Conflicts: 1052000 | #Constraints: 30630
2003.55/2010.31 c #Conflicts: 1053000 | #Constraints: 31630
2003.55/2010.31 c #Conflicts: 1054000 | #Constraints: 32630
2003.55/2010.31 c #Conflicts: 1055000 | #Constraints: 33630
2003.55/2010.31 c #Conflicts: 1056000 | #Constraints: 34630
2003.55/2010.31 c #Conflicts: 1057000 | #Constraints: 35630
2003.55/2010.31 c #Conflicts: 1058000 | #Constraints: 36630
2003.55/2010.31 c #Conflicts: 1059000 | #Constraints: 37630
2003.55/2010.31 c #Conflicts: 1060000 | #Constraints: 38630
2003.55/2010.31 c #Conflicts: 1061000 | #Constraints: 39630
2003.55/2010.31 c #Conflicts: 1062000 | #Constraints: 40630
2003.55/2010.31 c INPROCESSING
2003.55/2010.31 c GARBAGE COLLECT
2003.55/2010.31 c #Conflicts: 1063000 | #Constraints: 21230
2003.55/2010.31 c #Conflicts: 1064000 | #Constraints: 22230
2003.55/2010.31 c #Conflicts: 1065000 | #Constraints: 23230
2003.55/2010.31 c #Conflicts: 1066000 | #Constraints: 24230
2003.55/2010.31 c #Conflicts: 1067000 | #Constraints: 25230
2003.55/2010.31 c #Conflicts: 1068000 | #Constraints: 26230
2003.55/2010.31 c #Conflicts: 1069000 | #Constraints: 27230
2003.55/2010.31 c #Conflicts: 1070000 | #Constraints: 28230
2003.55/2010.31 c #Conflicts: 1071000 | #Constraints: 29230
2003.55/2010.31 c #Conflicts: 1072000 | #Constraints: 30230
2003.55/2010.31 c #Conflicts: 1073000 | #Constraints: 31230
2003.55/2010.31 c #Conflicts: 1074000 | #Constraints: 32230
2003.55/2010.31 c #Conflicts: 1075000 | #Constraints: 33230
2003.55/2010.31 c #Conflicts: 1076000 | #Constraints: 34230
2003.55/2010.31 c #Conflicts: 1077000 | #Constraints: 35230
2003.55/2010.31 c #Conflicts: 1078000 | #Constraints: 36230
2003.55/2010.31 c #Conflicts: 1079000 | #Constraints: 37230
2003.55/2010.31 c #Conflicts: 1080000 | #Constraints: 38230
2003.55/2010.31 c #Conflicts: 1081000 | #Constraints: 39230
2003.55/2010.31 c #Conflicts: 1082000 | #Constraints: 40230
2003.55/2010.31 c #Conflicts: 1083000 | #Constraints: 41230
2003.55/2010.31 c INPROCESSING
2003.55/2010.31 c GARBAGE COLLECT
2003.55/2010.31 c #Conflicts: 1084000 | #Constraints: 21631
2003.55/2010.31 c #Conflicts: 1085000 | #Constraints: 22631
2003.55/2010.31 c #Conflicts: 1086000 | #Constraints: 23631
2003.55/2010.31 c #Conflicts: 1087000 | #Constraints: 24631
2003.55/2010.31 c #Conflicts: 1088000 | #Constraints: 25631
2003.55/2010.31 c #Conflicts: 1089000 | #Constraints: 26631
2003.55/2010.31 c #Conflicts: 1090000 | #Constraints: 27631
2003.55/2010.31 c #Conflicts: 1091000 | #Constraints: 28631
2003.55/2010.31 c #Conflicts: 1092000 | #Constraints: 29631
2003.55/2010.31 c #Conflicts: 1093000 | #Constraints: 30631
2003.55/2010.31 c #Conflicts: 1094000 | #Constraints: 31631
2003.55/2010.31 c #Conflicts: 1095000 | #Constraints: 32631
2003.55/2010.31 c #Conflicts: 1096000 | #Constraints: 33631
2003.55/2010.31 c #Conflicts: 1097000 | #Constraints: 34631
2003.55/2010.31 c #Conflicts: 1098000 | #Constraints: 35631
2003.55/2010.31 c #Conflicts: 1099000 | #Constraints: 36631
2003.55/2010.31 c #Conflicts: 1100000 | #Constraints: 37631
2003.55/2010.31 c #Conflicts: 1101000 | #Constraints: 38631
2003.55/2010.31 c #Conflicts: 1102000 | #Constraints: 39631
2003.55/2010.31 c #Conflicts: 1103000 | #Constraints: 40631
2003.55/2010.31 c #Conflicts: 1104000 | #Constraints: 41631
2003.55/2010.31 c INPROCESSING
2003.55/2010.31 c GARBAGE COLLECT
2003.55/2010.31 c #Conflicts: 1105000 | #Constraints: 21832
2003.55/2010.31 c #Conflicts: 1106000 | #Constraints: 22832
2003.55/2010.31 c #Conflicts: 1107000 | #Constraints: 23832
2003.55/2010.31 c #Conflicts: 1108000 | #Constraints: 24832
2003.55/2010.31 c #Conflicts: 1109000 | #Constraints: 25832
2003.55/2010.31 c #Conflicts: 1110000 | #Constraints: 26832
2003.55/2010.31 c #Conflicts: 1111000 | #Constraints: 27832
2003.55/2010.31 c #Conflicts: 1112000 | #Constraints: 28832
2003.55/2010.31 c #Conflicts: 1113000 | #Constraints: 29832
2003.55/2010.31 c #Conflicts: 1114000 | #Constraints: 30832
2003.55/2010.31 c #Conflicts: 1115000 | #Constraints: 31832
2003.55/2010.31 c #Conflicts: 1116000 | #Constraints: 32832
2003.55/2010.31 c #Conflicts: 1117000 | #Constraints: 33832
2003.55/2010.31 c #Conflicts: 1118000 | #Constraints: 34832
2003.55/2010.31 c #Conflicts: 1119000 | #Constraints: 35832
2003.55/2010.31 c #Conflicts: 1120000 | #Constraints: 36832
2003.55/2010.31 c #Conflicts: 1121000 | #Constraints: 37832
2215.34/2222.82 c #Conflicts: 1122000 | #Constraints: 38832
2215.34/2222.82 c #Conflicts: 1123000 | #Constraints: 39832
2215.34/2222.82 c #Conflicts: 1124000 | #Constraints: 40832
2215.34/2222.82 c #Conflicts: 1125000 | #Constraints: 41832
2215.34/2222.82 c INPROCESSING
2215.34/2222.82 c GARBAGE COLLECT
2215.34/2222.82 c #Conflicts: 1126000 | #Constraints: 21830
2215.34/2222.82 c #Conflicts: 1127000 | #Constraints: 22830
2215.34/2222.82 c #Conflicts: 1128000 | #Constraints: 23830
2215.34/2222.82 c #Conflicts: 1129000 | #Constraints: 24830
2215.34/2222.82 c #Conflicts: 1130000 | #Constraints: 25830
2215.34/2222.82 c #Conflicts: 1131000 | #Constraints: 26830
2215.34/2222.82 c #Conflicts: 1132000 | #Constraints: 27830
2215.34/2222.82 c #Conflicts: 1133000 | #Constraints: 28830
2215.34/2222.82 c #Conflicts: 1134000 | #Constraints: 29830
2215.34/2222.82 c #Conflicts: 1135000 | #Constraints: 30830
2215.34/2222.82 c #Conflicts: 1136000 | #Constraints: 31830
2215.34/2222.82 c #Conflicts: 1137000 | #Constraints: 32830
2215.34/2222.82 c #Conflicts: 1138000 | #Constraints: 33830
2215.34/2222.82 c #Conflicts: 1139000 | #Constraints: 34830
2215.34/2222.82 c #Conflicts: 1140000 | #Constraints: 35830
2215.34/2222.82 c #Conflicts: 1141000 | #Constraints: 36830
2215.34/2222.82 c #Conflicts: 1142000 | #Constraints: 37830
2215.34/2222.82 c #Conflicts: 1143000 | #Constraints: 38830
2215.34/2222.82 c #Conflicts: 1144000 | #Constraints: 39830
2215.34/2222.82 c #Conflicts: 1145000 | #Constraints: 40830
2215.34/2222.82 c #Conflicts: 1146000 | #Constraints: 41830
2215.34/2222.82 c INPROCESSING
2215.34/2222.82 c GARBAGE COLLECT
2215.34/2222.82 c #Conflicts: 1147000 | #Constraints: 21627
2215.34/2222.82 c #Conflicts: 1148000 | #Constraints: 22627
2215.34/2222.82 c #Conflicts: 1149000 | #Constraints: 23627
2215.34/2222.82 c #Conflicts: 1150000 | #Constraints: 24627
2215.34/2222.82 c #Conflicts: 1151000 | #Constraints: 25627
2215.34/2222.82 c #Conflicts: 1152000 | #Constraints: 26627
2215.34/2222.82 c #Conflicts: 1153000 | #Constraints: 27627
2215.34/2222.82 c #Conflicts: 1154000 | #Constraints: 28627
2215.34/2222.82 c #Conflicts: 1155000 | #Constraints: 29627
2215.34/2222.82 c #Conflicts: 1156000 | #Constraints: 30627
2215.34/2222.82 c #Conflicts: 1157000 | #Constraints: 31627
2215.34/2222.82 c #Conflicts: 1158000 | #Constraints: 32627
2215.34/2222.82 c #Conflicts: 1159000 | #Constraints: 33627
2215.34/2222.82 c #Conflicts: 1160000 | #Constraints: 34627
2215.34/2222.82 c #Conflicts: 1161000 | #Constraints: 35627
2215.34/2222.82 c #Conflicts: 1162000 | #Constraints: 36627
2215.34/2222.82 c #Conflicts: 1163000 | #Constraints: 37627
2215.34/2222.82 c #Conflicts: 1164000 | #Constraints: 38627
2215.34/2222.82 c #Conflicts: 1165000 | #Constraints: 39627
2215.34/2222.82 c #Conflicts: 1166000 | #Constraints: 40627
2215.34/2222.82 c #Conflicts: 1167000 | #Constraints: 41627
2215.34/2222.82 c #Conflicts: 1168000 | #Constraints: 42627
2215.34/2222.82 c INPROCESSING
2215.34/2222.82 c GARBAGE COLLECT
2215.34/2222.82 c #Conflicts: 1169000 | #Constraints: 22228
2215.34/2222.82 c #Conflicts: 1170000 | #Constraints: 23228
2215.34/2222.82 c #Conflicts: 1171000 | #Constraints: 24228
2215.34/2222.82 c #Conflicts: 1172000 | #Constraints: 25228
2215.34/2222.82 c #Conflicts: 1173000 | #Constraints: 26228
2215.34/2222.82 c #Conflicts: 1174000 | #Constraints: 27228
2215.34/2222.82 c #Conflicts: 1175000 | #Constraints: 28228
2215.34/2222.82 c #Conflicts: 1176000 | #Constraints: 29228
2215.34/2222.82 c #Conflicts: 1177000 | #Constraints: 30228
2215.34/2222.82 c #Conflicts: 1178000 | #Constraints: 31228
2215.34/2222.82 c #Conflicts: 1179000 | #Constraints: 32228
2215.34/2222.82 c #Conflicts: 1180000 | #Constraints: 33228
2215.34/2222.82 c #Conflicts: 1181000 | #Constraints: 34228
2215.34/2222.82 c #Conflicts: 1182000 | #Constraints: 35228
2215.34/2222.82 c #Conflicts: 1183000 | #Constraints: 36228
2215.34/2222.82 c #Conflicts: 1184000 | #Constraints: 37228
2215.34/2222.82 c #Conflicts: 1185000 | #Constraints: 38228
2215.34/2222.82 c #Conflicts: 1186000 | #Constraints: 39228
2215.34/2222.82 c #Conflicts: 1187000 | #Constraints: 40228
2215.34/2222.82 c #Conflicts: 1188000 | #Constraints: 41228
2215.34/2222.82 c #Conflicts: 1189000 | #Constraints: 42228
2215.34/2222.82 c #Conflicts: 1190000 | #Constraints: 43228
2215.34/2222.82 c INPROCESSING
2215.34/2222.82 c GARBAGE COLLECT
2215.34/2222.82 c #Conflicts: 1191000 | #Constraints: 22627
2215.34/2222.82 c #Conflicts: 1192000 | #Constraints: 23627
2215.34/2222.82 c #Conflicts: 1193000 | #Constraints: 24627
2215.34/2222.82 c #Conflicts: 1194000 | #Constraints: 25627
2215.34/2222.82 c #Conflicts: 1195000 | #Constraints: 26627
2215.34/2222.82 c #Conflicts: 1196000 | #Constraints: 27627
2215.34/2222.82 c #Conflicts: 1197000 | #Constraints: 28627
2456.53/2464.81 c #Conflicts: 1198000 | #Constraints: 29627
2456.53/2464.81 c #Conflicts: 1199000 | #Constraints: 30627
2456.53/2464.81 c #Conflicts: 1200000 | #Constraints: 31627
2456.53/2464.81 c #Conflicts: 1201000 | #Constraints: 32627
2456.53/2464.81 c #Conflicts: 1202000 | #Constraints: 33627
2456.53/2464.81 c #Conflicts: 1203000 | #Constraints: 34627
2456.53/2464.81 c #Conflicts: 1204000 | #Constraints: 35627
2456.53/2464.81 c #Conflicts: 1205000 | #Constraints: 36627
2456.53/2464.81 c #Conflicts: 1206000 | #Constraints: 37627
2456.53/2464.81 c #Conflicts: 1207000 | #Constraints: 38627
2456.53/2464.81 c #Conflicts: 1208000 | #Constraints: 39627
2456.53/2464.81 c #Conflicts: 1209000 | #Constraints: 40627
2456.53/2464.81 c #Conflicts: 1210000 | #Constraints: 41627
2456.53/2464.81 c #Conflicts: 1211000 | #Constraints: 42627
2456.53/2464.81 c #Conflicts: 1212000 | #Constraints: 43627
2456.53/2464.81 c INPROCESSING
2456.53/2464.81 c GARBAGE COLLECT
2456.53/2464.81 c #Conflicts: 1213000 | #Constraints: 22828
2456.53/2464.81 c #Conflicts: 1214000 | #Constraints: 23828
2456.53/2464.81 c #Conflicts: 1215000 | #Constraints: 24828
2456.53/2464.81 c #Conflicts: 1216000 | #Constraints: 25828
2456.53/2464.81 c #Conflicts: 1217000 | #Constraints: 26828
2456.53/2464.81 c #Conflicts: 1218000 | #Constraints: 27828
2456.53/2464.81 c #Conflicts: 1219000 | #Constraints: 28828
2456.53/2464.81 c #Conflicts: 1220000 | #Constraints: 29828
2456.53/2464.81 c #Conflicts: 1221000 | #Constraints: 30828
2456.53/2464.81 c #Conflicts: 1222000 | #Constraints: 31828
2456.53/2464.81 c #Conflicts: 1223000 | #Constraints: 32828
2456.53/2464.81 c #Conflicts: 1224000 | #Constraints: 33828
2456.53/2464.81 c #Conflicts: 1225000 | #Constraints: 34828
2456.53/2464.81 c #Conflicts: 1226000 | #Constraints: 35828
2456.53/2464.81 c #Conflicts: 1227000 | #Constraints: 36828
2456.53/2464.81 c #Conflicts: 1228000 | #Constraints: 37828
2456.53/2464.81 c #Conflicts: 1229000 | #Constraints: 38828
2456.53/2464.81 c #Conflicts: 1230000 | #Constraints: 39828
2456.53/2464.81 c #Conflicts: 1231000 | #Constraints: 40828
2456.53/2464.81 c #Conflicts: 1232000 | #Constraints: 41828
2456.53/2464.81 c #Conflicts: 1233000 | #Constraints: 42828
2456.53/2464.81 c #Conflicts: 1234000 | #Constraints: 43828
2456.53/2464.81 c INPROCESSING
2456.53/2464.81 c GARBAGE COLLECT
2456.53/2464.81 c #Conflicts: 1235000 | #Constraints: 22826
2456.53/2464.81 c #Conflicts: 1236000 | #Constraints: 23826
2456.53/2464.81 c #Conflicts: 1237000 | #Constraints: 24826
2456.53/2464.81 c #Conflicts: 1238000 | #Constraints: 25826
2456.53/2464.81 c #Conflicts: 1239000 | #Constraints: 26826
2456.53/2464.81 c #Conflicts: 1240000 | #Constraints: 27826
2456.53/2464.81 c #Conflicts: 1241000 | #Constraints: 28826
2456.53/2464.81 c #Conflicts: 1242000 | #Constraints: 29826
2456.53/2464.81 c #Conflicts: 1243000 | #Constraints: 30826
2456.53/2464.81 c #Conflicts: 1244000 | #Constraints: 31826
2456.53/2464.81 c #Conflicts: 1245000 | #Constraints: 32826
2456.53/2464.81 c #Conflicts: 1246000 | #Constraints: 33826
2456.53/2464.81 c #Conflicts: 1247000 | #Constraints: 34826
2456.53/2464.81 c #Conflicts: 1248000 | #Constraints: 35826
2456.53/2464.81 c #Conflicts: 1249000 | #Constraints: 36826
2456.53/2464.81 c #Conflicts: 1250000 | #Constraints: 37826
2456.53/2464.81 c #Conflicts: 1251000 | #Constraints: 38826
2456.53/2464.81 c #Conflicts: 1252000 | #Constraints: 39826
2456.53/2464.81 c #Conflicts: 1253000 | #Constraints: 40826
2456.53/2464.81 c #Conflicts: 1254000 | #Constraints: 41826
2456.53/2464.81 c #Conflicts: 1255000 | #Constraints: 42826
2456.53/2464.81 c #Conflicts: 1256000 | #Constraints: 43826
2456.53/2464.81 c INPROCESSING
2456.53/2464.81 c GARBAGE COLLECT
2456.53/2464.81 c #Conflicts: 1257000 | #Constraints: 22626
2456.53/2464.81 c #Conflicts: 1258000 | #Constraints: 23626
2456.53/2464.81 c #Conflicts: 1259000 | #Constraints: 24626
2456.53/2464.81 c #Conflicts: 1260000 | #Constraints: 25626
2456.53/2464.81 c #Conflicts: 1261000 | #Constraints: 26626
2456.53/2464.81 c #Conflicts: 1262000 | #Constraints: 27626
2456.53/2464.81 c #Conflicts: 1263000 | #Constraints: 28626
2456.53/2464.81 c #Conflicts: 1264000 | #Constraints: 29626
2456.53/2464.81 c #Conflicts: 1265000 | #Constraints: 30626
2456.53/2464.81 c #Conflicts: 1266000 | #Constraints: 31626
2456.53/2464.81 c #Conflicts: 1267000 | #Constraints: 32626
2456.53/2464.81 c #Conflicts: 1268000 | #Constraints: 33626
2456.53/2464.81 c #Conflicts: 1269000 | #Constraints: 34626
2456.53/2464.81 c #Conflicts: 1270000 | #Constraints: 35626
2456.53/2464.81 c #Conflicts: 1271000 | #Constraints: 36626
2456.53/2464.81 c #Conflicts: 1272000 | #Constraints: 37626
2456.53/2464.81 c #Conflicts: 1273000 | #Constraints: 38626
2456.53/2464.81 c #Conflicts: 1274000 | #Constraints: 39626
2706.39/2715.51 c #Conflicts: 1275000 | #Constraints: 40626
2706.39/2715.51 c #Conflicts: 1276000 | #Constraints: 41626
2706.39/2715.51 c #Conflicts: 1277000 | #Constraints: 42626
2706.39/2715.51 c #Conflicts: 1278000 | #Constraints: 43626
2706.39/2715.51 c #Conflicts: 1279000 | #Constraints: 44626
2706.39/2715.51 c INPROCESSING
2706.39/2715.51 c GARBAGE COLLECT
2706.39/2715.51 c #Conflicts: 1280000 | #Constraints: 23225
2706.39/2715.51 c #Conflicts: 1281000 | #Constraints: 24225
2706.39/2715.51 c #Conflicts: 1282000 | #Constraints: 25225
2706.39/2715.51 c #Conflicts: 1283000 | #Constraints: 26225
2706.39/2715.51 c #Conflicts: 1284000 | #Constraints: 27225
2706.39/2715.51 c #Conflicts: 1285000 | #Constraints: 28225
2706.39/2715.51 c #Conflicts: 1286000 | #Constraints: 29225
2706.39/2715.51 c #Conflicts: 1287000 | #Constraints: 30225
2706.39/2715.51 c #Conflicts: 1288000 | #Constraints: 31225
2706.39/2715.51 c #Conflicts: 1289000 | #Constraints: 32225
2706.39/2715.51 c #Conflicts: 1290000 | #Constraints: 33225
2706.39/2715.51 c #Conflicts: 1291000 | #Constraints: 34225
2706.39/2715.51 c #Conflicts: 1292000 | #Constraints: 35225
2706.39/2715.51 c #Conflicts: 1293000 | #Constraints: 36225
2706.39/2715.51 c #Conflicts: 1294000 | #Constraints: 37225
2706.39/2715.51 c #Conflicts: 1295000 | #Constraints: 38225
2706.39/2715.51 c #Conflicts: 1296000 | #Constraints: 39225
2706.39/2715.51 c #Conflicts: 1297000 | #Constraints: 40225
2706.39/2715.51 c #Conflicts: 1298000 | #Constraints: 41225
2706.39/2715.51 c #Conflicts: 1299000 | #Constraints: 42225
2706.39/2715.51 c #Conflicts: 1300000 | #Constraints: 43225
2706.39/2715.51 c #Conflicts: 1301000 | #Constraints: 44225
2706.39/2715.51 c #Conflicts: 1302000 | #Constraints: 45225
2706.39/2715.51 c INPROCESSING
2706.39/2715.51 c GARBAGE COLLECT
2706.39/2715.51 c #Conflicts: 1303000 | #Constraints: 23625
2706.39/2715.51 c #Conflicts: 1304000 | #Constraints: 24625
2706.39/2715.51 c #Conflicts: 1305000 | #Constraints: 25625
2706.39/2715.51 c #Conflicts: 1306000 | #Constraints: 26625
2706.39/2715.51 c #Conflicts: 1307000 | #Constraints: 27625
2706.39/2715.51 c #Conflicts: 1308000 | #Constraints: 28625
2706.39/2715.51 c #Conflicts: 1309000 | #Constraints: 29625
2706.39/2715.51 c #Conflicts: 1310000 | #Constraints: 30625
2706.39/2715.51 c #Conflicts: 1311000 | #Constraints: 31625
2706.39/2715.51 c #Conflicts: 1312000 | #Constraints: 32625
2706.39/2715.51 c #Conflicts: 1313000 | #Constraints: 33625
2706.39/2715.51 c #Conflicts: 1314000 | #Constraints: 34625
2706.39/2715.51 c #Conflicts: 1315000 | #Constraints: 35625
2706.39/2715.51 c #Conflicts: 1316000 | #Constraints: 36625
2706.39/2715.51 c #Conflicts: 1317000 | #Constraints: 37625
2706.39/2715.51 c #Conflicts: 1318000 | #Constraints: 38625
2706.39/2715.51 c #Conflicts: 1319000 | #Constraints: 39625
2706.39/2715.51 c #Conflicts: 1320000 | #Constraints: 40625
2706.39/2715.51 c #Conflicts: 1321000 | #Constraints: 41625
2706.39/2715.51 c #Conflicts: 1322000 | #Constraints: 42625
2706.39/2715.51 c #Conflicts: 1323000 | #Constraints: 43625
2706.39/2715.51 c #Conflicts: 1324000 | #Constraints: 44625
2706.39/2715.51 c #Conflicts: 1325000 | #Constraints: 45625
2706.39/2715.51 c INPROCESSING
2706.39/2715.51 c GARBAGE COLLECT
2706.39/2715.51 c #Conflicts: 1326000 | #Constraints: 23830
2706.39/2715.51 c #Conflicts: 1327000 | #Constraints: 24830
2706.39/2715.51 c #Conflicts: 1328000 | #Constraints: 25830
2706.39/2715.51 c #Conflicts: 1329000 | #Constraints: 26830
2706.39/2715.51 c #Conflicts: 1330000 | #Constraints: 27830
2706.39/2715.51 c #Conflicts: 1331000 | #Constraints: 28830
2706.39/2715.51 c #Conflicts: 1332000 | #Constraints: 29830
2706.39/2715.51 c #Conflicts: 1333000 | #Constraints: 30830
2706.39/2715.51 c #Conflicts: 1334000 | #Constraints: 31830
2706.39/2715.51 c #Conflicts: 1335000 | #Constraints: 32830
2706.39/2715.51 c #Conflicts: 1336000 | #Constraints: 33830
2706.39/2715.51 c #Conflicts: 1337000 | #Constraints: 34830
2706.39/2715.51 c #Conflicts: 1338000 | #Constraints: 35830
2706.39/2715.51 c #Conflicts: 1339000 | #Constraints: 36830
2706.39/2715.51 c #Conflicts: 1340000 | #Constraints: 37830
2706.39/2715.51 c #Conflicts: 1341000 | #Constraints: 38830
2706.39/2715.51 c #Conflicts: 1342000 | #Constraints: 39830
2706.39/2715.51 c #Conflicts: 1343000 | #Constraints: 40830
2706.39/2715.51 c #Conflicts: 1344000 | #Constraints: 41830
2706.39/2715.51 c #Conflicts: 1345000 | #Constraints: 42830
2706.39/2715.51 c #Conflicts: 1346000 | #Constraints: 43830
2706.39/2715.51 c #Conflicts: 1347000 | #Constraints: 44830
2706.39/2715.51 c #Conflicts: 1348000 | #Constraints: 45830
2706.39/2715.51 c INPROCESSING
2706.39/2715.51 c GARBAGE COLLECT
2706.39/2715.51 c #Conflicts: 1349000 | #Constraints: 23831
2706.39/2715.51 c #Conflicts: 1350000 | #Constraints: 24831
2959.53/2969.51 c #Conflicts: 1351000 | #Constraints: 25831
2959.53/2969.51 c #Conflicts: 1352000 | #Constraints: 26831
2959.53/2969.51 c #Conflicts: 1353000 | #Constraints: 27831
2959.53/2969.51 c #Conflicts: 1354000 | #Constraints: 28831
2959.53/2969.51 c #Conflicts: 1355000 | #Constraints: 29831
2959.53/2969.51 c #Conflicts: 1356000 | #Constraints: 30831
2959.53/2969.51 c #Conflicts: 1357000 | #Constraints: 31831
2959.53/2969.51 c #Conflicts: 1358000 | #Constraints: 32831
2959.53/2969.51 c #Conflicts: 1359000 | #Constraints: 33831
2959.53/2969.51 c #Conflicts: 1360000 | #Constraints: 34831
2959.53/2969.51 c #Conflicts: 1361000 | #Constraints: 35831
2959.53/2969.51 c #Conflicts: 1362000 | #Constraints: 36831
2959.53/2969.51 c #Conflicts: 1363000 | #Constraints: 37831
2959.53/2969.51 c #Conflicts: 1364000 | #Constraints: 38831
2959.53/2969.51 c #Conflicts: 1365000 | #Constraints: 39831
2959.53/2969.51 c #Conflicts: 1366000 | #Constraints: 40831
2959.53/2969.51 c #Conflicts: 1367000 | #Constraints: 41831
2959.53/2969.51 c #Conflicts: 1368000 | #Constraints: 42831
2959.53/2969.51 c #Conflicts: 1369000 | #Constraints: 43831
2959.53/2969.51 c #Conflicts: 1370000 | #Constraints: 44831
2959.53/2969.51 c #Conflicts: 1371000 | #Constraints: 45831
2959.53/2969.51 c INPROCESSING
2959.53/2969.51 c GARBAGE COLLECT
2959.53/2969.51 c #Conflicts: 1372000 | #Constraints: 23626
2959.53/2969.51 c #Conflicts: 1373000 | #Constraints: 24626
2959.53/2969.51 c #Conflicts: 1374000 | #Constraints: 25626
2959.53/2969.51 c #Conflicts: 1375000 | #Constraints: 26626
2959.53/2969.51 c #Conflicts: 1376000 | #Constraints: 27626
2959.53/2969.51 c #Conflicts: 1377000 | #Constraints: 28626
2959.53/2969.51 c #Conflicts: 1378000 | #Constraints: 29626
2959.53/2969.51 c #Conflicts: 1379000 | #Constraints: 30626
2959.53/2969.51 c #Conflicts: 1380000 | #Constraints: 31626
2959.53/2969.51 c #Conflicts: 1381000 | #Constraints: 32626
2959.53/2969.51 c #Conflicts: 1382000 | #Constraints: 33626
2959.53/2969.51 c #Conflicts: 1383000 | #Constraints: 34626
2959.53/2969.51 c #Conflicts: 1384000 | #Constraints: 35626
2959.53/2969.51 c #Conflicts: 1385000 | #Constraints: 36626
2959.53/2969.51 c #Conflicts: 1386000 | #Constraints: 37626
2959.53/2969.51 c #Conflicts: 1387000 | #Constraints: 38626
2959.53/2969.51 c #Conflicts: 1388000 | #Constraints: 39626
2959.53/2969.51 c #Conflicts: 1389000 | #Constraints: 40626
2959.53/2969.51 c #Conflicts: 1390000 | #Constraints: 41626
2959.53/2969.51 c #Conflicts: 1391000 | #Constraints: 42626
2959.53/2969.51 c #Conflicts: 1392000 | #Constraints: 43626
2959.53/2969.51 c #Conflicts: 1393000 | #Constraints: 44626
2959.53/2969.51 c #Conflicts: 1394000 | #Constraints: 45626
2959.53/2969.51 c #Conflicts: 1395000 | #Constraints: 46626
2959.53/2969.51 c INPROCESSING
2959.53/2969.51 c GARBAGE COLLECT
2959.53/2969.51 c #Conflicts: 1396000 | #Constraints: 24227
2959.53/2969.51 c #Conflicts: 1397000 | #Constraints: 25227
2959.53/2969.51 c #Conflicts: 1398000 | #Constraints: 26227
2959.53/2969.51 c #Conflicts: 1399000 | #Constraints: 27227
2959.53/2969.51 c #Conflicts: 1400000 | #Constraints: 28227
2959.53/2969.51 c #Conflicts: 1401000 | #Constraints: 29227
2959.53/2969.51 c #Conflicts: 1402000 | #Constraints: 30227
2959.53/2969.51 c #Conflicts: 1403000 | #Constraints: 31227
2959.53/2969.51 c #Conflicts: 1404000 | #Constraints: 32227
2959.53/2969.51 c #Conflicts: 1405000 | #Constraints: 33227
2959.53/2969.51 c #Conflicts: 1406000 | #Constraints: 34227
2959.53/2969.51 c #Conflicts: 1407000 | #Constraints: 35227
2959.53/2969.51 c #Conflicts: 1408000 | #Constraints: 36227
2959.53/2969.51 c #Conflicts: 1409000 | #Constraints: 37227
2959.53/2969.51 c #Conflicts: 1410000 | #Constraints: 38227
2959.53/2969.51 c #Conflicts: 1411000 | #Constraints: 39227
2959.53/2969.51 c #Conflicts: 1412000 | #Constraints: 40227
2959.53/2969.51 c #Conflicts: 1413000 | #Constraints: 41227
2959.53/2969.51 c #Conflicts: 1414000 | #Constraints: 42227
2959.53/2969.51 c #Conflicts: 1415000 | #Constraints: 43227
2959.53/2969.51 c #Conflicts: 1416000 | #Constraints: 44227
2959.53/2969.51 c #Conflicts: 1417000 | #Constraints: 45227
2959.53/2969.51 c #Conflicts: 1418000 | #Constraints: 46227
2959.53/2969.51 c #Conflicts: 1419000 | #Constraints: 47227
2959.53/2969.51 c INPROCESSING
2959.53/2969.51 c GARBAGE COLLECT
2959.53/2969.51 c #Conflicts: 1420000 | #Constraints: 24629
2959.53/2969.51 c #Conflicts: 1421000 | #Constraints: 25629
2959.53/2969.51 c #Conflicts: 1422000 | #Constraints: 26629
2959.53/2969.51 c #Conflicts: 1423000 | #Constraints: 27629
2959.53/2969.51 c #Conflicts: 1424000 | #Constraints: 28629
2959.53/2969.51 c #Conflicts: 1425000 | #Constraints: 29629
2959.53/2969.51 c #Conflicts: 1426000 | #Constraints: 30629
2959.53/2969.51 c #Conflicts: 1427000 | #Constraints: 31629
3231.02/3241.92 c #Conflicts: 1428000 | #Constraints: 32629
3231.02/3241.92 c #Conflicts: 1429000 | #Constraints: 33629
3231.02/3241.92 c #Conflicts: 1430000 | #Constraints: 34629
3231.02/3241.92 c #Conflicts: 1431000 | #Constraints: 35629
3231.02/3241.92 c #Conflicts: 1432000 | #Constraints: 36629
3231.02/3241.92 c #Conflicts: 1433000 | #Constraints: 37629
3231.02/3241.92 c #Conflicts: 1434000 | #Constraints: 38629
3231.02/3241.92 c #Conflicts: 1435000 | #Constraints: 39629
3231.02/3241.92 c #Conflicts: 1436000 | #Constraints: 40629
3231.02/3241.92 c #Conflicts: 1437000 | #Constraints: 41629
3231.02/3241.92 c #Conflicts: 1438000 | #Constraints: 42629
3231.02/3241.92 c #Conflicts: 1439000 | #Constraints: 43629
3231.02/3241.92 c #Conflicts: 1440000 | #Constraints: 44629
3231.02/3241.92 c #Conflicts: 1441000 | #Constraints: 45629
3231.02/3241.92 c #Conflicts: 1442000 | #Constraints: 46629
3231.02/3241.92 c #Conflicts: 1443000 | #Constraints: 47629
3231.02/3241.92 c INPROCESSING
3231.02/3241.92 c GARBAGE COLLECT
3231.02/3241.92 c #Conflicts: 1444000 | #Constraints: 24829
3231.02/3241.92 c #Conflicts: 1445000 | #Constraints: 25829
3231.02/3241.92 c #Conflicts: 1446000 | #Constraints: 26829
3231.02/3241.93 c #Conflicts: 1447000 | #Constraints: 27829
3231.02/3241.93 c #Conflicts: 1448000 | #Constraints: 28829
3231.02/3241.93 c #Conflicts: 1449000 | #Constraints: 29829
3231.02/3241.93 c #Conflicts: 1450000 | #Constraints: 30829
3231.02/3241.93 c #Conflicts: 1451000 | #Constraints: 31829
3231.02/3241.93 c #Conflicts: 1452000 | #Constraints: 32829
3231.02/3241.93 c #Conflicts: 1453000 | #Constraints: 33829
3231.02/3241.93 c #Conflicts: 1454000 | #Constraints: 34829
3231.02/3241.93 c #Conflicts: 1455000 | #Constraints: 35829
3231.02/3241.93 c #Conflicts: 1456000 | #Constraints: 36829
3231.02/3241.93 c #Conflicts: 1457000 | #Constraints: 37829
3231.02/3241.93 c #Conflicts: 1458000 | #Constraints: 38829
3231.02/3241.93 c #Conflicts: 1459000 | #Constraints: 39829
3231.02/3241.93 c #Conflicts: 1460000 | #Constraints: 40829
3231.02/3241.93 c #Conflicts: 1461000 | #Constraints: 41829
3231.02/3241.93 c #Conflicts: 1462000 | #Constraints: 42829
3231.02/3241.93 c #Conflicts: 1463000 | #Constraints: 43829
3231.02/3241.93 c #Conflicts: 1464000 | #Constraints: 44829
3231.02/3241.93 c #Conflicts: 1465000 | #Constraints: 45829
3231.02/3241.93 c #Conflicts: 1466000 | #Constraints: 46829
3231.02/3241.93 c #Conflicts: 1467000 | #Constraints: 47829
3231.02/3241.93 c INPROCESSING
3231.02/3241.93 c GARBAGE COLLECT
3231.02/3241.93 c #Conflicts: 1468000 | #Constraints: 24828
3231.02/3241.93 c #Conflicts: 1469000 | #Constraints: 25828
3231.02/3241.93 c #Conflicts: 1470000 | #Constraints: 26828
3231.02/3241.93 c #Conflicts: 1471000 | #Constraints: 27828
3231.02/3241.93 c #Conflicts: 1472000 | #Constraints: 28828
3231.02/3241.93 c #Conflicts: 1473000 | #Constraints: 29828
3231.02/3241.93 c #Conflicts: 1474000 | #Constraints: 30828
3231.02/3241.93 c #Conflicts: 1475000 | #Constraints: 31828
3231.02/3241.93 c #Conflicts: 1476000 | #Constraints: 32828
3231.02/3241.93 c #Conflicts: 1477000 | #Constraints: 33828
3231.02/3241.93 c #Conflicts: 1478000 | #Constraints: 34828
3231.02/3241.93 c #Conflicts: 1479000 | #Constraints: 35828
3231.02/3241.93 c #Conflicts: 1480000 | #Constraints: 36828
3231.02/3241.93 c #Conflicts: 1481000 | #Constraints: 37828
3231.02/3241.93 c #Conflicts: 1482000 | #Constraints: 38828
3231.02/3241.93 c #Conflicts: 1483000 | #Constraints: 39828
3231.02/3241.93 c #Conflicts: 1484000 | #Constraints: 40828
3231.02/3241.93 c #Conflicts: 1485000 | #Constraints: 41828
3231.02/3241.93 c #Conflicts: 1486000 | #Constraints: 42828
3231.02/3241.93 c #Conflicts: 1487000 | #Constraints: 43828
3231.02/3241.93 c #Conflicts: 1488000 | #Constraints: 44828
3231.02/3241.93 c #Conflicts: 1489000 | #Constraints: 45828
3231.02/3241.93 c #Conflicts: 1490000 | #Constraints: 46828
3231.02/3241.93 c #Conflicts: 1491000 | #Constraints: 47828
3231.02/3241.93 c INPROCESSING
3231.02/3241.93 c GARBAGE COLLECT
3231.02/3241.93 c #Conflicts: 1492000 | #Constraints: 24626
3231.02/3241.93 c #Conflicts: 1493000 | #Constraints: 25626
3231.02/3241.93 c #Conflicts: 1494000 | #Constraints: 26626
3231.02/3241.93 c #Conflicts: 1495000 | #Constraints: 27626
3231.02/3241.93 c #Conflicts: 1496000 | #Constraints: 28626
3231.02/3241.93 c #Conflicts: 1497000 | #Constraints: 29626
3231.02/3241.93 c #Conflicts: 1498000 | #Constraints: 30626
3231.02/3241.93 c #Conflicts: 1499000 | #Constraints: 31626
3231.02/3241.93 c #Conflicts: 1500000 | #Constraints: 32626
3231.02/3241.93 c #Conflicts: 1501000 | #Constraints: 33626
3231.02/3241.93 c #Conflicts: 1502000 | #Constraints: 34626
3231.02/3241.93 c #Conflicts: 1503000 | #Constraints: 35626
3231.02/3241.93 c #Conflicts: 1504000 | #Constraints: 36626
3509.48/3521.34 c #Conflicts: 1505000 | #Constraints: 37626
3509.48/3521.34 c #Conflicts: 1506000 | #Constraints: 38626
3509.48/3521.34 c #Conflicts: 1507000 | #Constraints: 39626
3509.48/3521.34 c #Conflicts: 1508000 | #Constraints: 40626
3509.48/3521.34 c #Conflicts: 1509000 | #Constraints: 41626
3509.48/3521.34 c #Conflicts: 1510000 | #Constraints: 42626
3509.48/3521.34 c #Conflicts: 1511000 | #Constraints: 43626
3509.48/3521.34 c #Conflicts: 1512000 | #Constraints: 44626
3509.48/3521.34 c #Conflicts: 1513000 | #Constraints: 45626
3509.48/3521.34 c #Conflicts: 1514000 | #Constraints: 46626
3509.48/3521.34 c #Conflicts: 1515000 | #Constraints: 47626
3509.48/3521.34 c #Conflicts: 1516000 | #Constraints: 48626
3509.48/3521.34 c INPROCESSING
3509.48/3521.34 c GARBAGE COLLECT
3509.48/3521.34 c #Conflicts: 1517000 | #Constraints: 25227
3509.48/3521.34 c #Conflicts: 1518000 | #Constraints: 26227
3509.48/3521.34 c #Conflicts: 1519000 | #Constraints: 27227
3509.48/3521.34 c #Conflicts: 1520000 | #Constraints: 28227
3509.48/3521.34 c #Conflicts: 1521000 | #Constraints: 29227
3509.48/3521.34 c #Conflicts: 1522000 | #Constraints: 30227
3509.48/3521.34 c #Conflicts: 1523000 | #Constraints: 31227
3509.48/3521.34 c #Conflicts: 1524000 | #Constraints: 32227
3509.48/3521.34 c #Conflicts: 1525000 | #Constraints: 33227
3509.48/3521.34 c #Conflicts: 1526000 | #Constraints: 34227
3509.48/3521.34 c #Conflicts: 1527000 | #Constraints: 35227
3509.48/3521.34 c #Conflicts: 1528000 | #Constraints: 36227
3509.48/3521.34 c #Conflicts: 1529000 | #Constraints: 37227
3509.48/3521.34 c #Conflicts: 1530000 | #Constraints: 38227
3509.48/3521.34 c #Conflicts: 1531000 | #Constraints: 39227
3509.48/3521.34 c #Conflicts: 1532000 | #Constraints: 40227
3509.48/3521.34 c #Conflicts: 1533000 | #Constraints: 41227
3509.48/3521.34 c #Conflicts: 1534000 | #Constraints: 42227
3509.48/3521.34 c #Conflicts: 1535000 | #Constraints: 43227
3509.48/3521.34 c #Conflicts: 1536000 | #Constraints: 44227
3509.48/3521.34 c #Conflicts: 1537000 | #Constraints: 45227
3509.48/3521.34 c #Conflicts: 1538000 | #Constraints: 46227
3509.48/3521.34 c #Conflicts: 1539000 | #Constraints: 47227
3509.48/3521.34 c #Conflicts: 1540000 | #Constraints: 48227
3509.48/3521.34 c #Conflicts: 1541000 | #Constraints: 49227
3509.48/3521.34 c INPROCESSING
3509.48/3521.34 c GARBAGE COLLECT
3509.48/3521.34 c #Conflicts: 1542000 | #Constraints: 25630
3509.48/3521.34 c #Conflicts: 1543000 | #Constraints: 26630
3509.48/3521.34 c #Conflicts: 1544000 | #Constraints: 27630
3509.48/3521.34 c #Conflicts: 1545000 | #Constraints: 28630
3509.48/3521.34 c #Conflicts: 1546000 | #Constraints: 29630
3509.48/3521.34 c #Conflicts: 1547000 | #Constraints: 30630
3509.48/3521.34 c #Conflicts: 1548000 | #Constraints: 31630
3509.48/3521.34 c #Conflicts: 1549000 | #Constraints: 32630
3509.48/3521.34 c #Conflicts: 1550000 | #Constraints: 33630
3509.48/3521.34 c #Conflicts: 1551000 | #Constraints: 34630
3509.48/3521.34 c #Conflicts: 1552000 | #Constraints: 35630
3509.48/3521.34 c #Conflicts: 1553000 | #Constraints: 36630
3509.48/3521.34 c #Conflicts: 1554000 | #Constraints: 37630
3509.48/3521.34 c #Conflicts: 1555000 | #Constraints: 38630
3509.48/3521.34 c #Conflicts: 1556000 | #Constraints: 39630
3509.48/3521.34 c #Conflicts: 1557000 | #Constraints: 40630
3509.48/3521.34 c #Conflicts: 1558000 | #Constraints: 41630
3509.48/3521.34 c #Conflicts: 1559000 | #Constraints: 42630
3509.48/3521.34 c #Conflicts: 1560000 | #Constraints: 43630
3509.48/3521.34 c #Conflicts: 1561000 | #Constraints: 44630
3509.48/3521.34 c #Conflicts: 1562000 | #Constraints: 45630
3509.48/3521.34 c #Conflicts: 1563000 | #Constraints: 46630
3509.48/3521.34 c #Conflicts: 1564000 | #Constraints: 47630
3509.48/3521.34 c #Conflicts: 1565000 | #Constraints: 48630
3509.48/3521.34 c #Conflicts: 1566000 | #Constraints: 49630
3509.48/3521.34 c INPROCESSING
3509.48/3521.34 c GARBAGE COLLECT
3509.48/3521.34 c #Conflicts: 1567000 | #Constraints: 25831
3509.48/3521.34 c #Conflicts: 1568000 | #Constraints: 26831
3509.48/3521.34 c #Conflicts: 1569000 | #Constraints: 27831
3509.48/3521.34 c #Conflicts: 1570000 | #Constraints: 28831
3509.48/3521.34 c #Conflicts: 1571000 | #Constraints: 29831
3509.48/3521.34 c #Conflicts: 1572000 | #Constraints: 30831
3509.48/3521.34 c #Conflicts: 1573000 | #Constraints: 31831
3509.48/3521.34 c #Conflicts: 1574000 | #Constraints: 32831
3509.48/3521.34 c #Conflicts: 1575000 | #Constraints: 33831
3509.48/3521.34 c #Conflicts: 1576000 | #Constraints: 34831
3509.48/3521.34 c #Conflicts: 1577000 | #Constraints: 35831
3509.48/3521.34 c #Conflicts: 1578000 | #Constraints: 36831
3509.48/3521.34 c #Conflicts: 1579000 | #Constraints: 37831
3509.48/3521.34 c #Conflicts: 1580000 | #Constraints: 38831
3509.48/3521.34 c #Conflicts: 1581000 | #Constraints: 39831
3600.07/3612.20 c #Conflicts: 1582000 | #Constraints: 40831
3600.07/3612.20 c #Conflicts: 1583000 | #Constraints: 41831
3600.07/3612.20 c #Conflicts: 1584000 | #Constraints: 42831
3600.07/3612.20 c #Conflicts: 1585000 | #Constraints: 43831
3600.07/3612.20 c #Conflicts: 1586000 | #Constraints: 44831
3600.07/3612.20 c #Conflicts: 1587000 | #Constraints: 45831
3600.07/3612.20 c #Conflicts: 1588000 | #Constraints: 46831
3600.07/3612.20 c #Conflicts: 1589000 | #Constraints: 47831
3600.07/3612.20 c #Conflicts: 1590000 | #Constraints: 48831
3600.07/3612.20 c #Conflicts: 1591000 | #Constraints: 49831
3600.07/3612.20 c INPROCESSING
3600.07/3612.20 c GARBAGE COLLECT
3600.07/3612.20 c #Conflicts: 1592000 | #Constraints: 25830
3600.07/3612.20 c #Conflicts: 1593000 | #Constraints: 26830
3600.07/3612.20 c #Conflicts: 1594000 | #Constraints: 27830
3600.07/3612.20 c #Conflicts: 1595000 | #Constraints: 28830
3600.07/3612.20 c #Conflicts: 1596000 | #Constraints: 29830
3600.07/3612.20 c #Conflicts: 1597000 | #Constraints: 30830
3600.07/3612.20 c #Conflicts: 1598000 | #Constraints: 31830
3600.07/3612.20 c #Conflicts: 1599000 | #Constraints: 32830
3600.07/3612.20 c #Conflicts: 1600000 | #Constraints: 33830
3600.07/3612.20 c #Conflicts: 1601000 | #Constraints: 34830
3600.07/3612.20 c #Conflicts: 1602000 | #Constraints: 35830
3600.07/3612.20 c #Conflicts: 1603000 | #Constraints: 36830
3600.07/3612.20 c #Conflicts: 1604000 | #Constraints: 37830
3600.07/3612.20 c Program interrupted by user.
3600.07/3612.20 c cpu time 3591.51 s
3600.07/3612.20 c deterministic time 585333129139 5.85e+11
3600.07/3612.20 c optimization time 48.5246 s
3600.07/3612.20 c total solve time 3542.99 s
3600.07/3612.20 c core-guided solve time 3542.99 s
3600.07/3612.20 c propagation time 3449.82 s
3600.07/3612.20 c conflict analysis time 128.164 s
3600.07/3612.20 c propagations 19153215
3600.07/3612.20 c resolve steps 7252906
3600.07/3612.20 c decisions 3755150
3600.07/3612.20 c conflicts 1604524
3600.07/3612.20 c restarts 3069
3600.07/3612.20 c inprocessing phases 117
3600.07/3612.20 c input clauses 1
3600.07/3612.20 c input cardinalities 0
3600.07/3612.20 c input general constraints 16
3600.07/3612.20 c input average constraint length 64.65
3600.07/3612.20 c input average constraint degree 1561.65
3600.07/3612.20 c learned clauses 624692
3600.07/3612.20 c learned cardinalities 0
3600.07/3612.20 c learned general constraints 979831
3600.07/3612.20 c learned average constraint length 54.92
3600.07/3612.20 c learned average constraint degree 54335.59
3600.07/3612.20 c watched constraints 967996
3600.07/3612.20 c counting constraints 11851
3600.07/3612.20 c gcd simplifications 527071
3600.07/3612.20 c detected cardinalities 0
3600.07/3612.20 c weakened non-implied lits 12170966
3600.07/3612.20 c weakened non-implying lits 598401
3600.07/3612.20 c original variables 71
3600.07/3612.20 c clausal propagations 413570
3600.07/3612.20 c cardinality propagations 0
3600.07/3612.20 c watched propagations 9504341
3600.07/3612.20 c counting propagations 8259026
3600.07/3612.20 c watch lookups 28386802948
3600.07/3612.20 c watch backjump lookups 16763005431
3600.07/3612.20 c watch checks 400175820890
3600.07/3612.20 c propagation checks 139387111393
3600.07/3612.20 c constraint additions 572967292
3600.07/3612.20 c trail pops 24512819
3600.07/3612.20 c formula constraints 17
3600.07/3612.20 c learned constraints 1604523
3600.07/3612.20 c bound constraints 0
3600.07/3612.20 c core-guided constraints 0
3600.07/3612.20 c encountered formula constraints 2986060
3600.07/3612.20 c encountered learned constraints 5871370
3600.07/3612.20 c encountered bound constraints 0
3600.07/3612.20 c encountered core-guided constraints 0
3600.07/3612.20 c LP total time 0 s
3600.07/3612.20 c LP solve time 0 s
3600.07/3612.20 c LP constraints added 0
3600.07/3612.20 c LP constraints removed 0
3600.07/3612.20 c LP pivots internal 0
3600.07/3612.20 c LP pivots root 0
3600.07/3612.20 c LP calls 0
3600.07/3612.20 c LP optimalities 0
3600.07/3612.20 c LP no pivot count 0
3600.07/3612.20 c LP infeasibilities 0
3600.07/3612.20 c LP valid Farkas constraints 0
3600.07/3612.20 c LP learned Farkas constraints 0
3600.07/3612.20 c LP basis resets 0
3600.07/3612.20 c LP cycling count 0
3600.07/3612.20 c LP singular count 0
3600.07/3612.20 c LP no primal count 0
3600.07/3612.20 c LP no farkas count 0
3600.07/3612.20 c LP other issue count 0
3600.07/3612.20 c LP Gomory cuts 0
3600.07/3612.20 c LP learned cuts 0
3600.07/3612.20 c LP deleted cuts 0
3600.07/3612.20 c LP encountered Gomory constraints 0
3600.07/3612.20 c LP encountered Farkas constraints 0
3600.07/3612.20 c LP encountered learned Farkas constraints 0
3600.07/3612.20 c CG auxiliary variables introduced 0
3600.07/3612.20 c CG solutions found 0
3600.07/3612.20 c CG cores constructed 0
3600.07/3612.20 c CG core cardinality constraints returned 0
3600.07/3612.20 c CG unit cores 0
3600.07/3612.20 c CG single cores 0
3600.07/3612.20 c CG blocks removed during cardinality reduction 0
3600.07/3612.20 c CG first core best 0
3600.07/3612.20 c CG decision core best 0
3600.07/3612.20 c CG core reduction tie 0
3600.07/3612.20 c CG core degree average 0.00
3600.07/3612.20 c CG core slack average 0.00
3600.07/3612.20 c CG exhausted 0
3600.07/3612.20 c CG exhaust time 0 s
3600.07/3612.20 c CG trimmed 0
3600.07/3612.20 c CG trim time 0 s
3600.07/3612.20 c CG minimized 0
3600.07/3612.20 c CG minimize time 0 s
3600.07/3612.20 c CG am1 prop time 0 s
3600.07/3612.20 c CG # am1s reformulated 0
3600.07/3612.20 c CG lower bound derived from am1s 0
3600.07/3612.20 c CG # clausal cores 0
3600.07/3612.20 c CG # cardinality cores 0
3600.07/3612.20 c CG # pb cores 0
3600.07/3612.20 c CG # pb reforms 0
3600.07/3612.20 c CG # cores discarded because of pb reform 0
3600.07/3612.20 d LOWERBOUND 0
3600.07/3612.20 d NCORES 0
3600.07/3612.20 d NPBCORES 0
3600.07/3612.20 d NPBREFORM 0
3600.07/3612.20 d NTRIMMED 0
3600.07/3612.20 d NEXHAUSTED 0
3600.07/3612.20 d NAM1S 0
3600.07/3612.20 d AM1LB 0
3600.07/3612.20 s UNKNOWN
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: 63931 MiB (62535 MiB free)
memory of node 1: 64510 MiB (63218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454343-1721471117/watcher-4454343-1721471117 -o /tmp/evaluation-result-4454343-1721471117/solver-4454343-1721471117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049279 --watchdog 3760 pb-oll-rs HOME/instance-4454343-1721471117.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=1052303, runsolver pid=1052300
[startup+0.100577 s]*
/proc/loadavg: 4.14 4.13 4.09 5/257 1052304
/proc/meminfo: memFree=128771200/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=39180 memory=6848 CPUtime=0.09 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 497 0 0 0 8 1 0 0 20 0 1 0 199276591 40120320 1712 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 9795 1712 1374 291 0 1329 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39180 KiB
Current children cumulated memory: 6848 KiB
[startup+0.205158 s]*
/proc/loadavg: 4.14 4.13 4.09 5/257 1052304
/proc/meminfo: memFree=128770920/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=39312 memory=7112 CPUtime=0.19 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 579 0 0 0 18 1 0 0 20 0 1 0 199276591 40255488 1778 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 9828 1778 1374 291 0 1362 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39312 KiB
Current children cumulated memory: 7112 KiB
[startup+0.304141 s]*
/proc/loadavg: 4.14 4.13 4.09 5/257 1052304
/proc/meminfo: memFree=128768396/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=39448 memory=9648 CPUtime=0.29 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 632 0 0 0 27 2 0 0 20 0 1 0 199276591 40394752 2412 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 9862 2412 1435 291 0 1396 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39448 KiB
Current children cumulated memory: 9648 KiB
[startup+0.700141 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1052304
/proc/meminfo: memFree=128767920/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=40000 memory=9912 CPUtime=0.68 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 757 0 0 0 66 2 0 0 20 0 1 0 199276591 40960000 2478 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 10000 2478 1435 291 0 1534 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40000 KiB
Current children cumulated memory: 9912 KiB
[startup+1.50014 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1052304
/proc/meminfo: memFree=128767240/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=40544 memory=10608 CPUtime=1.48 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 891 0 0 0 144 4 0 0 20 0 1 0 199276591 41517056 2652 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 10136 2652 1435 291 0 1670 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40544 KiB
Current children cumulated memory: 10608 KiB
[startup+3.10482 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 1052304
/proc/meminfo: memFree=128766264/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=41268 memory=11132 CPUtime=3.08 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 1028 0 0 0 301 7 0 0 20 0 1 0 199276591 42258432 2783 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 10317 2783 1435 291 0 1851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41268 KiB
Current children cumulated memory: 11132 KiB
[startup+6.30014 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 1052305
/proc/meminfo: memFree=128764748/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=42036 memory=11968 CPUtime=6.27 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 1214 0 0 0 615 12 0 0 20 0 1 0 199276591 43044864 2992 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 10509 2992 1435 291 0 2043 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42036 KiB
Current children cumulated memory: 11968 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1052305
/proc/meminfo: memFree=128761808/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=42740 memory=13328 CPUtime=12.65 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 1614 0 0 0 1248 17 0 0 20 0 1 0 199276591 43765760 3332 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 10685 3332 1435 291 0 2219 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42740 KiB
Current children cumulated memory: 13328 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.09 5/257 1052308
/proc/meminfo: memFree=128758684/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=46648 memory=15012 CPUtime=25.41 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 2031 0 0 0 2514 27 0 0 20 0 1 0 199276591 47767552 3753 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 11662 3753 1435 291 0 3196 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46648 KiB
Current children cumulated memory: 15012 KiB
[startup+51.1046 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1052312
/proc/meminfo: memFree=128751860/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=47992 memory=17684 CPUtime=50.94 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 2645 0 0 0 5052 42 0 0 20 0 1 0 199276591 49143808 4421 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 11998 4421 1435 291 0 3532 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 47992 KiB
Current children cumulated memory: 17684 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.20 4.12 5/256 1052457
/proc/meminfo: memFree=128725332/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=53820 memory=20984 CPUtime=101.97 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 3377 0 0 0 10129 68 0 0 20 0 1 0 199276591 55111680 5246 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 13455 5246 1435 291 0 4989 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 53820 KiB
Current children cumulated memory: 20984 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/257 1052637
/proc/meminfo: memFree=128712136/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=55180 memory=23308 CPUtime=161.77 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 3992 0 0 0 16081 96 0 0 20 0 1 0 199276591 56504320 5827 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 13795 5827 1435 291 0 5329 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 55180 KiB
Current children cumulated memory: 23308 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/257 1052647
/proc/meminfo: memFree=128704772/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=55828 memory=26636 CPUtime=221.57 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 4356 0 0 0 22033 124 0 0 20 0 1 0 199276591 57167872 6659 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 13957 6659 1435 291 0 5491 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 55828 KiB
Current children cumulated memory: 26636 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/259 1052715
/proc/meminfo: memFree=128693328/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=56988 memory=27640 CPUtime=281.37 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 4718 0 0 0 27988 149 0 0 20 0 1 0 199276591 58355712 6910 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 14247 6910 1435 291 0 5781 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 56988 KiB
Current children cumulated memory: 27640 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 1052727
/proc/meminfo: memFree=128690820/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=58688 memory=28744 CPUtime=341.16 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 5057 0 0 0 33945 171 0 0 20 0 1 0 199276591 60096512 7186 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 14672 7186 1435 291 0 6206 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 58688 KiB
Current children cumulated memory: 28744 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/258 1052737
/proc/meminfo: memFree=128679476/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=59328 memory=30612 CPUtime=400.95 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 5300 0 0 0 39902 193 0 0 20 0 1 0 199276591 60751872 7653 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 14832 7653 1435 291 0 6366 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 59328 KiB
Current children cumulated memory: 30612 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/258 1052747
/proc/meminfo: memFree=128676632/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=66764 memory=31140 CPUtime=460.76 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 5487 0 0 0 45865 211 0 0 20 0 1 0 199276591 68366336 7785 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 16691 7785 1435 291 0 8225 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 52500 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/256 1053748
/proc/meminfo: memFree=128578708/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=90624 memory=52528 CPUtime=2852.7 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 9854 0 0 0 284538 732 0 0 20 0 1 0 199276591 92798976 13132 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 22656 13132 1435 291 0 14190 0
Current children cumulated CPU time: 2852.7 s
Current children cumulated vsize: 90624 KiB
Current children cumulated memory: 52528 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1053760
/proc/meminfo: memFree=128576392/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=90952 memory=52784 CPUtime=2912.5 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 9955 0 0 0 290504 746 0 0 20 0 1 0 199276591 93134848 13196 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 22738 13196 1435 291 0 14272 0
Current children cumulated CPU time: 2912.5 s
Current children cumulated vsize: 90952 KiB
Current children cumulated memory: 52784 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 1053770
/proc/meminfo: memFree=128574756/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=91208 memory=52968 CPUtime=2972.29 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10044 0 0 0 296474 755 0 0 20 0 1 0 199276591 93396992 13242 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 22802 13242 1435 291 0 14336 0
Current children cumulated CPU time: 2972.29 s
Current children cumulated vsize: 91208 KiB
Current children cumulated memory: 52968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1053780
/proc/meminfo: memFree=128570168/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=91464 memory=53748 CPUtime=3032.08 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10131 0 0 0 302442 766 0 0 20 0 1 0 199276591 93659136 13437 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 22866 13437 1435 291 0 14400 0
Current children cumulated CPU time: 3032.08 s
Current children cumulated vsize: 91464 KiB
Current children cumulated memory: 53748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/254 1053790
/proc/meminfo: memFree=128569696/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=91464 memory=53748 CPUtime=3091.89 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10160 0 0 0 308415 774 0 0 20 0 1 0 199276591 93659136 13437 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 22866 13437 1435 291 0 14400 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 91464 KiB
Current children cumulated memory: 53748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 1053801
/proc/meminfo: memFree=128568488/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=92488 memory=54376 CPUtime=3151.68 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10357 0 0 0 314383 785 0 0 20 0 1 0 199276591 94707712 13594 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23122 13594 1435 291 0 14656 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 92488 KiB
Current children cumulated memory: 54376 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/254 1053811
/proc/meminfo: memFree=128567444/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=93256 memory=54820 CPUtime=3211.48 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10508 0 0 0 320353 795 0 0 20 0 1 0 199276591 95494144 13705 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23314 13705 1435 291 0 14848 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 93256 KiB
Current children cumulated memory: 54820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 1053825
/proc/meminfo: memFree=128566184/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=93256 memory=55008 CPUtime=3271.28 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10531 0 0 0 326324 804 0 0 20 0 1 0 199276591 95494144 13752 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23314 13752 1435 291 0 14848 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 93256 KiB
Current children cumulated memory: 55008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 1053837
/proc/meminfo: memFree=128564392/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=93512 memory=55184 CPUtime=3331.08 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10617 0 0 0 332292 816 0 0 20 0 1 0 199276591 95756288 13796 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23378 13796 1435 291 0 14912 0
Current children cumulated CPU time: 3331.08 s
Current children cumulated vsize: 93512 KiB
Current children cumulated memory: 55184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 1053847
/proc/meminfo: memFree=128563436/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=93892 memory=55760 CPUtime=3390.87 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10739 0 0 0 338260 827 0 0 20 0 1 0 199276591 96145408 13940 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23473 13940 1435 291 0 15007 0
Current children cumulated CPU time: 3390.87 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 55760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1053858
/proc/meminfo: memFree=128561136/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=93892 memory=55908 CPUtime=3450.68 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10763 0 0 0 344232 836 0 0 20 0 1 0 199276591 96145408 13977 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23473 13977 1435 291 0 15007 0
Current children cumulated CPU time: 3450.68 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 55908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1053870
/proc/meminfo: memFree=128560204/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=93892 memory=55908 CPUtime=3510.48 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10783 0 0 0 350205 843 0 0 20 0 1 0 199276591 96145408 13977 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23473 13977 1435 291 0 15007 0
Current children cumulated CPU time: 3510.48 s
Current children cumulated vsize: 93892 KiB
Current children cumulated memory: 55908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 1054360
/proc/meminfo: memFree=128065056/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=94148 memory=56028 CPUtime=3570.27 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10874 0 0 0 356175 852 0 0 20 0 1 0 199276591 96407552 14007 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23537 14007 1435 291 0 15071 0
Current children cumulated CPU time: 3570.27 s
Current children cumulated vsize: 94148 KiB
Current children cumulated memory: 56028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1054364
/proc/meminfo: memFree=127186396/131524600 swapFree=131071996/131071996
[pid=1052303] ppid=1052300 vsize=94148 memory=56028 CPUtime=3600.07 cores=0,2
/proc/1052303/stat : 1052303 (pb-oll-rs) R 1052300 1052303 1049269 0 -1 4194304 10876 0 0 0 359150 857 0 0 20 0 1 0 199276591 96407552 14007 134679101440 4194304 5384485 140736301505456 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 27234304 140736301507605 140736301507682 140736301507682 140736301514699 0
/proc/1052303/statm: 23537 14007 1435 291 0 15071 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 94148 KiB
Current children cumulated memory: 56028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 1052303 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.51 s, system=8.57252 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.2
CPU time (s): 3600.08
CPU user time (s): 3591.51
CPU system time (s): 8.57252
CPU usage (%): 99.6645
Max. virtual memory (cumulated for all children) (KiB): 94148
Max. memory (cumulated for all children) (KiB): 56028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.51
system time used= 8.57252
maximum resident set size= 56464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10893
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= 31
involuntary context switches= 24694
# summary of solver processes directly reported to runsolver:
# pid: 1052303
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.51
# total CPU system time (s): 8.57252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91135 second user time and 15.6479 second system time
The end
Begin job on nodeC024 at 2024-07-20 12:25:30
IDJOB=4454343
IDBENCH=147613
IDSOLVER=3082
FILE ID=nodeC024/4454343-1721471117
RUNJOBID= nodeC024-1721467479-1049279
SLURM_JOB_ID= 7545720
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454343-1721471117/watcher-4454343-1721471117 -o /tmp/evaluation-result-4454343-1721471117/solver-4454343-1721471117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049279 --watchdog 3760 pb-oll-rs HOME/instance-4454343-1721471117.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=451243531
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.735
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3688.109
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3657.196
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3600.189
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3683.406
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3688.203
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3640.111
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128773384 kB
MemAvailable: 129676032 kB
Buffers: 555608 kB
Cached: 1190696 kB
SwapCached: 0 kB
Active: 1061208 kB
Inactive: 1074980 kB
Active(anon): 1540 kB
Inactive(anon): 434232 kB
Active(file): 1059668 kB
Inactive(file): 640748 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2000 kB
Writeback: 20 kB
AnonPages: 389824 kB
Mapped: 111684 kB
Shmem: 45912 kB
KReclaimable: 83760 kB
Slab: 196044 kB
SReclaimable: 83760 kB
SUnreclaim: 112284 kB
KernelStack: 4096 kB
PageTables: 9944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 894752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC024 at 2024-07-20 13:25:42