0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 3216 #constraints 3721
0.00/0.02 c SMALL=int, LARGE=long long
39.55/39.72 c bounds - >= 6 @ 0.014693
39.55/39.72 c #Conflicts: 1000 | #Constraints: 4720
39.55/39.72 c #Conflicts: 2000 | #Constraints: 5720
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 3000 | #Constraints: 2525
39.55/39.72 c #Conflicts: 4000 | #Constraints: 3525
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 5000 | #Constraints: 2933
39.55/39.72 c #Conflicts: 6000 | #Constraints: 3933
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 7000 | #Constraints: 2933
39.55/39.72 c #Conflicts: 8000 | #Constraints: 3933
39.55/39.72 c #Conflicts: 9000 | #Constraints: 4933
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 10000 | #Constraints: 3631
39.55/39.72 c #Conflicts: 11000 | #Constraints: 4631
39.55/39.72 c #Conflicts: 12000 | #Constraints: 5631
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 13000 | #Constraints: 4075
39.55/39.72 c #Conflicts: 14000 | #Constraints: 5075
39.55/39.72 c #Conflicts: 15000 | #Constraints: 6075
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 16000 | #Constraints: 4312
39.55/39.72 c #Conflicts: 17000 | #Constraints: 5312
39.55/39.72 c #Conflicts: 18000 | #Constraints: 6312
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 19000 | #Constraints: 4334
39.55/39.72 c #Conflicts: 20000 | #Constraints: 5334
39.55/39.72 c #Conflicts: 21000 | #Constraints: 6334
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 22000 | #Constraints: 4136
39.55/39.72 c #Conflicts: 23000 | #Constraints: 5136
39.55/39.72 c #Conflicts: 24000 | #Constraints: 6136
39.55/39.72 c #Conflicts: 25000 | #Constraints: 7136
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 26000 | #Constraints: 4740
39.55/39.72 c #Conflicts: 27000 | #Constraints: 5740
39.55/39.72 c #Conflicts: 28000 | #Constraints: 6740
39.55/39.72 c #Conflicts: 29000 | #Constraints: 7740
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 30000 | #Constraints: 5144
39.55/39.72 c #Conflicts: 31000 | #Constraints: 6144
39.55/39.72 c #Conflicts: 32000 | #Constraints: 7144
39.55/39.72 c #Conflicts: 33000 | #Constraints: 8144
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 34000 | #Constraints: 5348
39.55/39.72 c #Conflicts: 35000 | #Constraints: 6348
39.55/39.72 c #Conflicts: 36000 | #Constraints: 7348
39.55/39.72 c #Conflicts: 37000 | #Constraints: 8348
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 38000 | #Constraints: 5357
39.55/39.72 c #Conflicts: 39000 | #Constraints: 6357
39.55/39.72 c #Conflicts: 40000 | #Constraints: 7357
39.55/39.72 c #Conflicts: 41000 | #Constraints: 8357
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 42000 | #Constraints: 5161
39.55/39.72 c #Conflicts: 43000 | #Constraints: 6161
39.55/39.72 c #Conflicts: 44000 | #Constraints: 7161
39.55/39.72 c #Conflicts: 45000 | #Constraints: 8161
39.55/39.72 c #Conflicts: 46000 | #Constraints: 9161
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 47000 | #Constraints: 5746
39.55/39.72 c #Conflicts: 48000 | #Constraints: 6746
39.55/39.72 c #Conflicts: 49000 | #Constraints: 7746
39.55/39.72 c #Conflicts: 50000 | #Constraints: 8746
39.55/39.72 c #Conflicts: 51000 | #Constraints: 9746
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 52000 | #Constraints: 6151
39.55/39.72 c #Conflicts: 53000 | #Constraints: 7151
39.55/39.72 c #Conflicts: 54000 | #Constraints: 8151
39.55/39.72 c #Conflicts: 55000 | #Constraints: 9151
39.55/39.72 c #Conflicts: 56000 | #Constraints: 10151
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 57000 | #Constraints: 6343
39.55/39.72 c #Conflicts: 58000 | #Constraints: 7343
39.55/39.72 c #Conflicts: 59000 | #Constraints: 8343
39.55/39.72 c #Conflicts: 60000 | #Constraints: 9343
39.55/39.72 c #Conflicts: 61000 | #Constraints: 10343
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 62000 | #Constraints: 6341
39.55/39.72 c #Conflicts: 63000 | #Constraints: 7341
39.55/39.72 c #Conflicts: 64000 | #Constraints: 8341
39.55/39.72 c #Conflicts: 65000 | #Constraints: 9341
39.55/39.72 c #Conflicts: 66000 | #Constraints: 10341
39.55/39.72 c INPROCESSING
39.55/39.72 c GARBAGE COLLECT
39.55/39.72 c #Conflicts: 67000 | #Constraints: 6138
113.47/113.97 c #Conflicts: 68000 | #Constraints: 7138
113.47/113.97 c #Conflicts: 69000 | #Constraints: 8138
113.47/113.97 c #Conflicts: 70000 | #Constraints: 9138
113.47/113.97 c #Conflicts: 71000 | #Constraints: 10138
113.47/113.97 c #Conflicts: 72000 | #Constraints: 11138
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 73000 | #Constraints: 6736
113.47/113.97 c #Conflicts: 74000 | #Constraints: 7736
113.47/113.97 c #Conflicts: 75000 | #Constraints: 8736
113.47/113.97 c #Conflicts: 76000 | #Constraints: 9736
113.47/113.97 c #Conflicts: 77000 | #Constraints: 10736
113.47/113.97 c #Conflicts: 78000 | #Constraints: 11736
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 79000 | #Constraints: 7145
113.47/113.97 c #Conflicts: 80000 | #Constraints: 8145
113.47/113.97 c #Conflicts: 81000 | #Constraints: 9145
113.47/113.97 c #Conflicts: 82000 | #Constraints: 10145
113.47/113.97 c #Conflicts: 83000 | #Constraints: 11145
113.47/113.97 c #Conflicts: 84000 | #Constraints: 12145
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 85000 | #Constraints: 7348
113.47/113.97 c #Conflicts: 86000 | #Constraints: 8348
113.47/113.97 c #Conflicts: 87000 | #Constraints: 9348
113.47/113.97 c #Conflicts: 88000 | #Constraints: 10348
113.47/113.97 c #Conflicts: 89000 | #Constraints: 11348
113.47/113.97 c #Conflicts: 90000 | #Constraints: 12348
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 91000 | #Constraints: 7347
113.47/113.97 c #Conflicts: 92000 | #Constraints: 8347
113.47/113.97 c #Conflicts: 93000 | #Constraints: 9347
113.47/113.97 c #Conflicts: 94000 | #Constraints: 10347
113.47/113.97 c #Conflicts: 95000 | #Constraints: 11347
113.47/113.97 c #Conflicts: 96000 | #Constraints: 12347
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 97000 | #Constraints: 7170
113.47/113.97 c #Conflicts: 98000 | #Constraints: 8170
113.47/113.97 c #Conflicts: 99000 | #Constraints: 9170
113.47/113.97 c #Conflicts: 100000 | #Constraints: 10170
113.47/113.97 c #Conflicts: 101000 | #Constraints: 11170
113.47/113.97 c #Conflicts: 102000 | #Constraints: 12170
113.47/113.97 c #Conflicts: 103000 | #Constraints: 13170
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 104000 | #Constraints: 7757
113.47/113.97 c #Conflicts: 105000 | #Constraints: 8757
113.47/113.97 c #Conflicts: 106000 | #Constraints: 9757
113.47/113.97 c #Conflicts: 107000 | #Constraints: 10757
113.47/113.97 c #Conflicts: 108000 | #Constraints: 11757
113.47/113.97 c #Conflicts: 109000 | #Constraints: 12757
113.47/113.97 c #Conflicts: 110000 | #Constraints: 13757
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 111000 | #Constraints: 8156
113.47/113.97 c #Conflicts: 112000 | #Constraints: 9156
113.47/113.97 c #Conflicts: 113000 | #Constraints: 10156
113.47/113.97 c #Conflicts: 114000 | #Constraints: 11156
113.47/113.97 c #Conflicts: 115000 | #Constraints: 12156
113.47/113.97 c #Conflicts: 116000 | #Constraints: 13156
113.47/113.97 c #Conflicts: 117000 | #Constraints: 14156
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 118000 | #Constraints: 8355
113.47/113.97 c #Conflicts: 119000 | #Constraints: 9355
113.47/113.97 c #Conflicts: 120000 | #Constraints: 10355
113.47/113.97 c #Conflicts: 121000 | #Constraints: 11355
113.47/113.97 c #Conflicts: 122000 | #Constraints: 12355
113.47/113.97 c #Conflicts: 123000 | #Constraints: 13355
113.47/113.97 c #Conflicts: 124000 | #Constraints: 14355
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 125000 | #Constraints: 8342
113.47/113.97 c #Conflicts: 126000 | #Constraints: 9342
113.47/113.97 c #Conflicts: 127000 | #Constraints: 10342
113.47/113.97 c #Conflicts: 128000 | #Constraints: 11342
113.47/113.97 c #Conflicts: 129000 | #Constraints: 12342
113.47/113.97 c #Conflicts: 130000 | #Constraints: 13342
113.47/113.97 c #Conflicts: 131000 | #Constraints: 14342
113.47/113.97 c INPROCESSING
113.47/113.97 c GARBAGE COLLECT
113.47/113.97 c #Conflicts: 132000 | #Constraints: 8144
113.47/113.97 c #Conflicts: 133000 | #Constraints: 9144
113.47/113.97 c #Conflicts: 134000 | #Constraints: 10144
113.47/113.97 c #Conflicts: 135000 | #Constraints: 11144
113.47/113.97 c #Conflicts: 136000 | #Constraints: 12144
113.47/113.97 c #Conflicts: 137000 | #Constraints: 13144
113.47/113.97 c #Conflicts: 138000 | #Constraints: 14144
113.47/113.97 c #Conflicts: 139000 | #Constraints: 15144
113.47/113.97 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 140000 | #Constraints: 8762
184.04/184.76 c #Conflicts: 141000 | #Constraints: 9762
184.04/184.76 c #Conflicts: 142000 | #Constraints: 10762
184.04/184.76 c #Conflicts: 143000 | #Constraints: 11762
184.04/184.76 c #Conflicts: 144000 | #Constraints: 12762
184.04/184.76 c #Conflicts: 145000 | #Constraints: 13762
184.04/184.76 c #Conflicts: 146000 | #Constraints: 14762
184.04/184.76 c #Conflicts: 147000 | #Constraints: 15762
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 148000 | #Constraints: 9176
184.04/184.76 c #Conflicts: 149000 | #Constraints: 10176
184.04/184.76 c #Conflicts: 150000 | #Constraints: 11176
184.04/184.76 c #Conflicts: 151000 | #Constraints: 12176
184.04/184.76 c #Conflicts: 152000 | #Constraints: 13176
184.04/184.76 c #Conflicts: 153000 | #Constraints: 14176
184.04/184.76 c #Conflicts: 154000 | #Constraints: 15176
184.04/184.76 c #Conflicts: 155000 | #Constraints: 16176
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 156000 | #Constraints: 9369
184.04/184.76 c #Conflicts: 157000 | #Constraints: 10369
184.04/184.76 c #Conflicts: 158000 | #Constraints: 11369
184.04/184.76 c #Conflicts: 159000 | #Constraints: 12369
184.04/184.76 c #Conflicts: 160000 | #Constraints: 13369
184.04/184.76 c #Conflicts: 161000 | #Constraints: 14369
184.04/184.76 c #Conflicts: 162000 | #Constraints: 15369
184.04/184.76 c #Conflicts: 163000 | #Constraints: 16369
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 164000 | #Constraints: 9369
184.04/184.76 c #Conflicts: 165000 | #Constraints: 10369
184.04/184.76 c #Conflicts: 166000 | #Constraints: 11369
184.04/184.76 c #Conflicts: 167000 | #Constraints: 12369
184.04/184.76 c #Conflicts: 168000 | #Constraints: 13369
184.04/184.76 c #Conflicts: 169000 | #Constraints: 14369
184.04/184.76 c #Conflicts: 170000 | #Constraints: 15369
184.04/184.76 c #Conflicts: 171000 | #Constraints: 16369
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 172000 | #Constraints: 9161
184.04/184.76 c #Conflicts: 173000 | #Constraints: 10161
184.04/184.76 c #Conflicts: 174000 | #Constraints: 11161
184.04/184.76 c #Conflicts: 175000 | #Constraints: 12161
184.04/184.76 c #Conflicts: 176000 | #Constraints: 13161
184.04/184.76 c #Conflicts: 177000 | #Constraints: 14161
184.04/184.76 c #Conflicts: 178000 | #Constraints: 15161
184.04/184.76 c #Conflicts: 179000 | #Constraints: 16161
184.04/184.76 c #Conflicts: 180000 | #Constraints: 17161
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 181000 | #Constraints: 9754
184.04/184.76 c #Conflicts: 182000 | #Constraints: 10754
184.04/184.76 c #Conflicts: 183000 | #Constraints: 11754
184.04/184.76 c #Conflicts: 184000 | #Constraints: 12754
184.04/184.76 c #Conflicts: 185000 | #Constraints: 13754
184.04/184.76 c #Conflicts: 186000 | #Constraints: 14754
184.04/184.76 c #Conflicts: 187000 | #Constraints: 15754
184.04/184.76 c #Conflicts: 188000 | #Constraints: 16754
184.04/184.76 c #Conflicts: 189000 | #Constraints: 17754
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 190000 | #Constraints: 10170
184.04/184.76 c #Conflicts: 191000 | #Constraints: 11170
184.04/184.76 c #Conflicts: 192000 | #Constraints: 12170
184.04/184.76 c #Conflicts: 193000 | #Constraints: 13170
184.04/184.76 c #Conflicts: 194000 | #Constraints: 14170
184.04/184.76 c #Conflicts: 195000 | #Constraints: 15170
184.04/184.76 c #Conflicts: 196000 | #Constraints: 16170
184.04/184.76 c #Conflicts: 197000 | #Constraints: 17170
184.04/184.76 c #Conflicts: 198000 | #Constraints: 18170
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 199000 | #Constraints: 10371
184.04/184.76 c #Conflicts: 200000 | #Constraints: 11371
184.04/184.76 c #Conflicts: 201000 | #Constraints: 12371
184.04/184.76 c #Conflicts: 202000 | #Constraints: 13371
184.04/184.76 c #Conflicts: 203000 | #Constraints: 14371
184.04/184.76 c #Conflicts: 204000 | #Constraints: 15371
184.04/184.76 c #Conflicts: 205000 | #Constraints: 16371
184.04/184.76 c #Conflicts: 206000 | #Constraints: 17371
184.04/184.76 c #Conflicts: 207000 | #Constraints: 18371
184.04/184.76 c INPROCESSING
184.04/184.76 c GARBAGE COLLECT
184.04/184.76 c #Conflicts: 208000 | #Constraints: 10364
184.04/184.76 c #Conflicts: 209000 | #Constraints: 11364
184.04/184.76 c #Conflicts: 210000 | #Constraints: 12364
184.04/184.76 c #Conflicts: 211000 | #Constraints: 13364
184.04/184.76 c #Conflicts: 212000 | #Constraints: 14364
184.04/184.76 c #Conflicts: 213000 | #Constraints: 15364
315.91/317.04 c #Conflicts: 214000 | #Constraints: 16364
315.91/317.04 c #Conflicts: 215000 | #Constraints: 17364
315.91/317.04 c #Conflicts: 216000 | #Constraints: 18364
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 217000 | #Constraints: 10196
315.91/317.04 c #Conflicts: 218000 | #Constraints: 11196
315.91/317.04 c #Conflicts: 219000 | #Constraints: 12196
315.91/317.04 c #Conflicts: 220000 | #Constraints: 13196
315.91/317.04 c #Conflicts: 221000 | #Constraints: 14196
315.91/317.04 c #Conflicts: 222000 | #Constraints: 15196
315.91/317.04 c #Conflicts: 223000 | #Constraints: 16196
315.91/317.04 c #Conflicts: 224000 | #Constraints: 17196
315.91/317.04 c #Conflicts: 225000 | #Constraints: 18196
315.91/317.04 c #Conflicts: 226000 | #Constraints: 19196
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 227000 | #Constraints: 10822
315.91/317.04 c #Conflicts: 228000 | #Constraints: 11822
315.91/317.04 c #Conflicts: 229000 | #Constraints: 12822
315.91/317.04 c #Conflicts: 230000 | #Constraints: 13822
315.91/317.04 c #Conflicts: 231000 | #Constraints: 14822
315.91/317.04 c #Conflicts: 232000 | #Constraints: 15822
315.91/317.04 c #Conflicts: 233000 | #Constraints: 16822
315.91/317.04 c #Conflicts: 234000 | #Constraints: 17822
315.91/317.04 c #Conflicts: 235000 | #Constraints: 18822
315.91/317.04 c #Conflicts: 236000 | #Constraints: 19822
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 237000 | #Constraints: 11182
315.91/317.04 c #Conflicts: 238000 | #Constraints: 12182
315.91/317.04 c #Conflicts: 239000 | #Constraints: 13182
315.91/317.04 c #Conflicts: 240000 | #Constraints: 14182
315.91/317.04 c #Conflicts: 241000 | #Constraints: 15182
315.91/317.04 c #Conflicts: 242000 | #Constraints: 16182
315.91/317.04 c #Conflicts: 243000 | #Constraints: 17182
315.91/317.04 c #Conflicts: 244000 | #Constraints: 18182
315.91/317.04 c #Conflicts: 245000 | #Constraints: 19182
315.91/317.04 c #Conflicts: 246000 | #Constraints: 20182
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 247000 | #Constraints: 11372
315.91/317.04 c #Conflicts: 248000 | #Constraints: 12372
315.91/317.04 c #Conflicts: 249000 | #Constraints: 13372
315.91/317.04 c #Conflicts: 250000 | #Constraints: 14372
315.91/317.04 c #Conflicts: 251000 | #Constraints: 15372
315.91/317.04 c #Conflicts: 252000 | #Constraints: 16372
315.91/317.04 c #Conflicts: 253000 | #Constraints: 17372
315.91/317.04 c #Conflicts: 254000 | #Constraints: 18372
315.91/317.04 c #Conflicts: 255000 | #Constraints: 19372
315.91/317.04 c #Conflicts: 256000 | #Constraints: 20372
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 257000 | #Constraints: 11359
315.91/317.04 c #Conflicts: 258000 | #Constraints: 12359
315.91/317.04 c #Conflicts: 259000 | #Constraints: 13359
315.91/317.04 c #Conflicts: 260000 | #Constraints: 14359
315.91/317.04 c #Conflicts: 261000 | #Constraints: 15359
315.91/317.04 c #Conflicts: 262000 | #Constraints: 16359
315.91/317.04 c #Conflicts: 263000 | #Constraints: 17359
315.91/317.04 c #Conflicts: 264000 | #Constraints: 18359
315.91/317.04 c #Conflicts: 265000 | #Constraints: 19359
315.91/317.04 c #Conflicts: 266000 | #Constraints: 20359
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 267000 | #Constraints: 11160
315.91/317.04 c #Conflicts: 268000 | #Constraints: 12160
315.91/317.04 c #Conflicts: 269000 | #Constraints: 13160
315.91/317.04 c #Conflicts: 270000 | #Constraints: 14160
315.91/317.04 c #Conflicts: 271000 | #Constraints: 15160
315.91/317.04 c #Conflicts: 272000 | #Constraints: 16160
315.91/317.04 c #Conflicts: 273000 | #Constraints: 17160
315.91/317.04 c #Conflicts: 274000 | #Constraints: 18160
315.91/317.04 c #Conflicts: 275000 | #Constraints: 19160
315.91/317.04 c #Conflicts: 276000 | #Constraints: 20160
315.91/317.04 c #Conflicts: 277000 | #Constraints: 21160
315.91/317.04 c INPROCESSING
315.91/317.04 c GARBAGE COLLECT
315.91/317.04 c #Conflicts: 278000 | #Constraints: 11753
315.91/317.04 c #Conflicts: 279000 | #Constraints: 12753
315.91/317.04 c #Conflicts: 280000 | #Constraints: 13753
315.91/317.04 c #Conflicts: 281000 | #Constraints: 14753
315.91/317.04 c #Conflicts: 282000 | #Constraints: 15753
315.91/317.04 c #Conflicts: 283000 | #Constraints: 16753
315.91/317.04 c #Conflicts: 284000 | #Constraints: 17753
315.91/317.04 c #Conflicts: 285000 | #Constraints: 18753
315.91/317.04 c #Conflicts: 286000 | #Constraints: 19753
315.91/317.04 c #Conflicts: 287000 | #Constraints: 20753
430.31/431.84 c #Conflicts: 288000 | #Constraints: 21753
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 289000 | #Constraints: 12152
430.31/431.84 c #Conflicts: 290000 | #Constraints: 13152
430.31/431.84 c #Conflicts: 291000 | #Constraints: 14152
430.31/431.84 c #Conflicts: 292000 | #Constraints: 15152
430.31/431.84 c #Conflicts: 293000 | #Constraints: 16152
430.31/431.84 c #Conflicts: 294000 | #Constraints: 17152
430.31/431.84 c #Conflicts: 295000 | #Constraints: 18152
430.31/431.84 c #Conflicts: 296000 | #Constraints: 19152
430.31/431.84 c #Conflicts: 297000 | #Constraints: 20152
430.31/431.84 c #Conflicts: 298000 | #Constraints: 21152
430.31/431.84 c #Conflicts: 299000 | #Constraints: 22152
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 300000 | #Constraints: 12346
430.31/431.84 c #Conflicts: 301000 | #Constraints: 13346
430.31/431.84 c #Conflicts: 302000 | #Constraints: 14346
430.31/431.84 c #Conflicts: 303000 | #Constraints: 15346
430.31/431.84 c #Conflicts: 304000 | #Constraints: 16346
430.31/431.84 c #Conflicts: 305000 | #Constraints: 17346
430.31/431.84 c #Conflicts: 306000 | #Constraints: 18346
430.31/431.84 c #Conflicts: 307000 | #Constraints: 19346
430.31/431.84 c #Conflicts: 308000 | #Constraints: 20346
430.31/431.84 c #Conflicts: 309000 | #Constraints: 21346
430.31/431.84 c #Conflicts: 310000 | #Constraints: 22346
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 311000 | #Constraints: 12351
430.31/431.84 c #Conflicts: 312000 | #Constraints: 13351
430.31/431.84 c #Conflicts: 313000 | #Constraints: 14351
430.31/431.84 c #Conflicts: 314000 | #Constraints: 15351
430.31/431.84 c #Conflicts: 315000 | #Constraints: 16351
430.31/431.84 c #Conflicts: 316000 | #Constraints: 17351
430.31/431.84 c #Conflicts: 317000 | #Constraints: 18351
430.31/431.84 c #Conflicts: 318000 | #Constraints: 19351
430.31/431.84 c #Conflicts: 319000 | #Constraints: 20351
430.31/431.84 c #Conflicts: 320000 | #Constraints: 21351
430.31/431.84 c #Conflicts: 321000 | #Constraints: 22351
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 322000 | #Constraints: 12159
430.31/431.84 c #Conflicts: 323000 | #Constraints: 13159
430.31/431.84 c #Conflicts: 324000 | #Constraints: 14159
430.31/431.84 c #Conflicts: 325000 | #Constraints: 15159
430.31/431.84 c #Conflicts: 326000 | #Constraints: 16159
430.31/431.84 c #Conflicts: 327000 | #Constraints: 17159
430.31/431.84 c #Conflicts: 328000 | #Constraints: 18159
430.31/431.84 c #Conflicts: 329000 | #Constraints: 19159
430.31/431.84 c #Conflicts: 330000 | #Constraints: 20159
430.31/431.84 c #Conflicts: 331000 | #Constraints: 21159
430.31/431.84 c #Conflicts: 332000 | #Constraints: 22159
430.31/431.84 c #Conflicts: 333000 | #Constraints: 23159
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 334000 | #Constraints: 12757
430.31/431.84 c #Conflicts: 335000 | #Constraints: 13757
430.31/431.84 c #Conflicts: 336000 | #Constraints: 14757
430.31/431.84 c #Conflicts: 337000 | #Constraints: 15757
430.31/431.84 c #Conflicts: 338000 | #Constraints: 16757
430.31/431.84 c #Conflicts: 339000 | #Constraints: 17757
430.31/431.84 c #Conflicts: 340000 | #Constraints: 18757
430.31/431.84 c #Conflicts: 341000 | #Constraints: 19757
430.31/431.84 c #Conflicts: 342000 | #Constraints: 20757
430.31/431.84 c #Conflicts: 343000 | #Constraints: 21757
430.31/431.84 c #Conflicts: 344000 | #Constraints: 22757
430.31/431.84 c #Conflicts: 345000 | #Constraints: 23757
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 346000 | #Constraints: 13146
430.31/431.84 c #Conflicts: 347000 | #Constraints: 14146
430.31/431.84 c #Conflicts: 348000 | #Constraints: 15146
430.31/431.84 c #Conflicts: 349000 | #Constraints: 16146
430.31/431.84 c #Conflicts: 350000 | #Constraints: 17146
430.31/431.84 c #Conflicts: 351000 | #Constraints: 18146
430.31/431.84 c #Conflicts: 352000 | #Constraints: 19146
430.31/431.84 c #Conflicts: 353000 | #Constraints: 20146
430.31/431.84 c #Conflicts: 354000 | #Constraints: 21146
430.31/431.84 c #Conflicts: 355000 | #Constraints: 22146
430.31/431.84 c #Conflicts: 356000 | #Constraints: 23146
430.31/431.84 c #Conflicts: 357000 | #Constraints: 24146
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 358000 | #Constraints: 13346
430.31/431.84 c #Conflicts: 359000 | #Constraints: 14346
430.31/431.84 c #Conflicts: 360000 | #Constraints: 15346
430.31/431.84 c #Conflicts: 361000 | #Constraints: 16346
607.81/609.92 c #Conflicts: 362000 | #Constraints: 17346
607.81/609.92 c #Conflicts: 363000 | #Constraints: 18346
607.81/609.92 c #Conflicts: 364000 | #Constraints: 19346
607.81/609.92 c #Conflicts: 365000 | #Constraints: 20346
607.81/609.92 c #Conflicts: 366000 | #Constraints: 21346
607.81/609.92 c #Conflicts: 367000 | #Constraints: 22346
607.81/609.92 c #Conflicts: 368000 | #Constraints: 23346
607.81/609.92 c #Conflicts: 369000 | #Constraints: 24346
607.81/609.92 c INPROCESSING
607.81/609.92 c GARBAGE COLLECT
607.81/609.92 c #Conflicts: 370000 | #Constraints: 13358
607.81/609.92 c #Conflicts: 371000 | #Constraints: 14358
607.81/609.92 c #Conflicts: 372000 | #Constraints: 15358
607.81/609.92 c #Conflicts: 373000 | #Constraints: 16358
607.81/609.92 c #Conflicts: 374000 | #Constraints: 17358
607.81/609.92 c #Conflicts: 375000 | #Constraints: 18358
607.81/609.92 c #Conflicts: 376000 | #Constraints: 19358
607.81/609.92 c #Conflicts: 377000 | #Constraints: 20358
607.81/609.92 c #Conflicts: 378000 | #Constraints: 21358
607.81/609.92 c #Conflicts: 379000 | #Constraints: 22358
607.81/609.92 c #Conflicts: 380000 | #Constraints: 23358
607.81/609.92 c #Conflicts: 381000 | #Constraints: 24358
607.81/609.92 c INPROCESSING
607.81/609.92 c GARBAGE COLLECT
607.81/609.92 c #Conflicts: 382000 | #Constraints: 13149
607.81/609.92 c #Conflicts: 383000 | #Constraints: 14149
607.81/609.92 c #Conflicts: 384000 | #Constraints: 15149
607.81/609.92 c #Conflicts: 385000 | #Constraints: 16149
607.81/609.92 c #Conflicts: 386000 | #Constraints: 17149
607.81/609.92 c #Conflicts: 387000 | #Constraints: 18149
607.81/609.92 c #Conflicts: 388000 | #Constraints: 19149
607.81/609.92 c #Conflicts: 389000 | #Constraints: 20149
607.81/609.92 c #Conflicts: 390000 | #Constraints: 21149
607.81/609.92 c #Conflicts: 391000 | #Constraints: 22149
607.81/609.92 c #Conflicts: 392000 | #Constraints: 23149
607.81/609.92 c #Conflicts: 393000 | #Constraints: 24149
607.81/609.92 c #Conflicts: 394000 | #Constraints: 25149
607.81/609.92 c INPROCESSING
607.81/609.92 c GARBAGE COLLECT
607.81/609.92 c #Conflicts: 395000 | #Constraints: 13768
607.81/609.92 c #Conflicts: 396000 | #Constraints: 14768
607.81/609.92 c #Conflicts: 397000 | #Constraints: 15768
607.81/609.92 c #Conflicts: 398000 | #Constraints: 16768
607.81/609.92 c #Conflicts: 399000 | #Constraints: 17768
607.81/609.92 c #Conflicts: 400000 | #Constraints: 18768
607.81/609.92 c #Conflicts: 401000 | #Constraints: 19768
607.81/609.92 c #Conflicts: 402000 | #Constraints: 20768
607.81/609.92 c #Conflicts: 403000 | #Constraints: 21768
607.81/609.92 c #Conflicts: 404000 | #Constraints: 22768
607.81/609.92 c #Conflicts: 405000 | #Constraints: 23768
607.81/609.92 c #Conflicts: 406000 | #Constraints: 24768
607.81/609.92 c #Conflicts: 407000 | #Constraints: 25768
607.81/609.92 c INPROCESSING
607.81/609.92 c GARBAGE COLLECT
607.81/609.92 c #Conflicts: 408000 | #Constraints: 14155
607.81/609.92 c #Conflicts: 409000 | #Constraints: 15155
607.81/609.92 c #Conflicts: 410000 | #Constraints: 16155
607.81/609.92 c #Conflicts: 411000 | #Constraints: 17155
607.81/609.92 c #Conflicts: 412000 | #Constraints: 18155
607.81/609.92 c #Conflicts: 413000 | #Constraints: 19155
607.81/609.92 c #Conflicts: 414000 | #Constraints: 20155
607.81/609.92 c #Conflicts: 415000 | #Constraints: 21155
607.81/609.92 c #Conflicts: 416000 | #Constraints: 22155
607.81/609.92 c #Conflicts: 417000 | #Constraints: 23155
607.81/609.92 c #Conflicts: 418000 | #Constraints: 24155
607.81/609.92 c #Conflicts: 419000 | #Constraints: 25155
607.81/609.92 c #Conflicts: 420000 | #Constraints: 26155
607.81/609.92 c INPROCESSING
607.81/609.92 c GARBAGE COLLECT
607.81/609.92 c #Conflicts: 421000 | #Constraints: 14387
607.81/609.92 c #Conflicts: 422000 | #Constraints: 15387
607.81/609.92 c #Conflicts: 423000 | #Constraints: 16387
607.81/609.92 c #Conflicts: 424000 | #Constraints: 17387
607.81/609.92 c #Conflicts: 425000 | #Constraints: 18387
607.81/609.92 c #Conflicts: 426000 | #Constraints: 19387
607.81/609.92 c #Conflicts: 427000 | #Constraints: 20387
607.81/609.92 c #Conflicts: 428000 | #Constraints: 21387
607.81/609.92 c #Conflicts: 429000 | #Constraints: 22387
607.81/609.92 c #Conflicts: 430000 | #Constraints: 23387
607.81/609.92 c #Conflicts: 431000 | #Constraints: 24387
607.81/609.92 c #Conflicts: 432000 | #Constraints: 25387
607.81/609.92 c #Conflicts: 433000 | #Constraints: 26387
607.81/609.92 c INPROCESSING
607.81/609.92 c GARBAGE COLLECT
607.81/609.92 c #Conflicts: 434000 | #Constraints: 14389
607.81/609.92 c #Conflicts: 435000 | #Constraints: 15389
607.81/609.92 c #Conflicts: 436000 | #Constraints: 16389
881.66/884.76 c #Conflicts: 437000 | #Constraints: 17389
881.66/884.76 c #Conflicts: 438000 | #Constraints: 18389
881.66/884.76 c #Conflicts: 439000 | #Constraints: 19389
881.66/884.76 c #Conflicts: 440000 | #Constraints: 20389
881.66/884.76 c #Conflicts: 441000 | #Constraints: 21389
881.66/884.76 c #Conflicts: 442000 | #Constraints: 22389
881.66/884.76 c #Conflicts: 443000 | #Constraints: 23389
881.66/884.76 c #Conflicts: 444000 | #Constraints: 24389
881.66/884.76 c #Conflicts: 445000 | #Constraints: 25389
881.66/884.76 c #Conflicts: 446000 | #Constraints: 26389
881.66/884.76 c INPROCESSING
881.66/884.76 c GARBAGE COLLECT
881.66/884.76 c #Conflicts: 447000 | #Constraints: 14192
881.66/884.76 c #Conflicts: 448000 | #Constraints: 15192
881.66/884.76 c #Conflicts: 449000 | #Constraints: 16192
881.66/884.76 c #Conflicts: 450000 | #Constraints: 17192
881.66/884.76 c #Conflicts: 451000 | #Constraints: 18192
881.66/884.76 c #Conflicts: 452000 | #Constraints: 19192
881.66/884.76 c #Conflicts: 453000 | #Constraints: 20192
881.66/884.76 c #Conflicts: 454000 | #Constraints: 21192
881.66/884.76 c #Conflicts: 455000 | #Constraints: 22192
881.66/884.76 c #Conflicts: 456000 | #Constraints: 23192
881.66/884.76 c #Conflicts: 457000 | #Constraints: 24192
881.66/884.76 c #Conflicts: 458000 | #Constraints: 25192
881.66/884.76 c #Conflicts: 459000 | #Constraints: 26192
881.66/884.76 c #Conflicts: 460000 | #Constraints: 27192
881.66/884.76 c INPROCESSING
881.66/884.76 c GARBAGE COLLECT
881.66/884.76 c #Conflicts: 461000 | #Constraints: 14780
881.66/884.76 c #Conflicts: 462000 | #Constraints: 15780
881.66/884.76 c #Conflicts: 463000 | #Constraints: 16780
881.66/884.76 c #Conflicts: 464000 | #Constraints: 17780
881.66/884.76 c #Conflicts: 465000 | #Constraints: 18780
881.66/884.76 c #Conflicts: 466000 | #Constraints: 19780
881.66/884.76 c #Conflicts: 467000 | #Constraints: 20780
881.66/884.76 c #Conflicts: 468000 | #Constraints: 21780
881.66/884.76 c #Conflicts: 469000 | #Constraints: 22780
881.66/884.76 c #Conflicts: 470000 | #Constraints: 23780
881.66/884.76 c #Conflicts: 471000 | #Constraints: 24780
881.66/884.76 c #Conflicts: 472000 | #Constraints: 25780
881.66/884.76 c #Conflicts: 473000 | #Constraints: 26780
881.66/884.76 c #Conflicts: 474000 | #Constraints: 27780
881.66/884.76 c INPROCESSING
881.66/884.76 c GARBAGE COLLECT
881.66/884.76 c #Conflicts: 475000 | #Constraints: 15190
881.66/884.76 c #Conflicts: 476000 | #Constraints: 16190
881.66/884.76 c #Conflicts: 477000 | #Constraints: 17190
881.66/884.76 c #Conflicts: 478000 | #Constraints: 18190
881.66/884.76 c #Conflicts: 479000 | #Constraints: 19190
881.66/884.76 c #Conflicts: 480000 | #Constraints: 20190
881.66/884.76 c #Conflicts: 481000 | #Constraints: 21190
881.66/884.76 c #Conflicts: 482000 | #Constraints: 22190
881.66/884.76 c #Conflicts: 483000 | #Constraints: 23190
881.66/884.76 c #Conflicts: 484000 | #Constraints: 24190
881.66/884.76 c #Conflicts: 485000 | #Constraints: 25190
881.66/884.76 c #Conflicts: 486000 | #Constraints: 26190
881.66/884.76 c #Conflicts: 487000 | #Constraints: 27190
881.66/884.76 c #Conflicts: 488000 | #Constraints: 28190
881.66/884.76 c INPROCESSING
881.66/884.76 c GARBAGE COLLECT
881.66/884.76 c #Conflicts: 489000 | #Constraints: 15421
881.66/884.76 c #Conflicts: 490000 | #Constraints: 16421
881.66/884.76 c #Conflicts: 491000 | #Constraints: 17421
881.66/884.76 c #Conflicts: 492000 | #Constraints: 18421
881.66/884.76 c #Conflicts: 493000 | #Constraints: 19421
881.66/884.76 c #Conflicts: 494000 | #Constraints: 20421
881.66/884.76 c #Conflicts: 495000 | #Constraints: 21421
881.66/884.76 c #Conflicts: 496000 | #Constraints: 22421
881.66/884.76 c #Conflicts: 497000 | #Constraints: 23421
881.66/884.76 c #Conflicts: 498000 | #Constraints: 24421
881.66/884.76 c #Conflicts: 499000 | #Constraints: 25421
881.66/884.76 c #Conflicts: 500000 | #Constraints: 26421
881.66/884.76 c #Conflicts: 501000 | #Constraints: 27421
881.66/884.76 c #Conflicts: 502000 | #Constraints: 28421
881.66/884.76 c INPROCESSING
881.66/884.76 c GARBAGE COLLECT
881.66/884.76 c #Conflicts: 503000 | #Constraints: 15437
881.66/884.76 c #Conflicts: 504000 | #Constraints: 16437
881.66/884.76 c #Conflicts: 505000 | #Constraints: 17437
881.66/884.76 c #Conflicts: 506000 | #Constraints: 18437
881.66/884.76 c #Conflicts: 507000 | #Constraints: 19437
881.66/884.76 c #Conflicts: 508000 | #Constraints: 20437
881.66/884.76 c #Conflicts: 509000 | #Constraints: 21437
881.66/884.76 c #Conflicts: 510000 | #Constraints: 22437
881.66/884.76 c #Conflicts: 511000 | #Constraints: 23437
881.66/884.76 c #Conflicts: 512000 | #Constraints: 24437
1012.10/1015.64 c #Conflicts: 513000 | #Constraints: 25437
1012.10/1015.64 c #Conflicts: 514000 | #Constraints: 26437
1012.10/1015.64 c #Conflicts: 515000 | #Constraints: 27437
1012.10/1015.64 c #Conflicts: 516000 | #Constraints: 28437
1012.10/1015.64 c INPROCESSING
1012.10/1015.64 c GARBAGE COLLECT
1012.10/1015.64 c #Conflicts: 517000 | #Constraints: 15197
1012.10/1015.64 c #Conflicts: 518000 | #Constraints: 16197
1012.10/1015.64 c #Conflicts: 519000 | #Constraints: 17197
1012.10/1015.64 c #Conflicts: 520000 | #Constraints: 18197
1012.10/1015.64 c #Conflicts: 521000 | #Constraints: 19197
1012.10/1015.64 c #Conflicts: 522000 | #Constraints: 20197
1012.10/1015.64 c #Conflicts: 523000 | #Constraints: 21197
1012.10/1015.64 c #Conflicts: 524000 | #Constraints: 22197
1012.10/1015.64 c #Conflicts: 525000 | #Constraints: 23197
1012.10/1015.64 c #Conflicts: 526000 | #Constraints: 24197
1012.10/1015.64 c #Conflicts: 527000 | #Constraints: 25197
1012.10/1015.64 c #Conflicts: 528000 | #Constraints: 26197
1012.10/1015.64 c #Conflicts: 529000 | #Constraints: 27197
1012.10/1015.64 c #Conflicts: 530000 | #Constraints: 28197
1012.10/1015.64 c #Conflicts: 531000 | #Constraints: 29197
1012.10/1015.64 c INPROCESSING
1012.10/1015.64 c GARBAGE COLLECT
1012.10/1015.64 c #Conflicts: 532000 | #Constraints: 15809
1012.10/1015.64 c #Conflicts: 533000 | #Constraints: 16809
1012.10/1015.64 c #Conflicts: 534000 | #Constraints: 17809
1012.10/1015.64 c #Conflicts: 535000 | #Constraints: 18809
1012.10/1015.64 c #Conflicts: 536000 | #Constraints: 19809
1012.10/1015.64 c #Conflicts: 537000 | #Constraints: 20809
1012.10/1015.64 c #Conflicts: 538000 | #Constraints: 21809
1012.10/1015.64 c #Conflicts: 539000 | #Constraints: 22809
1012.10/1015.64 c #Conflicts: 540000 | #Constraints: 23809
1012.10/1015.64 c #Conflicts: 541000 | #Constraints: 24809
1012.10/1015.64 c #Conflicts: 542000 | #Constraints: 25809
1012.10/1015.64 c #Conflicts: 543000 | #Constraints: 26809
1012.10/1015.64 c #Conflicts: 544000 | #Constraints: 27809
1012.10/1015.64 c #Conflicts: 545000 | #Constraints: 28809
1012.10/1015.64 c #Conflicts: 546000 | #Constraints: 29809
1012.10/1015.64 c INPROCESSING
1012.10/1015.64 c GARBAGE COLLECT
1012.10/1015.64 c #Conflicts: 547000 | #Constraints: 16179
1012.10/1015.64 c #Conflicts: 548000 | #Constraints: 17179
1012.10/1015.64 c #Conflicts: 549000 | #Constraints: 18179
1012.10/1015.64 c #Conflicts: 550000 | #Constraints: 19179
1012.10/1015.64 c #Conflicts: 551000 | #Constraints: 20179
1012.10/1015.64 c #Conflicts: 552000 | #Constraints: 21179
1012.10/1015.64 c #Conflicts: 553000 | #Constraints: 22179
1012.10/1015.64 c #Conflicts: 554000 | #Constraints: 23179
1012.10/1015.64 c #Conflicts: 555000 | #Constraints: 24179
1012.10/1015.64 c #Conflicts: 556000 | #Constraints: 25179
1012.10/1015.64 c #Conflicts: 557000 | #Constraints: 26179
1012.10/1015.64 c #Conflicts: 558000 | #Constraints: 27179
1012.10/1015.64 c #Conflicts: 559000 | #Constraints: 28179
1012.10/1015.64 c #Conflicts: 560000 | #Constraints: 29179
1012.10/1015.64 c #Conflicts: 561000 | #Constraints: 30179
1012.10/1015.64 c INPROCESSING
1012.10/1015.64 c GARBAGE COLLECT
1012.10/1015.64 c #Conflicts: 562000 | #Constraints: 16364
1012.10/1015.64 c #Conflicts: 563000 | #Constraints: 17364
1012.10/1015.64 c #Conflicts: 564000 | #Constraints: 18364
1012.10/1015.64 c #Conflicts: 565000 | #Constraints: 19364
1012.10/1015.64 c #Conflicts: 566000 | #Constraints: 20364
1012.10/1015.64 c #Conflicts: 567000 | #Constraints: 21364
1012.10/1015.64 c #Conflicts: 568000 | #Constraints: 22364
1012.10/1015.64 c #Conflicts: 569000 | #Constraints: 23364
1012.10/1015.64 c #Conflicts: 570000 | #Constraints: 24364
1012.10/1015.64 c #Conflicts: 571000 | #Constraints: 25364
1012.10/1015.64 c #Conflicts: 572000 | #Constraints: 26364
1012.10/1015.64 c #Conflicts: 573000 | #Constraints: 27364
1012.10/1015.64 c #Conflicts: 574000 | #Constraints: 28364
1012.10/1015.64 c #Conflicts: 575000 | #Constraints: 29364
1012.10/1015.64 c #Conflicts: 576000 | #Constraints: 30364
1012.10/1015.64 c INPROCESSING
1012.10/1015.64 c GARBAGE COLLECT
1012.10/1015.64 c #Conflicts: 577000 | #Constraints: 16364
1012.10/1015.64 c #Conflicts: 578000 | #Constraints: 17364
1012.10/1015.64 c #Conflicts: 579000 | #Constraints: 18364
1012.10/1015.64 c #Conflicts: 580000 | #Constraints: 19364
1012.10/1015.64 c #Conflicts: 581000 | #Constraints: 20364
1012.10/1015.64 c #Conflicts: 582000 | #Constraints: 21364
1012.10/1015.64 c #Conflicts: 583000 | #Constraints: 22364
1012.10/1015.64 c #Conflicts: 584000 | #Constraints: 23364
1012.10/1015.64 c #Conflicts: 585000 | #Constraints: 24364
1012.10/1015.64 c #Conflicts: 586000 | #Constraints: 25364
1012.10/1015.64 c #Conflicts: 587000 | #Constraints: 26364
1012.10/1015.64 c #Conflicts: 588000 | #Constraints: 27364
1165.89/1169.90 c #Conflicts: 589000 | #Constraints: 28364
1165.89/1169.90 c #Conflicts: 590000 | #Constraints: 29364
1165.89/1169.90 c #Conflicts: 591000 | #Constraints: 30364
1165.89/1169.90 c INPROCESSING
1165.89/1169.90 c GARBAGE COLLECT
1165.89/1169.90 c #Conflicts: 592000 | #Constraints: 16156
1165.89/1169.90 c #Conflicts: 593000 | #Constraints: 17156
1165.89/1169.90 c #Conflicts: 594000 | #Constraints: 18156
1165.89/1169.90 c #Conflicts: 595000 | #Constraints: 19156
1165.89/1169.90 c #Conflicts: 596000 | #Constraints: 20156
1165.89/1169.90 c #Conflicts: 597000 | #Constraints: 21156
1165.89/1169.90 c #Conflicts: 598000 | #Constraints: 22156
1165.89/1169.90 c #Conflicts: 599000 | #Constraints: 23156
1165.89/1169.90 c #Conflicts: 600000 | #Constraints: 24156
1165.89/1169.90 c #Conflicts: 601000 | #Constraints: 25156
1165.89/1169.90 c #Conflicts: 602000 | #Constraints: 26156
1165.89/1169.90 c #Conflicts: 603000 | #Constraints: 27156
1165.89/1169.90 c #Conflicts: 604000 | #Constraints: 28156
1165.89/1169.90 c #Conflicts: 605000 | #Constraints: 29156
1165.89/1169.90 c #Conflicts: 606000 | #Constraints: 30156
1165.89/1169.90 c #Conflicts: 607000 | #Constraints: 31156
1165.89/1169.90 c INPROCESSING
1165.89/1169.90 c GARBAGE COLLECT
1165.89/1169.90 c #Conflicts: 608000 | #Constraints: 16758
1165.89/1169.90 c #Conflicts: 609000 | #Constraints: 17758
1165.89/1169.90 c #Conflicts: 610000 | #Constraints: 18758
1165.89/1169.90 c #Conflicts: 611000 | #Constraints: 19758
1165.89/1169.90 c #Conflicts: 612000 | #Constraints: 20758
1165.89/1169.90 c #Conflicts: 613000 | #Constraints: 21758
1165.89/1169.90 c #Conflicts: 614000 | #Constraints: 22758
1165.89/1169.90 c #Conflicts: 615000 | #Constraints: 23758
1165.89/1169.90 c #Conflicts: 616000 | #Constraints: 24758
1165.89/1169.90 c #Conflicts: 617000 | #Constraints: 25758
1165.89/1169.90 c #Conflicts: 618000 | #Constraints: 26758
1165.89/1169.90 c #Conflicts: 619000 | #Constraints: 27758
1165.89/1169.90 c #Conflicts: 620000 | #Constraints: 28758
1165.89/1169.90 c #Conflicts: 621000 | #Constraints: 29758
1165.89/1169.90 c #Conflicts: 622000 | #Constraints: 30758
1165.89/1169.90 c #Conflicts: 623000 | #Constraints: 31758
1165.89/1169.90 c INPROCESSING
1165.89/1169.90 c GARBAGE COLLECT
1165.89/1169.90 c #Conflicts: 624000 | #Constraints: 17153
1165.89/1169.90 c #Conflicts: 625000 | #Constraints: 18153
1165.89/1169.90 c #Conflicts: 626000 | #Constraints: 19153
1165.89/1169.90 c #Conflicts: 627000 | #Constraints: 20153
1165.89/1169.90 c #Conflicts: 628000 | #Constraints: 21153
1165.89/1169.90 c #Conflicts: 629000 | #Constraints: 22153
1165.89/1169.90 c #Conflicts: 630000 | #Constraints: 23153
1165.89/1169.90 c #Conflicts: 631000 | #Constraints: 24153
1165.89/1169.90 c #Conflicts: 632000 | #Constraints: 25153
1165.89/1169.90 c #Conflicts: 633000 | #Constraints: 26153
1165.89/1169.90 c #Conflicts: 634000 | #Constraints: 27153
1165.89/1169.90 c #Conflicts: 635000 | #Constraints: 28153
1165.89/1169.90 c #Conflicts: 636000 | #Constraints: 29153
1165.89/1169.90 c #Conflicts: 637000 | #Constraints: 30153
1165.89/1169.90 c #Conflicts: 638000 | #Constraints: 31153
1165.89/1169.90 c #Conflicts: 639000 | #Constraints: 32153
1165.89/1169.90 c INPROCESSING
1165.89/1169.90 c GARBAGE COLLECT
1165.89/1169.90 c #Conflicts: 640000 | #Constraints: 17345
1165.89/1169.90 c #Conflicts: 641000 | #Constraints: 18345
1165.89/1169.90 c #Conflicts: 642000 | #Constraints: 19345
1165.89/1169.90 c #Conflicts: 643000 | #Constraints: 20345
1165.89/1169.90 c #Conflicts: 644000 | #Constraints: 21345
1165.89/1169.90 c #Conflicts: 645000 | #Constraints: 22345
1165.89/1169.90 c #Conflicts: 646000 | #Constraints: 23345
1165.89/1169.90 c #Conflicts: 647000 | #Constraints: 24345
1165.89/1169.90 c #Conflicts: 648000 | #Constraints: 25345
1165.89/1169.90 c #Conflicts: 649000 | #Constraints: 26345
1165.89/1169.90 c #Conflicts: 650000 | #Constraints: 27345
1165.89/1169.90 c #Conflicts: 651000 | #Constraints: 28345
1165.89/1169.90 c #Conflicts: 652000 | #Constraints: 29345
1165.89/1169.90 c #Conflicts: 653000 | #Constraints: 30345
1165.89/1169.90 c #Conflicts: 654000 | #Constraints: 31345
1165.89/1169.90 c #Conflicts: 655000 | #Constraints: 32345
1165.89/1169.90 c INPROCESSING
1165.89/1169.90 c GARBAGE COLLECT
1165.89/1169.90 c #Conflicts: 656000 | #Constraints: 17358
1165.89/1169.90 c #Conflicts: 657000 | #Constraints: 18358
1165.89/1169.90 c #Conflicts: 658000 | #Constraints: 19358
1165.89/1169.90 c #Conflicts: 659000 | #Constraints: 20358
1165.89/1169.90 c #Conflicts: 660000 | #Constraints: 21358
1165.89/1169.90 c #Conflicts: 661000 | #Constraints: 22358
1165.89/1169.90 c #Conflicts: 662000 | #Constraints: 23358
1165.89/1169.90 c #Conflicts: 663000 | #Constraints: 24358
1444.60/1449.55 c #Conflicts: 664000 | #Constraints: 25358
1444.60/1449.55 c #Conflicts: 665000 | #Constraints: 26358
1444.60/1449.55 c #Conflicts: 666000 | #Constraints: 27358
1444.60/1449.55 c #Conflicts: 667000 | #Constraints: 28358
1444.60/1449.55 c #Conflicts: 668000 | #Constraints: 29358
1444.60/1449.55 c #Conflicts: 669000 | #Constraints: 30358
1444.60/1449.55 c #Conflicts: 670000 | #Constraints: 31358
1444.60/1449.55 c #Conflicts: 671000 | #Constraints: 32358
1444.60/1449.55 c INPROCESSING
1444.60/1449.55 c GARBAGE COLLECT
1444.60/1449.55 c #Conflicts: 672000 | #Constraints: 17145
1444.60/1449.55 c #Conflicts: 673000 | #Constraints: 18145
1444.60/1449.55 c #Conflicts: 674000 | #Constraints: 19145
1444.60/1449.55 c #Conflicts: 675000 | #Constraints: 20145
1444.60/1449.55 c #Conflicts: 676000 | #Constraints: 21145
1444.60/1449.55 c #Conflicts: 677000 | #Constraints: 22145
1444.60/1449.55 c #Conflicts: 678000 | #Constraints: 23145
1444.60/1449.55 c #Conflicts: 679000 | #Constraints: 24145
1444.60/1449.55 c #Conflicts: 680000 | #Constraints: 25145
1444.60/1449.55 c #Conflicts: 681000 | #Constraints: 26145
1444.60/1449.55 c #Conflicts: 682000 | #Constraints: 27145
1444.60/1449.55 c #Conflicts: 683000 | #Constraints: 28145
1444.60/1449.55 c #Conflicts: 684000 | #Constraints: 29145
1444.60/1449.55 c #Conflicts: 685000 | #Constraints: 30145
1444.60/1449.55 c #Conflicts: 686000 | #Constraints: 31145
1444.60/1449.55 c #Conflicts: 687000 | #Constraints: 32145
1444.60/1449.55 c #Conflicts: 688000 | #Constraints: 33145
1444.60/1449.55 c INPROCESSING
1444.60/1449.55 c GARBAGE COLLECT
1444.60/1449.55 c #Conflicts: 689000 | #Constraints: 17747
1444.60/1449.55 c #Conflicts: 690000 | #Constraints: 18747
1444.60/1449.55 c #Conflicts: 691000 | #Constraints: 19747
1444.60/1449.55 c #Conflicts: 692000 | #Constraints: 20747
1444.60/1449.55 c #Conflicts: 693000 | #Constraints: 21747
1444.60/1449.55 c #Conflicts: 694000 | #Constraints: 22747
1444.60/1449.55 c #Conflicts: 695000 | #Constraints: 23747
1444.60/1449.55 c #Conflicts: 696000 | #Constraints: 24747
1444.60/1449.55 c #Conflicts: 697000 | #Constraints: 25747
1444.60/1449.55 c #Conflicts: 698000 | #Constraints: 26747
1444.60/1449.55 c #Conflicts: 699000 | #Constraints: 27747
1444.60/1449.55 c #Conflicts: 700000 | #Constraints: 28747
1444.60/1449.55 c #Conflicts: 701000 | #Constraints: 29747
1444.60/1449.55 c #Conflicts: 702000 | #Constraints: 30747
1444.60/1449.55 c #Conflicts: 703000 | #Constraints: 31747
1444.60/1449.55 c #Conflicts: 704000 | #Constraints: 32747
1444.60/1449.55 c #Conflicts: 705000 | #Constraints: 33747
1444.60/1449.55 c INPROCESSING
1444.60/1449.55 c GARBAGE COLLECT
1444.60/1449.55 c #Conflicts: 706000 | #Constraints: 18144
1444.60/1449.55 c #Conflicts: 707000 | #Constraints: 19144
1444.60/1449.55 c #Conflicts: 708000 | #Constraints: 20144
1444.60/1449.55 c #Conflicts: 709000 | #Constraints: 21144
1444.60/1449.55 c #Conflicts: 710000 | #Constraints: 22144
1444.60/1449.55 c #Conflicts: 711000 | #Constraints: 23144
1444.60/1449.55 c #Conflicts: 712000 | #Constraints: 24144
1444.60/1449.55 c #Conflicts: 713000 | #Constraints: 25144
1444.60/1449.55 c #Conflicts: 714000 | #Constraints: 26144
1444.60/1449.55 c #Conflicts: 715000 | #Constraints: 27144
1444.60/1449.55 c #Conflicts: 716000 | #Constraints: 28144
1444.60/1449.55 c #Conflicts: 717000 | #Constraints: 29144
1444.60/1449.55 c #Conflicts: 718000 | #Constraints: 30144
1444.60/1449.55 c #Conflicts: 719000 | #Constraints: 31144
1444.60/1449.55 c #Conflicts: 720000 | #Constraints: 32144
1444.60/1449.55 c #Conflicts: 721000 | #Constraints: 33144
1444.60/1449.55 c #Conflicts: 722000 | #Constraints: 34144
1444.60/1449.55 c INPROCESSING
1444.60/1449.55 c GARBAGE COLLECT
1444.60/1449.55 c #Conflicts: 723000 | #Constraints: 18373
1444.60/1449.55 c #Conflicts: 724000 | #Constraints: 19373
1444.60/1449.55 c #Conflicts: 725000 | #Constraints: 20373
1444.60/1449.55 c #Conflicts: 726000 | #Constraints: 21373
1444.60/1449.55 c #Conflicts: 727000 | #Constraints: 22373
1444.60/1449.55 c #Conflicts: 728000 | #Constraints: 23373
1444.60/1449.55 c #Conflicts: 729000 | #Constraints: 24373
1444.60/1449.55 c #Conflicts: 730000 | #Constraints: 25373
1444.60/1449.55 c #Conflicts: 731000 | #Constraints: 26373
1444.60/1449.55 c #Conflicts: 732000 | #Constraints: 27373
1444.60/1449.55 c #Conflicts: 733000 | #Constraints: 28373
1444.60/1449.55 c #Conflicts: 734000 | #Constraints: 29373
1444.60/1449.55 c #Conflicts: 735000 | #Constraints: 30373
1444.60/1449.55 c #Conflicts: 736000 | #Constraints: 31373
1444.60/1449.55 c #Conflicts: 737000 | #Constraints: 32373
1444.60/1449.55 c #Conflicts: 738000 | #Constraints: 33373
1444.60/1449.55 c #Conflicts: 739000 | #Constraints: 34373
1617.36/1622.85 c INPROCESSING
1617.36/1622.85 c GARBAGE COLLECT
1617.36/1622.85 c #Conflicts: 740000 | #Constraints: 18386
1617.36/1622.85 c #Conflicts: 741000 | #Constraints: 19386
1617.36/1622.85 c #Conflicts: 742000 | #Constraints: 20386
1617.36/1622.85 c #Conflicts: 743000 | #Constraints: 21386
1617.36/1622.85 c #Conflicts: 744000 | #Constraints: 22386
1617.36/1622.85 c #Conflicts: 745000 | #Constraints: 23386
1617.36/1622.85 c #Conflicts: 746000 | #Constraints: 24386
1617.36/1622.85 c #Conflicts: 747000 | #Constraints: 25386
1617.36/1622.85 c #Conflicts: 748000 | #Constraints: 26386
1617.36/1622.85 c #Conflicts: 749000 | #Constraints: 27386
1617.36/1622.85 c #Conflicts: 750000 | #Constraints: 28386
1617.36/1622.85 c #Conflicts: 751000 | #Constraints: 29386
1617.36/1622.85 c #Conflicts: 752000 | #Constraints: 30386
1617.36/1622.85 c #Conflicts: 753000 | #Constraints: 31386
1617.36/1622.85 c #Conflicts: 754000 | #Constraints: 32386
1617.36/1622.85 c #Conflicts: 755000 | #Constraints: 33386
1617.36/1622.85 c #Conflicts: 756000 | #Constraints: 34386
1617.36/1622.85 c INPROCESSING
1617.36/1622.85 c GARBAGE COLLECT
1617.36/1622.85 c #Conflicts: 757000 | #Constraints: 18166
1617.36/1622.85 c #Conflicts: 758000 | #Constraints: 19166
1617.36/1622.85 c #Conflicts: 759000 | #Constraints: 20166
1617.36/1622.85 c #Conflicts: 760000 | #Constraints: 21166
1617.36/1622.85 c #Conflicts: 761000 | #Constraints: 22166
1617.36/1622.85 c #Conflicts: 762000 | #Constraints: 23166
1617.36/1622.85 c #Conflicts: 763000 | #Constraints: 24166
1617.36/1622.85 c #Conflicts: 764000 | #Constraints: 25166
1617.36/1622.85 c #Conflicts: 765000 | #Constraints: 26166
1617.36/1622.85 c #Conflicts: 766000 | #Constraints: 27166
1617.36/1622.85 c #Conflicts: 767000 | #Constraints: 28166
1617.36/1622.85 c #Conflicts: 768000 | #Constraints: 29166
1617.36/1622.85 c #Conflicts: 769000 | #Constraints: 30166
1617.36/1622.85 c #Conflicts: 770000 | #Constraints: 31166
1617.36/1622.85 c #Conflicts: 771000 | #Constraints: 32166
1617.36/1622.85 c #Conflicts: 772000 | #Constraints: 33166
1617.36/1622.85 c #Conflicts: 773000 | #Constraints: 34166
1617.36/1622.85 c #Conflicts: 774000 | #Constraints: 35166
1617.36/1622.85 c INPROCESSING
1617.36/1622.85 c GARBAGE COLLECT
1617.36/1622.85 c #Conflicts: 775000 | #Constraints: 18763
1617.36/1622.85 c #Conflicts: 776000 | #Constraints: 19763
1617.36/1622.85 c #Conflicts: 777000 | #Constraints: 20763
1617.36/1622.85 c #Conflicts: 778000 | #Constraints: 21763
1617.36/1622.85 c #Conflicts: 779000 | #Constraints: 22763
1617.36/1622.85 c #Conflicts: 780000 | #Constraints: 23763
1617.36/1622.85 c #Conflicts: 781000 | #Constraints: 24763
1617.36/1622.85 c #Conflicts: 782000 | #Constraints: 25763
1617.36/1622.85 c #Conflicts: 783000 | #Constraints: 26763
1617.36/1622.85 c #Conflicts: 784000 | #Constraints: 27763
1617.36/1622.85 c #Conflicts: 785000 | #Constraints: 28763
1617.36/1622.85 c #Conflicts: 786000 | #Constraints: 29763
1617.36/1622.85 c #Conflicts: 787000 | #Constraints: 30763
1617.36/1622.85 c #Conflicts: 788000 | #Constraints: 31763
1617.36/1622.85 c #Conflicts: 789000 | #Constraints: 32763
1617.36/1622.85 c #Conflicts: 790000 | #Constraints: 33763
1617.36/1622.85 c #Conflicts: 791000 | #Constraints: 34763
1617.36/1622.85 c #Conflicts: 792000 | #Constraints: 35763
1617.36/1622.85 c INPROCESSING
1617.36/1622.85 c GARBAGE COLLECT
1617.36/1622.85 c #Conflicts: 793000 | #Constraints: 19155
1617.36/1622.85 c #Conflicts: 794000 | #Constraints: 20155
1617.36/1622.85 c #Conflicts: 795000 | #Constraints: 21155
1617.36/1622.85 c #Conflicts: 796000 | #Constraints: 22155
1617.36/1622.85 c #Conflicts: 797000 | #Constraints: 23155
1617.36/1622.85 c #Conflicts: 798000 | #Constraints: 24155
1617.36/1622.85 c #Conflicts: 799000 | #Constraints: 25155
1617.36/1622.85 c #Conflicts: 800000 | #Constraints: 26155
1617.36/1622.85 c #Conflicts: 801000 | #Constraints: 27155
1617.36/1622.85 c #Conflicts: 802000 | #Constraints: 28155
1617.36/1622.85 c #Conflicts: 803000 | #Constraints: 29155
1617.36/1622.85 c #Conflicts: 804000 | #Constraints: 30155
1617.36/1622.85 c #Conflicts: 805000 | #Constraints: 31155
1617.36/1622.85 c #Conflicts: 806000 | #Constraints: 32155
1617.36/1622.85 c #Conflicts: 807000 | #Constraints: 33155
1617.36/1622.85 c #Conflicts: 808000 | #Constraints: 34155
1617.36/1622.85 c #Conflicts: 809000 | #Constraints: 35155
1617.36/1622.85 c #Conflicts: 810000 | #Constraints: 36155
1617.36/1622.85 c INPROCESSING
1617.36/1622.85 c GARBAGE COLLECT
1617.36/1622.85 c #Conflicts: 811000 | #Constraints: 19341
1617.36/1622.85 c #Conflicts: 812000 | #Constraints: 20341
1617.36/1622.85 c #Conflicts: 813000 | #Constraints: 21341
1617.36/1622.85 c #Conflicts: 814000 | #Constraints: 22341
1617.36/1622.85 c #Conflicts: 815000 | #Constraints: 23341
1812.00/1818.17 c #Conflicts: 816000 | #Constraints: 24341
1812.00/1818.17 c #Conflicts: 817000 | #Constraints: 25341
1812.00/1818.17 c #Conflicts: 818000 | #Constraints: 26341
1812.00/1818.17 c #Conflicts: 819000 | #Constraints: 27341
1812.00/1818.17 c #Conflicts: 820000 | #Constraints: 28341
1812.00/1818.17 c #Conflicts: 821000 | #Constraints: 29341
1812.00/1818.17 c #Conflicts: 822000 | #Constraints: 30341
1812.00/1818.17 c #Conflicts: 823000 | #Constraints: 31341
1812.00/1818.17 c #Conflicts: 824000 | #Constraints: 32341
1812.00/1818.17 c #Conflicts: 825000 | #Constraints: 33341
1812.00/1818.17 c #Conflicts: 826000 | #Constraints: 34341
1812.00/1818.17 c #Conflicts: 827000 | #Constraints: 35341
1812.00/1818.17 c #Conflicts: 828000 | #Constraints: 36341
1812.00/1818.17 c INPROCESSING
1812.00/1818.17 c GARBAGE COLLECT
1812.00/1818.17 c #Conflicts: 829000 | #Constraints: 19357
1812.00/1818.17 c #Conflicts: 830000 | #Constraints: 20357
1812.00/1818.17 c #Conflicts: 831000 | #Constraints: 21357
1812.00/1818.17 c #Conflicts: 832000 | #Constraints: 22357
1812.00/1818.17 c #Conflicts: 833000 | #Constraints: 23357
1812.00/1818.17 c #Conflicts: 834000 | #Constraints: 24357
1812.00/1818.17 c #Conflicts: 835000 | #Constraints: 25357
1812.00/1818.17 c #Conflicts: 836000 | #Constraints: 26357
1812.00/1818.17 c #Conflicts: 837000 | #Constraints: 27357
1812.00/1818.17 c #Conflicts: 838000 | #Constraints: 28357
1812.00/1818.17 c #Conflicts: 839000 | #Constraints: 29357
1812.00/1818.17 c #Conflicts: 840000 | #Constraints: 30357
1812.00/1818.17 c #Conflicts: 841000 | #Constraints: 31357
1812.00/1818.17 c #Conflicts: 842000 | #Constraints: 32357
1812.00/1818.17 c #Conflicts: 843000 | #Constraints: 33357
1812.00/1818.17 c #Conflicts: 844000 | #Constraints: 34357
1812.00/1818.17 c #Conflicts: 845000 | #Constraints: 35357
1812.00/1818.17 c #Conflicts: 846000 | #Constraints: 36357
1812.00/1818.17 c INPROCESSING
1812.00/1818.17 c GARBAGE COLLECT
1812.00/1818.17 c #Conflicts: 847000 | #Constraints: 19153
1812.00/1818.17 c #Conflicts: 848000 | #Constraints: 20153
1812.00/1818.17 c #Conflicts: 849000 | #Constraints: 21153
1812.00/1818.17 c #Conflicts: 850000 | #Constraints: 22153
1812.00/1818.17 c #Conflicts: 851000 | #Constraints: 23153
1812.00/1818.17 c #Conflicts: 852000 | #Constraints: 24153
1812.00/1818.17 c #Conflicts: 853000 | #Constraints: 25153
1812.00/1818.17 c #Conflicts: 854000 | #Constraints: 26153
1812.00/1818.17 c #Conflicts: 855000 | #Constraints: 27153
1812.00/1818.17 c #Conflicts: 856000 | #Constraints: 28153
1812.00/1818.17 c #Conflicts: 857000 | #Constraints: 29153
1812.00/1818.17 c #Conflicts: 858000 | #Constraints: 30153
1812.00/1818.17 c #Conflicts: 859000 | #Constraints: 31153
1812.00/1818.17 c #Conflicts: 860000 | #Constraints: 32153
1812.00/1818.17 c #Conflicts: 861000 | #Constraints: 33153
1812.00/1818.17 c #Conflicts: 862000 | #Constraints: 34153
1812.00/1818.17 c #Conflicts: 863000 | #Constraints: 35153
1812.00/1818.17 c #Conflicts: 864000 | #Constraints: 36153
1812.00/1818.17 c #Conflicts: 865000 | #Constraints: 37153
1812.00/1818.17 c INPROCESSING
1812.00/1818.17 c GARBAGE COLLECT
1812.00/1818.17 c #Conflicts: 866000 | #Constraints: 19752
1812.00/1818.17 c #Conflicts: 867000 | #Constraints: 20752
1812.00/1818.17 c #Conflicts: 868000 | #Constraints: 21752
1812.00/1818.17 c #Conflicts: 869000 | #Constraints: 22752
1812.00/1818.17 c #Conflicts: 870000 | #Constraints: 23752
1812.00/1818.17 c #Conflicts: 871000 | #Constraints: 24752
1812.00/1818.17 c #Conflicts: 872000 | #Constraints: 25752
1812.00/1818.17 c #Conflicts: 873000 | #Constraints: 26752
1812.00/1818.17 c #Conflicts: 874000 | #Constraints: 27752
1812.00/1818.17 c #Conflicts: 875000 | #Constraints: 28752
1812.00/1818.17 c #Conflicts: 876000 | #Constraints: 29752
1812.00/1818.17 c #Conflicts: 877000 | #Constraints: 30752
1812.00/1818.17 c #Conflicts: 878000 | #Constraints: 31752
1812.00/1818.17 c #Conflicts: 879000 | #Constraints: 32752
1812.00/1818.17 c #Conflicts: 880000 | #Constraints: 33752
1812.00/1818.17 c #Conflicts: 881000 | #Constraints: 34752
1812.00/1818.17 c #Conflicts: 882000 | #Constraints: 35752
1812.00/1818.17 c #Conflicts: 883000 | #Constraints: 36752
1812.00/1818.17 c #Conflicts: 884000 | #Constraints: 37752
1812.00/1818.17 c INPROCESSING
1812.00/1818.17 c GARBAGE COLLECT
1812.00/1818.17 c #Conflicts: 885000 | #Constraints: 20148
1812.00/1818.17 c #Conflicts: 886000 | #Constraints: 21148
1812.00/1818.17 c #Conflicts: 887000 | #Constraints: 22148
1812.00/1818.17 c #Conflicts: 888000 | #Constraints: 23148
1812.00/1818.17 c #Conflicts: 889000 | #Constraints: 24148
1812.00/1818.17 c #Conflicts: 890000 | #Constraints: 25148
1812.00/1818.17 c #Conflicts: 891000 | #Constraints: 26148
2021.83/2028.76 c #Conflicts: 892000 | #Constraints: 27148
2021.83/2028.76 c #Conflicts: 893000 | #Constraints: 28148
2021.83/2028.76 c #Conflicts: 894000 | #Constraints: 29148
2021.83/2028.76 c #Conflicts: 895000 | #Constraints: 30148
2021.83/2028.76 c #Conflicts: 896000 | #Constraints: 31148
2021.83/2028.76 c #Conflicts: 897000 | #Constraints: 32148
2021.83/2028.76 c #Conflicts: 898000 | #Constraints: 33148
2021.83/2028.76 c #Conflicts: 899000 | #Constraints: 34148
2021.83/2028.76 c #Conflicts: 900000 | #Constraints: 35148
2021.83/2028.76 c #Conflicts: 901000 | #Constraints: 36148
2021.83/2028.76 c #Conflicts: 902000 | #Constraints: 37148
2021.83/2028.76 c #Conflicts: 903000 | #Constraints: 38148
2021.83/2028.76 c INPROCESSING
2021.83/2028.76 c GARBAGE COLLECT
2021.83/2028.76 c #Conflicts: 904000 | #Constraints: 20354
2021.83/2028.76 c #Conflicts: 905000 | #Constraints: 21354
2021.83/2028.76 c #Conflicts: 906000 | #Constraints: 22354
2021.83/2028.76 c #Conflicts: 907000 | #Constraints: 23354
2021.83/2028.76 c #Conflicts: 908000 | #Constraints: 24354
2021.83/2028.76 c #Conflicts: 909000 | #Constraints: 25354
2021.83/2028.76 c #Conflicts: 910000 | #Constraints: 26354
2021.83/2028.76 c #Conflicts: 911000 | #Constraints: 27354
2021.83/2028.76 c #Conflicts: 912000 | #Constraints: 28354
2021.83/2028.76 c #Conflicts: 913000 | #Constraints: 29354
2021.83/2028.76 c #Conflicts: 914000 | #Constraints: 30354
2021.83/2028.76 c #Conflicts: 915000 | #Constraints: 31354
2021.83/2028.76 c #Conflicts: 916000 | #Constraints: 32354
2021.83/2028.76 c #Conflicts: 917000 | #Constraints: 33354
2021.83/2028.76 c #Conflicts: 918000 | #Constraints: 34354
2021.83/2028.76 c #Conflicts: 919000 | #Constraints: 35354
2021.83/2028.76 c #Conflicts: 920000 | #Constraints: 36354
2021.83/2028.76 c #Conflicts: 921000 | #Constraints: 37354
2021.83/2028.76 c #Conflicts: 922000 | #Constraints: 38354
2021.83/2028.76 c INPROCESSING
2021.83/2028.76 c GARBAGE COLLECT
2021.83/2028.76 c #Conflicts: 923000 | #Constraints: 20343
2021.83/2028.76 c #Conflicts: 924000 | #Constraints: 21343
2021.83/2028.76 c #Conflicts: 925000 | #Constraints: 22343
2021.83/2028.76 c #Conflicts: 926000 | #Constraints: 23343
2021.83/2028.76 c #Conflicts: 927000 | #Constraints: 24343
2021.83/2028.76 c #Conflicts: 928000 | #Constraints: 25343
2021.83/2028.76 c #Conflicts: 929000 | #Constraints: 26343
2021.83/2028.76 c #Conflicts: 930000 | #Constraints: 27343
2021.83/2028.76 c #Conflicts: 931000 | #Constraints: 28343
2021.83/2028.76 c #Conflicts: 932000 | #Constraints: 29343
2021.83/2028.76 c #Conflicts: 933000 | #Constraints: 30343
2021.83/2028.76 c #Conflicts: 934000 | #Constraints: 31343
2021.83/2028.76 c #Conflicts: 935000 | #Constraints: 32343
2021.83/2028.76 c #Conflicts: 936000 | #Constraints: 33343
2021.83/2028.76 c #Conflicts: 937000 | #Constraints: 34343
2021.83/2028.76 c #Conflicts: 938000 | #Constraints: 35343
2021.83/2028.76 c #Conflicts: 939000 | #Constraints: 36343
2021.83/2028.76 c #Conflicts: 940000 | #Constraints: 37343
2021.83/2028.76 c #Conflicts: 941000 | #Constraints: 38343
2021.83/2028.76 c INPROCESSING
2021.83/2028.76 c GARBAGE COLLECT
2021.83/2028.76 c #Conflicts: 942000 | #Constraints: 20172
2021.83/2028.76 c #Conflicts: 943000 | #Constraints: 21172
2021.83/2028.76 c #Conflicts: 944000 | #Constraints: 22172
2021.83/2028.76 c #Conflicts: 945000 | #Constraints: 23172
2021.83/2028.76 c #Conflicts: 946000 | #Constraints: 24172
2021.83/2028.76 c #Conflicts: 947000 | #Constraints: 25172
2021.83/2028.76 c #Conflicts: 948000 | #Constraints: 26172
2021.83/2028.76 c #Conflicts: 949000 | #Constraints: 27172
2021.83/2028.76 c #Conflicts: 950000 | #Constraints: 28172
2021.83/2028.76 c #Conflicts: 951000 | #Constraints: 29172
2021.83/2028.76 c #Conflicts: 952000 | #Constraints: 30172
2021.83/2028.76 c #Conflicts: 953000 | #Constraints: 31172
2021.83/2028.76 c #Conflicts: 954000 | #Constraints: 32172
2021.83/2028.76 c #Conflicts: 955000 | #Constraints: 33172
2021.83/2028.76 c #Conflicts: 956000 | #Constraints: 34172
2021.83/2028.76 c #Conflicts: 957000 | #Constraints: 35172
2021.83/2028.76 c #Conflicts: 958000 | #Constraints: 36172
2021.83/2028.76 c #Conflicts: 959000 | #Constraints: 37172
2021.83/2028.76 c #Conflicts: 960000 | #Constraints: 38172
2021.83/2028.76 c #Conflicts: 961000 | #Constraints: 39172
2021.83/2028.76 c INPROCESSING
2021.83/2028.76 c GARBAGE COLLECT
2021.83/2028.76 c #Conflicts: 962000 | #Constraints: 20812
2021.83/2028.76 c #Conflicts: 963000 | #Constraints: 21812
2021.83/2028.76 c #Conflicts: 964000 | #Constraints: 22812
2021.83/2028.76 c #Conflicts: 965000 | #Constraints: 23812
2021.83/2028.76 c #Conflicts: 966000 | #Constraints: 24812
2021.83/2028.76 c #Conflicts: 967000 | #Constraints: 25812
2263.68/2271.45 c #Conflicts: 968000 | #Constraints: 26812
2263.68/2271.45 c #Conflicts: 969000 | #Constraints: 27812
2263.68/2271.45 c #Conflicts: 970000 | #Constraints: 28812
2263.68/2271.45 c #Conflicts: 971000 | #Constraints: 29812
2263.68/2271.45 c #Conflicts: 972000 | #Constraints: 30812
2263.68/2271.45 c #Conflicts: 973000 | #Constraints: 31812
2263.68/2271.45 c #Conflicts: 974000 | #Constraints: 32812
2263.68/2271.45 c #Conflicts: 975000 | #Constraints: 33812
2263.68/2271.45 c #Conflicts: 976000 | #Constraints: 34812
2263.68/2271.45 c #Conflicts: 977000 | #Constraints: 35812
2263.68/2271.45 c #Conflicts: 978000 | #Constraints: 36812
2263.68/2271.45 c #Conflicts: 979000 | #Constraints: 37812
2263.68/2271.45 c #Conflicts: 980000 | #Constraints: 38812
2263.68/2271.45 c #Conflicts: 981000 | #Constraints: 39812
2263.68/2271.45 c INPROCESSING
2263.68/2271.45 c GARBAGE COLLECT
2263.68/2271.45 c #Conflicts: 982000 | #Constraints: 21222
2263.68/2271.45 c #Conflicts: 983000 | #Constraints: 22222
2263.68/2271.45 c #Conflicts: 984000 | #Constraints: 23222
2263.68/2271.45 c #Conflicts: 985000 | #Constraints: 24222
2263.68/2271.45 c #Conflicts: 986000 | #Constraints: 25222
2263.68/2271.45 c #Conflicts: 987000 | #Constraints: 26222
2263.68/2271.45 c #Conflicts: 988000 | #Constraints: 27222
2263.68/2271.45 c #Conflicts: 989000 | #Constraints: 28222
2263.68/2271.45 c #Conflicts: 990000 | #Constraints: 29222
2263.68/2271.45 c #Conflicts: 991000 | #Constraints: 30222
2263.68/2271.45 c #Conflicts: 992000 | #Constraints: 31222
2263.68/2271.45 c #Conflicts: 993000 | #Constraints: 32222
2263.68/2271.45 c #Conflicts: 994000 | #Constraints: 33222
2263.68/2271.45 c #Conflicts: 995000 | #Constraints: 34222
2263.68/2271.45 c #Conflicts: 996000 | #Constraints: 35222
2263.68/2271.45 c #Conflicts: 997000 | #Constraints: 36222
2263.68/2271.45 c #Conflicts: 998000 | #Constraints: 37222
2263.68/2271.45 c #Conflicts: 999000 | #Constraints: 38222
2263.68/2271.45 c #Conflicts: 1000000 | #Constraints: 39222
2263.68/2271.45 c #Conflicts: 1001000 | #Constraints: 40222
2263.68/2271.45 c INPROCESSING
2263.68/2271.45 c GARBAGE COLLECT
2263.68/2271.45 c #Conflicts: 1002000 | #Constraints: 21413
2263.68/2271.45 c #Conflicts: 1003000 | #Constraints: 22413
2263.68/2271.45 c #Conflicts: 1004000 | #Constraints: 23413
2263.68/2271.45 c #Conflicts: 1005000 | #Constraints: 24413
2263.68/2271.45 c #Conflicts: 1006000 | #Constraints: 25413
2263.68/2271.45 c #Conflicts: 1007000 | #Constraints: 26413
2263.68/2271.45 c #Conflicts: 1008000 | #Constraints: 27413
2263.68/2271.45 c #Conflicts: 1009000 | #Constraints: 28413
2263.68/2271.45 c #Conflicts: 1010000 | #Constraints: 29413
2263.68/2271.45 c #Conflicts: 1011000 | #Constraints: 30413
2263.68/2271.45 c #Conflicts: 1012000 | #Constraints: 31413
2263.68/2271.45 c #Conflicts: 1013000 | #Constraints: 32413
2263.68/2271.45 c #Conflicts: 1014000 | #Constraints: 33413
2263.68/2271.45 c #Conflicts: 1015000 | #Constraints: 34413
2263.68/2271.45 c #Conflicts: 1016000 | #Constraints: 35413
2263.68/2271.45 c #Conflicts: 1017000 | #Constraints: 36413
2263.68/2271.45 c #Conflicts: 1018000 | #Constraints: 37413
2263.68/2271.45 c #Conflicts: 1019000 | #Constraints: 38413
2263.68/2271.45 c #Conflicts: 1020000 | #Constraints: 39413
2263.68/2271.45 c #Conflicts: 1021000 | #Constraints: 40413
2263.68/2271.45 c INPROCESSING
2263.68/2271.45 c GARBAGE COLLECT
2263.68/2271.45 c #Conflicts: 1022000 | #Constraints: 21394
2263.68/2271.45 c #Conflicts: 1023000 | #Constraints: 22394
2263.68/2271.45 c #Conflicts: 1024000 | #Constraints: 23394
2263.68/2271.45 c #Conflicts: 1025000 | #Constraints: 24394
2263.68/2271.45 c #Conflicts: 1026000 | #Constraints: 25394
2263.68/2271.45 c #Conflicts: 1027000 | #Constraints: 26394
2263.68/2271.45 c #Conflicts: 1028000 | #Constraints: 27394
2263.68/2271.45 c #Conflicts: 1029000 | #Constraints: 28394
2263.68/2271.45 c #Conflicts: 1030000 | #Constraints: 29394
2263.68/2271.45 c #Conflicts: 1031000 | #Constraints: 30394
2263.68/2271.45 c #Conflicts: 1032000 | #Constraints: 31394
2263.68/2271.45 c #Conflicts: 1033000 | #Constraints: 32394
2263.68/2271.45 c #Conflicts: 1034000 | #Constraints: 33394
2263.68/2271.45 c #Conflicts: 1035000 | #Constraints: 34394
2263.68/2271.45 c #Conflicts: 1036000 | #Constraints: 35394
2263.68/2271.45 c #Conflicts: 1037000 | #Constraints: 36394
2263.68/2271.45 c #Conflicts: 1038000 | #Constraints: 37394
2263.68/2271.45 c #Conflicts: 1039000 | #Constraints: 38394
2263.68/2271.45 c #Conflicts: 1040000 | #Constraints: 39394
2263.68/2271.45 c #Conflicts: 1041000 | #Constraints: 40394
2263.68/2271.45 c INPROCESSING
2263.68/2271.45 c GARBAGE COLLECT
2263.68/2271.45 c #Conflicts: 1042000 | #Constraints: 21202
2263.68/2271.45 c #Conflicts: 1043000 | #Constraints: 22202
2263.68/2271.45 c #Conflicts: 1044000 | #Constraints: 23202
2728.50/2737.75 c #Conflicts: 1045000 | #Constraints: 24202
2728.50/2737.75 c #Conflicts: 1046000 | #Constraints: 25202
2728.50/2737.75 c #Conflicts: 1047000 | #Constraints: 26202
2728.50/2737.75 c #Conflicts: 1048000 | #Constraints: 27202
2728.50/2737.75 c #Conflicts: 1049000 | #Constraints: 28202
2728.50/2737.75 c #Conflicts: 1050000 | #Constraints: 29202
2728.50/2737.75 c #Conflicts: 1051000 | #Constraints: 30202
2728.50/2737.75 c #Conflicts: 1052000 | #Constraints: 31202
2728.50/2737.75 c #Conflicts: 1053000 | #Constraints: 32202
2728.50/2737.75 c #Conflicts: 1054000 | #Constraints: 33202
2728.50/2737.75 c #Conflicts: 1055000 | #Constraints: 34202
2728.50/2737.75 c #Conflicts: 1056000 | #Constraints: 35202
2728.50/2737.75 c #Conflicts: 1057000 | #Constraints: 36202
2728.50/2737.75 c #Conflicts: 1058000 | #Constraints: 37202
2728.50/2737.75 c #Conflicts: 1059000 | #Constraints: 38202
2728.50/2737.75 c #Conflicts: 1060000 | #Constraints: 39202
2728.50/2737.75 c #Conflicts: 1061000 | #Constraints: 40202
2728.50/2737.75 c #Conflicts: 1062000 | #Constraints: 41202
2728.50/2737.75 c INPROCESSING
2728.50/2737.75 c GARBAGE COLLECT
2728.50/2737.75 c #Conflicts: 1063000 | #Constraints: 21806
2728.50/2737.75 c #Conflicts: 1064000 | #Constraints: 22806
2728.50/2737.75 c #Conflicts: 1065000 | #Constraints: 23806
2728.50/2737.75 c #Conflicts: 1066000 | #Constraints: 24806
2728.50/2737.75 c #Conflicts: 1067000 | #Constraints: 25806
2728.50/2737.75 c #Conflicts: 1068000 | #Constraints: 26806
2728.50/2737.75 c #Conflicts: 1069000 | #Constraints: 27806
2728.50/2737.75 c #Conflicts: 1070000 | #Constraints: 28806
2728.50/2737.75 c #Conflicts: 1071000 | #Constraints: 29806
2728.50/2737.75 c #Conflicts: 1072000 | #Constraints: 30806
2728.50/2737.75 c #Conflicts: 1073000 | #Constraints: 31806
2728.50/2737.75 c #Conflicts: 1074000 | #Constraints: 32806
2728.50/2737.75 c #Conflicts: 1075000 | #Constraints: 33806
2728.50/2737.75 c #Conflicts: 1076000 | #Constraints: 34806
2728.50/2737.75 c #Conflicts: 1077000 | #Constraints: 35806
2728.50/2737.75 c #Conflicts: 1078000 | #Constraints: 36806
2728.50/2737.75 c #Conflicts: 1079000 | #Constraints: 37806
2728.50/2737.75 c #Conflicts: 1080000 | #Constraints: 38806
2728.50/2737.75 c #Conflicts: 1081000 | #Constraints: 39806
2728.50/2737.75 c #Conflicts: 1082000 | #Constraints: 40806
2728.50/2737.75 c #Conflicts: 1083000 | #Constraints: 41806
2728.50/2737.75 c INPROCESSING
2728.50/2737.75 c GARBAGE COLLECT
2728.50/2737.75 c #Conflicts: 1084000 | #Constraints: 22230
2728.50/2737.75 c #Conflicts: 1085000 | #Constraints: 23230
2728.50/2737.75 c #Conflicts: 1086000 | #Constraints: 24230
2728.50/2737.75 c #Conflicts: 1087000 | #Constraints: 25230
2728.50/2737.75 c #Conflicts: 1088000 | #Constraints: 26230
2728.50/2737.75 c #Conflicts: 1089000 | #Constraints: 27230
2728.50/2737.75 c #Conflicts: 1090000 | #Constraints: 28230
2728.50/2737.75 c #Conflicts: 1091000 | #Constraints: 29230
2728.50/2737.75 c #Conflicts: 1092000 | #Constraints: 30230
2728.50/2737.75 c #Conflicts: 1093000 | #Constraints: 31230
2728.50/2737.75 c #Conflicts: 1094000 | #Constraints: 32230
2728.50/2737.75 c #Conflicts: 1095000 | #Constraints: 33230
2728.50/2737.75 c #Conflicts: 1096000 | #Constraints: 34230
2728.50/2737.75 c #Conflicts: 1097000 | #Constraints: 35230
2728.50/2737.75 c #Conflicts: 1098000 | #Constraints: 36230
2728.50/2737.75 c #Conflicts: 1099000 | #Constraints: 37230
2728.50/2737.75 c #Conflicts: 1100000 | #Constraints: 38230
2728.50/2737.75 c #Conflicts: 1101000 | #Constraints: 39230
2728.50/2737.75 c #Conflicts: 1102000 | #Constraints: 40230
2728.50/2737.75 c #Conflicts: 1103000 | #Constraints: 41230
2728.50/2737.75 c #Conflicts: 1104000 | #Constraints: 42230
2728.50/2737.75 c INPROCESSING
2728.50/2737.75 c GARBAGE COLLECT
2728.50/2737.75 c #Conflicts: 1105000 | #Constraints: 22423
2728.50/2737.75 c #Conflicts: 1106000 | #Constraints: 23423
2728.50/2737.75 c #Conflicts: 1107000 | #Constraints: 24423
2728.50/2737.75 c #Conflicts: 1108000 | #Constraints: 25423
2728.50/2737.75 c #Conflicts: 1109000 | #Constraints: 26423
2728.50/2737.75 c #Conflicts: 1110000 | #Constraints: 27423
2728.50/2737.75 c #Conflicts: 1111000 | #Constraints: 28423
2728.50/2737.75 c #Conflicts: 1112000 | #Constraints: 29423
2728.50/2737.75 c #Conflicts: 1113000 | #Constraints: 30423
2728.50/2737.75 c #Conflicts: 1114000 | #Constraints: 31423
2728.50/2737.75 c #Conflicts: 1115000 | #Constraints: 32423
2728.50/2737.75 c #Conflicts: 1116000 | #Constraints: 33423
2728.50/2737.75 c #Conflicts: 1117000 | #Constraints: 34423
2728.50/2737.75 c #Conflicts: 1118000 | #Constraints: 35423
2728.50/2737.75 c #Conflicts: 1119000 | #Constraints: 36423
2728.50/2737.75 c #Conflicts: 1120000 | #Constraints: 37423
2728.50/2737.75 c #Conflicts: 1121000 | #Constraints: 38423
2906.27/2916.19 c #Conflicts: 1122000 | #Constraints: 39423
2906.27/2916.19 c #Conflicts: 1123000 | #Constraints: 40423
2906.27/2916.19 c #Conflicts: 1124000 | #Constraints: 41423
2906.27/2916.19 c #Conflicts: 1125000 | #Constraints: 42423
2906.27/2916.19 c INPROCESSING
2906.27/2916.19 c GARBAGE COLLECT
2906.27/2916.19 c #Conflicts: 1126000 | #Constraints: 22423
2906.27/2916.19 c #Conflicts: 1127000 | #Constraints: 23423
2906.27/2916.19 c #Conflicts: 1128000 | #Constraints: 24423
2906.27/2916.19 c #Conflicts: 1129000 | #Constraints: 25423
2906.27/2916.19 c #Conflicts: 1130000 | #Constraints: 26423
2906.27/2916.19 c #Conflicts: 1131000 | #Constraints: 27423
2906.27/2916.19 c #Conflicts: 1132000 | #Constraints: 28423
2906.27/2916.19 c #Conflicts: 1133000 | #Constraints: 29423
2906.27/2916.19 c #Conflicts: 1134000 | #Constraints: 30423
2906.27/2916.19 c #Conflicts: 1135000 | #Constraints: 31423
2906.27/2916.19 c #Conflicts: 1136000 | #Constraints: 32423
2906.27/2916.19 c #Conflicts: 1137000 | #Constraints: 33423
2906.27/2916.19 c #Conflicts: 1138000 | #Constraints: 34423
2906.27/2916.19 c #Conflicts: 1139000 | #Constraints: 35423
2906.27/2916.19 c #Conflicts: 1140000 | #Constraints: 36423
2906.27/2916.19 c #Conflicts: 1141000 | #Constraints: 37423
2906.27/2916.19 c #Conflicts: 1142000 | #Constraints: 38423
2906.27/2916.19 c #Conflicts: 1143000 | #Constraints: 39423
2906.27/2916.19 c #Conflicts: 1144000 | #Constraints: 40423
2906.27/2916.19 c #Conflicts: 1145000 | #Constraints: 41423
2906.27/2916.19 c #Conflicts: 1146000 | #Constraints: 42423
2906.27/2916.19 c INPROCESSING
2906.27/2916.19 c GARBAGE COLLECT
2906.27/2916.19 c #Conflicts: 1147000 | #Constraints: 22184
2906.27/2916.19 c #Conflicts: 1148000 | #Constraints: 23184
2906.27/2916.19 c #Conflicts: 1149000 | #Constraints: 24184
2906.27/2916.19 c #Conflicts: 1150000 | #Constraints: 25184
2906.27/2916.19 c #Conflicts: 1151000 | #Constraints: 26184
2906.27/2916.19 c #Conflicts: 1152000 | #Constraints: 27184
2906.27/2916.19 c #Conflicts: 1153000 | #Constraints: 28184
2906.27/2916.19 c #Conflicts: 1154000 | #Constraints: 29184
2906.27/2916.19 c #Conflicts: 1155000 | #Constraints: 30184
2906.27/2916.19 c #Conflicts: 1156000 | #Constraints: 31184
2906.27/2916.19 c #Conflicts: 1157000 | #Constraints: 32184
2906.27/2916.19 c #Conflicts: 1158000 | #Constraints: 33184
2906.27/2916.19 c #Conflicts: 1159000 | #Constraints: 34184
2906.27/2916.19 c #Conflicts: 1160000 | #Constraints: 35184
2906.27/2916.19 c #Conflicts: 1161000 | #Constraints: 36184
2906.27/2916.19 c #Conflicts: 1162000 | #Constraints: 37184
2906.27/2916.19 c #Conflicts: 1163000 | #Constraints: 38184
2906.27/2916.19 c #Conflicts: 1164000 | #Constraints: 39184
2906.27/2916.19 c #Conflicts: 1165000 | #Constraints: 40184
2906.27/2916.19 c #Conflicts: 1166000 | #Constraints: 41184
2906.27/2916.19 c #Conflicts: 1167000 | #Constraints: 42184
2906.27/2916.19 c #Conflicts: 1168000 | #Constraints: 43184
2906.27/2916.19 c INPROCESSING
2906.27/2916.19 c GARBAGE COLLECT
2906.27/2916.19 c #Conflicts: 1169000 | #Constraints: 22768
2906.27/2916.19 c #Conflicts: 1170000 | #Constraints: 23768
2906.27/2916.19 c #Conflicts: 1171000 | #Constraints: 24768
2906.27/2916.19 c #Conflicts: 1172000 | #Constraints: 25768
2906.27/2916.19 c #Conflicts: 1173000 | #Constraints: 26768
2906.27/2916.19 c #Conflicts: 1174000 | #Constraints: 27768
2906.27/2916.19 c #Conflicts: 1175000 | #Constraints: 28768
2906.27/2916.19 c #Conflicts: 1176000 | #Constraints: 29768
2906.27/2916.19 c #Conflicts: 1177000 | #Constraints: 30768
2906.27/2916.19 c #Conflicts: 1178000 | #Constraints: 31768
2906.27/2916.19 c #Conflicts: 1179000 | #Constraints: 32768
2906.27/2916.19 c #Conflicts: 1180000 | #Constraints: 33768
2906.27/2916.19 c #Conflicts: 1181000 | #Constraints: 34768
2906.27/2916.19 c #Conflicts: 1182000 | #Constraints: 35768
2906.27/2916.19 c #Conflicts: 1183000 | #Constraints: 36768
2906.27/2916.19 c #Conflicts: 1184000 | #Constraints: 37768
2906.27/2916.19 c #Conflicts: 1185000 | #Constraints: 38768
2906.27/2916.19 c #Conflicts: 1186000 | #Constraints: 39768
2906.27/2916.19 c #Conflicts: 1187000 | #Constraints: 40768
2906.27/2916.19 c #Conflicts: 1188000 | #Constraints: 41768
2906.27/2916.19 c #Conflicts: 1189000 | #Constraints: 42768
2906.27/2916.19 c #Conflicts: 1190000 | #Constraints: 43768
2906.27/2916.19 c INPROCESSING
2906.27/2916.19 c GARBAGE COLLECT
2906.27/2916.19 c #Conflicts: 1191000 | #Constraints: 23169
2906.27/2916.19 c #Conflicts: 1192000 | #Constraints: 24169
2906.27/2916.19 c #Conflicts: 1193000 | #Constraints: 25169
2906.27/2916.19 c #Conflicts: 1194000 | #Constraints: 26169
2906.27/2916.19 c #Conflicts: 1195000 | #Constraints: 27169
2906.27/2916.19 c #Conflicts: 1196000 | #Constraints: 28169
2906.27/2916.19 c #Conflicts: 1197000 | #Constraints: 29169
3154.05/3164.73 c #Conflicts: 1198000 | #Constraints: 30169
3154.05/3164.73 c #Conflicts: 1199000 | #Constraints: 31169
3154.05/3164.73 c #Conflicts: 1200000 | #Constraints: 32169
3154.05/3164.73 c #Conflicts: 1201000 | #Constraints: 33169
3154.05/3164.73 c #Conflicts: 1202000 | #Constraints: 34169
3154.05/3164.73 c #Conflicts: 1203000 | #Constraints: 35169
3154.05/3164.73 c #Conflicts: 1204000 | #Constraints: 36169
3154.05/3164.73 c #Conflicts: 1205000 | #Constraints: 37169
3154.05/3164.73 c #Conflicts: 1206000 | #Constraints: 38169
3154.05/3164.73 c #Conflicts: 1207000 | #Constraints: 39169
3154.05/3164.73 c #Conflicts: 1208000 | #Constraints: 40169
3154.05/3164.73 c #Conflicts: 1209000 | #Constraints: 41169
3154.05/3164.73 c #Conflicts: 1210000 | #Constraints: 42169
3154.05/3164.73 c #Conflicts: 1211000 | #Constraints: 43169
3154.05/3164.73 c #Conflicts: 1212000 | #Constraints: 44169
3154.05/3164.73 c INPROCESSING
3154.05/3164.73 c GARBAGE COLLECT
3154.05/3164.73 c #Conflicts: 1213000 | #Constraints: 23360
3154.05/3164.73 c #Conflicts: 1214000 | #Constraints: 24360
3154.05/3164.73 c #Conflicts: 1215000 | #Constraints: 25360
3154.05/3164.73 c #Conflicts: 1216000 | #Constraints: 26360
3154.05/3164.73 c #Conflicts: 1217000 | #Constraints: 27360
3154.05/3164.73 c #Conflicts: 1218000 | #Constraints: 28360
3154.05/3164.73 c #Conflicts: 1219000 | #Constraints: 29360
3154.05/3164.73 c #Conflicts: 1220000 | #Constraints: 30360
3154.05/3164.73 c #Conflicts: 1221000 | #Constraints: 31360
3154.05/3164.73 c #Conflicts: 1222000 | #Constraints: 32360
3154.05/3164.73 c #Conflicts: 1223000 | #Constraints: 33360
3154.05/3164.73 c #Conflicts: 1224000 | #Constraints: 34360
3154.05/3164.73 c #Conflicts: 1225000 | #Constraints: 35360
3154.05/3164.73 c #Conflicts: 1226000 | #Constraints: 36360
3154.05/3164.73 c #Conflicts: 1227000 | #Constraints: 37360
3154.05/3164.73 c #Conflicts: 1228000 | #Constraints: 38360
3154.05/3164.73 c #Conflicts: 1229000 | #Constraints: 39360
3154.05/3164.73 c #Conflicts: 1230000 | #Constraints: 40360
3154.05/3164.73 c #Conflicts: 1231000 | #Constraints: 41360
3154.05/3164.73 c #Conflicts: 1232000 | #Constraints: 42360
3154.05/3164.73 c #Conflicts: 1233000 | #Constraints: 43360
3154.05/3164.73 c #Conflicts: 1234000 | #Constraints: 44360
3154.05/3164.73 c INPROCESSING
3154.05/3164.73 c GARBAGE COLLECT
3154.05/3164.73 c #Conflicts: 1235000 | #Constraints: 23357
3154.05/3164.73 c #Conflicts: 1236000 | #Constraints: 24357
3154.05/3164.73 c #Conflicts: 1237000 | #Constraints: 25357
3154.05/3164.73 c #Conflicts: 1238000 | #Constraints: 26357
3154.05/3164.73 c #Conflicts: 1239000 | #Constraints: 27357
3154.05/3164.73 c #Conflicts: 1240000 | #Constraints: 28357
3154.05/3164.73 c #Conflicts: 1241000 | #Constraints: 29357
3154.05/3164.73 c #Conflicts: 1242000 | #Constraints: 30357
3154.05/3164.73 c #Conflicts: 1243000 | #Constraints: 31357
3154.05/3164.73 c #Conflicts: 1244000 | #Constraints: 32357
3154.05/3164.73 c #Conflicts: 1245000 | #Constraints: 33357
3154.05/3164.73 c #Conflicts: 1246000 | #Constraints: 34357
3154.05/3164.73 c #Conflicts: 1247000 | #Constraints: 35357
3154.05/3164.73 c #Conflicts: 1248000 | #Constraints: 36357
3154.05/3164.73 c #Conflicts: 1249000 | #Constraints: 37357
3154.05/3164.73 c #Conflicts: 1250000 | #Constraints: 38357
3154.05/3164.73 c #Conflicts: 1251000 | #Constraints: 39357
3154.05/3164.73 c #Conflicts: 1252000 | #Constraints: 40357
3154.05/3164.73 c #Conflicts: 1253000 | #Constraints: 41357
3154.05/3164.73 c #Conflicts: 1254000 | #Constraints: 42357
3154.05/3164.73 c #Conflicts: 1255000 | #Constraints: 43357
3154.05/3164.73 c #Conflicts: 1256000 | #Constraints: 44357
3154.05/3164.73 c INPROCESSING
3154.05/3164.73 c GARBAGE COLLECT
3154.05/3164.73 c #Conflicts: 1257000 | #Constraints: 23157
3154.05/3164.73 c #Conflicts: 1258000 | #Constraints: 24157
3154.05/3164.73 c #Conflicts: 1259000 | #Constraints: 25157
3154.05/3164.73 c #Conflicts: 1260000 | #Constraints: 26157
3154.05/3164.73 c #Conflicts: 1261000 | #Constraints: 27157
3154.05/3164.73 c #Conflicts: 1262000 | #Constraints: 28157
3154.05/3164.73 c #Conflicts: 1263000 | #Constraints: 29157
3154.05/3164.73 c #Conflicts: 1264000 | #Constraints: 30157
3154.05/3164.73 c #Conflicts: 1265000 | #Constraints: 31157
3154.05/3164.73 c #Conflicts: 1266000 | #Constraints: 32157
3154.05/3164.73 c #Conflicts: 1267000 | #Constraints: 33157
3154.05/3164.73 c #Conflicts: 1268000 | #Constraints: 34157
3154.05/3164.73 c #Conflicts: 1269000 | #Constraints: 35157
3154.05/3164.73 c #Conflicts: 1270000 | #Constraints: 36157
3154.05/3164.73 c #Conflicts: 1271000 | #Constraints: 37157
3154.05/3164.73 c #Conflicts: 1272000 | #Constraints: 38157
3154.05/3164.73 c #Conflicts: 1273000 | #Constraints: 39157
3154.05/3164.73 c #Conflicts: 1274000 | #Constraints: 40157
3501.45/3513.26 c #Conflicts: 1275000 | #Constraints: 41157
3501.45/3513.26 c #Conflicts: 1276000 | #Constraints: 42157
3501.45/3513.26 c #Conflicts: 1277000 | #Constraints: 43157
3501.45/3513.26 c #Conflicts: 1278000 | #Constraints: 44157
3501.45/3513.26 c #Conflicts: 1279000 | #Constraints: 45157
3501.45/3513.26 c INPROCESSING
3501.45/3513.26 c GARBAGE COLLECT
3501.45/3513.26 c #Conflicts: 1280000 | #Constraints: 23755
3501.45/3513.26 c #Conflicts: 1281000 | #Constraints: 24755
3501.45/3513.26 c #Conflicts: 1282000 | #Constraints: 25755
3501.45/3513.26 c #Conflicts: 1283000 | #Constraints: 26755
3501.45/3513.26 c #Conflicts: 1284000 | #Constraints: 27755
3501.45/3513.26 c #Conflicts: 1285000 | #Constraints: 28755
3501.45/3513.26 c #Conflicts: 1286000 | #Constraints: 29755
3501.45/3513.26 c #Conflicts: 1287000 | #Constraints: 30755
3501.45/3513.26 c #Conflicts: 1288000 | #Constraints: 31755
3501.45/3513.26 c #Conflicts: 1289000 | #Constraints: 32755
3501.45/3513.26 c #Conflicts: 1290000 | #Constraints: 33755
3501.45/3513.26 c #Conflicts: 1291000 | #Constraints: 34755
3501.45/3513.26 c #Conflicts: 1292000 | #Constraints: 35755
3501.45/3513.26 c #Conflicts: 1293000 | #Constraints: 36755
3501.45/3513.26 c #Conflicts: 1294000 | #Constraints: 37755
3501.45/3513.26 c #Conflicts: 1295000 | #Constraints: 38755
3501.45/3513.26 c #Conflicts: 1296000 | #Constraints: 39755
3501.45/3513.26 c #Conflicts: 1297000 | #Constraints: 40755
3501.45/3513.26 c #Conflicts: 1298000 | #Constraints: 41755
3501.45/3513.26 c #Conflicts: 1299000 | #Constraints: 42755
3501.45/3513.26 c #Conflicts: 1300000 | #Constraints: 43755
3501.45/3513.26 c #Conflicts: 1301000 | #Constraints: 44755
3501.45/3513.26 c #Conflicts: 1302000 | #Constraints: 45755
3501.45/3513.26 c INPROCESSING
3501.45/3513.26 c GARBAGE COLLECT
3501.45/3513.26 c #Conflicts: 1303000 | #Constraints: 24150
3501.45/3513.26 c #Conflicts: 1304000 | #Constraints: 25150
3501.45/3513.26 c #Conflicts: 1305000 | #Constraints: 26150
3501.45/3513.26 c #Conflicts: 1306000 | #Constraints: 27150
3501.45/3513.26 c #Conflicts: 1307000 | #Constraints: 28150
3501.45/3513.26 c #Conflicts: 1308000 | #Constraints: 29150
3501.45/3513.26 c #Conflicts: 1309000 | #Constraints: 30150
3501.45/3513.26 c #Conflicts: 1310000 | #Constraints: 31150
3501.45/3513.26 c #Conflicts: 1311000 | #Constraints: 32150
3501.45/3513.26 c #Conflicts: 1312000 | #Constraints: 33150
3501.45/3513.26 c #Conflicts: 1313000 | #Constraints: 34150
3501.45/3513.26 c #Conflicts: 1314000 | #Constraints: 35150
3501.45/3513.26 c #Conflicts: 1315000 | #Constraints: 36150
3501.45/3513.26 c #Conflicts: 1316000 | #Constraints: 37150
3501.45/3513.26 c #Conflicts: 1317000 | #Constraints: 38150
3501.45/3513.26 c #Conflicts: 1318000 | #Constraints: 39150
3501.45/3513.26 c #Conflicts: 1319000 | #Constraints: 40150
3501.45/3513.26 c #Conflicts: 1320000 | #Constraints: 41150
3501.45/3513.26 c #Conflicts: 1321000 | #Constraints: 42150
3501.45/3513.26 c #Conflicts: 1322000 | #Constraints: 43150
3501.45/3513.26 c #Conflicts: 1323000 | #Constraints: 44150
3501.45/3513.26 c #Conflicts: 1324000 | #Constraints: 45150
3501.45/3513.26 c #Conflicts: 1325000 | #Constraints: 46150
3501.45/3513.26 c INPROCESSING
3501.45/3513.26 c GARBAGE COLLECT
3501.45/3513.26 c #Conflicts: 1326000 | #Constraints: 24371
3501.45/3513.26 c #Conflicts: 1327000 | #Constraints: 25371
3501.45/3513.26 c #Conflicts: 1328000 | #Constraints: 26371
3501.45/3513.26 c #Conflicts: 1329000 | #Constraints: 27371
3501.45/3513.26 c #Conflicts: 1330000 | #Constraints: 28371
3501.45/3513.26 c #Conflicts: 1331000 | #Constraints: 29371
3501.45/3513.26 c #Conflicts: 1332000 | #Constraints: 30371
3501.45/3513.26 c #Conflicts: 1333000 | #Constraints: 31371
3501.45/3513.26 c #Conflicts: 1334000 | #Constraints: 32371
3501.45/3513.26 c #Conflicts: 1335000 | #Constraints: 33371
3501.45/3513.26 c #Conflicts: 1336000 | #Constraints: 34371
3501.45/3513.26 c #Conflicts: 1337000 | #Constraints: 35371
3501.45/3513.26 c #Conflicts: 1338000 | #Constraints: 36371
3501.45/3513.26 c #Conflicts: 1339000 | #Constraints: 37371
3501.45/3513.26 c #Conflicts: 1340000 | #Constraints: 38371
3501.45/3513.26 c #Conflicts: 1341000 | #Constraints: 39371
3501.45/3513.26 c #Conflicts: 1342000 | #Constraints: 40371
3501.45/3513.26 c #Conflicts: 1343000 | #Constraints: 41371
3501.45/3513.26 c #Conflicts: 1344000 | #Constraints: 42371
3501.45/3513.26 c #Conflicts: 1345000 | #Constraints: 43371
3501.45/3513.26 c #Conflicts: 1346000 | #Constraints: 44371
3501.45/3513.26 c #Conflicts: 1347000 | #Constraints: 45371
3501.45/3513.26 c #Conflicts: 1348000 | #Constraints: 46371
3501.45/3513.26 c INPROCESSING
3501.45/3513.26 c GARBAGE COLLECT
3501.45/3513.26 c #Conflicts: 1349000 | #Constraints: 24384
3501.45/3513.26 c #Conflicts: 1350000 | #Constraints: 25384
3600.05/3612.11 c #Conflicts: 1351000 | #Constraints: 26384
3600.05/3612.11 c #Conflicts: 1352000 | #Constraints: 27384
3600.05/3612.11 c #Conflicts: 1353000 | #Constraints: 28384
3600.05/3612.11 c #Conflicts: 1354000 | #Constraints: 29384
3600.05/3612.11 c #Conflicts: 1355000 | #Constraints: 30384
3600.05/3612.11 c #Conflicts: 1356000 | #Constraints: 31384
3600.05/3612.11 c #Conflicts: 1357000 | #Constraints: 32384
3600.05/3612.11 c #Conflicts: 1358000 | #Constraints: 33384
3600.05/3612.11 c #Conflicts: 1359000 | #Constraints: 34384
3600.05/3612.11 c #Conflicts: 1360000 | #Constraints: 35384
3600.05/3612.11 c #Conflicts: 1361000 | #Constraints: 36384
3600.05/3612.11 c #Conflicts: 1362000 | #Constraints: 37384
3600.05/3612.11 c #Conflicts: 1363000 | #Constraints: 38384
3600.05/3612.11 c #Conflicts: 1364000 | #Constraints: 39384
3600.05/3612.11 c #Conflicts: 1365000 | #Constraints: 40384
3600.05/3612.11 c #Conflicts: 1366000 | #Constraints: 41384
3600.05/3612.11 c #Conflicts: 1367000 | #Constraints: 42384
3600.05/3612.11 c #Conflicts: 1368000 | #Constraints: 43384
3600.05/3612.11 c #Conflicts: 1369000 | #Constraints: 44384
3600.05/3612.11 c #Conflicts: 1370000 | #Constraints: 45384
3600.05/3612.11 c #Conflicts: 1371000 | #Constraints: 46384
3600.05/3612.11 c INPROCESSING
3600.05/3612.11 c GARBAGE COLLECT
3600.05/3612.11 c #Conflicts: 1372000 | #Constraints: 24166
3600.05/3612.11 c #Conflicts: 1373000 | #Constraints: 25166
3600.05/3612.11 c #Conflicts: 1374000 | #Constraints: 26166
3600.05/3612.11 c #Conflicts: 1375000 | #Constraints: 27166
3600.05/3612.11 c #Conflicts: 1376000 | #Constraints: 28166
3600.05/3612.11 c #Conflicts: 1377000 | #Constraints: 29166
3600.05/3612.11 c #Conflicts: 1378000 | #Constraints: 30166
3600.05/3612.11 c #Conflicts: 1379000 | #Constraints: 31166
3600.05/3612.11 c #Conflicts: 1380000 | #Constraints: 32166
3600.05/3612.11 c #Conflicts: 1381000 | #Constraints: 33166
3600.05/3612.11 c #Conflicts: 1382000 | #Constraints: 34166
3600.05/3612.11 c #Conflicts: 1383000 | #Constraints: 35166
3600.05/3612.11 c #Conflicts: 1384000 | #Constraints: 36166
3600.05/3612.11 c #Conflicts: 1385000 | #Constraints: 37166
3600.05/3612.11 c #Conflicts: 1386000 | #Constraints: 38166
3600.05/3612.11 c #Conflicts: 1387000 | #Constraints: 39166
3600.05/3612.11 c #Conflicts: 1388000 | #Constraints: 40166
3600.05/3612.11 c #Conflicts: 1389000 | #Constraints: 41166
3600.05/3612.11 c #Conflicts: 1390000 | #Constraints: 42166
3600.05/3612.11 c Program interrupted by user.
3600.05/3612.11 c cpu time 3588.06 s
3600.05/3612.11 c deterministic time 616233834513 6.16e+11
3600.05/3612.11 c optimization time 67.1823 s
3600.05/3612.11 c total solve time 3520.86 s
3600.05/3612.11 c core-guided solve time 3520.86 s
3600.05/3612.11 c propagation time 3002.8 s
3600.05/3612.11 c conflict analysis time 529.526 s
3600.05/3612.11 c propagations 393030222
3600.05/3612.11 c resolve steps 11260736
3600.05/3612.11 c decisions 7744331
3600.05/3612.11 c conflicts 1390960
3600.05/3612.11 c restarts 2681
3600.05/3612.11 c inprocessing phases 108
3600.05/3612.11 c input clauses 3273
3600.05/3612.11 c input cardinalities 64
3600.05/3612.11 c input general constraints 384
3600.05/3612.11 c input average constraint length 9.95
3600.05/3612.11 c input average constraint degree 74.17
3600.05/3612.11 c learned clauses 162538
3600.05/3612.11 c learned cardinalities 14907
3600.05/3612.11 c learned general constraints 1213515
3600.05/3612.11 c learned average constraint length 518.87
3600.05/3612.11 c learned average constraint degree 13022679.74
3600.05/3612.11 c watched constraints 925914
3600.05/3612.11 c counting constraints 287985
3600.05/3612.11 c gcd simplifications 122582
3600.05/3612.11 c detected cardinalities 338
3600.05/3612.11 c weakened non-implied lits 111217490
3600.05/3612.11 c weakened non-implying lits 167422
3600.05/3612.11 c original variables 3216
3600.05/3612.11 c clausal propagations 2004513
3600.05/3612.11 c cardinality propagations 7139420
3600.05/3612.11 c watched propagations 19620823
3600.05/3612.11 c counting propagations 362571621
3600.05/3612.11 c watch lookups 49095165282
3600.05/3612.11 c watch backjump lookups 45352732056
3600.05/3612.11 c watch checks 451088274687
3600.05/3612.11 c propagation checks 67442472613
3600.05/3612.11 c constraint additions 2452251373
3600.05/3612.11 c trail pops 402163948
3600.05/3612.11 c formula constraints 3721
3600.05/3612.11 c learned constraints 1390960
3600.05/3612.11 c bound constraints 0
3600.05/3612.11 c core-guided constraints 0
3600.05/3612.11 c encountered formula constraints 6031563
3600.05/3612.11 c encountered learned constraints 6620133
3600.05/3612.11 c encountered bound constraints 0
3600.05/3612.11 c encountered core-guided constraints 0
3600.05/3612.11 c LP total time 0 s
3600.05/3612.11 c LP solve time 0 s
3600.05/3612.11 c LP constraints added 0
3600.05/3612.11 c LP constraints removed 0
3600.05/3612.11 c LP pivots internal 0
3600.05/3612.11 c LP pivots root 0
3600.05/3612.11 c LP calls 0
3600.05/3612.11 c LP optimalities 0
3600.05/3612.11 c LP no pivot count 0
3600.05/3612.11 c LP infeasibilities 0
3600.05/3612.11 c LP valid Farkas constraints 0
3600.05/3612.11 c LP learned Farkas constraints 0
3600.05/3612.11 c LP basis resets 0
3600.05/3612.11 c LP cycling count 0
3600.05/3612.11 c LP singular count 0
3600.05/3612.11 c LP no primal count 0
3600.05/3612.11 c LP no farkas count 0
3600.05/3612.11 c LP other issue count 0
3600.05/3612.11 c LP Gomory cuts 0
3600.05/3612.11 c LP learned cuts 0
3600.05/3612.11 c LP deleted cuts 0
3600.05/3612.11 c LP encountered Gomory constraints 0
3600.05/3612.11 c LP encountered Farkas constraints 0
3600.05/3612.11 c LP encountered learned Farkas constraints 0
3600.05/3612.11 c CG auxiliary variables introduced 0
3600.05/3612.11 c CG solutions found 0
3600.05/3612.11 c CG cores constructed 0
3600.05/3612.11 c CG core cardinality constraints returned 0
3600.05/3612.11 c CG unit cores 0
3600.05/3612.11 c CG single cores 0
3600.05/3612.11 c CG blocks removed during cardinality reduction 0
3600.05/3612.11 c CG first core best 0
3600.05/3612.11 c CG decision core best 0
3600.05/3612.11 c CG core reduction tie 0
3600.05/3612.11 c CG core degree average 0.00
3600.05/3612.11 c CG core slack average 0.00
3600.05/3612.11 c CG exhausted 0
3600.05/3612.11 c CG exhaust time 0 s
3600.05/3612.11 c CG trimmed 0
3600.05/3612.11 c CG trim time 0 s
3600.05/3612.11 c CG minimized 0
3600.05/3612.11 c CG minimize time 0 s
3600.05/3612.11 c CG am1 prop time 0 s
3600.05/3612.11 c CG # am1s reformulated 0
3600.05/3612.11 c CG lower bound derived from am1s 0
3600.05/3612.11 c CG # clausal cores 0
3600.05/3612.11 c CG # cardinality cores 0
3600.05/3612.11 c CG # pb cores 0
3600.05/3612.11 c CG # pb reforms 0
3600.05/3612.11 c CG # cores discarded because of pb reform 0
3600.05/3612.11 d LOWERBOUND 0
3600.05/3612.11 d NCORES 0
3600.05/3612.11 d NPBCORES 0
3600.05/3612.11 d NPBREFORM 0
3600.05/3612.11 d NTRIMMED 0
3600.05/3612.11 d NEXHAUSTED 0
3600.05/3612.11 d NAM1S 0
3600.05/3612.11 d AM1LB 0
3600.05/3612.11 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: 64059 MiB (62768 MiB free)
memory of node 1: 64510 MiB (62424 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454446-1721473185/watcher-4454446-1721473185 -o /tmp/evaluation-result-4454446-1721473185/solver-4454446-1721473185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056039 --watchdog 3760 pb-oll-rs HOME/instance-4454446-1721473185.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059065, runsolver pid=1059062
[startup+0.100096 s]*
/proc/loadavg: 4.23 4.15 4.18 5/245 1059066
/proc/meminfo: memFree=128192100/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=40556 memory=9780 CPUtime=0.11 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 758 0 0 0 10 1 0 0 20 0 1 0 199477226 41529344 2445 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 10139 2445 1378 291 0 1673 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40556 KiB
Current children cumulated memory: 9780 KiB
[startup+0.213528 s]*
/proc/loadavg: 4.23 4.15 4.18 5/245 1059066
/proc/meminfo: memFree=128188916/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=41332 memory=12608 CPUtime=0.21 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 969 0 0 0 20 1 0 0 20 0 1 0 199477226 42323968 3152 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 10333 3152 1378 291 0 1867 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41332 KiB
Current children cumulated memory: 12608 KiB
[startup+0.313222 s]*
/proc/loadavg: 4.23 4.15 4.18 5/245 1059066
/proc/meminfo: memFree=128187908/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=41980 memory=13256 CPUtime=0.31 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 1135 0 0 0 30 1 0 0 20 0 1 0 199477226 42987520 3314 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 10495 3314 1378 291 0 2029 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41980 KiB
Current children cumulated memory: 13256 KiB
[startup+0.700289 s]
/proc/loadavg: 4.23 4.15 4.18 5/245 1059066
/proc/meminfo: memFree=128185872/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=46496 memory=15708 CPUtime=0.68 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 1637 0 0 0 66 2 0 0 20 0 1 0 199477226 47611904 3927 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 11624 3927 1433 291 0 3158 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46496 KiB
Current children cumulated memory: 15708 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.15 4.18 5/245 1059066
/proc/meminfo: memFree=128182484/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=48972 memory=20372 CPUtime=1.49 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 2813 0 0 0 145 4 0 0 20 0 1 0 199477226 50147328 5093 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 12243 5093 1433 291 0 3777 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48972 KiB
Current children cumulated memory: 20372 KiB
[startup+3.11302 s]
/proc/loadavg: 4.21 4.14 4.18 5/245 1059068
/proc/meminfo: memFree=128169732/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=56008 memory=24148 CPUtime=3.09 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 3804 0 0 0 302 7 0 0 20 0 1 0 199477226 57352192 6037 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 14002 6037 1433 291 0 5536 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56008 KiB
Current children cumulated memory: 24148 KiB
[startup+6.3003 s]
/proc/loadavg: 4.21 4.14 4.18 5/245 1059068
/proc/meminfo: memFree=128156712/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=67908 memory=35144 CPUtime=6.26 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 5498 0 0 0 614 12 0 0 20 0 1 0 199477226 69537792 8786 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 16977 8786 1433 291 0 8511 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67908 KiB
Current children cumulated memory: 35144 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.14 4.18 5/245 1059068
/proc/meminfo: memFree=128141844/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=72868 memory=42672 CPUtime=12.64 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 6868 0 0 0 1242 22 0 0 20 0 1 0 199477226 74616832 10668 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 18217 10668 1433 291 0 9751 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 72868 KiB
Current children cumulated memory: 42672 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.18 5/245 1059071
/proc/meminfo: memFree=128135884/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=90808 memory=50272 CPUtime=25.41 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 8780 0 0 0 2505 36 0 0 20 0 1 0 199477226 92987392 12568 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 22702 12568 1433 291 0 14236 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 90808 KiB
Current children cumulated memory: 50272 KiB
[startup+51.1131 s]
/proc/loadavg: 4.16 4.14 4.18 5/245 1059078
/proc/meminfo: memFree=128117036/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=98948 memory=64760 CPUtime=50.92 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 10944 0 0 0 5023 69 0 0 20 0 1 0 199477226 101322752 16190 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 24737 16190 1433 291 0 16271 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 98948 KiB
Current children cumulated memory: 64760 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/245 1059097
/proc/meminfo: memFree=128075524/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=141872 memory=105076 CPUtime=101.92 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 16674 0 0 0 10087 105 0 0 20 0 1 0 199477226 145276928 26269 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 35468 26269 1433 291 0 27002 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 141872 KiB
Current children cumulated memory: 105076 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.17 5/245 1059109
/proc/meminfo: memFree=128043348/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=153560 memory=122260 CPUtime=161.71 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 19213 0 0 0 16015 156 0 0 20 0 1 0 199477226 157245440 30565 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 38390 30565 1433 291 0 29924 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 153560 KiB
Current children cumulated memory: 122260 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.16 5/245 1059119
/proc/meminfo: memFree=128037664/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=158616 memory=126256 CPUtime=221.52 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 20350 0 0 0 21966 186 0 0 20 0 1 0 199477226 162422784 31564 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 39654 31564 1433 291 0 31188 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 158616 KiB
Current children cumulated memory: 126256 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.16 5/244 1059131
/proc/meminfo: memFree=128034608/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=191548 memory=128164 CPUtime=281.31 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 21018 0 0 0 27908 223 0 0 20 0 1 0 199477226 196145152 32041 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 47887 32041 1433 291 0 39421 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 191548 KiB
Current children cumulated memory: 128164 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.16 5/244 1059141
/proc/meminfo: memFree=127967828/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=200920 memory=157792 CPUtime=341.11 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 22901 0 0 0 33855 256 0 0 20 0 1 0 199477226 205742080 39448 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 50230 39448 1433 291 0 41764 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 200920 KiB
Current children cumulated memory: 157792 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.19 4.18 5/242 1059152
/proc/meminfo: memFree=127948424/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=205244 memory=161620 CPUtime=400.91 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 23975 0 0 0 39800 291 0 0 20 0 1 0 199477226 210169856 40405 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 51311 40405 1433 291 0 42845 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 205244 KiB
Current children cumulated memory: 161620 KiB
[startup+462.3 s]
/proc/loadavg: 4.59 4.30 4.22 5/242 1059162
/proc/meminfo: memFree=127922932/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=205744 memory=162152 CPUtime=460.69 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 24227 0 0 0 45745 324 0 0 20 0 1 0 199477226 210681856 40538 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 51436 40538 1433 291 0 42970 0
################
# More data... #
################
Current children cumulated memory: 437636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.18 4.21 5/241 1060356
/proc/meminfo: memFree=115833248/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=489180 memory=451888 CPUtime=2912.43 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 58686 0 0 0 290209 1034 0 0 20 0 1 0 199477226 500920320 112972 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 122295 112972 1433 291 0 113829 0
Current children cumulated CPU time: 2912.43 s
Current children cumulated vsize: 489180 KiB
Current children cumulated memory: 451888 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.16 4.20 5/241 1060368
/proc/meminfo: memFree=114384608/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=489180 memory=451888 CPUtime=2972.23 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 58983 0 0 0 296173 1050 0 0 20 0 1 0 199477226 500920320 112972 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 122295 112972 1433 291 0 113829 0
Current children cumulated CPU time: 2972.23 s
Current children cumulated vsize: 489180 KiB
Current children cumulated memory: 451888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.14 4.18 5/243 1060382
/proc/meminfo: memFree=112579984/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=491360 memory=453052 CPUtime=3032.04 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 59466 0 0 0 302140 1064 0 0 20 0 1 0 199477226 503152640 113263 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 122840 113263 1433 291 0 114374 0
Current children cumulated CPU time: 3032.04 s
Current children cumulated vsize: 491360 KiB
Current children cumulated memory: 453052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.15 4.18 5/243 1060392
/proc/meminfo: memFree=108636848/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=493408 memory=454364 CPUtime=3091.85 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 60095 0 0 0 308106 1079 0 0 20 0 1 0 199477226 505249792 113591 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 123352 113591 1433 291 0 114886 0
Current children cumulated CPU time: 3091.85 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 454364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/243 1060403
/proc/meminfo: memFree=106948136/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=493408 memory=454364 CPUtime=3151.65 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 60397 0 0 0 314066 1099 0 0 20 0 1 0 199477226 505249792 113591 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 123352 113591 1433 291 0 114886 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 454364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/243 1060413
/proc/meminfo: memFree=105530012/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=493408 memory=454364 CPUtime=3211.47 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 60697 0 0 0 320027 1120 0 0 20 0 1 0 199477226 505249792 113591 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 123352 113591 1433 291 0 114886 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 454364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.17 5/243 1060424
/proc/meminfo: memFree=104017284/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=493408 memory=454364 CPUtime=3271.27 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 61001 0 0 0 325992 1135 0 0 20 0 1 0 199477226 505249792 113591 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 123352 113591 1433 291 0 114886 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 454364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.16 7/247 1060592
/proc/meminfo: memFree=102996092/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=493408 memory=454364 CPUtime=3331.09 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 61306 0 0 0 331958 1151 0 0 20 0 1 0 199477226 505249792 113591 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 123352 113591 1433 291 0 114886 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 454364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/243 1060832
/proc/meminfo: memFree=102738780/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=493664 memory=454364 CPUtime=3390.9 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 61492 0 0 0 337933 1157 0 0 20 0 1 0 199477226 505511936 113591 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 123416 113591 1433 291 0 114950 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 493664 KiB
Current children cumulated memory: 454364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/243 1060842
/proc/meminfo: memFree=102659996/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=497632 memory=456664 CPUtime=3450.71 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 62246 0 0 0 343909 1162 0 0 20 0 1 0 199477226 509575168 114166 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 124408 114166 1433 291 0 115942 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 497632 KiB
Current children cumulated memory: 456664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.16 6/250 1061013
/proc/meminfo: memFree=102468296/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=502240 memory=459720 CPUtime=3510.52 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 63334 0 0 0 349882 1170 0 0 20 0 1 0 199477226 514293760 114930 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 125560 114930 1433 291 0 117094 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 502240 KiB
Current children cumulated memory: 459720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/245 1061033
/proc/meminfo: memFree=102325196/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=502368 memory=459848 CPUtime=3570.33 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 63681 0 0 0 355841 1192 0 0 20 0 1 0 199477226 514424832 114962 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 125592 114962 1433 291 0 117126 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 502368 KiB
Current children cumulated memory: 459848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.08 4.11 4.15 5/245 1061039
/proc/meminfo: memFree=102324896/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=502368 memory=459848 CPUtime=3600.05 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 63734 0 0 0 358806 1199 0 0 20 0 1 0 199477226 514424832 114962 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 125592 114962 1433 291 0 117126 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 502368 KiB
Current children cumulated memory: 459848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 1059065 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.06 s, system=11.9977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.08 4.11 4.15 5/245 1061039
/proc/meminfo: memFree=102324896/131655788 swapFree=131071996/131071996
[pid=1059065] ppid=1059062 vsize=502368 memory=459848 CPUtime=3600.05 cores=0,2
/proc/1059065/stat : 1059065 (pb-oll-rs) R 1059062 1059065 1056029 0 -1 4194304 63734 0 0 0 358806 1199 0 0 20 0 1 0 199477226 514424832 114962 134679101440 4194304 5384485 140721017509648 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 21090304 140721017517077 140721017517154 140721017517154 140721017524171 0
/proc/1059065/statm: 125592 114962 1433 291 0 117126 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 502368 KiB
Current children cumulated memory: 459848 KiB
Child status: 0
Real time (s): 3612.12
CPU time (s): 3600.06
CPU user time (s): 3588.06
CPU system time (s): 11.9977
CPU usage (%): 99.6662
Max. virtual memory (cumulated for all children) (KiB): 503132
Max. memory (cumulated for all children) (KiB): 460372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.06
system time used= 11.9977
maximum resident set size= 460372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63748
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= 137
involuntary context switches= 24639
# summary of solver processes directly reported to runsolver:
# pid: 1059065
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.06
# total CPU system time (s): 11.9977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2675 second user time and 36.7389 second system time
The end
Begin job on nodeC006 at 2024-07-20 12:59:57
IDJOB=4454446
IDBENCH=148772
IDSOLVER=3082
FILE ID=nodeC006/4454446-1721473185
RUNJOBID= nodeC006-1721468658-1056039
SLURM_JOB_ID= 7545725
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454446-1721473185/watcher-4454446-1721473185 -o /tmp/evaluation-result-4454446-1721473185/solver-4454446-1721473185 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721468658-1056039 --watchdog 3760 pb-oll-rs HOME/instance-4454446-1721473185.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=873623586
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.991
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 0xb00001f
cpu MHz : 3512.921
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
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 : 0xb00001f
cpu MHz : 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 0xb00001f
cpu MHz : 1197.400
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
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 : 0xb00001f
cpu MHz : 3624.915
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 0xb00001f
cpu MHz : 3564.660
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
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 : 0xb00001f
cpu MHz : 1197.312
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.94
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 : 0xb00001f
cpu MHz : 1197.264
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128196772 kB
MemAvailable: 129261136 kB
Buffers: 570348 kB
Cached: 1334668 kB
SwapCached: 0 kB
Active: 1061632 kB
Inactive: 1825140 kB
Active(anon): 1492 kB
Inactive(anon): 1025872 kB
Active(file): 1060140 kB
Inactive(file): 799268 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2504 kB
Writeback: 0 kB
AnonPages: 979472 kB
Mapped: 111152 kB
Shmem: 45896 kB
KReclaimable: 89976 kB
Slab: 194672 kB
SReclaimable: 89976 kB
SUnreclaim: 104696 kB
KernelStack: 3984 kB
PageTables: 11544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1406808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62720 kB
HardwareCorrupted: 0 kB
AnonHugePages: 598016 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723236 MiB
End job on nodeC006 at 2024-07-20 14:00:10