0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 2130 #constraints 2544
0.00/0.02 c SMALL=int, LARGE=long long
40.97/41.15 c bounds - >= 5 @ 0.010608
40.97/41.15 c #Conflicts: 1000 | #Constraints: 3543
40.97/41.15 c #Conflicts: 2000 | #Constraints: 4543
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 3000 | #Constraints: 2427
40.97/41.15 c #Conflicts: 4000 | #Constraints: 3427
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 5000 | #Constraints: 2832
40.97/41.15 c #Conflicts: 6000 | #Constraints: 3832
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 7000 | #Constraints: 2845
40.97/41.15 c #Conflicts: 8000 | #Constraints: 3845
40.97/41.15 c #Conflicts: 9000 | #Constraints: 4845
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 10000 | #Constraints: 3535
40.97/41.15 c #Conflicts: 11000 | #Constraints: 4535
40.97/41.15 c #Conflicts: 12000 | #Constraints: 5535
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 13000 | #Constraints: 3986
40.97/41.15 c #Conflicts: 14000 | #Constraints: 4986
40.97/41.15 c #Conflicts: 15000 | #Constraints: 5986
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 16000 | #Constraints: 4219
40.97/41.15 c #Conflicts: 17000 | #Constraints: 5219
40.97/41.15 c #Conflicts: 18000 | #Constraints: 6219
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 19000 | #Constraints: 4231
40.97/41.15 c #Conflicts: 20000 | #Constraints: 5231
40.97/41.15 c #Conflicts: 21000 | #Constraints: 6231
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 22000 | #Constraints: 4037
40.97/41.15 c #Conflicts: 23000 | #Constraints: 5037
40.97/41.15 c #Conflicts: 24000 | #Constraints: 6037
40.97/41.15 c #Conflicts: 25000 | #Constraints: 7037
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 26000 | #Constraints: 4640
40.97/41.15 c #Conflicts: 27000 | #Constraints: 5640
40.97/41.15 c #Conflicts: 28000 | #Constraints: 6640
40.97/41.15 c #Conflicts: 29000 | #Constraints: 7640
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 30000 | #Constraints: 5042
40.97/41.15 c #Conflicts: 31000 | #Constraints: 6042
40.97/41.15 c #Conflicts: 32000 | #Constraints: 7042
40.97/41.15 c #Conflicts: 33000 | #Constraints: 8042
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 34000 | #Constraints: 5243
40.97/41.15 c #Conflicts: 35000 | #Constraints: 6243
40.97/41.15 c #Conflicts: 36000 | #Constraints: 7243
40.97/41.15 c #Conflicts: 37000 | #Constraints: 8243
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 38000 | #Constraints: 5257
40.97/41.15 c #Conflicts: 39000 | #Constraints: 6257
40.97/41.15 c #Conflicts: 40000 | #Constraints: 7257
40.97/41.15 c #Conflicts: 41000 | #Constraints: 8257
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 42000 | #Constraints: 5060
40.97/41.15 c #Conflicts: 43000 | #Constraints: 6060
40.97/41.15 c #Conflicts: 44000 | #Constraints: 7060
40.97/41.15 c #Conflicts: 45000 | #Constraints: 8060
40.97/41.15 c #Conflicts: 46000 | #Constraints: 9060
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 47000 | #Constraints: 5654
40.97/41.15 c #Conflicts: 48000 | #Constraints: 6654
40.97/41.15 c #Conflicts: 49000 | #Constraints: 7654
40.97/41.15 c #Conflicts: 50000 | #Constraints: 8654
40.97/41.15 c #Conflicts: 51000 | #Constraints: 9654
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 52000 | #Constraints: 6051
40.97/41.15 c #Conflicts: 53000 | #Constraints: 7051
40.97/41.15 c #Conflicts: 54000 | #Constraints: 8051
40.97/41.15 c #Conflicts: 55000 | #Constraints: 9051
40.97/41.15 c #Conflicts: 56000 | #Constraints: 10051
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 57000 | #Constraints: 6245
40.97/41.15 c #Conflicts: 58000 | #Constraints: 7245
40.97/41.15 c #Conflicts: 59000 | #Constraints: 8245
40.97/41.15 c #Conflicts: 60000 | #Constraints: 9245
40.97/41.15 c #Conflicts: 61000 | #Constraints: 10245
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 62000 | #Constraints: 6246
40.97/41.15 c #Conflicts: 63000 | #Constraints: 7246
40.97/41.15 c #Conflicts: 64000 | #Constraints: 8246
40.97/41.15 c #Conflicts: 65000 | #Constraints: 9246
40.97/41.15 c #Conflicts: 66000 | #Constraints: 10246
40.97/41.15 c INPROCESSING
40.97/41.15 c GARBAGE COLLECT
40.97/41.15 c #Conflicts: 67000 | #Constraints: 6049
110.26/110.67 c #Conflicts: 68000 | #Constraints: 7049
110.26/110.67 c #Conflicts: 69000 | #Constraints: 8049
110.26/110.67 c #Conflicts: 70000 | #Constraints: 9049
110.26/110.67 c #Conflicts: 71000 | #Constraints: 10049
110.26/110.67 c #Conflicts: 72000 | #Constraints: 11049
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 73000 | #Constraints: 6647
110.26/110.67 c #Conflicts: 74000 | #Constraints: 7647
110.26/110.67 c #Conflicts: 75000 | #Constraints: 8647
110.26/110.67 c #Conflicts: 76000 | #Constraints: 9647
110.26/110.67 c #Conflicts: 77000 | #Constraints: 10647
110.26/110.67 c #Conflicts: 78000 | #Constraints: 11647
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 79000 | #Constraints: 7050
110.26/110.67 c #Conflicts: 80000 | #Constraints: 8050
110.26/110.67 c #Conflicts: 81000 | #Constraints: 9050
110.26/110.67 c #Conflicts: 82000 | #Constraints: 10050
110.26/110.67 c #Conflicts: 83000 | #Constraints: 11050
110.26/110.67 c #Conflicts: 84000 | #Constraints: 12050
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 85000 | #Constraints: 7253
110.26/110.67 c #Conflicts: 86000 | #Constraints: 8253
110.26/110.67 c #Conflicts: 87000 | #Constraints: 9253
110.26/110.67 c #Conflicts: 88000 | #Constraints: 10253
110.26/110.67 c #Conflicts: 89000 | #Constraints: 11253
110.26/110.67 c #Conflicts: 90000 | #Constraints: 12253
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 91000 | #Constraints: 7260
110.26/110.67 c #Conflicts: 92000 | #Constraints: 8260
110.26/110.67 c #Conflicts: 93000 | #Constraints: 9260
110.26/110.67 c #Conflicts: 94000 | #Constraints: 10260
110.26/110.67 c #Conflicts: 95000 | #Constraints: 11260
110.26/110.67 c #Conflicts: 96000 | #Constraints: 12260
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 97000 | #Constraints: 7074
110.26/110.67 c #Conflicts: 98000 | #Constraints: 8074
110.26/110.67 c #Conflicts: 99000 | #Constraints: 9074
110.26/110.67 c #Conflicts: 100000 | #Constraints: 10074
110.26/110.67 c #Conflicts: 101000 | #Constraints: 11074
110.26/110.67 c #Conflicts: 102000 | #Constraints: 12074
110.26/110.67 c #Conflicts: 103000 | #Constraints: 13074
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 104000 | #Constraints: 7655
110.26/110.67 c #Conflicts: 105000 | #Constraints: 8655
110.26/110.67 c #Conflicts: 106000 | #Constraints: 9655
110.26/110.67 c #Conflicts: 107000 | #Constraints: 10655
110.26/110.67 c #Conflicts: 108000 | #Constraints: 11655
110.26/110.67 c #Conflicts: 109000 | #Constraints: 12655
110.26/110.67 c #Conflicts: 110000 | #Constraints: 13655
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 111000 | #Constraints: 8063
110.26/110.67 c #Conflicts: 112000 | #Constraints: 9063
110.26/110.67 c #Conflicts: 113000 | #Constraints: 10063
110.26/110.67 c #Conflicts: 114000 | #Constraints: 11063
110.26/110.67 c #Conflicts: 115000 | #Constraints: 12063
110.26/110.67 c #Conflicts: 116000 | #Constraints: 13063
110.26/110.67 c #Conflicts: 117000 | #Constraints: 14063
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 118000 | #Constraints: 8257
110.26/110.67 c #Conflicts: 119000 | #Constraints: 9257
110.26/110.67 c #Conflicts: 120000 | #Constraints: 10257
110.26/110.67 c #Conflicts: 121000 | #Constraints: 11257
110.26/110.67 c #Conflicts: 122000 | #Constraints: 12257
110.26/110.67 c #Conflicts: 123000 | #Constraints: 13257
110.26/110.67 c #Conflicts: 124000 | #Constraints: 14257
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 125000 | #Constraints: 8248
110.26/110.67 c #Conflicts: 126000 | #Constraints: 9248
110.26/110.67 c #Conflicts: 127000 | #Constraints: 10248
110.26/110.67 c #Conflicts: 128000 | #Constraints: 11248
110.26/110.67 c #Conflicts: 129000 | #Constraints: 12248
110.26/110.67 c #Conflicts: 130000 | #Constraints: 13248
110.26/110.67 c #Conflicts: 131000 | #Constraints: 14248
110.26/110.67 c INPROCESSING
110.26/110.67 c GARBAGE COLLECT
110.26/110.67 c #Conflicts: 132000 | #Constraints: 8047
110.26/110.67 c #Conflicts: 133000 | #Constraints: 9047
110.26/110.67 c #Conflicts: 134000 | #Constraints: 10047
110.26/110.67 c #Conflicts: 135000 | #Constraints: 11047
110.26/110.67 c #Conflicts: 136000 | #Constraints: 12047
110.26/110.67 c #Conflicts: 137000 | #Constraints: 13047
110.26/110.67 c #Conflicts: 138000 | #Constraints: 14047
110.26/110.67 c #Conflicts: 139000 | #Constraints: 15047
110.26/110.67 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 140000 | #Constraints: 8655
218.25/219.00 c #Conflicts: 141000 | #Constraints: 9655
218.25/219.00 c #Conflicts: 142000 | #Constraints: 10655
218.25/219.00 c #Conflicts: 143000 | #Constraints: 11655
218.25/219.00 c #Conflicts: 144000 | #Constraints: 12655
218.25/219.00 c #Conflicts: 145000 | #Constraints: 13655
218.25/219.00 c #Conflicts: 146000 | #Constraints: 14655
218.25/219.00 c #Conflicts: 147000 | #Constraints: 15655
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 148000 | #Constraints: 9058
218.25/219.00 c #Conflicts: 149000 | #Constraints: 10058
218.25/219.00 c #Conflicts: 150000 | #Constraints: 11058
218.25/219.00 c #Conflicts: 151000 | #Constraints: 12058
218.25/219.00 c #Conflicts: 152000 | #Constraints: 13058
218.25/219.00 c #Conflicts: 153000 | #Constraints: 14058
218.25/219.00 c #Conflicts: 154000 | #Constraints: 15058
218.25/219.00 c #Conflicts: 155000 | #Constraints: 16058
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 156000 | #Constraints: 9263
218.25/219.00 c #Conflicts: 157000 | #Constraints: 10263
218.25/219.00 c #Conflicts: 158000 | #Constraints: 11263
218.25/219.00 c #Conflicts: 159000 | #Constraints: 12263
218.25/219.00 c #Conflicts: 160000 | #Constraints: 13263
218.25/219.00 c #Conflicts: 161000 | #Constraints: 14263
218.25/219.00 c #Conflicts: 162000 | #Constraints: 15263
218.25/219.00 c #Conflicts: 163000 | #Constraints: 16263
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 164000 | #Constraints: 9265
218.25/219.00 c #Conflicts: 165000 | #Constraints: 10265
218.25/219.00 c #Conflicts: 166000 | #Constraints: 11265
218.25/219.00 c #Conflicts: 167000 | #Constraints: 12265
218.25/219.00 c #Conflicts: 168000 | #Constraints: 13265
218.25/219.00 c #Conflicts: 169000 | #Constraints: 14265
218.25/219.00 c #Conflicts: 170000 | #Constraints: 15265
218.25/219.00 c #Conflicts: 171000 | #Constraints: 16265
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 172000 | #Constraints: 9054
218.25/219.00 c #Conflicts: 173000 | #Constraints: 10054
218.25/219.00 c #Conflicts: 174000 | #Constraints: 11054
218.25/219.00 c #Conflicts: 175000 | #Constraints: 12054
218.25/219.00 c #Conflicts: 176000 | #Constraints: 13054
218.25/219.00 c #Conflicts: 177000 | #Constraints: 14054
218.25/219.00 c #Conflicts: 178000 | #Constraints: 15054
218.25/219.00 c #Conflicts: 179000 | #Constraints: 16054
218.25/219.00 c #Conflicts: 180000 | #Constraints: 17054
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 181000 | #Constraints: 9651
218.25/219.00 c #Conflicts: 182000 | #Constraints: 10651
218.25/219.00 c #Conflicts: 183000 | #Constraints: 11651
218.25/219.00 c #Conflicts: 184000 | #Constraints: 12651
218.25/219.00 c #Conflicts: 185000 | #Constraints: 13651
218.25/219.00 c #Conflicts: 186000 | #Constraints: 14651
218.25/219.00 c #Conflicts: 187000 | #Constraints: 15651
218.25/219.00 c #Conflicts: 188000 | #Constraints: 16651
218.25/219.00 c #Conflicts: 189000 | #Constraints: 17651
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 190000 | #Constraints: 10065
218.25/219.00 c #Conflicts: 191000 | #Constraints: 11065
218.25/219.00 c #Conflicts: 192000 | #Constraints: 12065
218.25/219.00 c #Conflicts: 193000 | #Constraints: 13065
218.25/219.00 c #Conflicts: 194000 | #Constraints: 14065
218.25/219.00 c #Conflicts: 195000 | #Constraints: 15065
218.25/219.00 c #Conflicts: 196000 | #Constraints: 16065
218.25/219.00 c #Conflicts: 197000 | #Constraints: 17065
218.25/219.00 c #Conflicts: 198000 | #Constraints: 18065
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 199000 | #Constraints: 10274
218.25/219.00 c #Conflicts: 200000 | #Constraints: 11274
218.25/219.00 c #Conflicts: 201000 | #Constraints: 12274
218.25/219.00 c #Conflicts: 202000 | #Constraints: 13274
218.25/219.00 c #Conflicts: 203000 | #Constraints: 14274
218.25/219.00 c #Conflicts: 204000 | #Constraints: 15274
218.25/219.00 c #Conflicts: 205000 | #Constraints: 16274
218.25/219.00 c #Conflicts: 206000 | #Constraints: 17274
218.25/219.00 c #Conflicts: 207000 | #Constraints: 18274
218.25/219.00 c INPROCESSING
218.25/219.00 c GARBAGE COLLECT
218.25/219.00 c #Conflicts: 208000 | #Constraints: 10289
218.25/219.00 c #Conflicts: 209000 | #Constraints: 11289
218.25/219.00 c #Conflicts: 210000 | #Constraints: 12289
218.25/219.00 c #Conflicts: 211000 | #Constraints: 13289
218.25/219.00 c #Conflicts: 212000 | #Constraints: 14289
218.25/219.00 c #Conflicts: 213000 | #Constraints: 15289
317.39/318.34 c #Conflicts: 214000 | #Constraints: 16289
317.39/318.34 c #Conflicts: 215000 | #Constraints: 17289
317.39/318.34 c #Conflicts: 216000 | #Constraints: 18289
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 217000 | #Constraints: 10084
317.39/318.34 c #Conflicts: 218000 | #Constraints: 11084
317.39/318.34 c #Conflicts: 219000 | #Constraints: 12084
317.39/318.34 c #Conflicts: 220000 | #Constraints: 13084
317.39/318.34 c #Conflicts: 221000 | #Constraints: 14084
317.39/318.34 c #Conflicts: 222000 | #Constraints: 15084
317.39/318.34 c #Conflicts: 223000 | #Constraints: 16084
317.39/318.34 c #Conflicts: 224000 | #Constraints: 17084
317.39/318.34 c #Conflicts: 225000 | #Constraints: 18084
317.39/318.34 c #Conflicts: 226000 | #Constraints: 19084
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 227000 | #Constraints: 10698
317.39/318.34 c #Conflicts: 228000 | #Constraints: 11698
317.39/318.34 c #Conflicts: 229000 | #Constraints: 12698
317.39/318.34 c #Conflicts: 230000 | #Constraints: 13698
317.39/318.34 c #Conflicts: 231000 | #Constraints: 14698
317.39/318.34 c #Conflicts: 232000 | #Constraints: 15698
317.39/318.34 c #Conflicts: 233000 | #Constraints: 16698
317.39/318.34 c #Conflicts: 234000 | #Constraints: 17698
317.39/318.34 c #Conflicts: 235000 | #Constraints: 18698
317.39/318.34 c #Conflicts: 236000 | #Constraints: 19698
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 237000 | #Constraints: 11081
317.39/318.34 c #Conflicts: 238000 | #Constraints: 12081
317.39/318.34 c #Conflicts: 239000 | #Constraints: 13081
317.39/318.34 c #Conflicts: 240000 | #Constraints: 14081
317.39/318.34 c #Conflicts: 241000 | #Constraints: 15081
317.39/318.34 c #Conflicts: 242000 | #Constraints: 16081
317.39/318.34 c #Conflicts: 243000 | #Constraints: 17081
317.39/318.34 c #Conflicts: 244000 | #Constraints: 18081
317.39/318.34 c #Conflicts: 245000 | #Constraints: 19081
317.39/318.34 c #Conflicts: 246000 | #Constraints: 20081
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 247000 | #Constraints: 11265
317.39/318.34 c #Conflicts: 248000 | #Constraints: 12265
317.39/318.34 c #Conflicts: 249000 | #Constraints: 13265
317.39/318.34 c #Conflicts: 250000 | #Constraints: 14265
317.39/318.34 c #Conflicts: 251000 | #Constraints: 15265
317.39/318.34 c #Conflicts: 252000 | #Constraints: 16265
317.39/318.34 c #Conflicts: 253000 | #Constraints: 17265
317.39/318.34 c #Conflicts: 254000 | #Constraints: 18265
317.39/318.34 c #Conflicts: 255000 | #Constraints: 19265
317.39/318.34 c #Conflicts: 256000 | #Constraints: 20265
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 257000 | #Constraints: 11256
317.39/318.34 c #Conflicts: 258000 | #Constraints: 12256
317.39/318.34 c #Conflicts: 259000 | #Constraints: 13256
317.39/318.34 c #Conflicts: 260000 | #Constraints: 14256
317.39/318.34 c #Conflicts: 261000 | #Constraints: 15256
317.39/318.34 c #Conflicts: 262000 | #Constraints: 16256
317.39/318.34 c #Conflicts: 263000 | #Constraints: 17256
317.39/318.34 c #Conflicts: 264000 | #Constraints: 18256
317.39/318.34 c #Conflicts: 265000 | #Constraints: 19256
317.39/318.34 c #Conflicts: 266000 | #Constraints: 20256
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 267000 | #Constraints: 11063
317.39/318.34 c #Conflicts: 268000 | #Constraints: 12063
317.39/318.34 c #Conflicts: 269000 | #Constraints: 13063
317.39/318.34 c #Conflicts: 270000 | #Constraints: 14063
317.39/318.34 c #Conflicts: 271000 | #Constraints: 15063
317.39/318.34 c #Conflicts: 272000 | #Constraints: 16063
317.39/318.34 c #Conflicts: 273000 | #Constraints: 17063
317.39/318.34 c #Conflicts: 274000 | #Constraints: 18063
317.39/318.34 c #Conflicts: 275000 | #Constraints: 19063
317.39/318.34 c #Conflicts: 276000 | #Constraints: 20063
317.39/318.34 c #Conflicts: 277000 | #Constraints: 21063
317.39/318.34 c INPROCESSING
317.39/318.34 c GARBAGE COLLECT
317.39/318.34 c #Conflicts: 278000 | #Constraints: 11656
317.39/318.34 c #Conflicts: 279000 | #Constraints: 12656
317.39/318.34 c #Conflicts: 280000 | #Constraints: 13656
317.39/318.34 c #Conflicts: 281000 | #Constraints: 14656
317.39/318.34 c #Conflicts: 282000 | #Constraints: 15656
317.39/318.34 c #Conflicts: 283000 | #Constraints: 16656
317.39/318.34 c #Conflicts: 284000 | #Constraints: 17656
317.39/318.34 c #Conflicts: 285000 | #Constraints: 18656
317.39/318.34 c #Conflicts: 286000 | #Constraints: 19656
317.39/318.34 c #Conflicts: 287000 | #Constraints: 20656
406.05/407.20 c #Conflicts: 288000 | #Constraints: 21656
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 289000 | #Constraints: 12055
406.05/407.20 c #Conflicts: 290000 | #Constraints: 13055
406.05/407.20 c #Conflicts: 291000 | #Constraints: 14055
406.05/407.20 c #Conflicts: 292000 | #Constraints: 15055
406.05/407.20 c #Conflicts: 293000 | #Constraints: 16055
406.05/407.20 c #Conflicts: 294000 | #Constraints: 17055
406.05/407.20 c #Conflicts: 295000 | #Constraints: 18055
406.05/407.20 c #Conflicts: 296000 | #Constraints: 19055
406.05/407.20 c #Conflicts: 297000 | #Constraints: 20055
406.05/407.20 c #Conflicts: 298000 | #Constraints: 21055
406.05/407.20 c #Conflicts: 299000 | #Constraints: 22055
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 300000 | #Constraints: 12253
406.05/407.20 c #Conflicts: 301000 | #Constraints: 13253
406.05/407.20 c #Conflicts: 302000 | #Constraints: 14253
406.05/407.20 c #Conflicts: 303000 | #Constraints: 15253
406.05/407.20 c #Conflicts: 304000 | #Constraints: 16253
406.05/407.20 c #Conflicts: 305000 | #Constraints: 17253
406.05/407.20 c #Conflicts: 306000 | #Constraints: 18253
406.05/407.20 c #Conflicts: 307000 | #Constraints: 19253
406.05/407.20 c #Conflicts: 308000 | #Constraints: 20253
406.05/407.20 c #Conflicts: 309000 | #Constraints: 21253
406.05/407.20 c #Conflicts: 310000 | #Constraints: 22253
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 311000 | #Constraints: 12261
406.05/407.20 c #Conflicts: 312000 | #Constraints: 13261
406.05/407.20 c #Conflicts: 313000 | #Constraints: 14261
406.05/407.20 c #Conflicts: 314000 | #Constraints: 15261
406.05/407.20 c #Conflicts: 315000 | #Constraints: 16261
406.05/407.20 c #Conflicts: 316000 | #Constraints: 17261
406.05/407.20 c #Conflicts: 317000 | #Constraints: 18261
406.05/407.20 c #Conflicts: 318000 | #Constraints: 19261
406.05/407.20 c #Conflicts: 319000 | #Constraints: 20261
406.05/407.20 c #Conflicts: 320000 | #Constraints: 21261
406.05/407.20 c #Conflicts: 321000 | #Constraints: 22261
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 322000 | #Constraints: 12073
406.05/407.20 c #Conflicts: 323000 | #Constraints: 13073
406.05/407.20 c #Conflicts: 324000 | #Constraints: 14073
406.05/407.20 c #Conflicts: 325000 | #Constraints: 15073
406.05/407.20 c #Conflicts: 326000 | #Constraints: 16073
406.05/407.20 c #Conflicts: 327000 | #Constraints: 17073
406.05/407.20 c #Conflicts: 328000 | #Constraints: 18073
406.05/407.20 c #Conflicts: 329000 | #Constraints: 19073
406.05/407.20 c #Conflicts: 330000 | #Constraints: 20073
406.05/407.20 c #Conflicts: 331000 | #Constraints: 21073
406.05/407.20 c #Conflicts: 332000 | #Constraints: 22073
406.05/407.20 c #Conflicts: 333000 | #Constraints: 23073
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 334000 | #Constraints: 12661
406.05/407.20 c #Conflicts: 335000 | #Constraints: 13661
406.05/407.20 c #Conflicts: 336000 | #Constraints: 14661
406.05/407.20 c #Conflicts: 337000 | #Constraints: 15661
406.05/407.20 c #Conflicts: 338000 | #Constraints: 16661
406.05/407.20 c #Conflicts: 339000 | #Constraints: 17661
406.05/407.20 c #Conflicts: 340000 | #Constraints: 18661
406.05/407.20 c #Conflicts: 341000 | #Constraints: 19661
406.05/407.20 c #Conflicts: 342000 | #Constraints: 20661
406.05/407.20 c #Conflicts: 343000 | #Constraints: 21661
406.05/407.20 c #Conflicts: 344000 | #Constraints: 22661
406.05/407.20 c #Conflicts: 345000 | #Constraints: 23661
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 346000 | #Constraints: 13055
406.05/407.20 c #Conflicts: 347000 | #Constraints: 14055
406.05/407.20 c #Conflicts: 348000 | #Constraints: 15055
406.05/407.20 c #Conflicts: 349000 | #Constraints: 16055
406.05/407.20 c #Conflicts: 350000 | #Constraints: 17055
406.05/407.20 c #Conflicts: 351000 | #Constraints: 18055
406.05/407.20 c #Conflicts: 352000 | #Constraints: 19055
406.05/407.20 c #Conflicts: 353000 | #Constraints: 20055
406.05/407.20 c #Conflicts: 354000 | #Constraints: 21055
406.05/407.20 c #Conflicts: 355000 | #Constraints: 22055
406.05/407.20 c #Conflicts: 356000 | #Constraints: 23055
406.05/407.20 c #Conflicts: 357000 | #Constraints: 24055
406.05/407.20 c INPROCESSING
406.05/407.20 c GARBAGE COLLECT
406.05/407.20 c #Conflicts: 358000 | #Constraints: 13260
406.05/407.20 c #Conflicts: 359000 | #Constraints: 14260
406.05/407.20 c #Conflicts: 360000 | #Constraints: 15260
406.05/407.20 c #Conflicts: 361000 | #Constraints: 16260
495.73/497.19 c #Conflicts: 362000 | #Constraints: 17260
495.73/497.19 c #Conflicts: 363000 | #Constraints: 18260
495.73/497.19 c #Conflicts: 364000 | #Constraints: 19260
495.73/497.19 c #Conflicts: 365000 | #Constraints: 20260
495.73/497.19 c #Conflicts: 366000 | #Constraints: 21260
495.73/497.19 c #Conflicts: 367000 | #Constraints: 22260
495.73/497.19 c #Conflicts: 368000 | #Constraints: 23260
495.73/497.19 c #Conflicts: 369000 | #Constraints: 24260
495.73/497.19 c INPROCESSING
495.73/497.19 c GARBAGE COLLECT
495.73/497.19 c #Conflicts: 370000 | #Constraints: 13270
495.73/497.19 c #Conflicts: 371000 | #Constraints: 14270
495.73/497.19 c #Conflicts: 372000 | #Constraints: 15270
495.73/497.19 c #Conflicts: 373000 | #Constraints: 16270
495.73/497.19 c #Conflicts: 374000 | #Constraints: 17270
495.73/497.19 c #Conflicts: 375000 | #Constraints: 18270
495.73/497.19 c #Conflicts: 376000 | #Constraints: 19270
495.73/497.19 c #Conflicts: 377000 | #Constraints: 20270
495.73/497.19 c #Conflicts: 378000 | #Constraints: 21270
495.73/497.19 c #Conflicts: 379000 | #Constraints: 22270
495.73/497.19 c #Conflicts: 380000 | #Constraints: 23270
495.73/497.19 c #Conflicts: 381000 | #Constraints: 24270
495.73/497.19 c INPROCESSING
495.73/497.19 c GARBAGE COLLECT
495.73/497.19 c #Conflicts: 382000 | #Constraints: 13061
495.73/497.19 c #Conflicts: 383000 | #Constraints: 14061
495.73/497.19 c #Conflicts: 384000 | #Constraints: 15061
495.73/497.19 c #Conflicts: 385000 | #Constraints: 16061
495.73/497.19 c #Conflicts: 386000 | #Constraints: 17061
495.73/497.19 c #Conflicts: 387000 | #Constraints: 18061
495.73/497.19 c #Conflicts: 388000 | #Constraints: 19061
495.73/497.19 c #Conflicts: 389000 | #Constraints: 20061
495.73/497.19 c #Conflicts: 390000 | #Constraints: 21061
495.73/497.19 c #Conflicts: 391000 | #Constraints: 22061
495.73/497.19 c #Conflicts: 392000 | #Constraints: 23061
495.73/497.19 c #Conflicts: 393000 | #Constraints: 24061
495.73/497.19 c #Conflicts: 394000 | #Constraints: 25061
495.73/497.19 c INPROCESSING
495.73/497.19 c GARBAGE COLLECT
495.73/497.19 c #Conflicts: 395000 | #Constraints: 13665
495.73/497.19 c #Conflicts: 396000 | #Constraints: 14665
495.73/497.19 c #Conflicts: 397000 | #Constraints: 15665
495.73/497.19 c #Conflicts: 398000 | #Constraints: 16665
495.73/497.19 c #Conflicts: 399000 | #Constraints: 17665
495.73/497.19 c #Conflicts: 400000 | #Constraints: 18665
495.73/497.19 c #Conflicts: 401000 | #Constraints: 19665
495.73/497.19 c #Conflicts: 402000 | #Constraints: 20665
495.73/497.19 c #Conflicts: 403000 | #Constraints: 21665
495.73/497.19 c #Conflicts: 404000 | #Constraints: 22665
495.73/497.19 c #Conflicts: 405000 | #Constraints: 23665
495.73/497.19 c #Conflicts: 406000 | #Constraints: 24665
495.73/497.19 c #Conflicts: 407000 | #Constraints: 25665
495.73/497.19 c INPROCESSING
495.73/497.19 c GARBAGE COLLECT
495.73/497.19 c #Conflicts: 408000 | #Constraints: 14054
495.73/497.19 c #Conflicts: 409000 | #Constraints: 15054
495.73/497.19 c #Conflicts: 410000 | #Constraints: 16054
495.73/497.19 c #Conflicts: 411000 | #Constraints: 17054
495.73/497.19 c #Conflicts: 412000 | #Constraints: 18054
495.73/497.19 c #Conflicts: 413000 | #Constraints: 19054
495.73/497.19 c #Conflicts: 414000 | #Constraints: 20054
495.73/497.19 c #Conflicts: 415000 | #Constraints: 21054
495.73/497.19 c #Conflicts: 416000 | #Constraints: 22054
495.73/497.19 c #Conflicts: 417000 | #Constraints: 23054
495.73/497.19 c #Conflicts: 418000 | #Constraints: 24054
495.73/497.19 c #Conflicts: 419000 | #Constraints: 25054
495.73/497.19 c #Conflicts: 420000 | #Constraints: 26054
495.73/497.19 c INPROCESSING
495.73/497.19 c GARBAGE COLLECT
495.73/497.19 c #Conflicts: 421000 | #Constraints: 14269
495.73/497.19 c #Conflicts: 422000 | #Constraints: 15269
495.73/497.19 c #Conflicts: 423000 | #Constraints: 16269
495.73/497.19 c #Conflicts: 424000 | #Constraints: 17269
495.73/497.19 c #Conflicts: 425000 | #Constraints: 18269
495.73/497.19 c #Conflicts: 426000 | #Constraints: 19269
495.73/497.19 c #Conflicts: 427000 | #Constraints: 20269
495.73/497.19 c #Conflicts: 428000 | #Constraints: 21269
495.73/497.19 c #Conflicts: 429000 | #Constraints: 22269
495.73/497.19 c #Conflicts: 430000 | #Constraints: 23269
495.73/497.19 c #Conflicts: 431000 | #Constraints: 24269
495.73/497.19 c #Conflicts: 432000 | #Constraints: 25269
495.73/497.19 c #Conflicts: 433000 | #Constraints: 26269
495.73/497.19 c INPROCESSING
495.73/497.19 c GARBAGE COLLECT
495.73/497.19 c #Conflicts: 434000 | #Constraints: 14306
495.73/497.19 c #Conflicts: 435000 | #Constraints: 15306
495.73/497.19 c #Conflicts: 436000 | #Constraints: 16306
713.53/715.58 c #Conflicts: 437000 | #Constraints: 17306
713.53/715.58 c #Conflicts: 438000 | #Constraints: 18306
713.53/715.58 c #Conflicts: 439000 | #Constraints: 19306
713.53/715.58 c #Conflicts: 440000 | #Constraints: 20306
713.53/715.58 c #Conflicts: 441000 | #Constraints: 21306
713.53/715.58 c #Conflicts: 442000 | #Constraints: 22306
713.53/715.58 c #Conflicts: 443000 | #Constraints: 23306
713.53/715.58 c #Conflicts: 444000 | #Constraints: 24306
713.53/715.58 c #Conflicts: 445000 | #Constraints: 25306
713.53/715.58 c #Conflicts: 446000 | #Constraints: 26306
713.53/715.58 c INPROCESSING
713.53/715.58 c GARBAGE COLLECT
713.53/715.58 c #Conflicts: 447000 | #Constraints: 14124
713.53/715.58 c #Conflicts: 448000 | #Constraints: 15124
713.53/715.58 c #Conflicts: 449000 | #Constraints: 16124
713.53/715.58 c #Conflicts: 450000 | #Constraints: 17124
713.53/715.58 c #Conflicts: 451000 | #Constraints: 18124
713.53/715.58 c #Conflicts: 452000 | #Constraints: 19124
713.53/715.58 c #Conflicts: 453000 | #Constraints: 20124
713.53/715.58 c #Conflicts: 454000 | #Constraints: 21124
713.53/715.58 c #Conflicts: 455000 | #Constraints: 22124
713.53/715.58 c #Conflicts: 456000 | #Constraints: 23124
713.53/715.58 c #Conflicts: 457000 | #Constraints: 24124
713.53/715.58 c #Conflicts: 458000 | #Constraints: 25124
713.53/715.58 c #Conflicts: 459000 | #Constraints: 26124
713.53/715.58 c #Conflicts: 460000 | #Constraints: 27124
713.53/715.58 c INPROCESSING
713.53/715.58 c GARBAGE COLLECT
713.53/715.58 c #Conflicts: 461000 | #Constraints: 14713
713.53/715.58 c #Conflicts: 462000 | #Constraints: 15713
713.53/715.58 c #Conflicts: 463000 | #Constraints: 16713
713.53/715.58 c #Conflicts: 464000 | #Constraints: 17713
713.53/715.58 c #Conflicts: 465000 | #Constraints: 18713
713.53/715.58 c #Conflicts: 466000 | #Constraints: 19713
713.53/715.58 c #Conflicts: 467000 | #Constraints: 20713
713.53/715.58 c #Conflicts: 468000 | #Constraints: 21713
713.53/715.58 c #Conflicts: 469000 | #Constraints: 22713
713.53/715.58 c #Conflicts: 470000 | #Constraints: 23713
713.53/715.58 c #Conflicts: 471000 | #Constraints: 24713
713.53/715.58 c #Conflicts: 472000 | #Constraints: 25713
713.53/715.58 c #Conflicts: 473000 | #Constraints: 26713
713.53/715.58 c #Conflicts: 474000 | #Constraints: 27713
713.53/715.58 c INPROCESSING
713.53/715.58 c GARBAGE COLLECT
713.53/715.58 c #Conflicts: 475000 | #Constraints: 15091
713.53/715.58 c #Conflicts: 476000 | #Constraints: 16091
713.53/715.58 c #Conflicts: 477000 | #Constraints: 17091
713.53/715.58 c #Conflicts: 478000 | #Constraints: 18091
713.53/715.58 c #Conflicts: 479000 | #Constraints: 19091
713.53/715.58 c #Conflicts: 480000 | #Constraints: 20091
713.53/715.58 c #Conflicts: 481000 | #Constraints: 21091
713.53/715.58 c #Conflicts: 482000 | #Constraints: 22091
713.53/715.58 c #Conflicts: 483000 | #Constraints: 23091
713.53/715.58 c #Conflicts: 484000 | #Constraints: 24091
713.53/715.58 c #Conflicts: 485000 | #Constraints: 25091
713.53/715.58 c #Conflicts: 486000 | #Constraints: 26091
713.53/715.58 c #Conflicts: 487000 | #Constraints: 27091
713.53/715.58 c #Conflicts: 488000 | #Constraints: 28091
713.53/715.58 c INPROCESSING
713.53/715.58 c GARBAGE COLLECT
713.53/715.58 c #Conflicts: 489000 | #Constraints: 15293
713.53/715.58 c #Conflicts: 490000 | #Constraints: 16293
713.53/715.58 c #Conflicts: 491000 | #Constraints: 17293
713.53/715.58 c #Conflicts: 492000 | #Constraints: 18293
713.53/715.58 c #Conflicts: 493000 | #Constraints: 19293
713.53/715.58 c #Conflicts: 494000 | #Constraints: 20293
713.53/715.58 c #Conflicts: 495000 | #Constraints: 21293
713.53/715.58 c #Conflicts: 496000 | #Constraints: 22293
713.53/715.58 c #Conflicts: 497000 | #Constraints: 23293
713.53/715.58 c #Conflicts: 498000 | #Constraints: 24293
713.53/715.58 c #Conflicts: 499000 | #Constraints: 25293
713.53/715.58 c #Conflicts: 500000 | #Constraints: 26293
713.53/715.58 c #Conflicts: 501000 | #Constraints: 27293
713.53/715.58 c #Conflicts: 502000 | #Constraints: 28293
713.53/715.58 c INPROCESSING
713.53/715.58 c GARBAGE COLLECT
713.53/715.58 c #Conflicts: 503000 | #Constraints: 15314
713.53/715.58 c #Conflicts: 504000 | #Constraints: 16314
713.53/715.58 c #Conflicts: 505000 | #Constraints: 17314
713.53/715.58 c #Conflicts: 506000 | #Constraints: 18314
713.53/715.58 c #Conflicts: 507000 | #Constraints: 19314
713.53/715.58 c #Conflicts: 508000 | #Constraints: 20314
713.53/715.58 c #Conflicts: 509000 | #Constraints: 21314
713.53/715.58 c #Conflicts: 510000 | #Constraints: 22314
713.53/715.58 c #Conflicts: 511000 | #Constraints: 23314
713.53/715.58 c #Conflicts: 512000 | #Constraints: 24314
831.60/833.97 c #Conflicts: 513000 | #Constraints: 25314
831.60/833.97 c #Conflicts: 514000 | #Constraints: 26314
831.60/833.97 c #Conflicts: 515000 | #Constraints: 27314
831.60/833.97 c #Conflicts: 516000 | #Constraints: 28314
831.60/833.97 c INPROCESSING
831.60/833.97 c GARBAGE COLLECT
831.60/833.97 c #Conflicts: 517000 | #Constraints: 15082
831.60/833.97 c #Conflicts: 518000 | #Constraints: 16082
831.60/833.97 c #Conflicts: 519000 | #Constraints: 17082
831.60/833.97 c #Conflicts: 520000 | #Constraints: 18082
831.60/833.97 c #Conflicts: 521000 | #Constraints: 19082
831.60/833.97 c #Conflicts: 522000 | #Constraints: 20082
831.60/833.97 c #Conflicts: 523000 | #Constraints: 21082
831.60/833.97 c #Conflicts: 524000 | #Constraints: 22082
831.60/833.97 c #Conflicts: 525000 | #Constraints: 23082
831.60/833.97 c #Conflicts: 526000 | #Constraints: 24082
831.60/833.97 c #Conflicts: 527000 | #Constraints: 25082
831.60/833.97 c #Conflicts: 528000 | #Constraints: 26082
831.60/833.97 c #Conflicts: 529000 | #Constraints: 27082
831.60/833.97 c #Conflicts: 530000 | #Constraints: 28082
831.60/833.97 c #Conflicts: 531000 | #Constraints: 29082
831.60/833.97 c INPROCESSING
831.60/833.97 c GARBAGE COLLECT
831.60/833.97 c #Conflicts: 532000 | #Constraints: 15675
831.60/833.97 c #Conflicts: 533000 | #Constraints: 16675
831.60/833.97 c #Conflicts: 534000 | #Constraints: 17675
831.60/833.97 c #Conflicts: 535000 | #Constraints: 18675
831.60/833.97 c #Conflicts: 536000 | #Constraints: 19675
831.60/833.97 c #Conflicts: 537000 | #Constraints: 20675
831.60/833.97 c #Conflicts: 538000 | #Constraints: 21675
831.60/833.97 c #Conflicts: 539000 | #Constraints: 22675
831.60/833.97 c #Conflicts: 540000 | #Constraints: 23675
831.60/833.97 c #Conflicts: 541000 | #Constraints: 24675
831.60/833.97 c #Conflicts: 542000 | #Constraints: 25675
831.60/833.97 c #Conflicts: 543000 | #Constraints: 26675
831.60/833.97 c #Conflicts: 544000 | #Constraints: 27675
831.60/833.97 c #Conflicts: 545000 | #Constraints: 28675
831.60/833.97 c #Conflicts: 546000 | #Constraints: 29675
831.60/833.97 c INPROCESSING
831.60/833.97 c GARBAGE COLLECT
831.60/833.97 c #Conflicts: 547000 | #Constraints: 16059
831.60/833.97 c #Conflicts: 548000 | #Constraints: 17059
831.60/833.97 c #Conflicts: 549000 | #Constraints: 18059
831.60/833.97 c #Conflicts: 550000 | #Constraints: 19059
831.60/833.97 c #Conflicts: 551000 | #Constraints: 20059
831.60/833.97 c #Conflicts: 552000 | #Constraints: 21059
831.60/833.97 c #Conflicts: 553000 | #Constraints: 22059
831.60/833.97 c #Conflicts: 554000 | #Constraints: 23059
831.60/833.97 c #Conflicts: 555000 | #Constraints: 24059
831.60/833.97 c #Conflicts: 556000 | #Constraints: 25059
831.60/833.97 c #Conflicts: 557000 | #Constraints: 26059
831.60/833.97 c #Conflicts: 558000 | #Constraints: 27059
831.60/833.97 c #Conflicts: 559000 | #Constraints: 28059
831.60/833.97 c #Conflicts: 560000 | #Constraints: 29059
831.60/833.97 c #Conflicts: 561000 | #Constraints: 30059
831.60/833.97 c INPROCESSING
831.60/833.97 c GARBAGE COLLECT
831.60/833.97 c #Conflicts: 562000 | #Constraints: 16260
831.60/833.97 c #Conflicts: 563000 | #Constraints: 17260
831.60/833.97 c #Conflicts: 564000 | #Constraints: 18260
831.60/833.97 c #Conflicts: 565000 | #Constraints: 19260
831.60/833.97 c #Conflicts: 566000 | #Constraints: 20260
831.60/833.97 c #Conflicts: 567000 | #Constraints: 21260
831.60/833.97 c #Conflicts: 568000 | #Constraints: 22260
831.60/833.97 c #Conflicts: 569000 | #Constraints: 23260
831.60/833.97 c #Conflicts: 570000 | #Constraints: 24260
831.60/833.97 c #Conflicts: 571000 | #Constraints: 25260
831.60/833.97 c #Conflicts: 572000 | #Constraints: 26260
831.60/833.97 c #Conflicts: 573000 | #Constraints: 27260
831.60/833.97 c #Conflicts: 574000 | #Constraints: 28260
831.60/833.97 c #Conflicts: 575000 | #Constraints: 29260
831.60/833.97 c #Conflicts: 576000 | #Constraints: 30260
831.60/833.97 c INPROCESSING
831.60/833.97 c GARBAGE COLLECT
831.60/833.97 c #Conflicts: 577000 | #Constraints: 16271
831.60/833.97 c #Conflicts: 578000 | #Constraints: 17271
831.60/833.97 c #Conflicts: 579000 | #Constraints: 18271
831.60/833.97 c #Conflicts: 580000 | #Constraints: 19271
831.60/833.97 c #Conflicts: 581000 | #Constraints: 20271
831.60/833.97 c #Conflicts: 582000 | #Constraints: 21271
831.60/833.97 c #Conflicts: 583000 | #Constraints: 22271
831.60/833.97 c #Conflicts: 584000 | #Constraints: 23271
831.60/833.97 c #Conflicts: 585000 | #Constraints: 24271
831.60/833.97 c #Conflicts: 586000 | #Constraints: 25271
831.60/833.97 c #Conflicts: 587000 | #Constraints: 26271
831.60/833.97 c #Conflicts: 588000 | #Constraints: 27271
933.53/936.13 c #Conflicts: 589000 | #Constraints: 28271
933.53/936.13 c #Conflicts: 590000 | #Constraints: 29271
933.53/936.13 c #Conflicts: 591000 | #Constraints: 30271
933.53/936.13 c INPROCESSING
933.53/936.13 c GARBAGE COLLECT
933.53/936.13 c #Conflicts: 592000 | #Constraints: 16076
933.53/936.13 c #Conflicts: 593000 | #Constraints: 17076
933.53/936.13 c #Conflicts: 594000 | #Constraints: 18076
933.53/936.13 c #Conflicts: 595000 | #Constraints: 19076
933.53/936.13 c #Conflicts: 596000 | #Constraints: 20076
933.53/936.13 c #Conflicts: 597000 | #Constraints: 21076
933.53/936.13 c #Conflicts: 598000 | #Constraints: 22076
933.53/936.13 c #Conflicts: 599000 | #Constraints: 23076
933.53/936.13 c #Conflicts: 600000 | #Constraints: 24076
933.53/936.13 c #Conflicts: 601000 | #Constraints: 25076
933.53/936.13 c #Conflicts: 602000 | #Constraints: 26076
933.53/936.13 c #Conflicts: 603000 | #Constraints: 27076
933.53/936.13 c #Conflicts: 604000 | #Constraints: 28076
933.53/936.13 c #Conflicts: 605000 | #Constraints: 29076
933.53/936.13 c #Conflicts: 606000 | #Constraints: 30076
933.53/936.13 c #Conflicts: 607000 | #Constraints: 31076
933.53/936.13 c INPROCESSING
933.53/936.13 c GARBAGE COLLECT
933.53/936.13 c #Conflicts: 608000 | #Constraints: 16669
933.53/936.13 c #Conflicts: 609000 | #Constraints: 17669
933.53/936.13 c #Conflicts: 610000 | #Constraints: 18669
933.53/936.13 c #Conflicts: 611000 | #Constraints: 19669
933.53/936.13 c #Conflicts: 612000 | #Constraints: 20669
933.53/936.13 c #Conflicts: 613000 | #Constraints: 21669
933.53/936.13 c #Conflicts: 614000 | #Constraints: 22669
933.53/936.13 c #Conflicts: 615000 | #Constraints: 23669
933.53/936.13 c #Conflicts: 616000 | #Constraints: 24669
933.53/936.13 c #Conflicts: 617000 | #Constraints: 25669
933.53/936.13 c #Conflicts: 618000 | #Constraints: 26669
933.53/936.13 c #Conflicts: 619000 | #Constraints: 27669
933.53/936.13 c #Conflicts: 620000 | #Constraints: 28669
933.53/936.13 c #Conflicts: 621000 | #Constraints: 29669
933.53/936.13 c #Conflicts: 622000 | #Constraints: 30669
933.53/936.13 c #Conflicts: 623000 | #Constraints: 31669
933.53/936.13 c INPROCESSING
933.53/936.13 c GARBAGE COLLECT
933.53/936.13 c #Conflicts: 624000 | #Constraints: 17064
933.53/936.13 c #Conflicts: 625000 | #Constraints: 18064
933.53/936.13 c #Conflicts: 626000 | #Constraints: 19064
933.53/936.13 c #Conflicts: 627000 | #Constraints: 20064
933.53/936.13 c #Conflicts: 628000 | #Constraints: 21064
933.53/936.13 c #Conflicts: 629000 | #Constraints: 22064
933.53/936.13 c #Conflicts: 630000 | #Constraints: 23064
933.53/936.13 c #Conflicts: 631000 | #Constraints: 24064
933.53/936.13 c #Conflicts: 632000 | #Constraints: 25064
933.53/936.13 c #Conflicts: 633000 | #Constraints: 26064
933.53/936.13 c #Conflicts: 634000 | #Constraints: 27064
933.53/936.13 c #Conflicts: 635000 | #Constraints: 28064
933.53/936.13 c #Conflicts: 636000 | #Constraints: 29064
933.53/936.13 c #Conflicts: 637000 | #Constraints: 30064
933.53/936.13 c #Conflicts: 638000 | #Constraints: 31064
933.53/936.13 c #Conflicts: 639000 | #Constraints: 32064
933.53/936.13 c INPROCESSING
933.53/936.13 c GARBAGE COLLECT
933.53/936.13 c #Conflicts: 640000 | #Constraints: 17256
933.53/936.13 c #Conflicts: 641000 | #Constraints: 18256
933.53/936.13 c #Conflicts: 642000 | #Constraints: 19256
933.53/936.13 c #Conflicts: 643000 | #Constraints: 20256
933.53/936.13 c #Conflicts: 644000 | #Constraints: 21256
933.53/936.13 c #Conflicts: 645000 | #Constraints: 22256
933.53/936.13 c #Conflicts: 646000 | #Constraints: 23256
933.53/936.13 c #Conflicts: 647000 | #Constraints: 24256
933.53/936.13 c #Conflicts: 648000 | #Constraints: 25256
933.53/936.13 c #Conflicts: 649000 | #Constraints: 26256
933.53/936.13 c #Conflicts: 650000 | #Constraints: 27256
933.53/936.13 c #Conflicts: 651000 | #Constraints: 28256
933.53/936.13 c #Conflicts: 652000 | #Constraints: 29256
933.53/936.13 c #Conflicts: 653000 | #Constraints: 30256
933.53/936.13 c #Conflicts: 654000 | #Constraints: 31256
933.53/936.13 c #Conflicts: 655000 | #Constraints: 32256
933.53/936.13 c INPROCESSING
933.53/936.13 c GARBAGE COLLECT
933.53/936.13 c #Conflicts: 656000 | #Constraints: 17271
933.53/936.13 c #Conflicts: 657000 | #Constraints: 18271
933.53/936.13 c #Conflicts: 658000 | #Constraints: 19271
933.53/936.13 c #Conflicts: 659000 | #Constraints: 20271
933.53/936.13 c #Conflicts: 660000 | #Constraints: 21271
933.53/936.13 c #Conflicts: 661000 | #Constraints: 22271
933.53/936.13 c #Conflicts: 662000 | #Constraints: 23271
933.53/936.13 c #Conflicts: 663000 | #Constraints: 24271
1111.65/1114.72 c #Conflicts: 664000 | #Constraints: 25271
1111.65/1114.72 c #Conflicts: 665000 | #Constraints: 26271
1111.65/1114.72 c #Conflicts: 666000 | #Constraints: 27271
1111.65/1114.72 c #Conflicts: 667000 | #Constraints: 28271
1111.65/1114.72 c #Conflicts: 668000 | #Constraints: 29271
1111.65/1114.72 c #Conflicts: 669000 | #Constraints: 30271
1111.65/1114.72 c #Conflicts: 670000 | #Constraints: 31271
1111.65/1114.72 c #Conflicts: 671000 | #Constraints: 32271
1111.65/1114.72 c INPROCESSING
1111.65/1114.72 c GARBAGE COLLECT
1111.65/1114.72 c #Conflicts: 672000 | #Constraints: 17059
1111.65/1114.72 c #Conflicts: 673000 | #Constraints: 18059
1111.65/1114.72 c #Conflicts: 674000 | #Constraints: 19059
1111.65/1114.72 c #Conflicts: 675000 | #Constraints: 20059
1111.65/1114.72 c #Conflicts: 676000 | #Constraints: 21059
1111.65/1114.72 c #Conflicts: 677000 | #Constraints: 22059
1111.65/1114.72 c #Conflicts: 678000 | #Constraints: 23059
1111.65/1114.72 c #Conflicts: 679000 | #Constraints: 24059
1111.65/1114.72 c #Conflicts: 680000 | #Constraints: 25059
1111.65/1114.72 c #Conflicts: 681000 | #Constraints: 26059
1111.65/1114.72 c #Conflicts: 682000 | #Constraints: 27059
1111.65/1114.72 c #Conflicts: 683000 | #Constraints: 28059
1111.65/1114.72 c #Conflicts: 684000 | #Constraints: 29059
1111.65/1114.72 c #Conflicts: 685000 | #Constraints: 30059
1111.65/1114.72 c #Conflicts: 686000 | #Constraints: 31059
1111.65/1114.72 c #Conflicts: 687000 | #Constraints: 32059
1111.65/1114.72 c #Conflicts: 688000 | #Constraints: 33059
1111.65/1114.72 c INPROCESSING
1111.65/1114.72 c GARBAGE COLLECT
1111.65/1114.72 c #Conflicts: 689000 | #Constraints: 17648
1111.65/1114.72 c #Conflicts: 690000 | #Constraints: 18648
1111.65/1114.72 c #Conflicts: 691000 | #Constraints: 19648
1111.65/1114.72 c #Conflicts: 692000 | #Constraints: 20648
1111.65/1114.72 c #Conflicts: 693000 | #Constraints: 21648
1111.65/1114.72 c #Conflicts: 694000 | #Constraints: 22648
1111.65/1114.72 c #Conflicts: 695000 | #Constraints: 23648
1111.65/1114.72 c #Conflicts: 696000 | #Constraints: 24648
1111.65/1114.72 c #Conflicts: 697000 | #Constraints: 25648
1111.65/1114.72 c #Conflicts: 698000 | #Constraints: 26648
1111.65/1114.72 c #Conflicts: 699000 | #Constraints: 27648
1111.65/1114.72 c #Conflicts: 700000 | #Constraints: 28648
1111.65/1114.72 c #Conflicts: 701000 | #Constraints: 29648
1111.65/1114.72 c #Conflicts: 702000 | #Constraints: 30648
1111.65/1114.72 c #Conflicts: 703000 | #Constraints: 31648
1111.65/1114.72 c #Conflicts: 704000 | #Constraints: 32648
1111.65/1114.72 c #Conflicts: 705000 | #Constraints: 33648
1111.65/1114.72 c INPROCESSING
1111.65/1114.72 c GARBAGE COLLECT
1111.65/1114.72 c #Conflicts: 706000 | #Constraints: 18051
1111.65/1114.72 c #Conflicts: 707000 | #Constraints: 19051
1111.65/1114.72 c #Conflicts: 708000 | #Constraints: 20051
1111.65/1114.72 c #Conflicts: 709000 | #Constraints: 21051
1111.65/1114.72 c #Conflicts: 710000 | #Constraints: 22051
1111.65/1114.72 c #Conflicts: 711000 | #Constraints: 23051
1111.65/1114.72 c #Conflicts: 712000 | #Constraints: 24051
1111.65/1114.72 c #Conflicts: 713000 | #Constraints: 25051
1111.65/1114.72 c #Conflicts: 714000 | #Constraints: 26051
1111.65/1114.72 c #Conflicts: 715000 | #Constraints: 27051
1111.65/1114.72 c #Conflicts: 716000 | #Constraints: 28051
1111.65/1114.72 c #Conflicts: 717000 | #Constraints: 29051
1111.65/1114.72 c #Conflicts: 718000 | #Constraints: 30051
1111.65/1114.72 c #Conflicts: 719000 | #Constraints: 31051
1111.65/1114.72 c #Conflicts: 720000 | #Constraints: 32051
1111.65/1114.72 c #Conflicts: 721000 | #Constraints: 33051
1111.65/1114.72 c #Conflicts: 722000 | #Constraints: 34051
1111.65/1114.72 c INPROCESSING
1111.65/1114.72 c GARBAGE COLLECT
1111.65/1114.72 c #Conflicts: 723000 | #Constraints: 18270
1111.65/1114.72 c #Conflicts: 724000 | #Constraints: 19270
1111.65/1114.72 c #Conflicts: 725000 | #Constraints: 20270
1111.65/1114.72 c #Conflicts: 726000 | #Constraints: 21270
1111.65/1114.72 c #Conflicts: 727000 | #Constraints: 22270
1111.65/1114.72 c #Conflicts: 728000 | #Constraints: 23270
1111.65/1114.72 c #Conflicts: 729000 | #Constraints: 24270
1111.65/1114.72 c #Conflicts: 730000 | #Constraints: 25270
1111.65/1114.72 c #Conflicts: 731000 | #Constraints: 26270
1111.65/1114.72 c #Conflicts: 732000 | #Constraints: 27270
1111.65/1114.72 c #Conflicts: 733000 | #Constraints: 28270
1111.65/1114.72 c #Conflicts: 734000 | #Constraints: 29270
1111.65/1114.72 c #Conflicts: 735000 | #Constraints: 30270
1111.65/1114.72 c #Conflicts: 736000 | #Constraints: 31270
1111.65/1114.72 c #Conflicts: 737000 | #Constraints: 32270
1111.65/1114.72 c #Conflicts: 738000 | #Constraints: 33270
1111.65/1114.72 c #Conflicts: 739000 | #Constraints: 34270
1248.63/1252.14 c INPROCESSING
1248.63/1252.14 c GARBAGE COLLECT
1248.63/1252.14 c #Conflicts: 740000 | #Constraints: 18300
1248.63/1252.14 c #Conflicts: 741000 | #Constraints: 19300
1248.63/1252.14 c #Conflicts: 742000 | #Constraints: 20300
1248.63/1252.14 c #Conflicts: 743000 | #Constraints: 21300
1248.63/1252.14 c #Conflicts: 744000 | #Constraints: 22300
1248.63/1252.14 c #Conflicts: 745000 | #Constraints: 23300
1248.63/1252.14 c #Conflicts: 746000 | #Constraints: 24300
1248.63/1252.14 c #Conflicts: 747000 | #Constraints: 25300
1248.63/1252.14 c #Conflicts: 748000 | #Constraints: 26300
1248.63/1252.14 c #Conflicts: 749000 | #Constraints: 27300
1248.63/1252.14 c #Conflicts: 750000 | #Constraints: 28300
1248.63/1252.14 c #Conflicts: 751000 | #Constraints: 29300
1248.63/1252.14 c #Conflicts: 752000 | #Constraints: 30300
1248.63/1252.14 c #Conflicts: 753000 | #Constraints: 31300
1248.63/1252.14 c #Conflicts: 754000 | #Constraints: 32300
1248.63/1252.14 c #Conflicts: 755000 | #Constraints: 33300
1248.63/1252.14 c #Conflicts: 756000 | #Constraints: 34300
1248.63/1252.14 c INPROCESSING
1248.63/1252.14 c GARBAGE COLLECT
1248.63/1252.14 c #Conflicts: 757000 | #Constraints: 18072
1248.63/1252.14 c #Conflicts: 758000 | #Constraints: 19072
1248.63/1252.14 c #Conflicts: 759000 | #Constraints: 20072
1248.63/1252.14 c #Conflicts: 760000 | #Constraints: 21072
1248.63/1252.14 c #Conflicts: 761000 | #Constraints: 22072
1248.63/1252.14 c #Conflicts: 762000 | #Constraints: 23072
1248.63/1252.14 c #Conflicts: 763000 | #Constraints: 24072
1248.63/1252.14 c #Conflicts: 764000 | #Constraints: 25072
1248.63/1252.14 c #Conflicts: 765000 | #Constraints: 26072
1248.63/1252.14 c #Conflicts: 766000 | #Constraints: 27072
1248.63/1252.14 c #Conflicts: 767000 | #Constraints: 28072
1248.63/1252.14 c #Conflicts: 768000 | #Constraints: 29072
1248.63/1252.14 c #Conflicts: 769000 | #Constraints: 30072
1248.63/1252.14 c #Conflicts: 770000 | #Constraints: 31072
1248.63/1252.14 c #Conflicts: 771000 | #Constraints: 32072
1248.63/1252.14 c #Conflicts: 772000 | #Constraints: 33072
1248.63/1252.14 c #Conflicts: 773000 | #Constraints: 34072
1248.63/1252.14 c #Conflicts: 774000 | #Constraints: 35072
1248.63/1252.14 c INPROCESSING
1248.63/1252.14 c GARBAGE COLLECT
1248.63/1252.14 c #Conflicts: 775000 | #Constraints: 18673
1248.63/1252.14 c #Conflicts: 776000 | #Constraints: 19673
1248.63/1252.14 c #Conflicts: 777000 | #Constraints: 20673
1248.63/1252.14 c #Conflicts: 778000 | #Constraints: 21673
1248.63/1252.14 c #Conflicts: 779000 | #Constraints: 22673
1248.63/1252.14 c #Conflicts: 780000 | #Constraints: 23673
1248.63/1252.14 c #Conflicts: 781000 | #Constraints: 24673
1248.63/1252.14 c #Conflicts: 782000 | #Constraints: 25673
1248.63/1252.14 c #Conflicts: 783000 | #Constraints: 26673
1248.63/1252.14 c #Conflicts: 784000 | #Constraints: 27673
1248.63/1252.14 c #Conflicts: 785000 | #Constraints: 28673
1248.63/1252.14 c #Conflicts: 786000 | #Constraints: 29673
1248.63/1252.14 c #Conflicts: 787000 | #Constraints: 30673
1248.63/1252.14 c #Conflicts: 788000 | #Constraints: 31673
1248.63/1252.14 c #Conflicts: 789000 | #Constraints: 32673
1248.63/1252.14 c #Conflicts: 790000 | #Constraints: 33673
1248.63/1252.14 c #Conflicts: 791000 | #Constraints: 34673
1248.63/1252.14 c #Conflicts: 792000 | #Constraints: 35673
1248.63/1252.14 c INPROCESSING
1248.63/1252.14 c GARBAGE COLLECT
1248.63/1252.14 c #Conflicts: 793000 | #Constraints: 19071
1248.63/1252.14 c #Conflicts: 794000 | #Constraints: 20071
1248.63/1252.14 c #Conflicts: 795000 | #Constraints: 21071
1248.63/1252.14 c #Conflicts: 796000 | #Constraints: 22071
1248.63/1252.14 c #Conflicts: 797000 | #Constraints: 23071
1248.63/1252.14 c #Conflicts: 798000 | #Constraints: 24071
1248.63/1252.14 c #Conflicts: 799000 | #Constraints: 25071
1248.63/1252.14 c #Conflicts: 800000 | #Constraints: 26071
1248.63/1252.14 c #Conflicts: 801000 | #Constraints: 27071
1248.63/1252.14 c #Conflicts: 802000 | #Constraints: 28071
1248.63/1252.14 c #Conflicts: 803000 | #Constraints: 29071
1248.63/1252.14 c #Conflicts: 804000 | #Constraints: 30071
1248.63/1252.14 c #Conflicts: 805000 | #Constraints: 31071
1248.63/1252.14 c #Conflicts: 806000 | #Constraints: 32071
1248.63/1252.14 c #Conflicts: 807000 | #Constraints: 33071
1248.63/1252.14 c #Conflicts: 808000 | #Constraints: 34071
1248.63/1252.14 c #Conflicts: 809000 | #Constraints: 35071
1248.63/1252.14 c #Conflicts: 810000 | #Constraints: 36071
1248.63/1252.14 c INPROCESSING
1248.63/1252.14 c GARBAGE COLLECT
1248.63/1252.14 c #Conflicts: 811000 | #Constraints: 19272
1248.63/1252.14 c #Conflicts: 812000 | #Constraints: 20272
1248.63/1252.14 c #Conflicts: 813000 | #Constraints: 21272
1248.63/1252.14 c #Conflicts: 814000 | #Constraints: 22272
1248.63/1252.14 c #Conflicts: 815000 | #Constraints: 23272
1390.02/1393.90 c #Conflicts: 816000 | #Constraints: 24272
1390.02/1393.90 c #Conflicts: 817000 | #Constraints: 25272
1390.02/1393.90 c #Conflicts: 818000 | #Constraints: 26272
1390.02/1393.90 c #Conflicts: 819000 | #Constraints: 27272
1390.02/1393.90 c #Conflicts: 820000 | #Constraints: 28272
1390.02/1393.90 c #Conflicts: 821000 | #Constraints: 29272
1390.02/1393.90 c #Conflicts: 822000 | #Constraints: 30272
1390.02/1393.90 c #Conflicts: 823000 | #Constraints: 31272
1390.02/1393.90 c #Conflicts: 824000 | #Constraints: 32272
1390.02/1393.90 c #Conflicts: 825000 | #Constraints: 33272
1390.02/1393.90 c #Conflicts: 826000 | #Constraints: 34272
1390.02/1393.90 c #Conflicts: 827000 | #Constraints: 35272
1390.02/1393.90 c #Conflicts: 828000 | #Constraints: 36272
1390.02/1393.90 c INPROCESSING
1390.02/1393.90 c GARBAGE COLLECT
1390.02/1393.90 c #Conflicts: 829000 | #Constraints: 19282
1390.02/1393.90 c #Conflicts: 830000 | #Constraints: 20282
1390.02/1393.90 c #Conflicts: 831000 | #Constraints: 21282
1390.02/1393.90 c #Conflicts: 832000 | #Constraints: 22282
1390.02/1393.90 c #Conflicts: 833000 | #Constraints: 23282
1390.02/1393.90 c #Conflicts: 834000 | #Constraints: 24282
1390.02/1393.90 c #Conflicts: 835000 | #Constraints: 25282
1390.02/1393.90 c #Conflicts: 836000 | #Constraints: 26282
1390.02/1393.90 c #Conflicts: 837000 | #Constraints: 27282
1390.02/1393.90 c #Conflicts: 838000 | #Constraints: 28282
1390.02/1393.90 c #Conflicts: 839000 | #Constraints: 29282
1390.02/1393.90 c #Conflicts: 840000 | #Constraints: 30282
1390.02/1393.90 c #Conflicts: 841000 | #Constraints: 31282
1390.02/1393.90 c #Conflicts: 842000 | #Constraints: 32282
1390.02/1393.90 c #Conflicts: 843000 | #Constraints: 33282
1390.02/1393.90 c #Conflicts: 844000 | #Constraints: 34282
1390.02/1393.90 c #Conflicts: 845000 | #Constraints: 35282
1390.02/1393.90 c #Conflicts: 846000 | #Constraints: 36282
1390.02/1393.90 c INPROCESSING
1390.02/1393.90 c GARBAGE COLLECT
1390.02/1393.90 c #Conflicts: 847000 | #Constraints: 19077
1390.02/1393.90 c #Conflicts: 848000 | #Constraints: 20077
1390.02/1393.90 c #Conflicts: 849000 | #Constraints: 21077
1390.02/1393.90 c #Conflicts: 850000 | #Constraints: 22077
1390.02/1393.90 c #Conflicts: 851000 | #Constraints: 23077
1390.02/1393.90 c #Conflicts: 852000 | #Constraints: 24077
1390.02/1393.90 c #Conflicts: 853000 | #Constraints: 25077
1390.02/1393.90 c #Conflicts: 854000 | #Constraints: 26077
1390.02/1393.90 c #Conflicts: 855000 | #Constraints: 27077
1390.02/1393.90 c #Conflicts: 856000 | #Constraints: 28077
1390.02/1393.90 c #Conflicts: 857000 | #Constraints: 29077
1390.02/1393.90 c #Conflicts: 858000 | #Constraints: 30077
1390.02/1393.90 c #Conflicts: 859000 | #Constraints: 31077
1390.02/1393.90 c #Conflicts: 860000 | #Constraints: 32077
1390.02/1393.90 c #Conflicts: 861000 | #Constraints: 33077
1390.02/1393.90 c #Conflicts: 862000 | #Constraints: 34077
1390.02/1393.90 c #Conflicts: 863000 | #Constraints: 35077
1390.02/1393.90 c #Conflicts: 864000 | #Constraints: 36077
1390.02/1393.90 c #Conflicts: 865000 | #Constraints: 37077
1390.02/1393.90 c INPROCESSING
1390.02/1393.90 c GARBAGE COLLECT
1390.02/1393.90 c #Conflicts: 866000 | #Constraints: 19673
1390.02/1393.90 c #Conflicts: 867000 | #Constraints: 20673
1390.02/1393.90 c #Conflicts: 868000 | #Constraints: 21673
1390.02/1393.90 c #Conflicts: 869000 | #Constraints: 22673
1390.02/1393.90 c #Conflicts: 870000 | #Constraints: 23673
1390.02/1393.90 c #Conflicts: 871000 | #Constraints: 24673
1390.02/1393.90 c #Conflicts: 872000 | #Constraints: 25673
1390.02/1393.90 c #Conflicts: 873000 | #Constraints: 26673
1390.02/1393.90 c #Conflicts: 874000 | #Constraints: 27673
1390.02/1393.90 c #Conflicts: 875000 | #Constraints: 28673
1390.02/1393.90 c #Conflicts: 876000 | #Constraints: 29673
1390.02/1393.90 c #Conflicts: 877000 | #Constraints: 30673
1390.02/1393.90 c #Conflicts: 878000 | #Constraints: 31673
1390.02/1393.90 c #Conflicts: 879000 | #Constraints: 32673
1390.02/1393.90 c #Conflicts: 880000 | #Constraints: 33673
1390.02/1393.90 c #Conflicts: 881000 | #Constraints: 34673
1390.02/1393.90 c #Conflicts: 882000 | #Constraints: 35673
1390.02/1393.90 c #Conflicts: 883000 | #Constraints: 36673
1390.02/1393.90 c #Conflicts: 884000 | #Constraints: 37673
1390.02/1393.90 c INPROCESSING
1390.02/1393.90 c GARBAGE COLLECT
1390.02/1393.90 c #Conflicts: 885000 | #Constraints: 20058
1390.02/1393.90 c #Conflicts: 886000 | #Constraints: 21058
1390.02/1393.90 c #Conflicts: 887000 | #Constraints: 22058
1390.02/1393.90 c #Conflicts: 888000 | #Constraints: 23058
1390.02/1393.90 c #Conflicts: 889000 | #Constraints: 24058
1390.02/1393.90 c #Conflicts: 890000 | #Constraints: 25058
1390.02/1393.90 c #Conflicts: 891000 | #Constraints: 26058
1592.67/1597.14 c #Conflicts: 892000 | #Constraints: 27058
1592.67/1597.14 c #Conflicts: 893000 | #Constraints: 28058
1592.67/1597.14 c #Conflicts: 894000 | #Constraints: 29058
1592.67/1597.14 c #Conflicts: 895000 | #Constraints: 30058
1592.67/1597.14 c #Conflicts: 896000 | #Constraints: 31058
1592.67/1597.14 c #Conflicts: 897000 | #Constraints: 32058
1592.67/1597.14 c #Conflicts: 898000 | #Constraints: 33058
1592.67/1597.14 c #Conflicts: 899000 | #Constraints: 34058
1592.67/1597.14 c #Conflicts: 900000 | #Constraints: 35058
1592.67/1597.14 c #Conflicts: 901000 | #Constraints: 36058
1592.67/1597.14 c #Conflicts: 902000 | #Constraints: 37058
1592.67/1597.14 c #Conflicts: 903000 | #Constraints: 38058
1592.67/1597.14 c INPROCESSING
1592.67/1597.14 c GARBAGE COLLECT
1592.67/1597.14 c #Conflicts: 904000 | #Constraints: 20250
1592.67/1597.14 c #Conflicts: 905000 | #Constraints: 21250
1592.67/1597.14 c #Conflicts: 906000 | #Constraints: 22250
1592.67/1597.14 c #Conflicts: 907000 | #Constraints: 23250
1592.67/1597.14 c #Conflicts: 908000 | #Constraints: 24250
1592.67/1597.14 c #Conflicts: 909000 | #Constraints: 25250
1592.67/1597.14 c #Conflicts: 910000 | #Constraints: 26250
1592.67/1597.14 c #Conflicts: 911000 | #Constraints: 27250
1592.67/1597.14 c #Conflicts: 912000 | #Constraints: 28250
1592.67/1597.14 c #Conflicts: 913000 | #Constraints: 29250
1592.67/1597.14 c #Conflicts: 914000 | #Constraints: 30250
1592.67/1597.14 c #Conflicts: 915000 | #Constraints: 31250
1592.67/1597.14 c #Conflicts: 916000 | #Constraints: 32250
1592.67/1597.14 c #Conflicts: 917000 | #Constraints: 33250
1592.67/1597.14 c #Conflicts: 918000 | #Constraints: 34250
1592.67/1597.14 c #Conflicts: 919000 | #Constraints: 35250
1592.67/1597.14 c #Conflicts: 920000 | #Constraints: 36250
1592.67/1597.14 c #Conflicts: 921000 | #Constraints: 37250
1592.67/1597.14 c #Conflicts: 922000 | #Constraints: 38250
1592.67/1597.14 c INPROCESSING
1592.67/1597.14 c GARBAGE COLLECT
1592.67/1597.14 c #Conflicts: 923000 | #Constraints: 20258
1592.67/1597.14 c #Conflicts: 924000 | #Constraints: 21258
1592.67/1597.14 c #Conflicts: 925000 | #Constraints: 22258
1592.67/1597.14 c #Conflicts: 926000 | #Constraints: 23258
1592.67/1597.14 c #Conflicts: 927000 | #Constraints: 24258
1592.67/1597.14 c #Conflicts: 928000 | #Constraints: 25258
1592.67/1597.14 c #Conflicts: 929000 | #Constraints: 26258
1592.67/1597.14 c #Conflicts: 930000 | #Constraints: 27258
1592.67/1597.14 c #Conflicts: 931000 | #Constraints: 28258
1592.67/1597.14 c #Conflicts: 932000 | #Constraints: 29258
1592.67/1597.14 c #Conflicts: 933000 | #Constraints: 30258
1592.67/1597.14 c #Conflicts: 934000 | #Constraints: 31258
1592.67/1597.14 c #Conflicts: 935000 | #Constraints: 32258
1592.67/1597.14 c #Conflicts: 936000 | #Constraints: 33258
1592.67/1597.14 c #Conflicts: 937000 | #Constraints: 34258
1592.67/1597.14 c #Conflicts: 938000 | #Constraints: 35258
1592.67/1597.14 c #Conflicts: 939000 | #Constraints: 36258
1592.67/1597.14 c #Conflicts: 940000 | #Constraints: 37258
1592.67/1597.14 c #Conflicts: 941000 | #Constraints: 38258
1592.67/1597.14 c INPROCESSING
1592.67/1597.14 c GARBAGE COLLECT
1592.67/1597.14 c #Conflicts: 942000 | #Constraints: 20079
1592.67/1597.14 c #Conflicts: 943000 | #Constraints: 21079
1592.67/1597.14 c #Conflicts: 944000 | #Constraints: 22079
1592.67/1597.14 c #Conflicts: 945000 | #Constraints: 23079
1592.67/1597.14 c #Conflicts: 946000 | #Constraints: 24079
1592.67/1597.14 c #Conflicts: 947000 | #Constraints: 25079
1592.67/1597.14 c #Conflicts: 948000 | #Constraints: 26079
1592.67/1597.14 c #Conflicts: 949000 | #Constraints: 27079
1592.67/1597.14 c #Conflicts: 950000 | #Constraints: 28079
1592.67/1597.14 c #Conflicts: 951000 | #Constraints: 29079
1592.67/1597.14 c #Conflicts: 952000 | #Constraints: 30079
1592.67/1597.14 c #Conflicts: 953000 | #Constraints: 31079
1592.67/1597.14 c #Conflicts: 954000 | #Constraints: 32079
1592.67/1597.14 c #Conflicts: 955000 | #Constraints: 33079
1592.67/1597.14 c #Conflicts: 956000 | #Constraints: 34079
1592.67/1597.14 c #Conflicts: 957000 | #Constraints: 35079
1592.67/1597.14 c #Conflicts: 958000 | #Constraints: 36079
1592.67/1597.14 c #Conflicts: 959000 | #Constraints: 37079
1592.67/1597.14 c #Conflicts: 960000 | #Constraints: 38079
1592.67/1597.14 c #Conflicts: 961000 | #Constraints: 39079
1592.67/1597.14 c INPROCESSING
1592.67/1597.14 c GARBAGE COLLECT
1592.67/1597.14 c #Conflicts: 962000 | #Constraints: 20693
1592.67/1597.14 c #Conflicts: 963000 | #Constraints: 21693
1592.67/1597.14 c #Conflicts: 964000 | #Constraints: 22693
1592.67/1597.14 c #Conflicts: 965000 | #Constraints: 23693
1592.67/1597.14 c #Conflicts: 966000 | #Constraints: 24693
1592.67/1597.14 c #Conflicts: 967000 | #Constraints: 25693
1825.21/1830.32 c #Conflicts: 968000 | #Constraints: 26693
1825.21/1830.32 c #Conflicts: 969000 | #Constraints: 27693
1825.21/1830.32 c #Conflicts: 970000 | #Constraints: 28693
1825.21/1830.32 c #Conflicts: 971000 | #Constraints: 29693
1825.21/1830.32 c #Conflicts: 972000 | #Constraints: 30693
1825.21/1830.32 c #Conflicts: 973000 | #Constraints: 31693
1825.21/1830.32 c #Conflicts: 974000 | #Constraints: 32693
1825.21/1830.32 c #Conflicts: 975000 | #Constraints: 33693
1825.21/1830.32 c #Conflicts: 976000 | #Constraints: 34693
1825.21/1830.32 c #Conflicts: 977000 | #Constraints: 35693
1825.21/1830.32 c #Conflicts: 978000 | #Constraints: 36693
1825.21/1830.32 c #Conflicts: 979000 | #Constraints: 37693
1825.21/1830.32 c #Conflicts: 980000 | #Constraints: 38693
1825.21/1830.32 c #Conflicts: 981000 | #Constraints: 39693
1825.21/1830.32 c INPROCESSING
1825.21/1830.32 c GARBAGE COLLECT
1825.21/1830.32 c #Conflicts: 982000 | #Constraints: 21108
1825.21/1830.32 c #Conflicts: 983000 | #Constraints: 22108
1825.21/1830.32 c #Conflicts: 984000 | #Constraints: 23108
1825.21/1830.32 c #Conflicts: 985000 | #Constraints: 24108
1825.21/1830.32 c #Conflicts: 986000 | #Constraints: 25108
1825.21/1830.32 c #Conflicts: 987000 | #Constraints: 26108
1825.21/1830.32 c #Conflicts: 988000 | #Constraints: 27108
1825.21/1830.32 c #Conflicts: 989000 | #Constraints: 28108
1825.21/1830.32 c #Conflicts: 990000 | #Constraints: 29108
1825.21/1830.32 c #Conflicts: 991000 | #Constraints: 30108
1825.21/1830.32 c #Conflicts: 992000 | #Constraints: 31108
1825.21/1830.32 c #Conflicts: 993000 | #Constraints: 32108
1825.21/1830.32 c #Conflicts: 994000 | #Constraints: 33108
1825.21/1830.32 c #Conflicts: 995000 | #Constraints: 34108
1825.21/1830.32 c #Conflicts: 996000 | #Constraints: 35108
1825.21/1830.32 c #Conflicts: 997000 | #Constraints: 36108
1825.21/1830.32 c #Conflicts: 998000 | #Constraints: 37108
1825.21/1830.32 c #Conflicts: 999000 | #Constraints: 38108
1825.21/1830.32 c #Conflicts: 1000000 | #Constraints: 39108
1825.21/1830.32 c #Conflicts: 1001000 | #Constraints: 40108
1825.21/1830.32 c INPROCESSING
1825.21/1830.32 c GARBAGE COLLECT
1825.21/1830.32 c #Conflicts: 1002000 | #Constraints: 21316
1825.21/1830.32 c #Conflicts: 1003000 | #Constraints: 22316
1825.21/1830.32 c #Conflicts: 1004000 | #Constraints: 23316
1825.21/1830.32 c #Conflicts: 1005000 | #Constraints: 24316
1825.21/1830.32 c #Conflicts: 1006000 | #Constraints: 25316
1825.21/1830.32 c #Conflicts: 1007000 | #Constraints: 26316
1825.21/1830.32 c #Conflicts: 1008000 | #Constraints: 27316
1825.21/1830.32 c #Conflicts: 1009000 | #Constraints: 28316
1825.21/1830.32 c #Conflicts: 1010000 | #Constraints: 29316
1825.21/1830.32 c #Conflicts: 1011000 | #Constraints: 30316
1825.21/1830.32 c #Conflicts: 1012000 | #Constraints: 31316
1825.21/1830.32 c #Conflicts: 1013000 | #Constraints: 32316
1825.21/1830.32 c #Conflicts: 1014000 | #Constraints: 33316
1825.21/1830.32 c #Conflicts: 1015000 | #Constraints: 34316
1825.21/1830.32 c #Conflicts: 1016000 | #Constraints: 35316
1825.21/1830.32 c #Conflicts: 1017000 | #Constraints: 36316
1825.21/1830.32 c #Conflicts: 1018000 | #Constraints: 37316
1825.21/1830.32 c #Conflicts: 1019000 | #Constraints: 38316
1825.21/1830.32 c #Conflicts: 1020000 | #Constraints: 39316
1825.21/1830.32 c #Conflicts: 1021000 | #Constraints: 40316
1825.21/1830.32 c INPROCESSING
1825.21/1830.32 c GARBAGE COLLECT
1825.21/1830.32 c #Conflicts: 1022000 | #Constraints: 21314
1825.21/1830.32 c #Conflicts: 1023000 | #Constraints: 22314
1825.21/1830.32 c #Conflicts: 1024000 | #Constraints: 23314
1825.21/1830.32 c #Conflicts: 1025000 | #Constraints: 24314
1825.21/1830.32 c #Conflicts: 1026000 | #Constraints: 25314
1825.21/1830.32 c #Conflicts: 1027000 | #Constraints: 26314
1825.21/1830.32 c #Conflicts: 1028000 | #Constraints: 27314
1825.21/1830.32 c #Conflicts: 1029000 | #Constraints: 28314
1825.21/1830.32 c #Conflicts: 1030000 | #Constraints: 29314
1825.21/1830.32 c #Conflicts: 1031000 | #Constraints: 30314
1825.21/1830.32 c #Conflicts: 1032000 | #Constraints: 31314
1825.21/1830.32 c #Conflicts: 1033000 | #Constraints: 32314
1825.21/1830.32 c #Conflicts: 1034000 | #Constraints: 33314
1825.21/1830.32 c #Conflicts: 1035000 | #Constraints: 34314
1825.21/1830.32 c #Conflicts: 1036000 | #Constraints: 35314
1825.21/1830.32 c #Conflicts: 1037000 | #Constraints: 36314
1825.21/1830.32 c #Conflicts: 1038000 | #Constraints: 37314
1825.21/1830.32 c #Conflicts: 1039000 | #Constraints: 38314
1825.21/1830.32 c #Conflicts: 1040000 | #Constraints: 39314
1825.21/1830.32 c #Conflicts: 1041000 | #Constraints: 40314
1825.21/1830.32 c INPROCESSING
1825.21/1830.32 c GARBAGE COLLECT
1825.21/1830.32 c #Conflicts: 1042000 | #Constraints: 21121
1825.21/1830.32 c #Conflicts: 1043000 | #Constraints: 22121
1825.21/1830.32 c #Conflicts: 1044000 | #Constraints: 23121
2098.79/2104.64 c #Conflicts: 1045000 | #Constraints: 24121
2098.79/2104.64 c #Conflicts: 1046000 | #Constraints: 25121
2098.79/2104.64 c #Conflicts: 1047000 | #Constraints: 26121
2098.79/2104.64 c #Conflicts: 1048000 | #Constraints: 27121
2098.79/2104.64 c #Conflicts: 1049000 | #Constraints: 28121
2098.79/2104.64 c #Conflicts: 1050000 | #Constraints: 29121
2098.79/2104.64 c #Conflicts: 1051000 | #Constraints: 30121
2098.79/2104.64 c #Conflicts: 1052000 | #Constraints: 31121
2098.79/2104.64 c #Conflicts: 1053000 | #Constraints: 32121
2098.79/2104.64 c #Conflicts: 1054000 | #Constraints: 33121
2098.79/2104.64 c #Conflicts: 1055000 | #Constraints: 34121
2098.79/2104.64 c #Conflicts: 1056000 | #Constraints: 35121
2098.79/2104.64 c #Conflicts: 1057000 | #Constraints: 36121
2098.79/2104.64 c #Conflicts: 1058000 | #Constraints: 37121
2098.79/2104.64 c #Conflicts: 1059000 | #Constraints: 38121
2098.79/2104.64 c #Conflicts: 1060000 | #Constraints: 39121
2098.79/2104.64 c #Conflicts: 1061000 | #Constraints: 40121
2098.79/2104.64 c #Conflicts: 1062000 | #Constraints: 41121
2098.79/2104.64 c INPROCESSING
2098.79/2104.64 c GARBAGE COLLECT
2098.79/2104.64 c #Conflicts: 1063000 | #Constraints: 21717
2098.79/2104.64 c #Conflicts: 1064000 | #Constraints: 22717
2098.79/2104.64 c #Conflicts: 1065000 | #Constraints: 23717
2098.79/2104.64 c #Conflicts: 1066000 | #Constraints: 24717
2098.79/2104.64 c #Conflicts: 1067000 | #Constraints: 25717
2098.79/2104.64 c #Conflicts: 1068000 | #Constraints: 26717
2098.79/2104.64 c #Conflicts: 1069000 | #Constraints: 27717
2098.79/2104.64 c #Conflicts: 1070000 | #Constraints: 28717
2098.79/2104.64 c #Conflicts: 1071000 | #Constraints: 29717
2098.79/2104.64 c #Conflicts: 1072000 | #Constraints: 30717
2098.79/2104.64 c #Conflicts: 1073000 | #Constraints: 31717
2098.79/2104.64 c #Conflicts: 1074000 | #Constraints: 32717
2098.79/2104.64 c #Conflicts: 1075000 | #Constraints: 33717
2098.79/2104.64 c #Conflicts: 1076000 | #Constraints: 34717
2098.79/2104.64 c #Conflicts: 1077000 | #Constraints: 35717
2098.79/2104.64 c #Conflicts: 1078000 | #Constraints: 36717
2098.79/2104.64 c #Conflicts: 1079000 | #Constraints: 37717
2098.79/2104.64 c #Conflicts: 1080000 | #Constraints: 38717
2098.79/2104.64 c #Conflicts: 1081000 | #Constraints: 39717
2098.79/2104.64 c #Conflicts: 1082000 | #Constraints: 40717
2098.79/2104.64 c #Conflicts: 1083000 | #Constraints: 41717
2098.79/2104.64 c INPROCESSING
2098.79/2104.64 c GARBAGE COLLECT
2098.79/2104.64 c #Conflicts: 1084000 | #Constraints: 22110
2098.79/2104.64 c #Conflicts: 1085000 | #Constraints: 23110
2098.79/2104.64 c #Conflicts: 1086000 | #Constraints: 24110
2098.79/2104.64 c #Conflicts: 1087000 | #Constraints: 25110
2098.79/2104.64 c #Conflicts: 1088000 | #Constraints: 26110
2098.79/2104.64 c #Conflicts: 1089000 | #Constraints: 27110
2098.79/2104.64 c #Conflicts: 1090000 | #Constraints: 28110
2098.79/2104.64 c #Conflicts: 1091000 | #Constraints: 29110
2098.79/2104.64 c #Conflicts: 1092000 | #Constraints: 30110
2098.79/2104.64 c #Conflicts: 1093000 | #Constraints: 31110
2098.79/2104.64 c #Conflicts: 1094000 | #Constraints: 32110
2098.79/2104.64 c #Conflicts: 1095000 | #Constraints: 33110
2098.79/2104.64 c #Conflicts: 1096000 | #Constraints: 34110
2098.79/2104.64 c #Conflicts: 1097000 | #Constraints: 35110
2098.79/2104.64 c #Conflicts: 1098000 | #Constraints: 36110
2098.79/2104.64 c #Conflicts: 1099000 | #Constraints: 37110
2098.79/2104.64 c #Conflicts: 1100000 | #Constraints: 38110
2098.79/2104.64 c #Conflicts: 1101000 | #Constraints: 39110
2098.79/2104.64 c #Conflicts: 1102000 | #Constraints: 40110
2098.79/2104.64 c #Conflicts: 1103000 | #Constraints: 41110
2098.79/2104.64 c #Conflicts: 1104000 | #Constraints: 42110
2098.79/2104.64 c INPROCESSING
2098.79/2104.64 c GARBAGE COLLECT
2098.79/2104.64 c #Conflicts: 1105000 | #Constraints: 22342
2098.79/2104.64 c #Conflicts: 1106000 | #Constraints: 23342
2098.79/2104.64 c #Conflicts: 1107000 | #Constraints: 24342
2098.79/2104.64 c #Conflicts: 1108000 | #Constraints: 25342
2098.79/2104.64 c #Conflicts: 1109000 | #Constraints: 26342
2098.79/2104.64 c #Conflicts: 1110000 | #Constraints: 27342
2098.79/2104.64 c #Conflicts: 1111000 | #Constraints: 28342
2098.79/2104.64 c #Conflicts: 1112000 | #Constraints: 29342
2098.79/2104.64 c #Conflicts: 1113000 | #Constraints: 30342
2098.79/2104.64 c #Conflicts: 1114000 | #Constraints: 31342
2098.79/2104.64 c #Conflicts: 1115000 | #Constraints: 32342
2098.79/2104.64 c #Conflicts: 1116000 | #Constraints: 33342
2098.79/2104.64 c #Conflicts: 1117000 | #Constraints: 34342
2098.79/2104.64 c #Conflicts: 1118000 | #Constraints: 35342
2098.79/2104.64 c #Conflicts: 1119000 | #Constraints: 36342
2098.79/2104.64 c #Conflicts: 1120000 | #Constraints: 37342
2098.79/2104.64 c #Conflicts: 1121000 | #Constraints: 38342
2264.05/2270.32 c #Conflicts: 1122000 | #Constraints: 39342
2264.05/2270.32 c #Conflicts: 1123000 | #Constraints: 40342
2264.05/2270.32 c #Conflicts: 1124000 | #Constraints: 41342
2264.05/2270.32 c #Conflicts: 1125000 | #Constraints: 42342
2264.05/2270.32 c INPROCESSING
2264.05/2270.32 c GARBAGE COLLECT
2264.05/2270.32 c #Conflicts: 1126000 | #Constraints: 22317
2264.05/2270.32 c #Conflicts: 1127000 | #Constraints: 23317
2264.05/2270.32 c #Conflicts: 1128000 | #Constraints: 24317
2264.05/2270.32 c #Conflicts: 1129000 | #Constraints: 25317
2264.05/2270.32 c #Conflicts: 1130000 | #Constraints: 26317
2264.05/2270.32 c #Conflicts: 1131000 | #Constraints: 27317
2264.05/2270.32 c #Conflicts: 1132000 | #Constraints: 28317
2264.05/2270.32 c #Conflicts: 1133000 | #Constraints: 29317
2264.05/2270.32 c #Conflicts: 1134000 | #Constraints: 30317
2264.05/2270.32 c #Conflicts: 1135000 | #Constraints: 31317
2264.05/2270.32 c #Conflicts: 1136000 | #Constraints: 32317
2264.05/2270.32 c #Conflicts: 1137000 | #Constraints: 33317
2264.05/2270.32 c #Conflicts: 1138000 | #Constraints: 34317
2264.05/2270.32 c #Conflicts: 1139000 | #Constraints: 35317
2264.05/2270.32 c #Conflicts: 1140000 | #Constraints: 36317
2264.05/2270.32 c #Conflicts: 1141000 | #Constraints: 37317
2264.05/2270.32 c #Conflicts: 1142000 | #Constraints: 38317
2264.05/2270.32 c #Conflicts: 1143000 | #Constraints: 39317
2264.05/2270.32 c #Conflicts: 1144000 | #Constraints: 40317
2264.05/2270.32 c #Conflicts: 1145000 | #Constraints: 41317
2264.05/2270.32 c #Conflicts: 1146000 | #Constraints: 42317
2264.05/2270.32 c INPROCESSING
2264.05/2270.32 c GARBAGE COLLECT
2264.05/2270.32 c #Conflicts: 1147000 | #Constraints: 22083
2264.05/2270.32 c #Conflicts: 1148000 | #Constraints: 23083
2264.05/2270.32 c #Conflicts: 1149000 | #Constraints: 24083
2264.05/2270.32 c #Conflicts: 1150000 | #Constraints: 25083
2264.05/2270.32 c #Conflicts: 1151000 | #Constraints: 26083
2264.05/2270.32 c #Conflicts: 1152000 | #Constraints: 27083
2264.05/2270.32 c #Conflicts: 1153000 | #Constraints: 28083
2264.05/2270.32 c #Conflicts: 1154000 | #Constraints: 29083
2264.05/2270.32 c #Conflicts: 1155000 | #Constraints: 30083
2264.05/2270.32 c #Conflicts: 1156000 | #Constraints: 31083
2264.05/2270.32 c #Conflicts: 1157000 | #Constraints: 32083
2264.05/2270.32 c #Conflicts: 1158000 | #Constraints: 33083
2264.05/2270.32 c #Conflicts: 1159000 | #Constraints: 34083
2264.05/2270.32 c #Conflicts: 1160000 | #Constraints: 35083
2264.05/2270.32 c #Conflicts: 1161000 | #Constraints: 36083
2264.05/2270.32 c #Conflicts: 1162000 | #Constraints: 37083
2264.05/2270.32 c #Conflicts: 1163000 | #Constraints: 38083
2264.05/2270.32 c #Conflicts: 1164000 | #Constraints: 39083
2264.05/2270.32 c #Conflicts: 1165000 | #Constraints: 40083
2264.05/2270.32 c #Conflicts: 1166000 | #Constraints: 41083
2264.05/2270.32 c #Conflicts: 1167000 | #Constraints: 42083
2264.05/2270.32 c #Conflicts: 1168000 | #Constraints: 43083
2264.05/2270.32 c INPROCESSING
2264.05/2270.32 c GARBAGE COLLECT
2264.05/2270.32 c #Conflicts: 1169000 | #Constraints: 22707
2264.05/2270.32 c #Conflicts: 1170000 | #Constraints: 23707
2264.05/2270.32 c #Conflicts: 1171000 | #Constraints: 24707
2264.05/2270.32 c #Conflicts: 1172000 | #Constraints: 25707
2264.05/2270.32 c #Conflicts: 1173000 | #Constraints: 26707
2264.05/2270.32 c #Conflicts: 1174000 | #Constraints: 27707
2264.05/2270.32 c #Conflicts: 1175000 | #Constraints: 28707
2264.05/2270.32 c #Conflicts: 1176000 | #Constraints: 29707
2264.05/2270.32 c #Conflicts: 1177000 | #Constraints: 30707
2264.05/2270.32 c #Conflicts: 1178000 | #Constraints: 31707
2264.05/2270.32 c #Conflicts: 1179000 | #Constraints: 32707
2264.05/2270.32 c #Conflicts: 1180000 | #Constraints: 33707
2264.05/2270.32 c #Conflicts: 1181000 | #Constraints: 34707
2264.05/2270.32 c #Conflicts: 1182000 | #Constraints: 35707
2264.05/2270.32 c #Conflicts: 1183000 | #Constraints: 36707
2264.05/2270.32 c #Conflicts: 1184000 | #Constraints: 37707
2264.05/2270.32 c #Conflicts: 1185000 | #Constraints: 38707
2264.05/2270.32 c #Conflicts: 1186000 | #Constraints: 39707
2264.05/2270.32 c #Conflicts: 1187000 | #Constraints: 40707
2264.05/2270.32 c #Conflicts: 1188000 | #Constraints: 41707
2264.05/2270.32 c #Conflicts: 1189000 | #Constraints: 42707
2264.05/2270.32 c #Conflicts: 1190000 | #Constraints: 43707
2264.05/2270.32 c INPROCESSING
2264.05/2270.32 c GARBAGE COLLECT
2264.05/2270.32 c #Conflicts: 1191000 | #Constraints: 23091
2264.05/2270.32 c #Conflicts: 1192000 | #Constraints: 24091
2264.05/2270.32 c #Conflicts: 1193000 | #Constraints: 25091
2264.05/2270.32 c #Conflicts: 1194000 | #Constraints: 26091
2264.05/2270.32 c #Conflicts: 1195000 | #Constraints: 27091
2264.05/2270.32 c #Conflicts: 1196000 | #Constraints: 28091
2264.05/2270.32 c #Conflicts: 1197000 | #Constraints: 29091
2469.68/2476.57 c #Conflicts: 1198000 | #Constraints: 30091
2469.68/2476.57 c #Conflicts: 1199000 | #Constraints: 31091
2469.68/2476.57 c #Conflicts: 1200000 | #Constraints: 32091
2469.68/2476.57 c #Conflicts: 1201000 | #Constraints: 33091
2469.68/2476.57 c #Conflicts: 1202000 | #Constraints: 34091
2469.68/2476.57 c #Conflicts: 1203000 | #Constraints: 35091
2469.68/2476.57 c #Conflicts: 1204000 | #Constraints: 36091
2469.68/2476.57 c #Conflicts: 1205000 | #Constraints: 37091
2469.68/2476.57 c #Conflicts: 1206000 | #Constraints: 38091
2469.68/2476.57 c #Conflicts: 1207000 | #Constraints: 39091
2469.68/2476.57 c #Conflicts: 1208000 | #Constraints: 40091
2469.68/2476.57 c #Conflicts: 1209000 | #Constraints: 41091
2469.68/2476.57 c #Conflicts: 1210000 | #Constraints: 42091
2469.68/2476.57 c #Conflicts: 1211000 | #Constraints: 43091
2469.68/2476.57 c #Conflicts: 1212000 | #Constraints: 44091
2469.68/2476.57 c INPROCESSING
2469.68/2476.57 c GARBAGE COLLECT
2469.68/2476.57 c #Conflicts: 1213000 | #Constraints: 23280
2469.68/2476.57 c #Conflicts: 1214000 | #Constraints: 24280
2469.68/2476.57 c #Conflicts: 1215000 | #Constraints: 25280
2469.68/2476.57 c #Conflicts: 1216000 | #Constraints: 26280
2469.68/2476.57 c #Conflicts: 1217000 | #Constraints: 27280
2469.68/2476.57 c #Conflicts: 1218000 | #Constraints: 28280
2469.68/2476.57 c #Conflicts: 1219000 | #Constraints: 29280
2469.68/2476.57 c #Conflicts: 1220000 | #Constraints: 30280
2469.68/2476.57 c #Conflicts: 1221000 | #Constraints: 31280
2469.68/2476.57 c #Conflicts: 1222000 | #Constraints: 32280
2469.68/2476.57 c #Conflicts: 1223000 | #Constraints: 33280
2469.68/2476.57 c #Conflicts: 1224000 | #Constraints: 34280
2469.68/2476.57 c #Conflicts: 1225000 | #Constraints: 35280
2469.68/2476.57 c #Conflicts: 1226000 | #Constraints: 36280
2469.68/2476.57 c #Conflicts: 1227000 | #Constraints: 37280
2469.68/2476.57 c #Conflicts: 1228000 | #Constraints: 38280
2469.68/2476.57 c #Conflicts: 1229000 | #Constraints: 39280
2469.68/2476.57 c #Conflicts: 1230000 | #Constraints: 40280
2469.68/2476.57 c #Conflicts: 1231000 | #Constraints: 41280
2469.68/2476.57 c #Conflicts: 1232000 | #Constraints: 42280
2469.68/2476.57 c #Conflicts: 1233000 | #Constraints: 43280
2469.68/2476.57 c #Conflicts: 1234000 | #Constraints: 44280
2469.68/2476.57 c INPROCESSING
2469.68/2476.57 c GARBAGE COLLECT
2469.68/2476.57 c #Conflicts: 1235000 | #Constraints: 23270
2469.68/2476.57 c #Conflicts: 1236000 | #Constraints: 24270
2469.68/2476.57 c #Conflicts: 1237000 | #Constraints: 25270
2469.68/2476.57 c #Conflicts: 1238000 | #Constraints: 26270
2469.68/2476.57 c #Conflicts: 1239000 | #Constraints: 27270
2469.68/2476.57 c #Conflicts: 1240000 | #Constraints: 28270
2469.68/2476.57 c #Conflicts: 1241000 | #Constraints: 29270
2469.68/2476.57 c #Conflicts: 1242000 | #Constraints: 30270
2469.68/2476.57 c #Conflicts: 1243000 | #Constraints: 31270
2469.68/2476.57 c #Conflicts: 1244000 | #Constraints: 32270
2469.68/2476.57 c #Conflicts: 1245000 | #Constraints: 33270
2469.68/2476.57 c #Conflicts: 1246000 | #Constraints: 34270
2469.68/2476.57 c #Conflicts: 1247000 | #Constraints: 35270
2469.68/2476.57 c #Conflicts: 1248000 | #Constraints: 36270
2469.68/2476.57 c #Conflicts: 1249000 | #Constraints: 37270
2469.68/2476.57 c #Conflicts: 1250000 | #Constraints: 38270
2469.68/2476.57 c #Conflicts: 1251000 | #Constraints: 39270
2469.68/2476.57 c #Conflicts: 1252000 | #Constraints: 40270
2469.68/2476.57 c #Conflicts: 1253000 | #Constraints: 41270
2469.68/2476.57 c #Conflicts: 1254000 | #Constraints: 42270
2469.68/2476.57 c #Conflicts: 1255000 | #Constraints: 43270
2469.68/2476.57 c #Conflicts: 1256000 | #Constraints: 44270
2469.68/2476.57 c INPROCESSING
2469.68/2476.57 c GARBAGE COLLECT
2469.68/2476.57 c #Conflicts: 1257000 | #Constraints: 23068
2469.68/2476.57 c #Conflicts: 1258000 | #Constraints: 24068
2469.68/2476.57 c #Conflicts: 1259000 | #Constraints: 25068
2469.68/2476.57 c #Conflicts: 1260000 | #Constraints: 26068
2469.68/2476.57 c #Conflicts: 1261000 | #Constraints: 27068
2469.68/2476.57 c #Conflicts: 1262000 | #Constraints: 28068
2469.68/2476.57 c #Conflicts: 1263000 | #Constraints: 29068
2469.68/2476.57 c #Conflicts: 1264000 | #Constraints: 30068
2469.68/2476.57 c #Conflicts: 1265000 | #Constraints: 31068
2469.68/2476.57 c #Conflicts: 1266000 | #Constraints: 32068
2469.68/2476.57 c #Conflicts: 1267000 | #Constraints: 33068
2469.68/2476.57 c #Conflicts: 1268000 | #Constraints: 34068
2469.68/2476.57 c #Conflicts: 1269000 | #Constraints: 35068
2469.68/2476.57 c #Conflicts: 1270000 | #Constraints: 36068
2469.68/2476.57 c #Conflicts: 1271000 | #Constraints: 37068
2469.68/2476.57 c #Conflicts: 1272000 | #Constraints: 38068
2469.68/2476.57 c #Conflicts: 1273000 | #Constraints: 39068
2469.68/2476.57 c #Conflicts: 1274000 | #Constraints: 40068
2719.29/2726.85 c #Conflicts: 1275000 | #Constraints: 41068
2719.29/2726.85 c #Conflicts: 1276000 | #Constraints: 42068
2719.29/2726.85 c #Conflicts: 1277000 | #Constraints: 43068
2719.29/2726.85 c #Conflicts: 1278000 | #Constraints: 44068
2719.29/2726.85 c #Conflicts: 1279000 | #Constraints: 45068
2719.29/2726.85 c INPROCESSING
2719.29/2726.85 c GARBAGE COLLECT
2719.29/2726.85 c #Conflicts: 1280000 | #Constraints: 23671
2719.29/2726.85 c #Conflicts: 1281000 | #Constraints: 24671
2719.29/2726.85 c #Conflicts: 1282000 | #Constraints: 25671
2719.29/2726.85 c #Conflicts: 1283000 | #Constraints: 26671
2719.29/2726.85 c #Conflicts: 1284000 | #Constraints: 27671
2719.29/2726.85 c #Conflicts: 1285000 | #Constraints: 28671
2719.29/2726.85 c #Conflicts: 1286000 | #Constraints: 29671
2719.29/2726.85 c #Conflicts: 1287000 | #Constraints: 30671
2719.29/2726.85 c #Conflicts: 1288000 | #Constraints: 31671
2719.29/2726.85 c #Conflicts: 1289000 | #Constraints: 32671
2719.29/2726.85 c #Conflicts: 1290000 | #Constraints: 33671
2719.29/2726.85 c #Conflicts: 1291000 | #Constraints: 34671
2719.29/2726.85 c #Conflicts: 1292000 | #Constraints: 35671
2719.29/2726.85 c #Conflicts: 1293000 | #Constraints: 36671
2719.29/2726.85 c #Conflicts: 1294000 | #Constraints: 37671
2719.29/2726.85 c #Conflicts: 1295000 | #Constraints: 38671
2719.29/2726.85 c #Conflicts: 1296000 | #Constraints: 39671
2719.29/2726.85 c #Conflicts: 1297000 | #Constraints: 40671
2719.29/2726.85 c #Conflicts: 1298000 | #Constraints: 41671
2719.29/2726.85 c #Conflicts: 1299000 | #Constraints: 42671
2719.29/2726.85 c #Conflicts: 1300000 | #Constraints: 43671
2719.29/2726.85 c #Conflicts: 1301000 | #Constraints: 44671
2719.29/2726.85 c #Conflicts: 1302000 | #Constraints: 45671
2719.29/2726.85 c INPROCESSING
2719.29/2726.85 c GARBAGE COLLECT
2719.29/2726.85 c #Conflicts: 1303000 | #Constraints: 24056
2719.29/2726.85 c #Conflicts: 1304000 | #Constraints: 25056
2719.29/2726.85 c #Conflicts: 1305000 | #Constraints: 26056
2719.29/2726.85 c #Conflicts: 1306000 | #Constraints: 27056
2719.29/2726.85 c #Conflicts: 1307000 | #Constraints: 28056
2719.29/2726.85 c #Conflicts: 1308000 | #Constraints: 29056
2719.29/2726.85 c #Conflicts: 1309000 | #Constraints: 30056
2719.29/2726.85 c #Conflicts: 1310000 | #Constraints: 31056
2719.29/2726.85 c #Conflicts: 1311000 | #Constraints: 32056
2719.29/2726.85 c #Conflicts: 1312000 | #Constraints: 33056
2719.29/2726.85 c #Conflicts: 1313000 | #Constraints: 34056
2719.29/2726.85 c #Conflicts: 1314000 | #Constraints: 35056
2719.29/2726.85 c #Conflicts: 1315000 | #Constraints: 36056
2719.29/2726.85 c #Conflicts: 1316000 | #Constraints: 37056
2719.29/2726.85 c #Conflicts: 1317000 | #Constraints: 38056
2719.29/2726.85 c #Conflicts: 1318000 | #Constraints: 39056
2719.29/2726.85 c #Conflicts: 1319000 | #Constraints: 40056
2719.29/2726.85 c #Conflicts: 1320000 | #Constraints: 41056
2719.29/2726.85 c #Conflicts: 1321000 | #Constraints: 42056
2719.29/2726.85 c #Conflicts: 1322000 | #Constraints: 43056
2719.29/2726.85 c #Conflicts: 1323000 | #Constraints: 44056
2719.29/2726.85 c #Conflicts: 1324000 | #Constraints: 45056
2719.29/2726.85 c #Conflicts: 1325000 | #Constraints: 46056
2719.29/2726.85 c INPROCESSING
2719.29/2726.85 c GARBAGE COLLECT
2719.29/2726.85 c #Conflicts: 1326000 | #Constraints: 24261
2719.29/2726.85 c #Conflicts: 1327000 | #Constraints: 25261
2719.29/2726.85 c #Conflicts: 1328000 | #Constraints: 26261
2719.29/2726.85 c #Conflicts: 1329000 | #Constraints: 27261
2719.29/2726.85 c #Conflicts: 1330000 | #Constraints: 28261
2719.29/2726.85 c #Conflicts: 1331000 | #Constraints: 29261
2719.29/2726.85 c #Conflicts: 1332000 | #Constraints: 30261
2719.29/2726.85 c #Conflicts: 1333000 | #Constraints: 31261
2719.29/2726.85 c #Conflicts: 1334000 | #Constraints: 32261
2719.29/2726.85 c #Conflicts: 1335000 | #Constraints: 33261
2719.29/2726.85 c #Conflicts: 1336000 | #Constraints: 34261
2719.29/2726.85 c #Conflicts: 1337000 | #Constraints: 35261
2719.29/2726.85 c #Conflicts: 1338000 | #Constraints: 36261
2719.29/2726.85 c #Conflicts: 1339000 | #Constraints: 37261
2719.29/2726.85 c #Conflicts: 1340000 | #Constraints: 38261
2719.29/2726.85 c #Conflicts: 1341000 | #Constraints: 39261
2719.29/2726.85 c #Conflicts: 1342000 | #Constraints: 40261
2719.29/2726.85 c #Conflicts: 1343000 | #Constraints: 41261
2719.29/2726.85 c #Conflicts: 1344000 | #Constraints: 42261
2719.29/2726.85 c #Conflicts: 1345000 | #Constraints: 43261
2719.29/2726.85 c #Conflicts: 1346000 | #Constraints: 44261
2719.29/2726.85 c #Conflicts: 1347000 | #Constraints: 45261
2719.29/2726.85 c #Conflicts: 1348000 | #Constraints: 46261
2719.29/2726.85 c INPROCESSING
2719.29/2726.85 c GARBAGE COLLECT
2719.29/2726.85 c #Conflicts: 1349000 | #Constraints: 24288
2719.29/2726.85 c #Conflicts: 1350000 | #Constraints: 25288
2945.07/2953.24 c #Conflicts: 1351000 | #Constraints: 26288
2945.07/2953.24 c #Conflicts: 1352000 | #Constraints: 27288
2945.07/2953.24 c #Conflicts: 1353000 | #Constraints: 28288
2945.07/2953.24 c #Conflicts: 1354000 | #Constraints: 29288
2945.07/2953.24 c #Conflicts: 1355000 | #Constraints: 30288
2945.07/2953.24 c #Conflicts: 1356000 | #Constraints: 31288
2945.07/2953.24 c #Conflicts: 1357000 | #Constraints: 32288
2945.07/2953.24 c #Conflicts: 1358000 | #Constraints: 33288
2945.07/2953.24 c #Conflicts: 1359000 | #Constraints: 34288
2945.07/2953.24 c #Conflicts: 1360000 | #Constraints: 35288
2945.07/2953.24 c #Conflicts: 1361000 | #Constraints: 36288
2945.07/2953.24 c #Conflicts: 1362000 | #Constraints: 37288
2945.07/2953.24 c #Conflicts: 1363000 | #Constraints: 38288
2945.07/2953.24 c #Conflicts: 1364000 | #Constraints: 39288
2945.07/2953.24 c #Conflicts: 1365000 | #Constraints: 40288
2945.07/2953.24 c #Conflicts: 1366000 | #Constraints: 41288
2945.07/2953.24 c #Conflicts: 1367000 | #Constraints: 42288
2945.07/2953.24 c #Conflicts: 1368000 | #Constraints: 43288
2945.07/2953.24 c #Conflicts: 1369000 | #Constraints: 44288
2945.07/2953.24 c #Conflicts: 1370000 | #Constraints: 45288
2945.07/2953.24 c #Conflicts: 1371000 | #Constraints: 46288
2945.07/2953.24 c INPROCESSING
2945.07/2953.24 c GARBAGE COLLECT
2945.07/2953.24 c #Conflicts: 1372000 | #Constraints: 24076
2945.07/2953.24 c #Conflicts: 1373000 | #Constraints: 25076
2945.07/2953.24 c #Conflicts: 1374000 | #Constraints: 26076
2945.07/2953.24 c #Conflicts: 1375000 | #Constraints: 27076
2945.07/2953.24 c #Conflicts: 1376000 | #Constraints: 28076
2945.07/2953.24 c #Conflicts: 1377000 | #Constraints: 29076
2945.07/2953.24 c #Conflicts: 1378000 | #Constraints: 30076
2945.07/2953.24 c #Conflicts: 1379000 | #Constraints: 31076
2945.07/2953.24 c #Conflicts: 1380000 | #Constraints: 32076
2945.07/2953.24 c #Conflicts: 1381000 | #Constraints: 33076
2945.07/2953.24 c #Conflicts: 1382000 | #Constraints: 34076
2945.07/2953.24 c #Conflicts: 1383000 | #Constraints: 35076
2945.07/2953.24 c #Conflicts: 1384000 | #Constraints: 36076
2945.07/2953.24 c #Conflicts: 1385000 | #Constraints: 37076
2945.07/2953.24 c #Conflicts: 1386000 | #Constraints: 38076
2945.07/2953.24 c #Conflicts: 1387000 | #Constraints: 39076
2945.07/2953.24 c #Conflicts: 1388000 | #Constraints: 40076
2945.07/2953.24 c #Conflicts: 1389000 | #Constraints: 41076
2945.07/2953.24 c #Conflicts: 1390000 | #Constraints: 42076
2945.07/2953.24 c #Conflicts: 1391000 | #Constraints: 43076
2945.07/2953.24 c #Conflicts: 1392000 | #Constraints: 44076
2945.07/2953.24 c #Conflicts: 1393000 | #Constraints: 45076
2945.07/2953.24 c #Conflicts: 1394000 | #Constraints: 46076
2945.07/2953.24 c #Conflicts: 1395000 | #Constraints: 47076
2945.07/2953.24 c INPROCESSING
2945.07/2953.24 c GARBAGE COLLECT
2945.07/2953.24 c #Conflicts: 1396000 | #Constraints: 24686
2945.07/2953.24 c #Conflicts: 1397000 | #Constraints: 25686
2945.07/2953.24 c #Conflicts: 1398000 | #Constraints: 26686
2945.07/2953.24 c #Conflicts: 1399000 | #Constraints: 27686
2945.07/2953.24 c #Conflicts: 1400000 | #Constraints: 28686
2945.07/2953.24 c #Conflicts: 1401000 | #Constraints: 29686
2945.07/2953.24 c #Conflicts: 1402000 | #Constraints: 30686
2945.07/2953.24 c #Conflicts: 1403000 | #Constraints: 31686
2945.07/2953.24 c #Conflicts: 1404000 | #Constraints: 32686
2945.07/2953.24 c #Conflicts: 1405000 | #Constraints: 33686
2945.07/2953.24 c #Conflicts: 1406000 | #Constraints: 34686
2945.07/2953.24 c #Conflicts: 1407000 | #Constraints: 35686
2945.07/2953.24 c #Conflicts: 1408000 | #Constraints: 36686
2945.07/2953.24 c #Conflicts: 1409000 | #Constraints: 37686
2945.07/2953.24 c #Conflicts: 1410000 | #Constraints: 38686
2945.07/2953.24 c #Conflicts: 1411000 | #Constraints: 39686
2945.07/2953.24 c #Conflicts: 1412000 | #Constraints: 40686
2945.07/2953.24 c #Conflicts: 1413000 | #Constraints: 41686
2945.07/2953.24 c #Conflicts: 1414000 | #Constraints: 42686
2945.07/2953.24 c #Conflicts: 1415000 | #Constraints: 43686
2945.07/2953.24 c #Conflicts: 1416000 | #Constraints: 44686
2945.07/2953.24 c #Conflicts: 1417000 | #Constraints: 45686
2945.07/2953.24 c #Conflicts: 1418000 | #Constraints: 46686
2945.07/2953.24 c #Conflicts: 1419000 | #Constraints: 47686
2945.07/2953.24 c INPROCESSING
2945.07/2953.24 c GARBAGE COLLECT
2945.07/2953.24 c #Conflicts: 1420000 | #Constraints: 25092
2945.07/2953.24 c #Conflicts: 1421000 | #Constraints: 26092
2945.07/2953.24 c #Conflicts: 1422000 | #Constraints: 27092
2945.07/2953.24 c #Conflicts: 1423000 | #Constraints: 28092
2945.07/2953.24 c #Conflicts: 1424000 | #Constraints: 29092
2945.07/2953.24 c #Conflicts: 1425000 | #Constraints: 30092
2945.07/2953.24 c #Conflicts: 1426000 | #Constraints: 31092
2945.07/2953.24 c #Conflicts: 1427000 | #Constraints: 32092
3149.03/3157.78 c #Conflicts: 1428000 | #Constraints: 33092
3149.03/3157.78 c #Conflicts: 1429000 | #Constraints: 34092
3149.03/3157.78 c #Conflicts: 1430000 | #Constraints: 35092
3149.03/3157.78 c #Conflicts: 1431000 | #Constraints: 36092
3149.03/3157.78 c #Conflicts: 1432000 | #Constraints: 37092
3149.03/3157.78 c #Conflicts: 1433000 | #Constraints: 38092
3149.03/3157.78 c #Conflicts: 1434000 | #Constraints: 39092
3149.03/3157.78 c #Conflicts: 1435000 | #Constraints: 40092
3149.03/3157.78 c #Conflicts: 1436000 | #Constraints: 41092
3149.03/3157.78 c #Conflicts: 1437000 | #Constraints: 42092
3149.03/3157.78 c #Conflicts: 1438000 | #Constraints: 43092
3149.03/3157.78 c #Conflicts: 1439000 | #Constraints: 44092
3149.03/3157.78 c #Conflicts: 1440000 | #Constraints: 45092
3149.03/3157.78 c #Conflicts: 1441000 | #Constraints: 46092
3149.03/3157.78 c #Conflicts: 1442000 | #Constraints: 47092
3149.03/3157.78 c #Conflicts: 1443000 | #Constraints: 48092
3149.03/3157.78 c INPROCESSING
3149.03/3157.78 c GARBAGE COLLECT
3149.03/3157.78 c #Conflicts: 1444000 | #Constraints: 25289
3149.03/3157.78 c #Conflicts: 1445000 | #Constraints: 26289
3149.03/3157.78 c #Conflicts: 1446000 | #Constraints: 27289
3149.03/3157.78 c #Conflicts: 1447000 | #Constraints: 28289
3149.03/3157.78 c #Conflicts: 1448000 | #Constraints: 29289
3149.03/3157.78 c #Conflicts: 1449000 | #Constraints: 30289
3149.03/3157.78 c #Conflicts: 1450000 | #Constraints: 31289
3149.03/3157.78 c #Conflicts: 1451000 | #Constraints: 32289
3149.03/3157.78 c #Conflicts: 1452000 | #Constraints: 33289
3149.03/3157.78 c #Conflicts: 1453000 | #Constraints: 34289
3149.03/3157.78 c #Conflicts: 1454000 | #Constraints: 35289
3149.03/3157.78 c #Conflicts: 1455000 | #Constraints: 36289
3149.03/3157.78 c #Conflicts: 1456000 | #Constraints: 37289
3149.03/3157.78 c #Conflicts: 1457000 | #Constraints: 38289
3149.03/3157.78 c #Conflicts: 1458000 | #Constraints: 39289
3149.03/3157.78 c #Conflicts: 1459000 | #Constraints: 40289
3149.03/3157.78 c #Conflicts: 1460000 | #Constraints: 41289
3149.03/3157.78 c #Conflicts: 1461000 | #Constraints: 42289
3149.03/3157.78 c #Conflicts: 1462000 | #Constraints: 43289
3149.03/3157.78 c #Conflicts: 1463000 | #Constraints: 44289
3149.03/3157.78 c #Conflicts: 1464000 | #Constraints: 45289
3149.03/3157.78 c #Conflicts: 1465000 | #Constraints: 46289
3149.03/3157.78 c #Conflicts: 1466000 | #Constraints: 47289
3149.03/3157.78 c #Conflicts: 1467000 | #Constraints: 48289
3149.03/3157.78 c INPROCESSING
3149.03/3157.78 c GARBAGE COLLECT
3149.03/3157.78 c #Conflicts: 1468000 | #Constraints: 25279
3149.03/3157.78 c #Conflicts: 1469000 | #Constraints: 26279
3149.03/3157.78 c #Conflicts: 1470000 | #Constraints: 27279
3149.03/3157.78 c #Conflicts: 1471000 | #Constraints: 28279
3149.03/3157.78 c #Conflicts: 1472000 | #Constraints: 29279
3149.03/3157.78 c #Conflicts: 1473000 | #Constraints: 30279
3149.03/3157.78 c #Conflicts: 1474000 | #Constraints: 31279
3149.03/3157.78 c #Conflicts: 1475000 | #Constraints: 32279
3149.03/3157.78 c #Conflicts: 1476000 | #Constraints: 33279
3149.03/3157.78 c #Conflicts: 1477000 | #Constraints: 34279
3149.03/3157.78 c #Conflicts: 1478000 | #Constraints: 35279
3149.03/3157.78 c #Conflicts: 1479000 | #Constraints: 36279
3149.03/3157.78 c #Conflicts: 1480000 | #Constraints: 37279
3149.03/3157.78 c #Conflicts: 1481000 | #Constraints: 38279
3149.03/3157.78 c #Conflicts: 1482000 | #Constraints: 39279
3149.03/3157.78 c #Conflicts: 1483000 | #Constraints: 40279
3149.03/3157.78 c #Conflicts: 1484000 | #Constraints: 41279
3149.03/3157.78 c #Conflicts: 1485000 | #Constraints: 42279
3149.03/3157.78 c #Conflicts: 1486000 | #Constraints: 43279
3149.03/3157.78 c #Conflicts: 1487000 | #Constraints: 44279
3149.03/3157.78 c #Conflicts: 1488000 | #Constraints: 45279
3149.03/3157.78 c #Conflicts: 1489000 | #Constraints: 46279
3149.03/3157.78 c #Conflicts: 1490000 | #Constraints: 47279
3149.03/3157.78 c #Conflicts: 1491000 | #Constraints: 48279
3149.03/3157.78 c INPROCESSING
3149.03/3157.78 c GARBAGE COLLECT
3149.03/3157.78 c #Conflicts: 1492000 | #Constraints: 25070
3149.03/3157.78 c #Conflicts: 1493000 | #Constraints: 26070
3149.03/3157.78 c #Conflicts: 1494000 | #Constraints: 27070
3149.03/3157.78 c #Conflicts: 1495000 | #Constraints: 28070
3149.03/3157.78 c #Conflicts: 1496000 | #Constraints: 29070
3149.03/3157.78 c #Conflicts: 1497000 | #Constraints: 30070
3149.03/3157.78 c #Conflicts: 1498000 | #Constraints: 31070
3149.03/3157.78 c #Conflicts: 1499000 | #Constraints: 32070
3149.03/3157.78 c #Conflicts: 1500000 | #Constraints: 33070
3149.03/3157.78 c #Conflicts: 1501000 | #Constraints: 34070
3149.03/3157.78 c #Conflicts: 1502000 | #Constraints: 35070
3149.03/3157.78 c #Conflicts: 1503000 | #Constraints: 36070
3149.03/3157.78 c #Conflicts: 1504000 | #Constraints: 37070
3390.57/3399.99 c #Conflicts: 1505000 | #Constraints: 38070
3390.57/3399.99 c #Conflicts: 1506000 | #Constraints: 39070
3390.57/3399.99 c #Conflicts: 1507000 | #Constraints: 40070
3390.57/3399.99 c #Conflicts: 1508000 | #Constraints: 41070
3390.57/3399.99 c #Conflicts: 1509000 | #Constraints: 42070
3390.57/3399.99 c #Conflicts: 1510000 | #Constraints: 43070
3390.57/3399.99 c #Conflicts: 1511000 | #Constraints: 44070
3390.57/3399.99 c #Conflicts: 1512000 | #Constraints: 45070
3390.57/3399.99 c #Conflicts: 1513000 | #Constraints: 46070
3390.57/3399.99 c #Conflicts: 1514000 | #Constraints: 47070
3390.57/3399.99 c #Conflicts: 1515000 | #Constraints: 48070
3390.57/3399.99 c #Conflicts: 1516000 | #Constraints: 49070
3390.57/3399.99 c INPROCESSING
3390.57/3399.99 c GARBAGE COLLECT
3390.57/3399.99 c #Conflicts: 1517000 | #Constraints: 25670
3390.57/3399.99 c #Conflicts: 1518000 | #Constraints: 26670
3390.57/3399.99 c #Conflicts: 1519000 | #Constraints: 27670
3390.57/3399.99 c #Conflicts: 1520000 | #Constraints: 28670
3390.57/3399.99 c #Conflicts: 1521000 | #Constraints: 29670
3390.57/3399.99 c #Conflicts: 1522000 | #Constraints: 30670
3390.57/3399.99 c #Conflicts: 1523000 | #Constraints: 31670
3390.57/3399.99 c #Conflicts: 1524000 | #Constraints: 32670
3390.57/3399.99 c #Conflicts: 1525000 | #Constraints: 33670
3390.57/3399.99 c #Conflicts: 1526000 | #Constraints: 34670
3390.57/3399.99 c #Conflicts: 1527000 | #Constraints: 35670
3390.57/3399.99 c #Conflicts: 1528000 | #Constraints: 36670
3390.57/3399.99 c #Conflicts: 1529000 | #Constraints: 37670
3390.57/3399.99 c #Conflicts: 1530000 | #Constraints: 38670
3390.57/3399.99 c #Conflicts: 1531000 | #Constraints: 39670
3390.57/3399.99 c #Conflicts: 1532000 | #Constraints: 40670
3390.57/3399.99 c #Conflicts: 1533000 | #Constraints: 41670
3390.57/3399.99 c #Conflicts: 1534000 | #Constraints: 42670
3390.57/3399.99 c #Conflicts: 1535000 | #Constraints: 43670
3390.57/3399.99 c #Conflicts: 1536000 | #Constraints: 44670
3390.57/3399.99 c #Conflicts: 1537000 | #Constraints: 45670
3390.57/3399.99 c #Conflicts: 1538000 | #Constraints: 46670
3390.57/3399.99 c #Conflicts: 1539000 | #Constraints: 47670
3390.57/3399.99 c #Conflicts: 1540000 | #Constraints: 48670
3390.57/3399.99 c #Conflicts: 1541000 | #Constraints: 49670
3390.57/3399.99 c INPROCESSING
3390.57/3399.99 c GARBAGE COLLECT
3390.57/3399.99 c #Conflicts: 1542000 | #Constraints: 26080
3390.57/3399.99 c #Conflicts: 1543000 | #Constraints: 27080
3390.57/3399.99 c #Conflicts: 1544000 | #Constraints: 28080
3390.57/3399.99 c #Conflicts: 1545000 | #Constraints: 29080
3390.57/3399.99 c #Conflicts: 1546000 | #Constraints: 30080
3390.57/3399.99 c #Conflicts: 1547000 | #Constraints: 31080
3390.57/3399.99 c #Conflicts: 1548000 | #Constraints: 32080
3390.57/3399.99 c #Conflicts: 1549000 | #Constraints: 33080
3390.57/3399.99 c #Conflicts: 1550000 | #Constraints: 34080
3390.57/3399.99 c #Conflicts: 1551000 | #Constraints: 35080
3390.57/3399.99 c #Conflicts: 1552000 | #Constraints: 36080
3390.57/3399.99 c #Conflicts: 1553000 | #Constraints: 37080
3390.57/3399.99 c #Conflicts: 1554000 | #Constraints: 38080
3390.57/3399.99 c #Conflicts: 1555000 | #Constraints: 39080
3390.57/3399.99 c #Conflicts: 1556000 | #Constraints: 40080
3390.57/3399.99 c #Conflicts: 1557000 | #Constraints: 41080
3390.57/3399.99 c #Conflicts: 1558000 | #Constraints: 42080
3390.57/3399.99 c #Conflicts: 1559000 | #Constraints: 43080
3390.57/3399.99 c #Conflicts: 1560000 | #Constraints: 44080
3390.57/3399.99 c #Conflicts: 1561000 | #Constraints: 45080
3390.57/3399.99 c #Conflicts: 1562000 | #Constraints: 46080
3390.57/3399.99 c #Conflicts: 1563000 | #Constraints: 47080
3390.57/3399.99 c #Conflicts: 1564000 | #Constraints: 48080
3390.57/3399.99 c #Conflicts: 1565000 | #Constraints: 49080
3390.57/3399.99 c #Conflicts: 1566000 | #Constraints: 50080
3390.57/3399.99 c INPROCESSING
3390.57/3399.99 c GARBAGE COLLECT
3390.57/3399.99 c #Conflicts: 1567000 | #Constraints: 26319
3390.57/3399.99 c #Conflicts: 1568000 | #Constraints: 27319
3390.57/3399.99 c #Conflicts: 1569000 | #Constraints: 28319
3390.57/3399.99 c #Conflicts: 1570000 | #Constraints: 29319
3390.57/3399.99 c #Conflicts: 1571000 | #Constraints: 30319
3390.57/3399.99 c #Conflicts: 1572000 | #Constraints: 31319
3390.57/3399.99 c #Conflicts: 1573000 | #Constraints: 32319
3390.57/3399.99 c #Conflicts: 1574000 | #Constraints: 33319
3390.57/3399.99 c #Conflicts: 1575000 | #Constraints: 34319
3390.57/3399.99 c #Conflicts: 1576000 | #Constraints: 35319
3390.57/3399.99 c #Conflicts: 1577000 | #Constraints: 36319
3390.57/3399.99 c #Conflicts: 1578000 | #Constraints: 37319
3390.57/3399.99 c #Conflicts: 1579000 | #Constraints: 38319
3390.57/3399.99 c #Conflicts: 1580000 | #Constraints: 39319
3390.57/3399.99 c #Conflicts: 1581000 | #Constraints: 40319
3600.03/3609.90 c #Conflicts: 1582000 | #Constraints: 41319
3600.03/3609.90 c #Conflicts: 1583000 | #Constraints: 42319
3600.03/3609.90 c #Conflicts: 1584000 | #Constraints: 43319
3600.03/3609.90 c #Conflicts: 1585000 | #Constraints: 44319
3600.03/3609.90 c #Conflicts: 1586000 | #Constraints: 45319
3600.03/3609.90 c #Conflicts: 1587000 | #Constraints: 46319
3600.03/3609.90 c #Conflicts: 1588000 | #Constraints: 47319
3600.03/3609.90 c #Conflicts: 1589000 | #Constraints: 48319
3600.03/3609.90 c #Conflicts: 1590000 | #Constraints: 49319
3600.03/3609.90 c #Conflicts: 1591000 | #Constraints: 50319
3600.03/3609.90 c INPROCESSING
3600.03/3609.90 c GARBAGE COLLECT
3600.03/3609.90 c #Conflicts: 1592000 | #Constraints: 26305
3600.03/3609.90 c #Conflicts: 1593000 | #Constraints: 27305
3600.03/3609.90 c #Conflicts: 1594000 | #Constraints: 28305
3600.03/3609.90 c #Conflicts: 1595000 | #Constraints: 29305
3600.03/3609.90 c #Conflicts: 1596000 | #Constraints: 30305
3600.03/3609.90 c #Conflicts: 1597000 | #Constraints: 31305
3600.03/3609.90 c #Conflicts: 1598000 | #Constraints: 32305
3600.03/3609.90 c #Conflicts: 1599000 | #Constraints: 33305
3600.03/3609.90 c #Conflicts: 1600000 | #Constraints: 34305
3600.03/3609.90 c #Conflicts: 1601000 | #Constraints: 35305
3600.03/3609.90 c #Conflicts: 1602000 | #Constraints: 36305
3600.03/3609.90 c #Conflicts: 1603000 | #Constraints: 37305
3600.03/3609.90 c #Conflicts: 1604000 | #Constraints: 38305
3600.03/3609.90 c #Conflicts: 1605000 | #Constraints: 39305
3600.03/3609.90 c #Conflicts: 1606000 | #Constraints: 40305
3600.03/3609.90 c #Conflicts: 1607000 | #Constraints: 41305
3600.03/3609.90 c #Conflicts: 1608000 | #Constraints: 42305
3600.03/3609.90 c #Conflicts: 1609000 | #Constraints: 43305
3600.03/3609.90 c #Conflicts: 1610000 | #Constraints: 44305
3600.03/3609.90 c #Conflicts: 1611000 | #Constraints: 45305
3600.03/3609.90 c #Conflicts: 1612000 | #Constraints: 46305
3600.03/3609.90 c #Conflicts: 1613000 | #Constraints: 47305
3600.03/3609.90 c #Conflicts: 1614000 | #Constraints: 48305
3600.03/3609.90 c #Conflicts: 1615000 | #Constraints: 49305
3600.03/3609.90 c #Conflicts: 1616000 | #Constraints: 50305
3600.03/3609.90 c INPROCESSING
3600.03/3609.90 c GARBAGE COLLECT
3600.03/3609.90 c #Conflicts: 1617000 | #Constraints: 26153
3600.03/3609.90 c #Conflicts: 1618000 | #Constraints: 27153
3600.03/3609.90 c #Conflicts: 1619000 | #Constraints: 28153
3600.03/3609.90 c #Conflicts: 1620000 | #Constraints: 29153
3600.03/3609.90 c #Conflicts: 1621000 | #Constraints: 30153
3600.03/3609.90 c #Conflicts: 1622000 | #Constraints: 31153
3600.03/3609.90 c #Conflicts: 1623000 | #Constraints: 32153
3600.03/3609.90 c #Conflicts: 1624000 | #Constraints: 33153
3600.03/3609.90 c #Conflicts: 1625000 | #Constraints: 34153
3600.03/3609.90 c #Conflicts: 1626000 | #Constraints: 35153
3600.03/3609.90 c #Conflicts: 1627000 | #Constraints: 36153
3600.03/3609.90 c #Conflicts: 1628000 | #Constraints: 37153
3600.03/3609.90 c #Conflicts: 1629000 | #Constraints: 38153
3600.03/3609.90 c #Conflicts: 1630000 | #Constraints: 39153
3600.03/3609.90 c #Conflicts: 1631000 | #Constraints: 40153
3600.03/3609.90 c #Conflicts: 1632000 | #Constraints: 41153
3600.03/3609.90 c #Conflicts: 1633000 | #Constraints: 42153
3600.03/3609.90 c Program interrupted by user.
3600.03/3609.90 c cpu time 3589.09 s
3600.03/3609.90 c deterministic time 613773649394 6.14e+11
3600.03/3609.90 c optimization time 67.2812 s
3600.03/3609.90 c total solve time 3521.8 s
3600.03/3609.90 c core-guided solve time 3521.8 s
3600.03/3609.90 c propagation time 2943.64 s
3600.03/3609.90 c conflict analysis time 594.975 s
3600.03/3609.90 c propagations 352422228
3600.03/3609.90 c resolve steps 16330328
3600.03/3609.90 c decisions 7088185
3600.03/3609.90 c conflicts 1633846
3600.03/3609.90 c restarts 3069
3600.03/3609.90 c inprocessing phases 118
3600.03/3609.90 c input clauses 2174
3600.03/3609.90 c input cardinalities 50
3600.03/3609.90 c input general constraints 320
3600.03/3609.90 c input average constraint length 9.51
3600.03/3609.90 c input average constraint degree 71.11
3600.03/3609.90 c learned clauses 202826
3600.03/3609.90 c learned cardinalities 14982
3600.03/3609.90 c learned general constraints 1416038
3600.03/3609.90 c learned average constraint length 392.30
3600.03/3609.90 c learned average constraint degree 17658319.90
3600.03/3609.90 c watched constraints 1103391
3600.03/3609.90 c counting constraints 312967
3600.03/3609.90 c gcd simplifications 124268
3600.03/3609.90 c detected cardinalities 412
3600.03/3609.90 c weakened non-implied lits 101017474
3600.03/3609.90 c weakened non-implying lits 251430
3600.03/3609.90 c original variables 2130
3600.03/3609.90 c clausal propagations 2269616
3600.03/3609.90 c cardinality propagations 7510982
3600.03/3609.90 c watched propagations 16148402
3600.03/3609.90 c counting propagations 325074248
3600.03/3609.90 c watch lookups 60269211428
3600.03/3609.90 c watch backjump lookups 55349491601
3600.03/3609.90 c watch checks 414819609202
3600.03/3609.90 c propagation checks 80229956276
3600.03/3609.90 c constraint additions 2384727904
3600.03/3609.90 c trail pops 361142569
3600.03/3609.90 c formula constraints 2544
3600.03/3609.90 c learned constraints 1633846
3600.03/3609.90 c bound constraints 0
3600.03/3609.90 c core-guided constraints 0
3600.03/3609.90 c encountered formula constraints 9112481
3600.03/3609.90 c encountered learned constraints 8851693
3600.03/3609.90 c encountered bound constraints 0
3600.03/3609.90 c encountered core-guided constraints 0
3600.03/3609.90 c LP total time 0 s
3600.03/3609.90 c LP solve time 0 s
3600.03/3609.90 c LP constraints added 0
3600.03/3609.90 c LP constraints removed 0
3600.03/3609.90 c LP pivots internal 0
3600.03/3609.90 c LP pivots root 0
3600.03/3609.90 c LP calls 0
3600.03/3609.90 c LP optimalities 0
3600.03/3609.90 c LP no pivot count 0
3600.03/3609.90 c LP infeasibilities 0
3600.03/3609.90 c LP valid Farkas constraints 0
3600.03/3609.90 c LP learned Farkas constraints 0
3600.03/3609.90 c LP basis resets 0
3600.03/3609.90 c LP cycling count 0
3600.03/3609.90 c LP singular count 0
3600.03/3609.90 c LP no primal count 0
3600.03/3609.90 c LP no farkas count 0
3600.03/3609.90 c LP other issue count 0
3600.03/3609.90 c LP Gomory cuts 0
3600.03/3609.90 c LP learned cuts 0
3600.03/3609.90 c LP deleted cuts 0
3600.03/3609.90 c LP encountered Gomory constraints 0
3600.03/3609.90 c LP encountered Farkas constraints 0
3600.03/3609.90 c LP encountered learned Farkas constraints 0
3600.03/3609.90 c CG auxiliary variables introduced 0
3600.03/3609.90 c CG solutions found 0
3600.03/3609.90 c CG cores constructed 0
3600.03/3609.90 c CG core cardinality constraints returned 0
3600.03/3609.90 c CG unit cores 0
3600.03/3609.90 c CG single cores 0
3600.03/3609.90 c CG blocks removed during cardinality reduction 0
3600.03/3609.90 c CG first core best 0
3600.03/3609.90 c CG decision core best 0
3600.03/3609.90 c CG core reduction tie 0
3600.03/3609.90 c CG core degree average 0.00
3600.03/3609.90 c CG core slack average 0.00
3600.03/3609.90 c CG exhausted 0
3600.03/3609.90 c CG exhaust time 0 s
3600.03/3609.90 c CG trimmed 0
3600.03/3609.90 c CG trim time 0 s
3600.03/3609.90 c CG minimized 0
3600.03/3609.90 c CG minimize time 0 s
3600.03/3609.90 c CG am1 prop time 0 s
3600.03/3609.90 c CG # am1s reformulated 0
3600.03/3609.90 c CG lower bound derived from am1s 0
3600.03/3609.90 c CG # clausal cores 0
3600.03/3609.90 c CG # cardinality cores 0
3600.03/3609.90 c CG # pb cores 0
3600.03/3609.90 c CG # pb reforms 0
3600.03/3609.90 c CG # cores discarded because of pb reform 0
3600.03/3609.90 d LOWERBOUND 0
3600.03/3609.90 d NCORES 0
3600.03/3609.90 d NPBCORES 0
3600.03/3609.90 d NPBREFORM 0
3600.03/3609.90 d NTRIMMED 0
3600.03/3609.90 d NEXHAUSTED 0
3600.03/3609.90 d NAM1S 0
3600.03/3609.90 d AM1LB 0
3600.03/3609.90 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: 63708 MiB (62277 MiB free)
memory of node 1: 64465 MiB (62979 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499070-1751408295/watcher-4499070-1751408295 -o /tmp/evaluation-result-4499070-1751408295/solver-4499070-1751408295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58042 --watchdog 3760 pb-oll-rs HOME/instance-4499070-1751408295.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=59255, runsolver pid=59252
[startup+0.100063 s]*
/proc/loadavg: 4.14 4.12 4.09 5/267 59256
/proc/meminfo: memFree=128270492/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=21444 memory=8064 CPUtime=0.09 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 881 0 0 0 8 1 0 0 20 0 1 0 56507382 21958656 2016 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 5361 2016 1344 243 0 1610 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21444 KiB
Current children cumulated memory: 8064 KiB
[startup+0.20577 s]*
/proc/loadavg: 4.14 4.12 4.09 5/267 59256
/proc/meminfo: memFree=128270240/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=22212 memory=11148 CPUtime=0.19 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 1140 0 0 0 18 1 0 0 20 0 1 0 56507382 22745088 2787 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 5553 2787 1344 243 0 1802 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22212 KiB
Current children cumulated memory: 11148 KiB
[startup+0.305637 s]*
/proc/loadavg: 4.14 4.12 4.09 5/267 59256
/proc/meminfo: memFree=128270240/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=22856 memory=11788 CPUtime=0.29 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 1289 0 0 0 28 1 0 0 20 0 1 0 56507382 23404544 2947 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 5714 2947 1344 243 0 1963 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 22856 KiB
Current children cumulated memory: 11788 KiB
[startup+0.700182 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 59256
/proc/meminfo: memFree=128266144/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=24272 memory=14220 CPUtime=0.68 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 1918 0 0 0 66 2 0 0 20 0 1 0 56507382 24854528 3555 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 6068 3555 1344 243 0 2317 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24272 KiB
Current children cumulated memory: 14220 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 59256
/proc/meminfo: memFree=128293304/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=28420 memory=17676 CPUtime=1.47 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 2764 0 0 0 144 3 0 0 20 0 1 0 56507382 29102080 4419 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 7105 4419 1344 243 0 3354 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 28420 KiB
Current children cumulated memory: 17676 KiB
[startup+3.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 59256
/proc/meminfo: memFree=128323100/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=30668 memory=20364 CPUtime=3.07 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 3431 0 0 0 301 6 0 0 20 0 1 0 56507382 31404032 5091 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 7667 5091 1344 243 0 3916 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 30668 KiB
Current children cumulated memory: 20364 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 59256
/proc/meminfo: memFree=128353228/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=39932 memory=28648 CPUtime=6.26 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 5023 0 0 0 615 11 0 0 20 0 1 0 56507382 40890368 7162 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 9983 7162 1344 243 0 6232 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39932 KiB
Current children cumulated memory: 28648 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 59257
/proc/meminfo: memFree=128383080/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=50464 memory=36364 CPUtime=12.64 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 5924 0 0 0 1246 18 0 0 20 0 1 0 56507382 51675136 9091 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 12616 9091 1344 243 0 8865 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50464 KiB
Current children cumulated memory: 36364 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 59257
/proc/meminfo: memFree=128353916/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=61656 memory=49616 CPUtime=25.4 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 8704 0 0 0 2511 29 0 0 20 0 1 0 56507382 63135744 12404 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 15414 12404 1344 243 0 11663 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 61656 KiB
Current children cumulated memory: 49616 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 59257
/proc/meminfo: memFree=128347176/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=78244 memory=58848 CPUtime=50.94 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 10034 0 0 0 5034 60 0 0 20 0 1 0 56507382 80121856 14712 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 19561 14712 1344 243 0 15810 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 78244 KiB
Current children cumulated memory: 58848 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 59259
/proc/meminfo: memFree=128298900/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=113616 memory=86648 CPUtime=101.98 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 13926 0 0 0 10102 96 0 0 20 0 1 0 56507382 116342784 21662 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 28404 21662 1344 243 0 24653 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 113616 KiB
Current children cumulated memory: 86648 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/267 59306
/proc/meminfo: memFree=128527436/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=116240 memory=88824 CPUtime=161.83 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 14606 0 0 0 16042 141 0 0 20 0 1 0 56507382 119029760 22206 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 29060 22206 1344 243 0 25309 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 116240 KiB
Current children cumulated memory: 88824 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 59352
/proc/meminfo: memFree=128472456/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=158432 memory=127232 CPUtime=221.64 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 17646 0 0 0 22001 163 0 0 20 0 1 0 56507382 162234368 31808 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 39608 31808 1344 243 0 35857 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 158432 KiB
Current children cumulated memory: 127232 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 59358
/proc/meminfo: memFree=128427884/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=164736 memory=131328 CPUtime=281.48 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 18689 0 0 0 27961 187 0 0 20 0 1 0 56507382 168689664 32832 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 41184 32832 1344 243 0 37433 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 164736 KiB
Current children cumulated memory: 131328 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 59360
/proc/meminfo: memFree=128407780/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=165476 memory=132096 CPUtime=341.33 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 19065 0 0 0 33905 228 0 0 20 0 1 0 56507382 169447424 33024 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 41369 33024 1344 243 0 37618 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 165476 KiB
Current children cumulated memory: 132096 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 59363
/proc/meminfo: memFree=128399068/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=167968 memory=133888 CPUtime=401.17 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 19627 0 0 0 39863 254 0 0 20 0 1 0 56507382 171999232 33472 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 41992 33472 1344 243 0 38241 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 167968 KiB
Current children cumulated memory: 133888 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 59365
/proc/meminfo: memFree=128361512/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=168376 memory=134400 CPUtime=461.01 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 19896 0 0 0 45813 288 0 0 20 0 1 0 56507382 172417024 33600 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 42094 33600 1344 243 0 38343 0
################
# More data... #
################
Current children cumulated memory: 253592 KiB
[startup+2922.3 s]
/proc/loadavg: 3.08 3.08 3.22 4/258 59531
/proc/meminfo: memFree=127881744/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=291912 memory=253736 CPUtime=2914.26 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 38021 0 0 0 290484 942 0 0 20 0 1 0 56507382 298917888 63434 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 72978 63434 1344 243 0 69227 0
Current children cumulated CPU time: 2914.26 s
Current children cumulated vsize: 291912 KiB
Current children cumulated memory: 253736 KiB
[startup+2982.3 s]
/proc/loadavg: 3.06 3.08 3.21 4/258 59533
/proc/meminfo: memFree=127874004/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=291912 memory=253760 CPUtime=2974.09 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 38164 0 0 0 296452 957 0 0 20 0 1 0 56507382 298917888 63440 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 72978 63440 1344 243 0 69227 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 291912 KiB
Current children cumulated memory: 253760 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.08 3.20 4/258 59535
/proc/meminfo: memFree=127899960/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=291912 memory=253760 CPUtime=3033.94 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 38301 0 0 0 302423 971 0 0 20 0 1 0 56507382 298917888 63440 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 72978 63440 1344 243 0 69227 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 291912 KiB
Current children cumulated memory: 253760 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.10 3.19 4/258 59537
/proc/meminfo: memFree=127870988/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=293572 memory=254696 CPUtime=3093.78 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 38706 0 0 0 308391 987 0 0 20 0 1 0 56507382 300617728 63674 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 73393 63674 1344 243 0 69642 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 293572 KiB
Current children cumulated memory: 254696 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.09 3.18 4/258 59541
/proc/meminfo: memFree=127865344/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=293572 memory=254696 CPUtime=3153.62 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 38844 0 0 0 314359 1003 0 0 20 0 1 0 56507382 300617728 63674 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 73393 63674 1344 243 0 69642 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 293572 KiB
Current children cumulated memory: 254696 KiB
[startup+3222.3 s]
/proc/loadavg: 3.30 3.16 3.20 4/258 59543
/proc/meminfo: memFree=127852908/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=294340 memory=259852 CPUtime=3213.45 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 39089 0 0 0 320325 1020 0 0 20 0 1 0 56507382 301404160 64963 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 73585 64963 1344 243 0 69834 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 259852 KiB
[startup+3282.3 s]
/proc/loadavg: 3.21 3.16 3.19 4/258 59550
/proc/meminfo: memFree=127816300/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=294340 memory=259852 CPUtime=3273.3 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 39228 0 0 0 326292 1038 0 0 20 0 1 0 56507382 301404160 64963 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 73585 64963 1344 243 0 69834 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 294340 KiB
Current children cumulated memory: 259852 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.14 3.18 4/258 59552
/proc/meminfo: memFree=127770512/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=296056 memory=260620 CPUtime=3333.13 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 39581 0 0 0 332268 1045 0 0 20 0 1 0 56507382 303161344 65155 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 74014 65155 1344 243 0 70263 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 296056 KiB
Current children cumulated memory: 260620 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.13 3.18 4/259 59556
/proc/meminfo: memFree=127789092/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=299376 memory=266816 CPUtime=3392.97 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 40303 0 0 0 338238 1059 0 0 20 0 1 0 56507382 306561024 66704 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 74844 66704 1344 243 0 71093 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 299376 KiB
Current children cumulated memory: 266816 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.12 3.17 4/260 59559
/proc/meminfo: memFree=127768388/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=300888 memory=267408 CPUtime=3452.8 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 40789 0 0 0 344213 1067 0 0 20 0 1 0 56507382 308109312 66852 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 75222 66852 1344 243 0 71471 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 300888 KiB
Current children cumulated memory: 267408 KiB
[startup+3522.3 s]
/proc/loadavg: 3.00 3.09 3.16 3/254 59594
/proc/meminfo: memFree=128616452/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=302292 memory=268176 CPUtime=3512.64 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 40996 0 0 0 350185 1079 0 0 20 0 1 0 56507382 309547008 67044 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 75573 67044 1344 243 0 71822 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 302292 KiB
Current children cumulated memory: 268176 KiB
[startup+3582.3 s]
/proc/loadavg: 2.47 2.92 3.09 3/254 59596
/proc/meminfo: memFree=128612920/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=308748 memory=271760 CPUtime=3572.5 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 42046 0 0 0 356158 1092 0 0 20 0 1 0 56507382 316157952 67940 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 77187 67940 1344 243 0 73436 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 308748 KiB
Current children cumulated memory: 271760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 2.31 2.85 3.06 3/254 59596
/proc/meminfo: memFree=128612920/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=308748 memory=271760 CPUtime=3600.03 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 42046 0 0 0 358908 1095 0 0 20 0 1 0 56507382 316157952 67940 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 77187 67940 1344 243 0 73436 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 308748 KiB
Current children cumulated memory: 271760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 59255 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.1 s, system=10.9519 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 2.31 2.85 3.06 3/254 59596
/proc/meminfo: memFree=128612920/131249996 swapFree=33005272/33010684
[pid=59255] ppid=59252 vsize=308748 memory=271760 CPUtime=3600.03 cores=1,3
/proc/59255/stat : 59255 (pb-oll-rs) R 59252 59255 58030 0 -1 4194304 42046 0 0 0 358908 1095 0 0 20 0 1 0 56507382 316157952 67940 18446744073709551615 4218880 5211445 140735977884480 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 9318400 140735977888156 140735977888233 140735977888233 140735977893835 0
/proc/59255/statm: 77187 67940 1344 243 0 73436 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 308748 KiB
Current children cumulated memory: 271760 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.05
CPU user time (s): 3589.1
CPU system time (s): 10.9519
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 308748
Max. memory (cumulated for all children) (KiB): 271760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.1
system time used= 10.9519
maximum resident set size= 272016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42062
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= 156
involuntary context switches= 4949
# summary of solver processes directly reported to runsolver:
# pid: 59255
# total CPU time (s): 3600.05
# total CPU user time (s): 3589.1
# total CPU system time (s): 10.9519
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25848 second user time and 14.9473 second system time
The end
Begin job on nodeC023 at 2025-07-02 00:18:15
IDJOB=4499070
IDBENCH=148770
IDSOLVER=3345
FILE ID=nodeC023/4499070-1751408295
RUNJOBID= nodeC023-1751399181-58042
SLURM_JOB_ID= 9598285
Free space on /tmp= 432428 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499070-1751408295/watcher-4499070-1751408295 -o /tmp/evaluation-result-4499070-1751408295/solver-4499070-1751408295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751399181-58042 --watchdog 3760 pb-oll-rs HOME/instance-4499070-1751408295.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1769819740
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.890
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.694
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3542.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.820
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.612
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3601.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128255324 kB
MemAvailable: 128645300 kB
Buffers: 1328 kB
Cached: 1188140 kB
SwapCached: 372 kB
Active: 1177764 kB
Inactive: 1019304 kB
Active(anon): 966472 kB
Inactive(anon): 54564 kB
Active(file): 211292 kB
Inactive(file): 964740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1644 kB
Writeback: 52 kB
AnonPages: 1009184 kB
Mapped: 103288 kB
Shmem: 13436 kB
KReclaimable: 106364 kB
Slab: 195056 kB
SReclaimable: 106364 kB
SUnreclaim: 88692 kB
KernelStack: 4336 kB
PageTables: 5148 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1607272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 425984 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432432 MiB
End job on nodeC023 at 2025-07-02 01:18:25