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
37.48/37.62 c bounds - >= 6 @ 0.014092
37.48/37.62 c #Conflicts: 1000 | #Constraints: 4720
37.48/37.62 c #Conflicts: 2000 | #Constraints: 5720
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 3000 | #Constraints: 2525
37.48/37.62 c #Conflicts: 4000 | #Constraints: 3525
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 5000 | #Constraints: 2933
37.48/37.62 c #Conflicts: 6000 | #Constraints: 3933
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 7000 | #Constraints: 2933
37.48/37.62 c #Conflicts: 8000 | #Constraints: 3933
37.48/37.62 c #Conflicts: 9000 | #Constraints: 4933
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 10000 | #Constraints: 3631
37.48/37.62 c #Conflicts: 11000 | #Constraints: 4631
37.48/37.62 c #Conflicts: 12000 | #Constraints: 5631
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 13000 | #Constraints: 4075
37.48/37.62 c #Conflicts: 14000 | #Constraints: 5075
37.48/37.62 c #Conflicts: 15000 | #Constraints: 6075
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 16000 | #Constraints: 4312
37.48/37.62 c #Conflicts: 17000 | #Constraints: 5312
37.48/37.62 c #Conflicts: 18000 | #Constraints: 6312
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 19000 | #Constraints: 4334
37.48/37.62 c #Conflicts: 20000 | #Constraints: 5334
37.48/37.62 c #Conflicts: 21000 | #Constraints: 6334
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 22000 | #Constraints: 4136
37.48/37.62 c #Conflicts: 23000 | #Constraints: 5136
37.48/37.62 c #Conflicts: 24000 | #Constraints: 6136
37.48/37.62 c #Conflicts: 25000 | #Constraints: 7136
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 26000 | #Constraints: 4740
37.48/37.62 c #Conflicts: 27000 | #Constraints: 5740
37.48/37.62 c #Conflicts: 28000 | #Constraints: 6740
37.48/37.62 c #Conflicts: 29000 | #Constraints: 7740
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 30000 | #Constraints: 5144
37.48/37.62 c #Conflicts: 31000 | #Constraints: 6144
37.48/37.62 c #Conflicts: 32000 | #Constraints: 7144
37.48/37.62 c #Conflicts: 33000 | #Constraints: 8144
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 34000 | #Constraints: 5348
37.48/37.62 c #Conflicts: 35000 | #Constraints: 6348
37.48/37.62 c #Conflicts: 36000 | #Constraints: 7348
37.48/37.62 c #Conflicts: 37000 | #Constraints: 8348
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 38000 | #Constraints: 5357
37.48/37.62 c #Conflicts: 39000 | #Constraints: 6357
37.48/37.62 c #Conflicts: 40000 | #Constraints: 7357
37.48/37.62 c #Conflicts: 41000 | #Constraints: 8357
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 42000 | #Constraints: 5161
37.48/37.62 c #Conflicts: 43000 | #Constraints: 6161
37.48/37.62 c #Conflicts: 44000 | #Constraints: 7161
37.48/37.62 c #Conflicts: 45000 | #Constraints: 8161
37.48/37.62 c #Conflicts: 46000 | #Constraints: 9161
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 47000 | #Constraints: 5746
37.48/37.62 c #Conflicts: 48000 | #Constraints: 6746
37.48/37.62 c #Conflicts: 49000 | #Constraints: 7746
37.48/37.62 c #Conflicts: 50000 | #Constraints: 8746
37.48/37.62 c #Conflicts: 51000 | #Constraints: 9746
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 52000 | #Constraints: 6151
37.48/37.62 c #Conflicts: 53000 | #Constraints: 7151
37.48/37.62 c #Conflicts: 54000 | #Constraints: 8151
37.48/37.62 c #Conflicts: 55000 | #Constraints: 9151
37.48/37.62 c #Conflicts: 56000 | #Constraints: 10151
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 57000 | #Constraints: 6343
37.48/37.62 c #Conflicts: 58000 | #Constraints: 7343
37.48/37.62 c #Conflicts: 59000 | #Constraints: 8343
37.48/37.62 c #Conflicts: 60000 | #Constraints: 9343
37.48/37.62 c #Conflicts: 61000 | #Constraints: 10343
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 62000 | #Constraints: 6341
37.48/37.62 c #Conflicts: 63000 | #Constraints: 7341
37.48/37.62 c #Conflicts: 64000 | #Constraints: 8341
37.48/37.62 c #Conflicts: 65000 | #Constraints: 9341
37.48/37.62 c #Conflicts: 66000 | #Constraints: 10341
37.48/37.62 c INPROCESSING
37.48/37.62 c GARBAGE COLLECT
37.48/37.62 c #Conflicts: 67000 | #Constraints: 6138
107.76/108.14 c #Conflicts: 68000 | #Constraints: 7138
107.76/108.14 c #Conflicts: 69000 | #Constraints: 8138
107.76/108.14 c #Conflicts: 70000 | #Constraints: 9138
107.76/108.14 c #Conflicts: 71000 | #Constraints: 10138
107.76/108.14 c #Conflicts: 72000 | #Constraints: 11138
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 73000 | #Constraints: 6736
107.76/108.14 c #Conflicts: 74000 | #Constraints: 7736
107.76/108.14 c #Conflicts: 75000 | #Constraints: 8736
107.76/108.14 c #Conflicts: 76000 | #Constraints: 9736
107.76/108.14 c #Conflicts: 77000 | #Constraints: 10736
107.76/108.14 c #Conflicts: 78000 | #Constraints: 11736
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 79000 | #Constraints: 7145
107.76/108.14 c #Conflicts: 80000 | #Constraints: 8145
107.76/108.14 c #Conflicts: 81000 | #Constraints: 9145
107.76/108.14 c #Conflicts: 82000 | #Constraints: 10145
107.76/108.14 c #Conflicts: 83000 | #Constraints: 11145
107.76/108.14 c #Conflicts: 84000 | #Constraints: 12145
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 85000 | #Constraints: 7348
107.76/108.14 c #Conflicts: 86000 | #Constraints: 8348
107.76/108.14 c #Conflicts: 87000 | #Constraints: 9348
107.76/108.14 c #Conflicts: 88000 | #Constraints: 10348
107.76/108.14 c #Conflicts: 89000 | #Constraints: 11348
107.76/108.14 c #Conflicts: 90000 | #Constraints: 12348
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 91000 | #Constraints: 7347
107.76/108.14 c #Conflicts: 92000 | #Constraints: 8347
107.76/108.14 c #Conflicts: 93000 | #Constraints: 9347
107.76/108.14 c #Conflicts: 94000 | #Constraints: 10347
107.76/108.14 c #Conflicts: 95000 | #Constraints: 11347
107.76/108.14 c #Conflicts: 96000 | #Constraints: 12347
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 97000 | #Constraints: 7170
107.76/108.14 c #Conflicts: 98000 | #Constraints: 8170
107.76/108.14 c #Conflicts: 99000 | #Constraints: 9170
107.76/108.14 c #Conflicts: 100000 | #Constraints: 10170
107.76/108.14 c #Conflicts: 101000 | #Constraints: 11170
107.76/108.14 c #Conflicts: 102000 | #Constraints: 12170
107.76/108.14 c #Conflicts: 103000 | #Constraints: 13170
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 104000 | #Constraints: 7757
107.76/108.14 c #Conflicts: 105000 | #Constraints: 8757
107.76/108.14 c #Conflicts: 106000 | #Constraints: 9757
107.76/108.14 c #Conflicts: 107000 | #Constraints: 10757
107.76/108.14 c #Conflicts: 108000 | #Constraints: 11757
107.76/108.14 c #Conflicts: 109000 | #Constraints: 12757
107.76/108.14 c #Conflicts: 110000 | #Constraints: 13757
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 111000 | #Constraints: 8156
107.76/108.14 c #Conflicts: 112000 | #Constraints: 9156
107.76/108.14 c #Conflicts: 113000 | #Constraints: 10156
107.76/108.14 c #Conflicts: 114000 | #Constraints: 11156
107.76/108.14 c #Conflicts: 115000 | #Constraints: 12156
107.76/108.14 c #Conflicts: 116000 | #Constraints: 13156
107.76/108.14 c #Conflicts: 117000 | #Constraints: 14156
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 118000 | #Constraints: 8355
107.76/108.14 c #Conflicts: 119000 | #Constraints: 9355
107.76/108.14 c #Conflicts: 120000 | #Constraints: 10355
107.76/108.14 c #Conflicts: 121000 | #Constraints: 11355
107.76/108.14 c #Conflicts: 122000 | #Constraints: 12355
107.76/108.14 c #Conflicts: 123000 | #Constraints: 13355
107.76/108.14 c #Conflicts: 124000 | #Constraints: 14355
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 125000 | #Constraints: 8342
107.76/108.14 c #Conflicts: 126000 | #Constraints: 9342
107.76/108.14 c #Conflicts: 127000 | #Constraints: 10342
107.76/108.14 c #Conflicts: 128000 | #Constraints: 11342
107.76/108.14 c #Conflicts: 129000 | #Constraints: 12342
107.76/108.14 c #Conflicts: 130000 | #Constraints: 13342
107.76/108.14 c #Conflicts: 131000 | #Constraints: 14342
107.76/108.14 c INPROCESSING
107.76/108.14 c GARBAGE COLLECT
107.76/108.14 c #Conflicts: 132000 | #Constraints: 8144
107.76/108.14 c #Conflicts: 133000 | #Constraints: 9144
107.76/108.14 c #Conflicts: 134000 | #Constraints: 10144
107.76/108.14 c #Conflicts: 135000 | #Constraints: 11144
107.76/108.14 c #Conflicts: 136000 | #Constraints: 12144
107.76/108.14 c #Conflicts: 137000 | #Constraints: 13144
107.76/108.14 c #Conflicts: 138000 | #Constraints: 14144
107.76/108.14 c #Conflicts: 139000 | #Constraints: 15144
107.76/108.14 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 140000 | #Constraints: 8762
177.54/178.16 c #Conflicts: 141000 | #Constraints: 9762
177.54/178.16 c #Conflicts: 142000 | #Constraints: 10762
177.54/178.16 c #Conflicts: 143000 | #Constraints: 11762
177.54/178.16 c #Conflicts: 144000 | #Constraints: 12762
177.54/178.16 c #Conflicts: 145000 | #Constraints: 13762
177.54/178.16 c #Conflicts: 146000 | #Constraints: 14762
177.54/178.16 c #Conflicts: 147000 | #Constraints: 15762
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 148000 | #Constraints: 9176
177.54/178.16 c #Conflicts: 149000 | #Constraints: 10176
177.54/178.16 c #Conflicts: 150000 | #Constraints: 11176
177.54/178.16 c #Conflicts: 151000 | #Constraints: 12176
177.54/178.16 c #Conflicts: 152000 | #Constraints: 13176
177.54/178.16 c #Conflicts: 153000 | #Constraints: 14176
177.54/178.16 c #Conflicts: 154000 | #Constraints: 15176
177.54/178.16 c #Conflicts: 155000 | #Constraints: 16176
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 156000 | #Constraints: 9369
177.54/178.16 c #Conflicts: 157000 | #Constraints: 10369
177.54/178.16 c #Conflicts: 158000 | #Constraints: 11369
177.54/178.16 c #Conflicts: 159000 | #Constraints: 12369
177.54/178.16 c #Conflicts: 160000 | #Constraints: 13369
177.54/178.16 c #Conflicts: 161000 | #Constraints: 14369
177.54/178.16 c #Conflicts: 162000 | #Constraints: 15369
177.54/178.16 c #Conflicts: 163000 | #Constraints: 16369
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 164000 | #Constraints: 9369
177.54/178.16 c #Conflicts: 165000 | #Constraints: 10369
177.54/178.16 c #Conflicts: 166000 | #Constraints: 11369
177.54/178.16 c #Conflicts: 167000 | #Constraints: 12369
177.54/178.16 c #Conflicts: 168000 | #Constraints: 13369
177.54/178.16 c #Conflicts: 169000 | #Constraints: 14369
177.54/178.16 c #Conflicts: 170000 | #Constraints: 15369
177.54/178.16 c #Conflicts: 171000 | #Constraints: 16369
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 172000 | #Constraints: 9161
177.54/178.16 c #Conflicts: 173000 | #Constraints: 10161
177.54/178.16 c #Conflicts: 174000 | #Constraints: 11161
177.54/178.16 c #Conflicts: 175000 | #Constraints: 12161
177.54/178.16 c #Conflicts: 176000 | #Constraints: 13161
177.54/178.16 c #Conflicts: 177000 | #Constraints: 14161
177.54/178.16 c #Conflicts: 178000 | #Constraints: 15161
177.54/178.16 c #Conflicts: 179000 | #Constraints: 16161
177.54/178.16 c #Conflicts: 180000 | #Constraints: 17161
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 181000 | #Constraints: 9754
177.54/178.16 c #Conflicts: 182000 | #Constraints: 10754
177.54/178.16 c #Conflicts: 183000 | #Constraints: 11754
177.54/178.16 c #Conflicts: 184000 | #Constraints: 12754
177.54/178.16 c #Conflicts: 185000 | #Constraints: 13754
177.54/178.16 c #Conflicts: 186000 | #Constraints: 14754
177.54/178.16 c #Conflicts: 187000 | #Constraints: 15754
177.54/178.16 c #Conflicts: 188000 | #Constraints: 16754
177.54/178.16 c #Conflicts: 189000 | #Constraints: 17754
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 190000 | #Constraints: 10170
177.54/178.16 c #Conflicts: 191000 | #Constraints: 11170
177.54/178.16 c #Conflicts: 192000 | #Constraints: 12170
177.54/178.16 c #Conflicts: 193000 | #Constraints: 13170
177.54/178.16 c #Conflicts: 194000 | #Constraints: 14170
177.54/178.16 c #Conflicts: 195000 | #Constraints: 15170
177.54/178.16 c #Conflicts: 196000 | #Constraints: 16170
177.54/178.16 c #Conflicts: 197000 | #Constraints: 17170
177.54/178.16 c #Conflicts: 198000 | #Constraints: 18170
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 199000 | #Constraints: 10371
177.54/178.16 c #Conflicts: 200000 | #Constraints: 11371
177.54/178.16 c #Conflicts: 201000 | #Constraints: 12371
177.54/178.16 c #Conflicts: 202000 | #Constraints: 13371
177.54/178.16 c #Conflicts: 203000 | #Constraints: 14371
177.54/178.16 c #Conflicts: 204000 | #Constraints: 15371
177.54/178.16 c #Conflicts: 205000 | #Constraints: 16371
177.54/178.16 c #Conflicts: 206000 | #Constraints: 17371
177.54/178.16 c #Conflicts: 207000 | #Constraints: 18371
177.54/178.16 c INPROCESSING
177.54/178.16 c GARBAGE COLLECT
177.54/178.16 c #Conflicts: 208000 | #Constraints: 10364
177.54/178.16 c #Conflicts: 209000 | #Constraints: 11364
177.54/178.16 c #Conflicts: 210000 | #Constraints: 12364
177.54/178.16 c #Conflicts: 211000 | #Constraints: 13364
177.54/178.16 c #Conflicts: 212000 | #Constraints: 14364
177.54/178.16 c #Conflicts: 213000 | #Constraints: 15364
302.15/303.16 c #Conflicts: 214000 | #Constraints: 16364
302.15/303.16 c #Conflicts: 215000 | #Constraints: 17364
302.15/303.16 c #Conflicts: 216000 | #Constraints: 18364
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 217000 | #Constraints: 10196
302.15/303.16 c #Conflicts: 218000 | #Constraints: 11196
302.15/303.16 c #Conflicts: 219000 | #Constraints: 12196
302.15/303.16 c #Conflicts: 220000 | #Constraints: 13196
302.15/303.16 c #Conflicts: 221000 | #Constraints: 14196
302.15/303.16 c #Conflicts: 222000 | #Constraints: 15196
302.15/303.16 c #Conflicts: 223000 | #Constraints: 16196
302.15/303.16 c #Conflicts: 224000 | #Constraints: 17196
302.15/303.16 c #Conflicts: 225000 | #Constraints: 18196
302.15/303.16 c #Conflicts: 226000 | #Constraints: 19196
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 227000 | #Constraints: 10822
302.15/303.16 c #Conflicts: 228000 | #Constraints: 11822
302.15/303.16 c #Conflicts: 229000 | #Constraints: 12822
302.15/303.16 c #Conflicts: 230000 | #Constraints: 13822
302.15/303.16 c #Conflicts: 231000 | #Constraints: 14822
302.15/303.16 c #Conflicts: 232000 | #Constraints: 15822
302.15/303.16 c #Conflicts: 233000 | #Constraints: 16822
302.15/303.16 c #Conflicts: 234000 | #Constraints: 17822
302.15/303.16 c #Conflicts: 235000 | #Constraints: 18822
302.15/303.16 c #Conflicts: 236000 | #Constraints: 19822
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 237000 | #Constraints: 11182
302.15/303.16 c #Conflicts: 238000 | #Constraints: 12182
302.15/303.16 c #Conflicts: 239000 | #Constraints: 13182
302.15/303.16 c #Conflicts: 240000 | #Constraints: 14182
302.15/303.16 c #Conflicts: 241000 | #Constraints: 15182
302.15/303.16 c #Conflicts: 242000 | #Constraints: 16182
302.15/303.16 c #Conflicts: 243000 | #Constraints: 17182
302.15/303.16 c #Conflicts: 244000 | #Constraints: 18182
302.15/303.16 c #Conflicts: 245000 | #Constraints: 19182
302.15/303.16 c #Conflicts: 246000 | #Constraints: 20182
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 247000 | #Constraints: 11372
302.15/303.16 c #Conflicts: 248000 | #Constraints: 12372
302.15/303.16 c #Conflicts: 249000 | #Constraints: 13372
302.15/303.16 c #Conflicts: 250000 | #Constraints: 14372
302.15/303.16 c #Conflicts: 251000 | #Constraints: 15372
302.15/303.16 c #Conflicts: 252000 | #Constraints: 16372
302.15/303.16 c #Conflicts: 253000 | #Constraints: 17372
302.15/303.16 c #Conflicts: 254000 | #Constraints: 18372
302.15/303.16 c #Conflicts: 255000 | #Constraints: 19372
302.15/303.16 c #Conflicts: 256000 | #Constraints: 20372
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 257000 | #Constraints: 11359
302.15/303.16 c #Conflicts: 258000 | #Constraints: 12359
302.15/303.16 c #Conflicts: 259000 | #Constraints: 13359
302.15/303.16 c #Conflicts: 260000 | #Constraints: 14359
302.15/303.16 c #Conflicts: 261000 | #Constraints: 15359
302.15/303.16 c #Conflicts: 262000 | #Constraints: 16359
302.15/303.16 c #Conflicts: 263000 | #Constraints: 17359
302.15/303.16 c #Conflicts: 264000 | #Constraints: 18359
302.15/303.16 c #Conflicts: 265000 | #Constraints: 19359
302.15/303.16 c #Conflicts: 266000 | #Constraints: 20359
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 267000 | #Constraints: 11160
302.15/303.16 c #Conflicts: 268000 | #Constraints: 12160
302.15/303.16 c #Conflicts: 269000 | #Constraints: 13160
302.15/303.16 c #Conflicts: 270000 | #Constraints: 14160
302.15/303.16 c #Conflicts: 271000 | #Constraints: 15160
302.15/303.16 c #Conflicts: 272000 | #Constraints: 16160
302.15/303.16 c #Conflicts: 273000 | #Constraints: 17160
302.15/303.16 c #Conflicts: 274000 | #Constraints: 18160
302.15/303.16 c #Conflicts: 275000 | #Constraints: 19160
302.15/303.16 c #Conflicts: 276000 | #Constraints: 20160
302.15/303.16 c #Conflicts: 277000 | #Constraints: 21160
302.15/303.16 c INPROCESSING
302.15/303.16 c GARBAGE COLLECT
302.15/303.16 c #Conflicts: 278000 | #Constraints: 11753
302.15/303.16 c #Conflicts: 279000 | #Constraints: 12753
302.15/303.16 c #Conflicts: 280000 | #Constraints: 13753
302.15/303.16 c #Conflicts: 281000 | #Constraints: 14753
302.15/303.16 c #Conflicts: 282000 | #Constraints: 15753
302.15/303.16 c #Conflicts: 283000 | #Constraints: 16753
302.15/303.16 c #Conflicts: 284000 | #Constraints: 17753
302.15/303.16 c #Conflicts: 285000 | #Constraints: 18753
302.15/303.16 c #Conflicts: 286000 | #Constraints: 19753
302.15/303.16 c #Conflicts: 287000 | #Constraints: 20753
411.18/412.56 c #Conflicts: 288000 | #Constraints: 21753
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 289000 | #Constraints: 12152
411.18/412.56 c #Conflicts: 290000 | #Constraints: 13152
411.18/412.56 c #Conflicts: 291000 | #Constraints: 14152
411.18/412.56 c #Conflicts: 292000 | #Constraints: 15152
411.18/412.56 c #Conflicts: 293000 | #Constraints: 16152
411.18/412.56 c #Conflicts: 294000 | #Constraints: 17152
411.18/412.56 c #Conflicts: 295000 | #Constraints: 18152
411.18/412.56 c #Conflicts: 296000 | #Constraints: 19152
411.18/412.56 c #Conflicts: 297000 | #Constraints: 20152
411.18/412.56 c #Conflicts: 298000 | #Constraints: 21152
411.18/412.56 c #Conflicts: 299000 | #Constraints: 22152
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 300000 | #Constraints: 12346
411.18/412.56 c #Conflicts: 301000 | #Constraints: 13346
411.18/412.56 c #Conflicts: 302000 | #Constraints: 14346
411.18/412.56 c #Conflicts: 303000 | #Constraints: 15346
411.18/412.56 c #Conflicts: 304000 | #Constraints: 16346
411.18/412.56 c #Conflicts: 305000 | #Constraints: 17346
411.18/412.56 c #Conflicts: 306000 | #Constraints: 18346
411.18/412.56 c #Conflicts: 307000 | #Constraints: 19346
411.18/412.56 c #Conflicts: 308000 | #Constraints: 20346
411.18/412.56 c #Conflicts: 309000 | #Constraints: 21346
411.18/412.56 c #Conflicts: 310000 | #Constraints: 22346
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 311000 | #Constraints: 12351
411.18/412.56 c #Conflicts: 312000 | #Constraints: 13351
411.18/412.56 c #Conflicts: 313000 | #Constraints: 14351
411.18/412.56 c #Conflicts: 314000 | #Constraints: 15351
411.18/412.56 c #Conflicts: 315000 | #Constraints: 16351
411.18/412.56 c #Conflicts: 316000 | #Constraints: 17351
411.18/412.56 c #Conflicts: 317000 | #Constraints: 18351
411.18/412.56 c #Conflicts: 318000 | #Constraints: 19351
411.18/412.56 c #Conflicts: 319000 | #Constraints: 20351
411.18/412.56 c #Conflicts: 320000 | #Constraints: 21351
411.18/412.56 c #Conflicts: 321000 | #Constraints: 22351
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 322000 | #Constraints: 12159
411.18/412.56 c #Conflicts: 323000 | #Constraints: 13159
411.18/412.56 c #Conflicts: 324000 | #Constraints: 14159
411.18/412.56 c #Conflicts: 325000 | #Constraints: 15159
411.18/412.56 c #Conflicts: 326000 | #Constraints: 16159
411.18/412.56 c #Conflicts: 327000 | #Constraints: 17159
411.18/412.56 c #Conflicts: 328000 | #Constraints: 18159
411.18/412.56 c #Conflicts: 329000 | #Constraints: 19159
411.18/412.56 c #Conflicts: 330000 | #Constraints: 20159
411.18/412.56 c #Conflicts: 331000 | #Constraints: 21159
411.18/412.56 c #Conflicts: 332000 | #Constraints: 22159
411.18/412.56 c #Conflicts: 333000 | #Constraints: 23159
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 334000 | #Constraints: 12757
411.18/412.56 c #Conflicts: 335000 | #Constraints: 13757
411.18/412.56 c #Conflicts: 336000 | #Constraints: 14757
411.18/412.56 c #Conflicts: 337000 | #Constraints: 15757
411.18/412.56 c #Conflicts: 338000 | #Constraints: 16757
411.18/412.56 c #Conflicts: 339000 | #Constraints: 17757
411.18/412.56 c #Conflicts: 340000 | #Constraints: 18757
411.18/412.56 c #Conflicts: 341000 | #Constraints: 19757
411.18/412.56 c #Conflicts: 342000 | #Constraints: 20757
411.18/412.56 c #Conflicts: 343000 | #Constraints: 21757
411.18/412.56 c #Conflicts: 344000 | #Constraints: 22757
411.18/412.56 c #Conflicts: 345000 | #Constraints: 23757
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 346000 | #Constraints: 13146
411.18/412.56 c #Conflicts: 347000 | #Constraints: 14146
411.18/412.56 c #Conflicts: 348000 | #Constraints: 15146
411.18/412.56 c #Conflicts: 349000 | #Constraints: 16146
411.18/412.56 c #Conflicts: 350000 | #Constraints: 17146
411.18/412.56 c #Conflicts: 351000 | #Constraints: 18146
411.18/412.56 c #Conflicts: 352000 | #Constraints: 19146
411.18/412.56 c #Conflicts: 353000 | #Constraints: 20146
411.18/412.56 c #Conflicts: 354000 | #Constraints: 21146
411.18/412.56 c #Conflicts: 355000 | #Constraints: 22146
411.18/412.56 c #Conflicts: 356000 | #Constraints: 23146
411.18/412.56 c #Conflicts: 357000 | #Constraints: 24146
411.18/412.56 c INPROCESSING
411.18/412.56 c GARBAGE COLLECT
411.18/412.56 c #Conflicts: 358000 | #Constraints: 13346
411.18/412.56 c #Conflicts: 359000 | #Constraints: 14346
411.18/412.56 c #Conflicts: 360000 | #Constraints: 15346
411.18/412.56 c #Conflicts: 361000 | #Constraints: 16346
579.53/581.47 c #Conflicts: 362000 | #Constraints: 17346
579.53/581.47 c #Conflicts: 363000 | #Constraints: 18346
579.53/581.47 c #Conflicts: 364000 | #Constraints: 19346
579.53/581.47 c #Conflicts: 365000 | #Constraints: 20346
579.53/581.47 c #Conflicts: 366000 | #Constraints: 21346
579.53/581.47 c #Conflicts: 367000 | #Constraints: 22346
579.53/581.47 c #Conflicts: 368000 | #Constraints: 23346
579.53/581.47 c #Conflicts: 369000 | #Constraints: 24346
579.53/581.47 c INPROCESSING
579.53/581.47 c GARBAGE COLLECT
579.53/581.47 c #Conflicts: 370000 | #Constraints: 13358
579.53/581.47 c #Conflicts: 371000 | #Constraints: 14358
579.53/581.47 c #Conflicts: 372000 | #Constraints: 15358
579.53/581.47 c #Conflicts: 373000 | #Constraints: 16358
579.53/581.47 c #Conflicts: 374000 | #Constraints: 17358
579.53/581.47 c #Conflicts: 375000 | #Constraints: 18358
579.53/581.47 c #Conflicts: 376000 | #Constraints: 19358
579.53/581.47 c #Conflicts: 377000 | #Constraints: 20358
579.53/581.47 c #Conflicts: 378000 | #Constraints: 21358
579.53/581.47 c #Conflicts: 379000 | #Constraints: 22358
579.53/581.47 c #Conflicts: 380000 | #Constraints: 23358
579.53/581.47 c #Conflicts: 381000 | #Constraints: 24358
579.53/581.48 c INPROCESSING
579.53/581.48 c GARBAGE COLLECT
579.53/581.48 c #Conflicts: 382000 | #Constraints: 13149
579.53/581.48 c #Conflicts: 383000 | #Constraints: 14149
579.53/581.48 c #Conflicts: 384000 | #Constraints: 15149
579.53/581.48 c #Conflicts: 385000 | #Constraints: 16149
579.53/581.48 c #Conflicts: 386000 | #Constraints: 17149
579.53/581.48 c #Conflicts: 387000 | #Constraints: 18149
579.53/581.48 c #Conflicts: 388000 | #Constraints: 19149
579.53/581.48 c #Conflicts: 389000 | #Constraints: 20149
579.53/581.48 c #Conflicts: 390000 | #Constraints: 21149
579.53/581.48 c #Conflicts: 391000 | #Constraints: 22149
579.53/581.48 c #Conflicts: 392000 | #Constraints: 23149
579.53/581.48 c #Conflicts: 393000 | #Constraints: 24149
579.53/581.48 c #Conflicts: 394000 | #Constraints: 25149
579.53/581.48 c INPROCESSING
579.53/581.48 c GARBAGE COLLECT
579.53/581.48 c #Conflicts: 395000 | #Constraints: 13768
579.53/581.48 c #Conflicts: 396000 | #Constraints: 14768
579.53/581.48 c #Conflicts: 397000 | #Constraints: 15768
579.53/581.48 c #Conflicts: 398000 | #Constraints: 16768
579.53/581.48 c #Conflicts: 399000 | #Constraints: 17768
579.53/581.48 c #Conflicts: 400000 | #Constraints: 18768
579.53/581.48 c #Conflicts: 401000 | #Constraints: 19768
579.53/581.48 c #Conflicts: 402000 | #Constraints: 20768
579.53/581.48 c #Conflicts: 403000 | #Constraints: 21768
579.53/581.48 c #Conflicts: 404000 | #Constraints: 22768
579.53/581.48 c #Conflicts: 405000 | #Constraints: 23768
579.53/581.48 c #Conflicts: 406000 | #Constraints: 24768
579.53/581.48 c #Conflicts: 407000 | #Constraints: 25768
579.53/581.48 c INPROCESSING
579.53/581.48 c GARBAGE COLLECT
579.53/581.48 c #Conflicts: 408000 | #Constraints: 14155
579.53/581.48 c #Conflicts: 409000 | #Constraints: 15155
579.53/581.48 c #Conflicts: 410000 | #Constraints: 16155
579.53/581.48 c #Conflicts: 411000 | #Constraints: 17155
579.53/581.48 c #Conflicts: 412000 | #Constraints: 18155
579.53/581.48 c #Conflicts: 413000 | #Constraints: 19155
579.53/581.48 c #Conflicts: 414000 | #Constraints: 20155
579.53/581.48 c #Conflicts: 415000 | #Constraints: 21155
579.53/581.48 c #Conflicts: 416000 | #Constraints: 22155
579.53/581.48 c #Conflicts: 417000 | #Constraints: 23155
579.53/581.48 c #Conflicts: 418000 | #Constraints: 24155
579.53/581.48 c #Conflicts: 419000 | #Constraints: 25155
579.53/581.48 c #Conflicts: 420000 | #Constraints: 26155
579.53/581.48 c INPROCESSING
579.53/581.48 c GARBAGE COLLECT
579.53/581.48 c #Conflicts: 421000 | #Constraints: 14387
579.53/581.48 c #Conflicts: 422000 | #Constraints: 15387
579.53/581.48 c #Conflicts: 423000 | #Constraints: 16387
579.53/581.48 c #Conflicts: 424000 | #Constraints: 17387
579.53/581.48 c #Conflicts: 425000 | #Constraints: 18387
579.53/581.48 c #Conflicts: 426000 | #Constraints: 19387
579.53/581.48 c #Conflicts: 427000 | #Constraints: 20387
579.53/581.48 c #Conflicts: 428000 | #Constraints: 21387
579.53/581.48 c #Conflicts: 429000 | #Constraints: 22387
579.53/581.48 c #Conflicts: 430000 | #Constraints: 23387
579.53/581.48 c #Conflicts: 431000 | #Constraints: 24387
579.53/581.48 c #Conflicts: 432000 | #Constraints: 25387
579.53/581.48 c #Conflicts: 433000 | #Constraints: 26387
579.53/581.48 c INPROCESSING
579.53/581.48 c GARBAGE COLLECT
579.53/581.48 c #Conflicts: 434000 | #Constraints: 14389
579.53/581.48 c #Conflicts: 435000 | #Constraints: 15389
579.53/581.48 c #Conflicts: 436000 | #Constraints: 16389
837.58/840.26 c #Conflicts: 437000 | #Constraints: 17389
837.58/840.26 c #Conflicts: 438000 | #Constraints: 18389
837.58/840.26 c #Conflicts: 439000 | #Constraints: 19389
837.58/840.26 c #Conflicts: 440000 | #Constraints: 20389
837.58/840.26 c #Conflicts: 441000 | #Constraints: 21389
837.58/840.26 c #Conflicts: 442000 | #Constraints: 22389
837.58/840.26 c #Conflicts: 443000 | #Constraints: 23389
837.58/840.26 c #Conflicts: 444000 | #Constraints: 24389
837.58/840.26 c #Conflicts: 445000 | #Constraints: 25389
837.58/840.26 c #Conflicts: 446000 | #Constraints: 26389
837.58/840.26 c INPROCESSING
837.58/840.26 c GARBAGE COLLECT
837.58/840.26 c #Conflicts: 447000 | #Constraints: 14192
837.58/840.26 c #Conflicts: 448000 | #Constraints: 15192
837.58/840.26 c #Conflicts: 449000 | #Constraints: 16192
837.58/840.26 c #Conflicts: 450000 | #Constraints: 17192
837.58/840.26 c #Conflicts: 451000 | #Constraints: 18192
837.58/840.26 c #Conflicts: 452000 | #Constraints: 19192
837.58/840.26 c #Conflicts: 453000 | #Constraints: 20192
837.58/840.26 c #Conflicts: 454000 | #Constraints: 21192
837.58/840.26 c #Conflicts: 455000 | #Constraints: 22192
837.58/840.26 c #Conflicts: 456000 | #Constraints: 23192
837.58/840.26 c #Conflicts: 457000 | #Constraints: 24192
837.58/840.26 c #Conflicts: 458000 | #Constraints: 25192
837.58/840.26 c #Conflicts: 459000 | #Constraints: 26192
837.58/840.26 c #Conflicts: 460000 | #Constraints: 27192
837.58/840.26 c INPROCESSING
837.58/840.26 c GARBAGE COLLECT
837.58/840.26 c #Conflicts: 461000 | #Constraints: 14780
837.58/840.26 c #Conflicts: 462000 | #Constraints: 15780
837.58/840.26 c #Conflicts: 463000 | #Constraints: 16780
837.58/840.26 c #Conflicts: 464000 | #Constraints: 17780
837.58/840.26 c #Conflicts: 465000 | #Constraints: 18780
837.58/840.26 c #Conflicts: 466000 | #Constraints: 19780
837.58/840.26 c #Conflicts: 467000 | #Constraints: 20780
837.58/840.26 c #Conflicts: 468000 | #Constraints: 21780
837.58/840.26 c #Conflicts: 469000 | #Constraints: 22780
837.58/840.26 c #Conflicts: 470000 | #Constraints: 23780
837.58/840.26 c #Conflicts: 471000 | #Constraints: 24780
837.58/840.26 c #Conflicts: 472000 | #Constraints: 25780
837.58/840.26 c #Conflicts: 473000 | #Constraints: 26780
837.58/840.26 c #Conflicts: 474000 | #Constraints: 27780
837.58/840.26 c INPROCESSING
837.58/840.26 c GARBAGE COLLECT
837.58/840.26 c #Conflicts: 475000 | #Constraints: 15190
837.58/840.26 c #Conflicts: 476000 | #Constraints: 16190
837.58/840.26 c #Conflicts: 477000 | #Constraints: 17190
837.58/840.26 c #Conflicts: 478000 | #Constraints: 18190
837.58/840.26 c #Conflicts: 479000 | #Constraints: 19190
837.58/840.26 c #Conflicts: 480000 | #Constraints: 20190
837.58/840.26 c #Conflicts: 481000 | #Constraints: 21190
837.58/840.26 c #Conflicts: 482000 | #Constraints: 22190
837.58/840.26 c #Conflicts: 483000 | #Constraints: 23190
837.58/840.26 c #Conflicts: 484000 | #Constraints: 24190
837.58/840.26 c #Conflicts: 485000 | #Constraints: 25190
837.58/840.26 c #Conflicts: 486000 | #Constraints: 26190
837.58/840.26 c #Conflicts: 487000 | #Constraints: 27190
837.58/840.26 c #Conflicts: 488000 | #Constraints: 28190
837.58/840.26 c INPROCESSING
837.58/840.26 c GARBAGE COLLECT
837.58/840.26 c #Conflicts: 489000 | #Constraints: 15421
837.58/840.26 c #Conflicts: 490000 | #Constraints: 16421
837.58/840.26 c #Conflicts: 491000 | #Constraints: 17421
837.58/840.26 c #Conflicts: 492000 | #Constraints: 18421
837.58/840.26 c #Conflicts: 493000 | #Constraints: 19421
837.58/840.26 c #Conflicts: 494000 | #Constraints: 20421
837.58/840.26 c #Conflicts: 495000 | #Constraints: 21421
837.58/840.26 c #Conflicts: 496000 | #Constraints: 22421
837.58/840.26 c #Conflicts: 497000 | #Constraints: 23421
837.58/840.26 c #Conflicts: 498000 | #Constraints: 24421
837.58/840.26 c #Conflicts: 499000 | #Constraints: 25421
837.58/840.26 c #Conflicts: 500000 | #Constraints: 26421
837.58/840.26 c #Conflicts: 501000 | #Constraints: 27421
837.58/840.26 c #Conflicts: 502000 | #Constraints: 28421
837.58/840.26 c INPROCESSING
837.58/840.26 c GARBAGE COLLECT
837.58/840.26 c #Conflicts: 503000 | #Constraints: 15437
837.58/840.26 c #Conflicts: 504000 | #Constraints: 16437
837.58/840.26 c #Conflicts: 505000 | #Constraints: 17437
837.58/840.26 c #Conflicts: 506000 | #Constraints: 18437
837.58/840.26 c #Conflicts: 507000 | #Constraints: 19437
837.58/840.26 c #Conflicts: 508000 | #Constraints: 20437
837.58/840.26 c #Conflicts: 509000 | #Constraints: 21437
837.58/840.26 c #Conflicts: 510000 | #Constraints: 22437
837.58/840.26 c #Conflicts: 511000 | #Constraints: 23437
837.58/840.26 c #Conflicts: 512000 | #Constraints: 24437
955.26/958.28 c #Conflicts: 513000 | #Constraints: 25437
955.26/958.28 c #Conflicts: 514000 | #Constraints: 26437
955.26/958.28 c #Conflicts: 515000 | #Constraints: 27437
955.26/958.28 c #Conflicts: 516000 | #Constraints: 28437
955.26/958.28 c INPROCESSING
955.26/958.28 c GARBAGE COLLECT
955.26/958.28 c #Conflicts: 517000 | #Constraints: 15197
955.26/958.28 c #Conflicts: 518000 | #Constraints: 16197
955.26/958.28 c #Conflicts: 519000 | #Constraints: 17197
955.26/958.28 c #Conflicts: 520000 | #Constraints: 18197
955.26/958.28 c #Conflicts: 521000 | #Constraints: 19197
955.26/958.28 c #Conflicts: 522000 | #Constraints: 20197
955.26/958.28 c #Conflicts: 523000 | #Constraints: 21197
955.26/958.28 c #Conflicts: 524000 | #Constraints: 22197
955.26/958.28 c #Conflicts: 525000 | #Constraints: 23197
955.26/958.28 c #Conflicts: 526000 | #Constraints: 24197
955.26/958.28 c #Conflicts: 527000 | #Constraints: 25197
955.26/958.28 c #Conflicts: 528000 | #Constraints: 26197
955.26/958.28 c #Conflicts: 529000 | #Constraints: 27197
955.26/958.28 c #Conflicts: 530000 | #Constraints: 28197
955.26/958.28 c #Conflicts: 531000 | #Constraints: 29197
955.26/958.28 c INPROCESSING
955.26/958.28 c GARBAGE COLLECT
955.26/958.28 c #Conflicts: 532000 | #Constraints: 15809
955.26/958.28 c #Conflicts: 533000 | #Constraints: 16809
955.26/958.28 c #Conflicts: 534000 | #Constraints: 17809
955.26/958.28 c #Conflicts: 535000 | #Constraints: 18809
955.26/958.28 c #Conflicts: 536000 | #Constraints: 19809
955.26/958.28 c #Conflicts: 537000 | #Constraints: 20809
955.26/958.28 c #Conflicts: 538000 | #Constraints: 21809
955.26/958.28 c #Conflicts: 539000 | #Constraints: 22809
955.26/958.28 c #Conflicts: 540000 | #Constraints: 23809
955.26/958.28 c #Conflicts: 541000 | #Constraints: 24809
955.26/958.28 c #Conflicts: 542000 | #Constraints: 25809
955.26/958.28 c #Conflicts: 543000 | #Constraints: 26809
955.26/958.28 c #Conflicts: 544000 | #Constraints: 27809
955.26/958.28 c #Conflicts: 545000 | #Constraints: 28809
955.26/958.28 c #Conflicts: 546000 | #Constraints: 29809
955.26/958.28 c INPROCESSING
955.26/958.28 c GARBAGE COLLECT
955.26/958.28 c #Conflicts: 547000 | #Constraints: 16179
955.26/958.28 c #Conflicts: 548000 | #Constraints: 17179
955.26/958.28 c #Conflicts: 549000 | #Constraints: 18179
955.26/958.28 c #Conflicts: 550000 | #Constraints: 19179
955.26/958.28 c #Conflicts: 551000 | #Constraints: 20179
955.26/958.28 c #Conflicts: 552000 | #Constraints: 21179
955.26/958.28 c #Conflicts: 553000 | #Constraints: 22179
955.26/958.28 c #Conflicts: 554000 | #Constraints: 23179
955.26/958.28 c #Conflicts: 555000 | #Constraints: 24179
955.26/958.28 c #Conflicts: 556000 | #Constraints: 25179
955.26/958.28 c #Conflicts: 557000 | #Constraints: 26179
955.26/958.28 c #Conflicts: 558000 | #Constraints: 27179
955.26/958.28 c #Conflicts: 559000 | #Constraints: 28179
955.26/958.28 c #Conflicts: 560000 | #Constraints: 29179
955.26/958.28 c #Conflicts: 561000 | #Constraints: 30179
955.26/958.28 c INPROCESSING
955.26/958.28 c GARBAGE COLLECT
955.26/958.28 c #Conflicts: 562000 | #Constraints: 16364
955.26/958.28 c #Conflicts: 563000 | #Constraints: 17364
955.26/958.28 c #Conflicts: 564000 | #Constraints: 18364
955.26/958.28 c #Conflicts: 565000 | #Constraints: 19364
955.26/958.28 c #Conflicts: 566000 | #Constraints: 20364
955.26/958.28 c #Conflicts: 567000 | #Constraints: 21364
955.26/958.28 c #Conflicts: 568000 | #Constraints: 22364
955.26/958.28 c #Conflicts: 569000 | #Constraints: 23364
955.26/958.28 c #Conflicts: 570000 | #Constraints: 24364
955.26/958.28 c #Conflicts: 571000 | #Constraints: 25364
955.26/958.28 c #Conflicts: 572000 | #Constraints: 26364
955.26/958.28 c #Conflicts: 573000 | #Constraints: 27364
955.26/958.28 c #Conflicts: 574000 | #Constraints: 28364
955.26/958.28 c #Conflicts: 575000 | #Constraints: 29364
955.26/958.28 c #Conflicts: 576000 | #Constraints: 30364
955.26/958.28 c INPROCESSING
955.26/958.28 c GARBAGE COLLECT
955.26/958.28 c #Conflicts: 577000 | #Constraints: 16364
955.26/958.28 c #Conflicts: 578000 | #Constraints: 17364
955.26/958.28 c #Conflicts: 579000 | #Constraints: 18364
955.26/958.28 c #Conflicts: 580000 | #Constraints: 19364
955.26/958.28 c #Conflicts: 581000 | #Constraints: 20364
955.26/958.28 c #Conflicts: 582000 | #Constraints: 21364
955.26/958.28 c #Conflicts: 583000 | #Constraints: 22364
955.26/958.28 c #Conflicts: 584000 | #Constraints: 23364
955.26/958.28 c #Conflicts: 585000 | #Constraints: 24364
955.26/958.28 c #Conflicts: 586000 | #Constraints: 25364
955.26/958.28 c #Conflicts: 587000 | #Constraints: 26364
955.26/958.28 c #Conflicts: 588000 | #Constraints: 27364
1107.33/1110.79 c #Conflicts: 589000 | #Constraints: 28364
1107.33/1110.79 c #Conflicts: 590000 | #Constraints: 29364
1107.33/1110.79 c #Conflicts: 591000 | #Constraints: 30364
1107.33/1110.79 c INPROCESSING
1107.33/1110.79 c GARBAGE COLLECT
1107.33/1110.79 c #Conflicts: 592000 | #Constraints: 16156
1107.33/1110.79 c #Conflicts: 593000 | #Constraints: 17156
1107.33/1110.79 c #Conflicts: 594000 | #Constraints: 18156
1107.33/1110.79 c #Conflicts: 595000 | #Constraints: 19156
1107.33/1110.79 c #Conflicts: 596000 | #Constraints: 20156
1107.33/1110.79 c #Conflicts: 597000 | #Constraints: 21156
1107.33/1110.79 c #Conflicts: 598000 | #Constraints: 22156
1107.33/1110.79 c #Conflicts: 599000 | #Constraints: 23156
1107.33/1110.79 c #Conflicts: 600000 | #Constraints: 24156
1107.33/1110.79 c #Conflicts: 601000 | #Constraints: 25156
1107.33/1110.79 c #Conflicts: 602000 | #Constraints: 26156
1107.33/1110.79 c #Conflicts: 603000 | #Constraints: 27156
1107.33/1110.79 c #Conflicts: 604000 | #Constraints: 28156
1107.33/1110.79 c #Conflicts: 605000 | #Constraints: 29156
1107.33/1110.79 c #Conflicts: 606000 | #Constraints: 30156
1107.33/1110.79 c #Conflicts: 607000 | #Constraints: 31156
1107.33/1110.79 c INPROCESSING
1107.33/1110.79 c GARBAGE COLLECT
1107.33/1110.79 c #Conflicts: 608000 | #Constraints: 16758
1107.33/1110.79 c #Conflicts: 609000 | #Constraints: 17758
1107.33/1110.79 c #Conflicts: 610000 | #Constraints: 18758
1107.33/1110.79 c #Conflicts: 611000 | #Constraints: 19758
1107.33/1110.79 c #Conflicts: 612000 | #Constraints: 20758
1107.33/1110.79 c #Conflicts: 613000 | #Constraints: 21758
1107.33/1110.79 c #Conflicts: 614000 | #Constraints: 22758
1107.33/1110.79 c #Conflicts: 615000 | #Constraints: 23758
1107.33/1110.79 c #Conflicts: 616000 | #Constraints: 24758
1107.33/1110.79 c #Conflicts: 617000 | #Constraints: 25758
1107.33/1110.79 c #Conflicts: 618000 | #Constraints: 26758
1107.33/1110.79 c #Conflicts: 619000 | #Constraints: 27758
1107.33/1110.79 c #Conflicts: 620000 | #Constraints: 28758
1107.33/1110.79 c #Conflicts: 621000 | #Constraints: 29758
1107.33/1110.79 c #Conflicts: 622000 | #Constraints: 30758
1107.33/1110.79 c #Conflicts: 623000 | #Constraints: 31758
1107.33/1110.79 c INPROCESSING
1107.33/1110.79 c GARBAGE COLLECT
1107.33/1110.79 c #Conflicts: 624000 | #Constraints: 17153
1107.33/1110.79 c #Conflicts: 625000 | #Constraints: 18153
1107.33/1110.79 c #Conflicts: 626000 | #Constraints: 19153
1107.33/1110.79 c #Conflicts: 627000 | #Constraints: 20153
1107.33/1110.79 c #Conflicts: 628000 | #Constraints: 21153
1107.33/1110.79 c #Conflicts: 629000 | #Constraints: 22153
1107.33/1110.79 c #Conflicts: 630000 | #Constraints: 23153
1107.33/1110.79 c #Conflicts: 631000 | #Constraints: 24153
1107.33/1110.79 c #Conflicts: 632000 | #Constraints: 25153
1107.33/1110.79 c #Conflicts: 633000 | #Constraints: 26153
1107.33/1110.79 c #Conflicts: 634000 | #Constraints: 27153
1107.33/1110.79 c #Conflicts: 635000 | #Constraints: 28153
1107.33/1110.79 c #Conflicts: 636000 | #Constraints: 29153
1107.33/1110.79 c #Conflicts: 637000 | #Constraints: 30153
1107.33/1110.79 c #Conflicts: 638000 | #Constraints: 31153
1107.33/1110.79 c #Conflicts: 639000 | #Constraints: 32153
1107.33/1110.79 c INPROCESSING
1107.33/1110.79 c GARBAGE COLLECT
1107.33/1110.79 c #Conflicts: 640000 | #Constraints: 17345
1107.33/1110.79 c #Conflicts: 641000 | #Constraints: 18345
1107.33/1110.79 c #Conflicts: 642000 | #Constraints: 19345
1107.33/1110.79 c #Conflicts: 643000 | #Constraints: 20345
1107.33/1110.79 c #Conflicts: 644000 | #Constraints: 21345
1107.33/1110.79 c #Conflicts: 645000 | #Constraints: 22345
1107.33/1110.79 c #Conflicts: 646000 | #Constraints: 23345
1107.33/1110.79 c #Conflicts: 647000 | #Constraints: 24345
1107.33/1110.79 c #Conflicts: 648000 | #Constraints: 25345
1107.33/1110.79 c #Conflicts: 649000 | #Constraints: 26345
1107.33/1110.79 c #Conflicts: 650000 | #Constraints: 27345
1107.33/1110.79 c #Conflicts: 651000 | #Constraints: 28345
1107.33/1110.79 c #Conflicts: 652000 | #Constraints: 29345
1107.33/1110.79 c #Conflicts: 653000 | #Constraints: 30345
1107.33/1110.79 c #Conflicts: 654000 | #Constraints: 31345
1107.33/1110.79 c #Conflicts: 655000 | #Constraints: 32345
1107.33/1110.79 c INPROCESSING
1107.33/1110.79 c GARBAGE COLLECT
1107.33/1110.79 c #Conflicts: 656000 | #Constraints: 17358
1107.33/1110.79 c #Conflicts: 657000 | #Constraints: 18358
1107.33/1110.79 c #Conflicts: 658000 | #Constraints: 19358
1107.33/1110.79 c #Conflicts: 659000 | #Constraints: 20358
1107.33/1110.79 c #Conflicts: 660000 | #Constraints: 21358
1107.33/1110.79 c #Conflicts: 661000 | #Constraints: 22358
1107.33/1110.79 c #Conflicts: 662000 | #Constraints: 23358
1107.33/1110.79 c #Conflicts: 663000 | #Constraints: 24358
1382.70/1386.91 c #Conflicts: 664000 | #Constraints: 25358
1382.70/1386.91 c #Conflicts: 665000 | #Constraints: 26358
1382.70/1386.91 c #Conflicts: 666000 | #Constraints: 27358
1382.70/1386.91 c #Conflicts: 667000 | #Constraints: 28358
1382.70/1386.91 c #Conflicts: 668000 | #Constraints: 29358
1382.70/1386.91 c #Conflicts: 669000 | #Constraints: 30358
1382.70/1386.91 c #Conflicts: 670000 | #Constraints: 31358
1382.70/1386.91 c #Conflicts: 671000 | #Constraints: 32358
1382.70/1386.91 c INPROCESSING
1382.70/1386.91 c GARBAGE COLLECT
1382.70/1386.91 c #Conflicts: 672000 | #Constraints: 17145
1382.70/1386.91 c #Conflicts: 673000 | #Constraints: 18145
1382.70/1386.91 c #Conflicts: 674000 | #Constraints: 19145
1382.70/1386.91 c #Conflicts: 675000 | #Constraints: 20145
1382.70/1386.91 c #Conflicts: 676000 | #Constraints: 21145
1382.70/1386.91 c #Conflicts: 677000 | #Constraints: 22145
1382.70/1386.91 c #Conflicts: 678000 | #Constraints: 23145
1382.70/1386.91 c #Conflicts: 679000 | #Constraints: 24145
1382.70/1386.91 c #Conflicts: 680000 | #Constraints: 25145
1382.70/1386.91 c #Conflicts: 681000 | #Constraints: 26145
1382.70/1386.91 c #Conflicts: 682000 | #Constraints: 27145
1382.70/1386.91 c #Conflicts: 683000 | #Constraints: 28145
1382.70/1386.91 c #Conflicts: 684000 | #Constraints: 29145
1382.70/1386.91 c #Conflicts: 685000 | #Constraints: 30145
1382.70/1386.91 c #Conflicts: 686000 | #Constraints: 31145
1382.70/1386.91 c #Conflicts: 687000 | #Constraints: 32145
1382.70/1386.91 c #Conflicts: 688000 | #Constraints: 33145
1382.70/1386.91 c INPROCESSING
1382.70/1386.91 c GARBAGE COLLECT
1382.70/1386.91 c #Conflicts: 689000 | #Constraints: 17747
1382.70/1386.91 c #Conflicts: 690000 | #Constraints: 18747
1382.70/1386.91 c #Conflicts: 691000 | #Constraints: 19747
1382.70/1386.91 c #Conflicts: 692000 | #Constraints: 20747
1382.70/1386.91 c #Conflicts: 693000 | #Constraints: 21747
1382.70/1386.91 c #Conflicts: 694000 | #Constraints: 22747
1382.70/1386.91 c #Conflicts: 695000 | #Constraints: 23747
1382.70/1386.91 c #Conflicts: 696000 | #Constraints: 24747
1382.70/1386.91 c #Conflicts: 697000 | #Constraints: 25747
1382.70/1386.91 c #Conflicts: 698000 | #Constraints: 26747
1382.70/1386.91 c #Conflicts: 699000 | #Constraints: 27747
1382.70/1386.91 c #Conflicts: 700000 | #Constraints: 28747
1382.70/1386.91 c #Conflicts: 701000 | #Constraints: 29747
1382.70/1386.91 c #Conflicts: 702000 | #Constraints: 30747
1382.70/1386.91 c #Conflicts: 703000 | #Constraints: 31747
1382.70/1386.91 c #Conflicts: 704000 | #Constraints: 32747
1382.70/1386.91 c #Conflicts: 705000 | #Constraints: 33747
1382.70/1386.91 c INPROCESSING
1382.70/1386.91 c GARBAGE COLLECT
1382.70/1386.91 c #Conflicts: 706000 | #Constraints: 18144
1382.70/1386.91 c #Conflicts: 707000 | #Constraints: 19144
1382.70/1386.91 c #Conflicts: 708000 | #Constraints: 20144
1382.70/1386.91 c #Conflicts: 709000 | #Constraints: 21144
1382.70/1386.91 c #Conflicts: 710000 | #Constraints: 22144
1382.70/1386.91 c #Conflicts: 711000 | #Constraints: 23144
1382.70/1386.91 c #Conflicts: 712000 | #Constraints: 24144
1382.70/1386.91 c #Conflicts: 713000 | #Constraints: 25144
1382.70/1386.91 c #Conflicts: 714000 | #Constraints: 26144
1382.70/1386.91 c #Conflicts: 715000 | #Constraints: 27144
1382.70/1386.91 c #Conflicts: 716000 | #Constraints: 28144
1382.70/1386.91 c #Conflicts: 717000 | #Constraints: 29144
1382.70/1386.91 c #Conflicts: 718000 | #Constraints: 30144
1382.70/1386.91 c #Conflicts: 719000 | #Constraints: 31144
1382.70/1386.91 c #Conflicts: 720000 | #Constraints: 32144
1382.70/1386.91 c #Conflicts: 721000 | #Constraints: 33144
1382.70/1386.91 c #Conflicts: 722000 | #Constraints: 34144
1382.70/1386.91 c INPROCESSING
1382.70/1386.91 c GARBAGE COLLECT
1382.70/1386.91 c #Conflicts: 723000 | #Constraints: 18373
1382.70/1386.91 c #Conflicts: 724000 | #Constraints: 19373
1382.70/1386.91 c #Conflicts: 725000 | #Constraints: 20373
1382.70/1386.91 c #Conflicts: 726000 | #Constraints: 21373
1382.70/1386.91 c #Conflicts: 727000 | #Constraints: 22373
1382.70/1386.91 c #Conflicts: 728000 | #Constraints: 23373
1382.70/1386.91 c #Conflicts: 729000 | #Constraints: 24373
1382.70/1386.91 c #Conflicts: 730000 | #Constraints: 25373
1382.70/1386.91 c #Conflicts: 731000 | #Constraints: 26373
1382.70/1386.91 c #Conflicts: 732000 | #Constraints: 27373
1382.70/1386.91 c #Conflicts: 733000 | #Constraints: 28373
1382.70/1386.91 c #Conflicts: 734000 | #Constraints: 29373
1382.70/1386.91 c #Conflicts: 735000 | #Constraints: 30373
1382.70/1386.91 c #Conflicts: 736000 | #Constraints: 31373
1382.70/1386.91 c #Conflicts: 737000 | #Constraints: 32373
1382.70/1386.91 c #Conflicts: 738000 | #Constraints: 33373
1382.70/1386.91 c #Conflicts: 739000 | #Constraints: 34373
1551.27/1555.92 c INPROCESSING
1551.27/1555.92 c GARBAGE COLLECT
1551.27/1555.92 c #Conflicts: 740000 | #Constraints: 18386
1551.27/1555.92 c #Conflicts: 741000 | #Constraints: 19386
1551.27/1555.92 c #Conflicts: 742000 | #Constraints: 20386
1551.27/1555.92 c #Conflicts: 743000 | #Constraints: 21386
1551.27/1555.92 c #Conflicts: 744000 | #Constraints: 22386
1551.27/1555.92 c #Conflicts: 745000 | #Constraints: 23386
1551.27/1555.92 c #Conflicts: 746000 | #Constraints: 24386
1551.27/1555.92 c #Conflicts: 747000 | #Constraints: 25386
1551.27/1555.92 c #Conflicts: 748000 | #Constraints: 26386
1551.27/1555.92 c #Conflicts: 749000 | #Constraints: 27386
1551.27/1555.92 c #Conflicts: 750000 | #Constraints: 28386
1551.27/1555.92 c #Conflicts: 751000 | #Constraints: 29386
1551.27/1555.92 c #Conflicts: 752000 | #Constraints: 30386
1551.27/1555.92 c #Conflicts: 753000 | #Constraints: 31386
1551.27/1555.92 c #Conflicts: 754000 | #Constraints: 32386
1551.27/1555.92 c #Conflicts: 755000 | #Constraints: 33386
1551.27/1555.92 c #Conflicts: 756000 | #Constraints: 34386
1551.27/1555.92 c INPROCESSING
1551.27/1555.92 c GARBAGE COLLECT
1551.27/1555.92 c #Conflicts: 757000 | #Constraints: 18166
1551.27/1555.92 c #Conflicts: 758000 | #Constraints: 19166
1551.27/1555.92 c #Conflicts: 759000 | #Constraints: 20166
1551.27/1555.92 c #Conflicts: 760000 | #Constraints: 21166
1551.27/1555.92 c #Conflicts: 761000 | #Constraints: 22166
1551.27/1555.92 c #Conflicts: 762000 | #Constraints: 23166
1551.27/1555.92 c #Conflicts: 763000 | #Constraints: 24166
1551.27/1555.92 c #Conflicts: 764000 | #Constraints: 25166
1551.27/1555.92 c #Conflicts: 765000 | #Constraints: 26166
1551.27/1555.92 c #Conflicts: 766000 | #Constraints: 27166
1551.27/1555.92 c #Conflicts: 767000 | #Constraints: 28166
1551.27/1555.92 c #Conflicts: 768000 | #Constraints: 29166
1551.27/1555.92 c #Conflicts: 769000 | #Constraints: 30166
1551.27/1555.92 c #Conflicts: 770000 | #Constraints: 31166
1551.27/1555.92 c #Conflicts: 771000 | #Constraints: 32166
1551.27/1555.92 c #Conflicts: 772000 | #Constraints: 33166
1551.27/1555.92 c #Conflicts: 773000 | #Constraints: 34166
1551.27/1555.92 c #Conflicts: 774000 | #Constraints: 35166
1551.27/1555.92 c INPROCESSING
1551.27/1555.92 c GARBAGE COLLECT
1551.27/1555.92 c #Conflicts: 775000 | #Constraints: 18763
1551.27/1555.92 c #Conflicts: 776000 | #Constraints: 19763
1551.27/1555.92 c #Conflicts: 777000 | #Constraints: 20763
1551.27/1555.92 c #Conflicts: 778000 | #Constraints: 21763
1551.27/1555.92 c #Conflicts: 779000 | #Constraints: 22763
1551.27/1555.92 c #Conflicts: 780000 | #Constraints: 23763
1551.27/1555.92 c #Conflicts: 781000 | #Constraints: 24763
1551.27/1555.92 c #Conflicts: 782000 | #Constraints: 25763
1551.27/1555.92 c #Conflicts: 783000 | #Constraints: 26763
1551.27/1555.92 c #Conflicts: 784000 | #Constraints: 27763
1551.27/1555.92 c #Conflicts: 785000 | #Constraints: 28763
1551.27/1555.92 c #Conflicts: 786000 | #Constraints: 29763
1551.27/1555.92 c #Conflicts: 787000 | #Constraints: 30763
1551.27/1555.92 c #Conflicts: 788000 | #Constraints: 31763
1551.27/1555.92 c #Conflicts: 789000 | #Constraints: 32763
1551.27/1555.92 c #Conflicts: 790000 | #Constraints: 33763
1551.27/1555.92 c #Conflicts: 791000 | #Constraints: 34763
1551.27/1555.92 c #Conflicts: 792000 | #Constraints: 35763
1551.27/1555.92 c INPROCESSING
1551.27/1555.92 c GARBAGE COLLECT
1551.27/1555.92 c #Conflicts: 793000 | #Constraints: 19155
1551.27/1555.92 c #Conflicts: 794000 | #Constraints: 20155
1551.27/1555.92 c #Conflicts: 795000 | #Constraints: 21155
1551.27/1555.92 c #Conflicts: 796000 | #Constraints: 22155
1551.27/1555.92 c #Conflicts: 797000 | #Constraints: 23155
1551.27/1555.92 c #Conflicts: 798000 | #Constraints: 24155
1551.27/1555.92 c #Conflicts: 799000 | #Constraints: 25155
1551.27/1555.92 c #Conflicts: 800000 | #Constraints: 26155
1551.27/1555.92 c #Conflicts: 801000 | #Constraints: 27155
1551.27/1555.92 c #Conflicts: 802000 | #Constraints: 28155
1551.27/1555.92 c #Conflicts: 803000 | #Constraints: 29155
1551.27/1555.92 c #Conflicts: 804000 | #Constraints: 30155
1551.27/1555.92 c #Conflicts: 805000 | #Constraints: 31155
1551.27/1555.92 c #Conflicts: 806000 | #Constraints: 32155
1551.27/1555.92 c #Conflicts: 807000 | #Constraints: 33155
1551.27/1555.92 c #Conflicts: 808000 | #Constraints: 34155
1551.27/1555.92 c #Conflicts: 809000 | #Constraints: 35155
1551.27/1555.92 c #Conflicts: 810000 | #Constraints: 36155
1551.27/1555.92 c INPROCESSING
1551.27/1555.92 c GARBAGE COLLECT
1551.27/1555.92 c #Conflicts: 811000 | #Constraints: 19341
1551.27/1555.92 c #Conflicts: 812000 | #Constraints: 20341
1551.27/1555.92 c #Conflicts: 813000 | #Constraints: 21341
1551.27/1555.92 c #Conflicts: 814000 | #Constraints: 22341
1551.27/1555.92 c #Conflicts: 815000 | #Constraints: 23341
1742.47/1747.65 c #Conflicts: 816000 | #Constraints: 24341
1742.47/1747.65 c #Conflicts: 817000 | #Constraints: 25341
1742.47/1747.65 c #Conflicts: 818000 | #Constraints: 26341
1742.47/1747.65 c #Conflicts: 819000 | #Constraints: 27341
1742.47/1747.65 c #Conflicts: 820000 | #Constraints: 28341
1742.47/1747.65 c #Conflicts: 821000 | #Constraints: 29341
1742.47/1747.65 c #Conflicts: 822000 | #Constraints: 30341
1742.47/1747.65 c #Conflicts: 823000 | #Constraints: 31341
1742.47/1747.65 c #Conflicts: 824000 | #Constraints: 32341
1742.47/1747.65 c #Conflicts: 825000 | #Constraints: 33341
1742.47/1747.65 c #Conflicts: 826000 | #Constraints: 34341
1742.47/1747.65 c #Conflicts: 827000 | #Constraints: 35341
1742.47/1747.65 c #Conflicts: 828000 | #Constraints: 36341
1742.47/1747.65 c INPROCESSING
1742.47/1747.65 c GARBAGE COLLECT
1742.47/1747.65 c #Conflicts: 829000 | #Constraints: 19357
1742.47/1747.65 c #Conflicts: 830000 | #Constraints: 20357
1742.47/1747.65 c #Conflicts: 831000 | #Constraints: 21357
1742.47/1747.65 c #Conflicts: 832000 | #Constraints: 22357
1742.47/1747.65 c #Conflicts: 833000 | #Constraints: 23357
1742.47/1747.65 c #Conflicts: 834000 | #Constraints: 24357
1742.47/1747.65 c #Conflicts: 835000 | #Constraints: 25357
1742.47/1747.65 c #Conflicts: 836000 | #Constraints: 26357
1742.47/1747.65 c #Conflicts: 837000 | #Constraints: 27357
1742.47/1747.65 c #Conflicts: 838000 | #Constraints: 28357
1742.47/1747.65 c #Conflicts: 839000 | #Constraints: 29357
1742.47/1747.65 c #Conflicts: 840000 | #Constraints: 30357
1742.47/1747.65 c #Conflicts: 841000 | #Constraints: 31357
1742.47/1747.65 c #Conflicts: 842000 | #Constraints: 32357
1742.47/1747.65 c #Conflicts: 843000 | #Constraints: 33357
1742.47/1747.65 c #Conflicts: 844000 | #Constraints: 34357
1742.47/1747.65 c #Conflicts: 845000 | #Constraints: 35357
1742.47/1747.65 c #Conflicts: 846000 | #Constraints: 36357
1742.47/1747.65 c INPROCESSING
1742.47/1747.65 c GARBAGE COLLECT
1742.47/1747.65 c #Conflicts: 847000 | #Constraints: 19153
1742.47/1747.65 c #Conflicts: 848000 | #Constraints: 20153
1742.47/1747.65 c #Conflicts: 849000 | #Constraints: 21153
1742.47/1747.65 c #Conflicts: 850000 | #Constraints: 22153
1742.47/1747.65 c #Conflicts: 851000 | #Constraints: 23153
1742.47/1747.65 c #Conflicts: 852000 | #Constraints: 24153
1742.47/1747.65 c #Conflicts: 853000 | #Constraints: 25153
1742.47/1747.65 c #Conflicts: 854000 | #Constraints: 26153
1742.47/1747.65 c #Conflicts: 855000 | #Constraints: 27153
1742.47/1747.65 c #Conflicts: 856000 | #Constraints: 28153
1742.47/1747.65 c #Conflicts: 857000 | #Constraints: 29153
1742.47/1747.65 c #Conflicts: 858000 | #Constraints: 30153
1742.47/1747.65 c #Conflicts: 859000 | #Constraints: 31153
1742.47/1747.65 c #Conflicts: 860000 | #Constraints: 32153
1742.47/1747.65 c #Conflicts: 861000 | #Constraints: 33153
1742.47/1747.65 c #Conflicts: 862000 | #Constraints: 34153
1742.47/1747.65 c #Conflicts: 863000 | #Constraints: 35153
1742.47/1747.65 c #Conflicts: 864000 | #Constraints: 36153
1742.47/1747.65 c #Conflicts: 865000 | #Constraints: 37153
1742.47/1747.65 c INPROCESSING
1742.47/1747.65 c GARBAGE COLLECT
1742.47/1747.65 c #Conflicts: 866000 | #Constraints: 19752
1742.47/1747.65 c #Conflicts: 867000 | #Constraints: 20752
1742.47/1747.65 c #Conflicts: 868000 | #Constraints: 21752
1742.47/1747.65 c #Conflicts: 869000 | #Constraints: 22752
1742.47/1747.65 c #Conflicts: 870000 | #Constraints: 23752
1742.47/1747.65 c #Conflicts: 871000 | #Constraints: 24752
1742.47/1747.65 c #Conflicts: 872000 | #Constraints: 25752
1742.47/1747.65 c #Conflicts: 873000 | #Constraints: 26752
1742.47/1747.65 c #Conflicts: 874000 | #Constraints: 27752
1742.47/1747.65 c #Conflicts: 875000 | #Constraints: 28752
1742.47/1747.65 c #Conflicts: 876000 | #Constraints: 29752
1742.47/1747.65 c #Conflicts: 877000 | #Constraints: 30752
1742.47/1747.65 c #Conflicts: 878000 | #Constraints: 31752
1742.47/1747.65 c #Conflicts: 879000 | #Constraints: 32752
1742.47/1747.65 c #Conflicts: 880000 | #Constraints: 33752
1742.47/1747.65 c #Conflicts: 881000 | #Constraints: 34752
1742.47/1747.65 c #Conflicts: 882000 | #Constraints: 35752
1742.47/1747.65 c #Conflicts: 883000 | #Constraints: 36752
1742.47/1747.65 c #Conflicts: 884000 | #Constraints: 37752
1742.47/1747.65 c INPROCESSING
1742.47/1747.65 c GARBAGE COLLECT
1742.47/1747.65 c #Conflicts: 885000 | #Constraints: 20148
1742.47/1747.65 c #Conflicts: 886000 | #Constraints: 21148
1742.47/1747.65 c #Conflicts: 887000 | #Constraints: 22148
1742.47/1747.65 c #Conflicts: 888000 | #Constraints: 23148
1742.47/1747.65 c #Conflicts: 889000 | #Constraints: 24148
1742.47/1747.65 c #Conflicts: 890000 | #Constraints: 25148
1742.47/1747.65 c #Conflicts: 891000 | #Constraints: 26148
1948.83/1954.54 c #Conflicts: 892000 | #Constraints: 27148
1948.83/1954.54 c #Conflicts: 893000 | #Constraints: 28148
1948.83/1954.54 c #Conflicts: 894000 | #Constraints: 29148
1948.83/1954.54 c #Conflicts: 895000 | #Constraints: 30148
1948.83/1954.54 c #Conflicts: 896000 | #Constraints: 31148
1948.83/1954.54 c #Conflicts: 897000 | #Constraints: 32148
1948.83/1954.54 c #Conflicts: 898000 | #Constraints: 33148
1948.83/1954.54 c #Conflicts: 899000 | #Constraints: 34148
1948.83/1954.54 c #Conflicts: 900000 | #Constraints: 35148
1948.83/1954.54 c #Conflicts: 901000 | #Constraints: 36148
1948.83/1954.54 c #Conflicts: 902000 | #Constraints: 37148
1948.83/1954.54 c #Conflicts: 903000 | #Constraints: 38148
1948.83/1954.54 c INPROCESSING
1948.83/1954.54 c GARBAGE COLLECT
1948.83/1954.54 c #Conflicts: 904000 | #Constraints: 20354
1948.83/1954.54 c #Conflicts: 905000 | #Constraints: 21354
1948.83/1954.54 c #Conflicts: 906000 | #Constraints: 22354
1948.83/1954.54 c #Conflicts: 907000 | #Constraints: 23354
1948.83/1954.54 c #Conflicts: 908000 | #Constraints: 24354
1948.83/1954.54 c #Conflicts: 909000 | #Constraints: 25354
1948.83/1954.54 c #Conflicts: 910000 | #Constraints: 26354
1948.83/1954.54 c #Conflicts: 911000 | #Constraints: 27354
1948.83/1954.54 c #Conflicts: 912000 | #Constraints: 28354
1948.83/1954.54 c #Conflicts: 913000 | #Constraints: 29354
1948.83/1954.54 c #Conflicts: 914000 | #Constraints: 30354
1948.83/1954.54 c #Conflicts: 915000 | #Constraints: 31354
1948.83/1954.54 c #Conflicts: 916000 | #Constraints: 32354
1948.83/1954.54 c #Conflicts: 917000 | #Constraints: 33354
1948.83/1954.54 c #Conflicts: 918000 | #Constraints: 34354
1948.83/1954.54 c #Conflicts: 919000 | #Constraints: 35354
1948.83/1954.54 c #Conflicts: 920000 | #Constraints: 36354
1948.83/1954.54 c #Conflicts: 921000 | #Constraints: 37354
1948.83/1954.54 c #Conflicts: 922000 | #Constraints: 38354
1948.83/1954.54 c INPROCESSING
1948.83/1954.54 c GARBAGE COLLECT
1948.83/1954.54 c #Conflicts: 923000 | #Constraints: 20343
1948.83/1954.54 c #Conflicts: 924000 | #Constraints: 21343
1948.83/1954.54 c #Conflicts: 925000 | #Constraints: 22343
1948.83/1954.54 c #Conflicts: 926000 | #Constraints: 23343
1948.83/1954.54 c #Conflicts: 927000 | #Constraints: 24343
1948.83/1954.54 c #Conflicts: 928000 | #Constraints: 25343
1948.83/1954.54 c #Conflicts: 929000 | #Constraints: 26343
1948.83/1954.54 c #Conflicts: 930000 | #Constraints: 27343
1948.83/1954.54 c #Conflicts: 931000 | #Constraints: 28343
1948.83/1954.54 c #Conflicts: 932000 | #Constraints: 29343
1948.83/1954.54 c #Conflicts: 933000 | #Constraints: 30343
1948.83/1954.54 c #Conflicts: 934000 | #Constraints: 31343
1948.83/1954.54 c #Conflicts: 935000 | #Constraints: 32343
1948.83/1954.54 c #Conflicts: 936000 | #Constraints: 33343
1948.83/1954.54 c #Conflicts: 937000 | #Constraints: 34343
1948.83/1954.54 c #Conflicts: 938000 | #Constraints: 35343
1948.83/1954.54 c #Conflicts: 939000 | #Constraints: 36343
1948.83/1954.54 c #Conflicts: 940000 | #Constraints: 37343
1948.83/1954.54 c #Conflicts: 941000 | #Constraints: 38343
1948.83/1954.54 c INPROCESSING
1948.83/1954.54 c GARBAGE COLLECT
1948.83/1954.54 c #Conflicts: 942000 | #Constraints: 20172
1948.83/1954.54 c #Conflicts: 943000 | #Constraints: 21172
1948.83/1954.54 c #Conflicts: 944000 | #Constraints: 22172
1948.83/1954.54 c #Conflicts: 945000 | #Constraints: 23172
1948.83/1954.54 c #Conflicts: 946000 | #Constraints: 24172
1948.83/1954.54 c #Conflicts: 947000 | #Constraints: 25172
1948.83/1954.54 c #Conflicts: 948000 | #Constraints: 26172
1948.83/1954.54 c #Conflicts: 949000 | #Constraints: 27172
1948.83/1954.54 c #Conflicts: 950000 | #Constraints: 28172
1948.83/1954.54 c #Conflicts: 951000 | #Constraints: 29172
1948.83/1954.54 c #Conflicts: 952000 | #Constraints: 30172
1948.83/1954.54 c #Conflicts: 953000 | #Constraints: 31172
1948.83/1954.54 c #Conflicts: 954000 | #Constraints: 32172
1948.83/1954.54 c #Conflicts: 955000 | #Constraints: 33172
1948.83/1954.54 c #Conflicts: 956000 | #Constraints: 34172
1948.83/1954.54 c #Conflicts: 957000 | #Constraints: 35172
1948.83/1954.54 c #Conflicts: 958000 | #Constraints: 36172
1948.83/1954.54 c #Conflicts: 959000 | #Constraints: 37172
1948.83/1954.54 c #Conflicts: 960000 | #Constraints: 38172
1948.83/1954.54 c #Conflicts: 961000 | #Constraints: 39172
1948.83/1954.54 c INPROCESSING
1948.83/1954.54 c GARBAGE COLLECT
1948.83/1954.54 c #Conflicts: 962000 | #Constraints: 20812
1948.83/1954.54 c #Conflicts: 963000 | #Constraints: 21812
1948.83/1954.54 c #Conflicts: 964000 | #Constraints: 22812
1948.83/1954.54 c #Conflicts: 965000 | #Constraints: 23812
1948.83/1954.54 c #Conflicts: 966000 | #Constraints: 24812
1948.83/1954.54 c #Conflicts: 967000 | #Constraints: 25812
2187.51/2193.87 c #Conflicts: 968000 | #Constraints: 26812
2187.51/2193.87 c #Conflicts: 969000 | #Constraints: 27812
2187.51/2193.87 c #Conflicts: 970000 | #Constraints: 28812
2187.51/2193.87 c #Conflicts: 971000 | #Constraints: 29812
2187.51/2193.87 c #Conflicts: 972000 | #Constraints: 30812
2187.51/2193.87 c #Conflicts: 973000 | #Constraints: 31812
2187.51/2193.87 c #Conflicts: 974000 | #Constraints: 32812
2187.51/2193.87 c #Conflicts: 975000 | #Constraints: 33812
2187.51/2193.87 c #Conflicts: 976000 | #Constraints: 34812
2187.51/2193.87 c #Conflicts: 977000 | #Constraints: 35812
2187.51/2193.87 c #Conflicts: 978000 | #Constraints: 36812
2187.51/2193.87 c #Conflicts: 979000 | #Constraints: 37812
2187.51/2193.87 c #Conflicts: 980000 | #Constraints: 38812
2187.51/2193.87 c #Conflicts: 981000 | #Constraints: 39812
2187.51/2193.87 c INPROCESSING
2187.51/2193.87 c GARBAGE COLLECT
2187.51/2193.87 c #Conflicts: 982000 | #Constraints: 21222
2187.51/2193.87 c #Conflicts: 983000 | #Constraints: 22222
2187.51/2193.87 c #Conflicts: 984000 | #Constraints: 23222
2187.51/2193.87 c #Conflicts: 985000 | #Constraints: 24222
2187.51/2193.87 c #Conflicts: 986000 | #Constraints: 25222
2187.51/2193.87 c #Conflicts: 987000 | #Constraints: 26222
2187.51/2193.87 c #Conflicts: 988000 | #Constraints: 27222
2187.51/2193.87 c #Conflicts: 989000 | #Constraints: 28222
2187.51/2193.87 c #Conflicts: 990000 | #Constraints: 29222
2187.51/2193.87 c #Conflicts: 991000 | #Constraints: 30222
2187.51/2193.87 c #Conflicts: 992000 | #Constraints: 31222
2187.51/2193.87 c #Conflicts: 993000 | #Constraints: 32222
2187.51/2193.87 c #Conflicts: 994000 | #Constraints: 33222
2187.51/2193.87 c #Conflicts: 995000 | #Constraints: 34222
2187.51/2193.87 c #Conflicts: 996000 | #Constraints: 35222
2187.51/2193.87 c #Conflicts: 997000 | #Constraints: 36222
2187.51/2193.87 c #Conflicts: 998000 | #Constraints: 37222
2187.51/2193.87 c #Conflicts: 999000 | #Constraints: 38222
2187.51/2193.87 c #Conflicts: 1000000 | #Constraints: 39222
2187.51/2193.87 c #Conflicts: 1001000 | #Constraints: 40222
2187.51/2193.87 c INPROCESSING
2187.51/2193.87 c GARBAGE COLLECT
2187.51/2193.87 c #Conflicts: 1002000 | #Constraints: 21413
2187.51/2193.87 c #Conflicts: 1003000 | #Constraints: 22413
2187.51/2193.87 c #Conflicts: 1004000 | #Constraints: 23413
2187.51/2193.87 c #Conflicts: 1005000 | #Constraints: 24413
2187.51/2193.87 c #Conflicts: 1006000 | #Constraints: 25413
2187.51/2193.87 c #Conflicts: 1007000 | #Constraints: 26413
2187.51/2193.87 c #Conflicts: 1008000 | #Constraints: 27413
2187.51/2193.87 c #Conflicts: 1009000 | #Constraints: 28413
2187.51/2193.87 c #Conflicts: 1010000 | #Constraints: 29413
2187.51/2193.87 c #Conflicts: 1011000 | #Constraints: 30413
2187.51/2193.87 c #Conflicts: 1012000 | #Constraints: 31413
2187.51/2193.87 c #Conflicts: 1013000 | #Constraints: 32413
2187.51/2193.87 c #Conflicts: 1014000 | #Constraints: 33413
2187.51/2193.87 c #Conflicts: 1015000 | #Constraints: 34413
2187.51/2193.87 c #Conflicts: 1016000 | #Constraints: 35413
2187.51/2193.87 c #Conflicts: 1017000 | #Constraints: 36413
2187.51/2193.87 c #Conflicts: 1018000 | #Constraints: 37413
2187.51/2193.87 c #Conflicts: 1019000 | #Constraints: 38413
2187.51/2193.87 c #Conflicts: 1020000 | #Constraints: 39413
2187.51/2193.87 c #Conflicts: 1021000 | #Constraints: 40413
2187.51/2193.87 c INPROCESSING
2187.51/2193.87 c GARBAGE COLLECT
2187.51/2193.87 c #Conflicts: 1022000 | #Constraints: 21394
2187.51/2193.87 c #Conflicts: 1023000 | #Constraints: 22394
2187.51/2193.87 c #Conflicts: 1024000 | #Constraints: 23394
2187.51/2193.87 c #Conflicts: 1025000 | #Constraints: 24394
2187.51/2193.87 c #Conflicts: 1026000 | #Constraints: 25394
2187.51/2193.87 c #Conflicts: 1027000 | #Constraints: 26394
2187.51/2193.87 c #Conflicts: 1028000 | #Constraints: 27394
2187.51/2193.87 c #Conflicts: 1029000 | #Constraints: 28394
2187.51/2193.87 c #Conflicts: 1030000 | #Constraints: 29394
2187.51/2193.87 c #Conflicts: 1031000 | #Constraints: 30394
2187.51/2193.87 c #Conflicts: 1032000 | #Constraints: 31394
2187.51/2193.87 c #Conflicts: 1033000 | #Constraints: 32394
2187.51/2193.87 c #Conflicts: 1034000 | #Constraints: 33394
2187.51/2193.87 c #Conflicts: 1035000 | #Constraints: 34394
2187.51/2193.87 c #Conflicts: 1036000 | #Constraints: 35394
2187.51/2193.87 c #Conflicts: 1037000 | #Constraints: 36394
2187.51/2193.87 c #Conflicts: 1038000 | #Constraints: 37394
2187.51/2193.87 c #Conflicts: 1039000 | #Constraints: 38394
2187.51/2193.87 c #Conflicts: 1040000 | #Constraints: 39394
2187.51/2193.87 c #Conflicts: 1041000 | #Constraints: 40394
2187.51/2193.87 c INPROCESSING
2187.51/2193.87 c GARBAGE COLLECT
2187.51/2193.87 c #Conflicts: 1042000 | #Constraints: 21202
2187.51/2193.87 c #Conflicts: 1043000 | #Constraints: 22202
2187.51/2193.87 c #Conflicts: 1044000 | #Constraints: 23202
2646.87/2654.42 c #Conflicts: 1045000 | #Constraints: 24202
2646.87/2654.42 c #Conflicts: 1046000 | #Constraints: 25202
2646.87/2654.42 c #Conflicts: 1047000 | #Constraints: 26202
2646.87/2654.42 c #Conflicts: 1048000 | #Constraints: 27202
2646.87/2654.42 c #Conflicts: 1049000 | #Constraints: 28202
2646.87/2654.42 c #Conflicts: 1050000 | #Constraints: 29202
2646.87/2654.42 c #Conflicts: 1051000 | #Constraints: 30202
2646.87/2654.42 c #Conflicts: 1052000 | #Constraints: 31202
2646.87/2654.42 c #Conflicts: 1053000 | #Constraints: 32202
2646.87/2654.42 c #Conflicts: 1054000 | #Constraints: 33202
2646.87/2654.42 c #Conflicts: 1055000 | #Constraints: 34202
2646.87/2654.42 c #Conflicts: 1056000 | #Constraints: 35202
2646.87/2654.42 c #Conflicts: 1057000 | #Constraints: 36202
2646.87/2654.42 c #Conflicts: 1058000 | #Constraints: 37202
2646.87/2654.42 c #Conflicts: 1059000 | #Constraints: 38202
2646.87/2654.42 c #Conflicts: 1060000 | #Constraints: 39202
2646.87/2654.42 c #Conflicts: 1061000 | #Constraints: 40202
2646.87/2654.42 c #Conflicts: 1062000 | #Constraints: 41202
2646.87/2654.42 c INPROCESSING
2646.87/2654.42 c GARBAGE COLLECT
2646.87/2654.42 c #Conflicts: 1063000 | #Constraints: 21806
2646.87/2654.42 c #Conflicts: 1064000 | #Constraints: 22806
2646.87/2654.42 c #Conflicts: 1065000 | #Constraints: 23806
2646.87/2654.42 c #Conflicts: 1066000 | #Constraints: 24806
2646.87/2654.42 c #Conflicts: 1067000 | #Constraints: 25806
2646.87/2654.42 c #Conflicts: 1068000 | #Constraints: 26806
2646.87/2654.42 c #Conflicts: 1069000 | #Constraints: 27806
2646.87/2654.42 c #Conflicts: 1070000 | #Constraints: 28806
2646.87/2654.42 c #Conflicts: 1071000 | #Constraints: 29806
2646.87/2654.42 c #Conflicts: 1072000 | #Constraints: 30806
2646.87/2654.42 c #Conflicts: 1073000 | #Constraints: 31806
2646.87/2654.42 c #Conflicts: 1074000 | #Constraints: 32806
2646.87/2654.42 c #Conflicts: 1075000 | #Constraints: 33806
2646.87/2654.42 c #Conflicts: 1076000 | #Constraints: 34806
2646.87/2654.42 c #Conflicts: 1077000 | #Constraints: 35806
2646.87/2654.42 c #Conflicts: 1078000 | #Constraints: 36806
2646.87/2654.42 c #Conflicts: 1079000 | #Constraints: 37806
2646.87/2654.42 c #Conflicts: 1080000 | #Constraints: 38806
2646.87/2654.42 c #Conflicts: 1081000 | #Constraints: 39806
2646.87/2654.42 c #Conflicts: 1082000 | #Constraints: 40806
2646.87/2654.42 c #Conflicts: 1083000 | #Constraints: 41806
2646.87/2654.42 c INPROCESSING
2646.87/2654.42 c GARBAGE COLLECT
2646.87/2654.42 c #Conflicts: 1084000 | #Constraints: 22230
2646.87/2654.42 c #Conflicts: 1085000 | #Constraints: 23230
2646.87/2654.42 c #Conflicts: 1086000 | #Constraints: 24230
2646.87/2654.42 c #Conflicts: 1087000 | #Constraints: 25230
2646.87/2654.42 c #Conflicts: 1088000 | #Constraints: 26230
2646.87/2654.42 c #Conflicts: 1089000 | #Constraints: 27230
2646.87/2654.42 c #Conflicts: 1090000 | #Constraints: 28230
2646.87/2654.42 c #Conflicts: 1091000 | #Constraints: 29230
2646.87/2654.42 c #Conflicts: 1092000 | #Constraints: 30230
2646.87/2654.42 c #Conflicts: 1093000 | #Constraints: 31230
2646.87/2654.42 c #Conflicts: 1094000 | #Constraints: 32230
2646.87/2654.42 c #Conflicts: 1095000 | #Constraints: 33230
2646.87/2654.42 c #Conflicts: 1096000 | #Constraints: 34230
2646.87/2654.42 c #Conflicts: 1097000 | #Constraints: 35230
2646.87/2654.42 c #Conflicts: 1098000 | #Constraints: 36230
2646.87/2654.42 c #Conflicts: 1099000 | #Constraints: 37230
2646.87/2654.42 c #Conflicts: 1100000 | #Constraints: 38230
2646.87/2654.42 c #Conflicts: 1101000 | #Constraints: 39230
2646.87/2654.42 c #Conflicts: 1102000 | #Constraints: 40230
2646.87/2654.42 c #Conflicts: 1103000 | #Constraints: 41230
2646.87/2654.42 c #Conflicts: 1104000 | #Constraints: 42230
2646.87/2654.42 c INPROCESSING
2646.87/2654.42 c GARBAGE COLLECT
2646.87/2654.42 c #Conflicts: 1105000 | #Constraints: 22423
2646.87/2654.42 c #Conflicts: 1106000 | #Constraints: 23423
2646.87/2654.42 c #Conflicts: 1107000 | #Constraints: 24423
2646.87/2654.42 c #Conflicts: 1108000 | #Constraints: 25423
2646.87/2654.42 c #Conflicts: 1109000 | #Constraints: 26423
2646.87/2654.42 c #Conflicts: 1110000 | #Constraints: 27423
2646.87/2654.42 c #Conflicts: 1111000 | #Constraints: 28423
2646.87/2654.42 c #Conflicts: 1112000 | #Constraints: 29423
2646.87/2654.42 c #Conflicts: 1113000 | #Constraints: 30423
2646.87/2654.42 c #Conflicts: 1114000 | #Constraints: 31423
2646.87/2654.42 c #Conflicts: 1115000 | #Constraints: 32423
2646.87/2654.42 c #Conflicts: 1116000 | #Constraints: 33423
2646.87/2654.42 c #Conflicts: 1117000 | #Constraints: 34423
2646.87/2654.42 c #Conflicts: 1118000 | #Constraints: 35423
2646.87/2654.42 c #Conflicts: 1119000 | #Constraints: 36423
2646.87/2654.42 c #Conflicts: 1120000 | #Constraints: 37423
2646.87/2654.42 c #Conflicts: 1121000 | #Constraints: 38423
2831.64/2839.76 c #Conflicts: 1122000 | #Constraints: 39423
2831.64/2839.76 c #Conflicts: 1123000 | #Constraints: 40423
2831.64/2839.76 c #Conflicts: 1124000 | #Constraints: 41423
2831.64/2839.76 c #Conflicts: 1125000 | #Constraints: 42423
2831.64/2839.76 c INPROCESSING
2831.64/2839.76 c GARBAGE COLLECT
2831.64/2839.76 c #Conflicts: 1126000 | #Constraints: 22423
2831.64/2839.76 c #Conflicts: 1127000 | #Constraints: 23423
2831.64/2839.76 c #Conflicts: 1128000 | #Constraints: 24423
2831.64/2839.76 c #Conflicts: 1129000 | #Constraints: 25423
2831.64/2839.76 c #Conflicts: 1130000 | #Constraints: 26423
2831.64/2839.76 c #Conflicts: 1131000 | #Constraints: 27423
2831.64/2839.76 c #Conflicts: 1132000 | #Constraints: 28423
2831.64/2839.76 c #Conflicts: 1133000 | #Constraints: 29423
2831.64/2839.76 c #Conflicts: 1134000 | #Constraints: 30423
2831.64/2839.76 c #Conflicts: 1135000 | #Constraints: 31423
2831.64/2839.76 c #Conflicts: 1136000 | #Constraints: 32423
2831.64/2839.76 c #Conflicts: 1137000 | #Constraints: 33423
2831.64/2839.76 c #Conflicts: 1138000 | #Constraints: 34423
2831.64/2839.76 c #Conflicts: 1139000 | #Constraints: 35423
2831.64/2839.76 c #Conflicts: 1140000 | #Constraints: 36423
2831.64/2839.76 c #Conflicts: 1141000 | #Constraints: 37423
2831.64/2839.76 c #Conflicts: 1142000 | #Constraints: 38423
2831.64/2839.76 c #Conflicts: 1143000 | #Constraints: 39423
2831.64/2839.76 c #Conflicts: 1144000 | #Constraints: 40423
2831.64/2839.76 c #Conflicts: 1145000 | #Constraints: 41423
2831.64/2839.76 c #Conflicts: 1146000 | #Constraints: 42423
2831.64/2839.76 c INPROCESSING
2831.64/2839.76 c GARBAGE COLLECT
2831.64/2839.76 c #Conflicts: 1147000 | #Constraints: 22184
2831.64/2839.76 c #Conflicts: 1148000 | #Constraints: 23184
2831.64/2839.76 c #Conflicts: 1149000 | #Constraints: 24184
2831.64/2839.76 c #Conflicts: 1150000 | #Constraints: 25184
2831.64/2839.76 c #Conflicts: 1151000 | #Constraints: 26184
2831.64/2839.76 c #Conflicts: 1152000 | #Constraints: 27184
2831.64/2839.76 c #Conflicts: 1153000 | #Constraints: 28184
2831.64/2839.76 c #Conflicts: 1154000 | #Constraints: 29184
2831.64/2839.76 c #Conflicts: 1155000 | #Constraints: 30184
2831.64/2839.76 c #Conflicts: 1156000 | #Constraints: 31184
2831.64/2839.76 c #Conflicts: 1157000 | #Constraints: 32184
2831.64/2839.76 c #Conflicts: 1158000 | #Constraints: 33184
2831.64/2839.76 c #Conflicts: 1159000 | #Constraints: 34184
2831.64/2839.76 c #Conflicts: 1160000 | #Constraints: 35184
2831.64/2839.76 c #Conflicts: 1161000 | #Constraints: 36184
2831.64/2839.76 c #Conflicts: 1162000 | #Constraints: 37184
2831.64/2839.76 c #Conflicts: 1163000 | #Constraints: 38184
2831.64/2839.76 c #Conflicts: 1164000 | #Constraints: 39184
2831.64/2839.76 c #Conflicts: 1165000 | #Constraints: 40184
2831.64/2839.76 c #Conflicts: 1166000 | #Constraints: 41184
2831.64/2839.76 c #Conflicts: 1167000 | #Constraints: 42184
2831.64/2839.76 c #Conflicts: 1168000 | #Constraints: 43184
2831.64/2839.76 c INPROCESSING
2831.64/2839.76 c GARBAGE COLLECT
2831.64/2839.76 c #Conflicts: 1169000 | #Constraints: 22768
2831.64/2839.76 c #Conflicts: 1170000 | #Constraints: 23768
2831.64/2839.76 c #Conflicts: 1171000 | #Constraints: 24768
2831.64/2839.76 c #Conflicts: 1172000 | #Constraints: 25768
2831.64/2839.76 c #Conflicts: 1173000 | #Constraints: 26768
2831.64/2839.76 c #Conflicts: 1174000 | #Constraints: 27768
2831.64/2839.76 c #Conflicts: 1175000 | #Constraints: 28768
2831.64/2839.76 c #Conflicts: 1176000 | #Constraints: 29768
2831.64/2839.76 c #Conflicts: 1177000 | #Constraints: 30768
2831.64/2839.76 c #Conflicts: 1178000 | #Constraints: 31768
2831.64/2839.76 c #Conflicts: 1179000 | #Constraints: 32768
2831.64/2839.76 c #Conflicts: 1180000 | #Constraints: 33768
2831.64/2839.76 c #Conflicts: 1181000 | #Constraints: 34768
2831.64/2839.76 c #Conflicts: 1182000 | #Constraints: 35768
2831.64/2839.76 c #Conflicts: 1183000 | #Constraints: 36768
2831.64/2839.76 c #Conflicts: 1184000 | #Constraints: 37768
2831.64/2839.76 c #Conflicts: 1185000 | #Constraints: 38768
2831.64/2839.76 c #Conflicts: 1186000 | #Constraints: 39768
2831.64/2839.76 c #Conflicts: 1187000 | #Constraints: 40768
2831.64/2839.76 c #Conflicts: 1188000 | #Constraints: 41768
2831.64/2839.76 c #Conflicts: 1189000 | #Constraints: 42768
2831.64/2839.76 c #Conflicts: 1190000 | #Constraints: 43768
2831.64/2839.76 c INPROCESSING
2831.64/2839.76 c GARBAGE COLLECT
2831.64/2839.76 c #Conflicts: 1191000 | #Constraints: 23169
2831.64/2839.76 c #Conflicts: 1192000 | #Constraints: 24169
2831.64/2839.76 c #Conflicts: 1193000 | #Constraints: 25169
2831.64/2839.76 c #Conflicts: 1194000 | #Constraints: 26169
2831.64/2839.76 c #Conflicts: 1195000 | #Constraints: 27169
2831.64/2839.76 c #Conflicts: 1196000 | #Constraints: 28169
2831.64/2839.76 c #Conflicts: 1197000 | #Constraints: 29169
3117.15/3126.08 c #Conflicts: 1198000 | #Constraints: 30169
3117.15/3126.08 c #Conflicts: 1199000 | #Constraints: 31169
3117.15/3126.08 c #Conflicts: 1200000 | #Constraints: 32169
3117.15/3126.08 c #Conflicts: 1201000 | #Constraints: 33169
3117.15/3126.08 c #Conflicts: 1202000 | #Constraints: 34169
3117.15/3126.08 c #Conflicts: 1203000 | #Constraints: 35169
3117.15/3126.08 c #Conflicts: 1204000 | #Constraints: 36169
3117.15/3126.08 c #Conflicts: 1205000 | #Constraints: 37169
3117.15/3126.08 c #Conflicts: 1206000 | #Constraints: 38169
3117.15/3126.08 c #Conflicts: 1207000 | #Constraints: 39169
3117.15/3126.08 c #Conflicts: 1208000 | #Constraints: 40169
3117.15/3126.08 c #Conflicts: 1209000 | #Constraints: 41169
3117.15/3126.08 c #Conflicts: 1210000 | #Constraints: 42169
3117.15/3126.08 c #Conflicts: 1211000 | #Constraints: 43169
3117.15/3126.08 c #Conflicts: 1212000 | #Constraints: 44169
3117.15/3126.08 c INPROCESSING
3117.15/3126.08 c GARBAGE COLLECT
3117.15/3126.08 c #Conflicts: 1213000 | #Constraints: 23360
3117.15/3126.08 c #Conflicts: 1214000 | #Constraints: 24360
3117.15/3126.08 c #Conflicts: 1215000 | #Constraints: 25360
3117.15/3126.08 c #Conflicts: 1216000 | #Constraints: 26360
3117.15/3126.08 c #Conflicts: 1217000 | #Constraints: 27360
3117.15/3126.08 c #Conflicts: 1218000 | #Constraints: 28360
3117.15/3126.08 c #Conflicts: 1219000 | #Constraints: 29360
3117.15/3126.08 c #Conflicts: 1220000 | #Constraints: 30360
3117.15/3126.08 c #Conflicts: 1221000 | #Constraints: 31360
3117.15/3126.08 c #Conflicts: 1222000 | #Constraints: 32360
3117.15/3126.08 c #Conflicts: 1223000 | #Constraints: 33360
3117.15/3126.08 c #Conflicts: 1224000 | #Constraints: 34360
3117.15/3126.08 c #Conflicts: 1225000 | #Constraints: 35360
3117.15/3126.08 c #Conflicts: 1226000 | #Constraints: 36360
3117.15/3126.08 c #Conflicts: 1227000 | #Constraints: 37360
3117.15/3126.08 c #Conflicts: 1228000 | #Constraints: 38360
3117.15/3126.08 c #Conflicts: 1229000 | #Constraints: 39360
3117.15/3126.08 c #Conflicts: 1230000 | #Constraints: 40360
3117.15/3126.08 c #Conflicts: 1231000 | #Constraints: 41360
3117.15/3126.08 c #Conflicts: 1232000 | #Constraints: 42360
3117.15/3126.08 c #Conflicts: 1233000 | #Constraints: 43360
3117.15/3126.08 c #Conflicts: 1234000 | #Constraints: 44360
3117.15/3126.08 c INPROCESSING
3117.15/3126.08 c GARBAGE COLLECT
3117.15/3126.08 c #Conflicts: 1235000 | #Constraints: 23357
3117.15/3126.08 c #Conflicts: 1236000 | #Constraints: 24357
3117.15/3126.08 c #Conflicts: 1237000 | #Constraints: 25357
3117.15/3126.08 c #Conflicts: 1238000 | #Constraints: 26357
3117.15/3126.08 c #Conflicts: 1239000 | #Constraints: 27357
3117.15/3126.08 c #Conflicts: 1240000 | #Constraints: 28357
3117.15/3126.08 c #Conflicts: 1241000 | #Constraints: 29357
3117.15/3126.08 c #Conflicts: 1242000 | #Constraints: 30357
3117.15/3126.08 c #Conflicts: 1243000 | #Constraints: 31357
3117.15/3126.08 c #Conflicts: 1244000 | #Constraints: 32357
3117.15/3126.08 c #Conflicts: 1245000 | #Constraints: 33357
3117.15/3126.08 c #Conflicts: 1246000 | #Constraints: 34357
3117.15/3126.08 c #Conflicts: 1247000 | #Constraints: 35357
3117.15/3126.08 c #Conflicts: 1248000 | #Constraints: 36357
3117.15/3126.08 c #Conflicts: 1249000 | #Constraints: 37357
3117.15/3126.08 c #Conflicts: 1250000 | #Constraints: 38357
3117.15/3126.08 c #Conflicts: 1251000 | #Constraints: 39357
3117.15/3126.08 c #Conflicts: 1252000 | #Constraints: 40357
3117.15/3126.08 c #Conflicts: 1253000 | #Constraints: 41357
3117.15/3126.08 c #Conflicts: 1254000 | #Constraints: 42357
3117.15/3126.08 c #Conflicts: 1255000 | #Constraints: 43357
3117.15/3126.08 c #Conflicts: 1256000 | #Constraints: 44357
3117.15/3126.08 c INPROCESSING
3117.15/3126.08 c GARBAGE COLLECT
3117.15/3126.08 c #Conflicts: 1257000 | #Constraints: 23157
3117.15/3126.08 c #Conflicts: 1258000 | #Constraints: 24157
3117.15/3126.08 c #Conflicts: 1259000 | #Constraints: 25157
3117.15/3126.08 c #Conflicts: 1260000 | #Constraints: 26157
3117.15/3126.08 c #Conflicts: 1261000 | #Constraints: 27157
3117.15/3126.08 c #Conflicts: 1262000 | #Constraints: 28157
3117.15/3126.08 c #Conflicts: 1263000 | #Constraints: 29157
3117.15/3126.08 c #Conflicts: 1264000 | #Constraints: 30157
3117.15/3126.08 c #Conflicts: 1265000 | #Constraints: 31157
3117.15/3126.08 c #Conflicts: 1266000 | #Constraints: 32157
3117.15/3126.08 c #Conflicts: 1267000 | #Constraints: 33157
3117.15/3126.08 c #Conflicts: 1268000 | #Constraints: 34157
3117.15/3126.08 c #Conflicts: 1269000 | #Constraints: 35157
3117.15/3126.08 c #Conflicts: 1270000 | #Constraints: 36157
3117.15/3126.08 c #Conflicts: 1271000 | #Constraints: 37157
3117.15/3126.08 c #Conflicts: 1272000 | #Constraints: 38157
3117.15/3126.08 c #Conflicts: 1273000 | #Constraints: 39157
3117.15/3126.08 c #Conflicts: 1274000 | #Constraints: 40157
3486.40/3496.35 c #Conflicts: 1275000 | #Constraints: 41157
3486.40/3496.35 c #Conflicts: 1276000 | #Constraints: 42157
3486.40/3496.35 c #Conflicts: 1277000 | #Constraints: 43157
3486.40/3496.35 c #Conflicts: 1278000 | #Constraints: 44157
3486.40/3496.35 c #Conflicts: 1279000 | #Constraints: 45157
3486.40/3496.35 c INPROCESSING
3486.40/3496.35 c GARBAGE COLLECT
3486.40/3496.35 c #Conflicts: 1280000 | #Constraints: 23755
3486.40/3496.35 c #Conflicts: 1281000 | #Constraints: 24755
3486.40/3496.35 c #Conflicts: 1282000 | #Constraints: 25755
3486.40/3496.35 c #Conflicts: 1283000 | #Constraints: 26755
3486.40/3496.35 c #Conflicts: 1284000 | #Constraints: 27755
3486.40/3496.35 c #Conflicts: 1285000 | #Constraints: 28755
3486.40/3496.35 c #Conflicts: 1286000 | #Constraints: 29755
3486.40/3496.35 c #Conflicts: 1287000 | #Constraints: 30755
3486.40/3496.35 c #Conflicts: 1288000 | #Constraints: 31755
3486.40/3496.35 c #Conflicts: 1289000 | #Constraints: 32755
3486.40/3496.35 c #Conflicts: 1290000 | #Constraints: 33755
3486.40/3496.35 c #Conflicts: 1291000 | #Constraints: 34755
3486.40/3496.35 c #Conflicts: 1292000 | #Constraints: 35755
3486.40/3496.35 c #Conflicts: 1293000 | #Constraints: 36755
3486.40/3496.35 c #Conflicts: 1294000 | #Constraints: 37755
3486.40/3496.35 c #Conflicts: 1295000 | #Constraints: 38755
3486.40/3496.35 c #Conflicts: 1296000 | #Constraints: 39755
3486.40/3496.35 c #Conflicts: 1297000 | #Constraints: 40755
3486.40/3496.35 c #Conflicts: 1298000 | #Constraints: 41755
3486.40/3496.35 c #Conflicts: 1299000 | #Constraints: 42755
3486.40/3496.35 c #Conflicts: 1300000 | #Constraints: 43755
3486.40/3496.35 c #Conflicts: 1301000 | #Constraints: 44755
3486.40/3496.35 c #Conflicts: 1302000 | #Constraints: 45755
3486.40/3496.35 c INPROCESSING
3486.40/3496.35 c GARBAGE COLLECT
3486.40/3496.35 c #Conflicts: 1303000 | #Constraints: 24150
3486.40/3496.35 c #Conflicts: 1304000 | #Constraints: 25150
3486.40/3496.35 c #Conflicts: 1305000 | #Constraints: 26150
3486.40/3496.35 c #Conflicts: 1306000 | #Constraints: 27150
3486.40/3496.35 c #Conflicts: 1307000 | #Constraints: 28150
3486.40/3496.35 c #Conflicts: 1308000 | #Constraints: 29150
3486.40/3496.35 c #Conflicts: 1309000 | #Constraints: 30150
3486.40/3496.35 c #Conflicts: 1310000 | #Constraints: 31150
3486.40/3496.35 c #Conflicts: 1311000 | #Constraints: 32150
3486.40/3496.35 c #Conflicts: 1312000 | #Constraints: 33150
3486.40/3496.35 c #Conflicts: 1313000 | #Constraints: 34150
3486.40/3496.35 c #Conflicts: 1314000 | #Constraints: 35150
3486.40/3496.35 c #Conflicts: 1315000 | #Constraints: 36150
3486.40/3496.35 c #Conflicts: 1316000 | #Constraints: 37150
3486.40/3496.35 c #Conflicts: 1317000 | #Constraints: 38150
3486.40/3496.35 c #Conflicts: 1318000 | #Constraints: 39150
3486.40/3496.35 c #Conflicts: 1319000 | #Constraints: 40150
3486.40/3496.35 c #Conflicts: 1320000 | #Constraints: 41150
3486.40/3496.35 c #Conflicts: 1321000 | #Constraints: 42150
3486.40/3496.35 c #Conflicts: 1322000 | #Constraints: 43150
3486.40/3496.35 c #Conflicts: 1323000 | #Constraints: 44150
3486.40/3496.35 c #Conflicts: 1324000 | #Constraints: 45150
3486.40/3496.35 c #Conflicts: 1325000 | #Constraints: 46150
3486.40/3496.35 c INPROCESSING
3486.40/3496.35 c GARBAGE COLLECT
3486.40/3496.35 c #Conflicts: 1326000 | #Constraints: 24371
3486.40/3496.35 c #Conflicts: 1327000 | #Constraints: 25371
3486.40/3496.35 c #Conflicts: 1328000 | #Constraints: 26371
3486.40/3496.35 c #Conflicts: 1329000 | #Constraints: 27371
3486.40/3496.35 c #Conflicts: 1330000 | #Constraints: 28371
3486.40/3496.35 c #Conflicts: 1331000 | #Constraints: 29371
3486.40/3496.35 c #Conflicts: 1332000 | #Constraints: 30371
3486.40/3496.35 c #Conflicts: 1333000 | #Constraints: 31371
3486.40/3496.35 c #Conflicts: 1334000 | #Constraints: 32371
3486.40/3496.35 c #Conflicts: 1335000 | #Constraints: 33371
3486.40/3496.35 c #Conflicts: 1336000 | #Constraints: 34371
3486.40/3496.35 c #Conflicts: 1337000 | #Constraints: 35371
3486.40/3496.35 c #Conflicts: 1338000 | #Constraints: 36371
3486.40/3496.35 c #Conflicts: 1339000 | #Constraints: 37371
3486.40/3496.35 c #Conflicts: 1340000 | #Constraints: 38371
3486.40/3496.35 c #Conflicts: 1341000 | #Constraints: 39371
3486.40/3496.35 c #Conflicts: 1342000 | #Constraints: 40371
3486.40/3496.35 c #Conflicts: 1343000 | #Constraints: 41371
3486.40/3496.35 c #Conflicts: 1344000 | #Constraints: 42371
3486.40/3496.35 c #Conflicts: 1345000 | #Constraints: 43371
3486.40/3496.35 c #Conflicts: 1346000 | #Constraints: 44371
3486.40/3496.35 c #Conflicts: 1347000 | #Constraints: 45371
3486.40/3496.35 c #Conflicts: 1348000 | #Constraints: 46371
3486.40/3496.35 c INPROCESSING
3486.40/3496.35 c GARBAGE COLLECT
3486.40/3496.35 c #Conflicts: 1349000 | #Constraints: 24384
3486.40/3496.35 c #Conflicts: 1350000 | #Constraints: 25384
3600.09/3610.30 c #Conflicts: 1351000 | #Constraints: 26384
3600.09/3610.30 c #Conflicts: 1352000 | #Constraints: 27384
3600.09/3610.30 c #Conflicts: 1353000 | #Constraints: 28384
3600.09/3610.30 c #Conflicts: 1354000 | #Constraints: 29384
3600.09/3610.30 c #Conflicts: 1355000 | #Constraints: 30384
3600.09/3610.30 c #Conflicts: 1356000 | #Constraints: 31384
3600.09/3610.30 c #Conflicts: 1357000 | #Constraints: 32384
3600.09/3610.30 c #Conflicts: 1358000 | #Constraints: 33384
3600.09/3610.30 c #Conflicts: 1359000 | #Constraints: 34384
3600.09/3610.30 c #Conflicts: 1360000 | #Constraints: 35384
3600.09/3610.30 c #Conflicts: 1361000 | #Constraints: 36384
3600.09/3610.30 c #Conflicts: 1362000 | #Constraints: 37384
3600.09/3610.30 c #Conflicts: 1363000 | #Constraints: 38384
3600.09/3610.30 c #Conflicts: 1364000 | #Constraints: 39384
3600.09/3610.30 c #Conflicts: 1365000 | #Constraints: 40384
3600.09/3610.30 c #Conflicts: 1366000 | #Constraints: 41384
3600.09/3610.30 c #Conflicts: 1367000 | #Constraints: 42384
3600.09/3610.30 c #Conflicts: 1368000 | #Constraints: 43384
3600.09/3610.30 c #Conflicts: 1369000 | #Constraints: 44384
3600.09/3610.30 c #Conflicts: 1370000 | #Constraints: 45384
3600.09/3610.30 c #Conflicts: 1371000 | #Constraints: 46384
3600.09/3610.30 c INPROCESSING
3600.09/3610.30 c GARBAGE COLLECT
3600.09/3610.30 c #Conflicts: 1372000 | #Constraints: 24166
3600.09/3610.30 c #Conflicts: 1373000 | #Constraints: 25166
3600.09/3610.30 c #Conflicts: 1374000 | #Constraints: 26166
3600.09/3610.30 c #Conflicts: 1375000 | #Constraints: 27166
3600.09/3610.30 c #Conflicts: 1376000 | #Constraints: 28166
3600.09/3610.30 c #Conflicts: 1377000 | #Constraints: 29166
3600.09/3610.30 c #Conflicts: 1378000 | #Constraints: 30166
3600.09/3610.30 c #Conflicts: 1379000 | #Constraints: 31166
3600.09/3610.30 c #Conflicts: 1380000 | #Constraints: 32166
3600.09/3610.30 c #Conflicts: 1381000 | #Constraints: 33166
3600.09/3610.30 c #Conflicts: 1382000 | #Constraints: 34166
3600.09/3610.30 c #Conflicts: 1383000 | #Constraints: 35166
3600.09/3610.30 c #Conflicts: 1384000 | #Constraints: 36166
3600.09/3610.30 c #Conflicts: 1385000 | #Constraints: 37166
3600.09/3610.30 c #Conflicts: 1386000 | #Constraints: 38166
3600.09/3610.30 c #Conflicts: 1387000 | #Constraints: 39166
3600.09/3610.30 c #Conflicts: 1388000 | #Constraints: 40166
3600.09/3610.30 c #Conflicts: 1389000 | #Constraints: 41166
3600.09/3610.30 c #Conflicts: 1390000 | #Constraints: 42166
3600.09/3610.30 c #Conflicts: 1391000 | #Constraints: 43166
3600.09/3610.30 c #Conflicts: 1392000 | #Constraints: 44166
3600.09/3610.30 c #Conflicts: 1393000 | #Constraints: 45166
3600.09/3610.30 c #Conflicts: 1394000 | #Constraints: 46166
3600.09/3610.30 c Program interrupted by user.
3600.09/3610.30 c cpu time 3587.62 s
3600.09/3610.30 c deterministic time 618109078449 6.18e+11
3600.09/3610.30 c optimization time 81.4928 s
3600.09/3610.30 c total solve time 3506.12 s
3600.09/3610.30 c core-guided solve time 3506.12 s
3600.09/3610.30 c propagation time 2994.94 s
3600.09/3610.30 c conflict analysis time 537.452 s
3600.09/3610.30 c propagations 393767040
3600.09/3610.30 c resolve steps 11287280
3600.09/3610.30 c decisions 7756851
3600.09/3610.30 c conflicts 1394121
3600.09/3610.30 c restarts 2683
3600.09/3610.30 c inprocessing phases 108
3600.09/3610.30 c input clauses 3273
3600.09/3610.30 c input cardinalities 64
3600.09/3610.30 c input general constraints 384
3600.09/3610.30 c input average constraint length 9.95
3600.09/3610.30 c input average constraint degree 74.17
3600.09/3610.30 c learned clauses 162847
3600.09/3610.30 c learned cardinalities 14919
3600.09/3610.30 c learned general constraints 1216354
3600.09/3610.30 c learned average constraint length 518.99
3600.09/3610.30 c learned average constraint degree 13025579.15
3600.09/3610.30 c watched constraints 928139
3600.09/3610.30 c counting constraints 288599
3600.09/3610.30 c gcd simplifications 122774
3600.09/3610.30 c detected cardinalities 343
3600.09/3610.30 c weakened non-implied lits 111462414
3600.09/3610.30 c weakened non-implying lits 167905
3600.09/3610.30 c original variables 3216
3600.09/3610.30 c clausal propagations 2009193
3600.09/3610.30 c cardinality propagations 7152767
3600.09/3610.30 c watched propagations 19652651
3600.09/3610.30 c counting propagations 363254682
3600.09/3610.30 c watch lookups 49394584691
3600.09/3610.30 c watch backjump lookups 45638883500
3600.09/3610.30 c watch checks 452242242614
3600.09/3610.30 c propagation checks 67570887282
3600.09/3610.30 c constraint additions 2458041078
3600.09/3610.30 c trail pops 402915392
3600.09/3610.30 c formula constraints 3721
3600.09/3610.30 c learned constraints 1394120
3600.09/3610.30 c bound constraints 0
3600.09/3610.30 c core-guided constraints 0
3600.09/3610.30 c encountered formula constraints 6047489
3600.09/3610.30 c encountered learned constraints 6633912
3600.09/3610.30 c encountered bound constraints 0
3600.09/3610.30 c encountered core-guided constraints 0
3600.09/3610.30 c LP total time 0 s
3600.09/3610.30 c LP solve time 0 s
3600.09/3610.30 c LP constraints added 0
3600.09/3610.30 c LP constraints removed 0
3600.09/3610.30 c LP pivots internal 0
3600.09/3610.30 c LP pivots root 0
3600.09/3610.30 c LP calls 0
3600.09/3610.30 c LP optimalities 0
3600.09/3610.30 c LP no pivot count 0
3600.09/3610.30 c LP infeasibilities 0
3600.09/3610.30 c LP valid Farkas constraints 0
3600.09/3610.30 c LP learned Farkas constraints 0
3600.09/3610.30 c LP basis resets 0
3600.09/3610.30 c LP cycling count 0
3600.09/3610.30 c LP singular count 0
3600.09/3610.30 c LP no primal count 0
3600.09/3610.30 c LP no farkas count 0
3600.09/3610.30 c LP other issue count 0
3600.09/3610.30 c LP Gomory cuts 0
3600.09/3610.30 c LP learned cuts 0
3600.09/3610.30 c LP deleted cuts 0
3600.09/3610.30 c LP encountered Gomory constraints 0
3600.09/3610.30 c LP encountered Farkas constraints 0
3600.09/3610.30 c LP encountered learned Farkas constraints 0
3600.09/3610.30 c CG auxiliary variables introduced 0
3600.09/3610.30 c CG solutions found 0
3600.09/3610.30 c CG cores constructed 0
3600.09/3610.30 c CG core cardinality constraints returned 0
3600.09/3610.30 c CG unit cores 0
3600.09/3610.30 c CG single cores 0
3600.09/3610.30 c CG blocks removed during cardinality reduction 0
3600.09/3610.30 c CG first core best 0
3600.09/3610.30 c CG decision core best 0
3600.09/3610.30 c CG core reduction tie 0
3600.09/3610.30 c CG core degree average 0.00
3600.09/3610.30 c CG core slack average 0.00
3600.09/3610.30 c CG exhausted 0
3600.09/3610.30 c CG exhaust time 0 s
3600.09/3610.30 c CG trimmed 0
3600.09/3610.30 c CG trim time 0 s
3600.09/3610.30 c CG minimized 0
3600.09/3610.30 c CG minimize time 0 s
3600.09/3610.30 c CG am1 prop time 0 s
3600.09/3610.30 c CG # am1s reformulated 0
3600.09/3610.30 c CG lower bound derived from am1s 0
3600.09/3610.30 c CG # clausal cores 0
3600.09/3610.30 c CG # cardinality cores 0
3600.09/3610.30 c CG # pb cores 0
3600.09/3610.30 c CG # pb reforms 0
3600.09/3610.30 c CG # cores discarded because of pb reform 0
3600.09/3610.30 d LOWERBOUND 0
3600.09/3610.30 d NCORES 0
3600.09/3610.30 d NPBCORES 0
3600.09/3610.30 d NPBREFORM 0
3600.09/3610.30 d NTRIMMED 0
3600.09/3610.30 d NEXHAUSTED 0
3600.09/3610.30 d NAM1S 0
3600.09/3610.30 d AM1LB 0
3600.09/3610.30 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58968 MiB free)
memory of node 1: 64510 MiB (61801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436004-1721119547/watcher-4436004-1721119547 -o /tmp/evaluation-result-4436004-1721119547/solver-4436004-1721119547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865523 --watchdog 3760 pb-oll-rs HOME/instance-4436004-1721119547.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=865583, runsolver pid=865570
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 1.10 1.10 1.33 7/257 865586
/proc/meminfo: memFree=123649916/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=40556 memory=8568 CPUtime=0.1 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 996 0 0 0 9 1 0 0 20 0 1 0 164122147 41529344 2142 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 10139 2142 1356 291 0 1673 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40556 KiB
Current children cumulated memory: 8568 KiB
[startup+0.206211 s]*
/proc/loadavg: 1.10 1.10 1.33 7/257 865586
/proc/meminfo: memFree=123638908/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=41332 memory=11932 CPUtime=0.2 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 1325 0 0 0 19 1 0 0 20 0 1 0 164122147 42323968 2983 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 10333 2983 1356 291 0 1867 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41332 KiB
Current children cumulated memory: 11932 KiB
[startup+0.305534 s]*
/proc/loadavg: 1.10 1.10 1.33 7/257 865586
/proc/meminfo: memFree=123634844/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=41980 memory=12580 CPUtime=0.3 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 1498 0 0 0 28 2 0 0 20 0 1 0 164122147 42987520 3145 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 10495 3145 1356 291 0 2029 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41980 KiB
Current children cumulated memory: 12580 KiB
[startup+0.7002 s]
/proc/loadavg: 1.10 1.10 1.33 8/257 865586
/proc/meminfo: memFree=123625540/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=46624 memory=15760 CPUtime=0.68 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 2204 0 0 0 66 2 0 0 20 0 1 0 164122147 47742976 3940 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 11656 3940 1414 291 0 3190 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46624 KiB
Current children cumulated memory: 15760 KiB
[startup+1.50021 s]
/proc/loadavg: 1.10 1.10 1.33 7/255 865600
/proc/meminfo: memFree=123622528/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=49104 memory=20296 CPUtime=1.48 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 2840 0 0 0 144 4 0 0 20 0 1 0 164122147 50282496 5074 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 12276 5074 1414 291 0 3810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49104 KiB
Current children cumulated memory: 20296 KiB
[startup+3.10564 s]
/proc/loadavg: 1.25 1.13 1.34 6/257 865678
/proc/meminfo: memFree=123599908/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=56408 memory=26284 CPUtime=3.09 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 3847 0 0 0 302 7 0 0 20 0 1 0 164122147 57761792 6571 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 14102 6571 1414 291 0 5636 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56408 KiB
Current children cumulated memory: 26284 KiB
[startup+6.30017 s]
/proc/loadavg: 1.25 1.13 1.34 6/257 865680
/proc/meminfo: memFree=123568580/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=69052 memory=35608 CPUtime=6.27 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 5635 0 0 0 616 11 0 0 20 0 1 0 164122147 70709248 8902 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 17263 8902 1414 291 0 8797 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 69052 KiB
Current children cumulated memory: 35608 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 1.23 1.37 6/257 865680
/proc/meminfo: memFree=123534060/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=73404 memory=43744 CPUtime=12.65 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 6669 0 0 0 1244 21 0 0 20 0 1 0 164122147 75165696 10936 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 18351 10936 1414 291 0 9885 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73404 KiB
Current children cumulated memory: 43744 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.34 1.40 6/257 865683
/proc/meminfo: memFree=123476192/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=91832 memory=53260 CPUtime=25.41 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 8494 0 0 0 2503 38 0 0 20 0 1 0 164122147 94035968 13315 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 22958 13315 1414 291 0 14492 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91832 KiB
Current children cumulated memory: 53260 KiB
[startup+51.1056 s]
/proc/loadavg: 2.83 1.57 1.48 5/257 865824
/proc/meminfo: memFree=123482012/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=99220 memory=66144 CPUtime=50.94 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 10335 0 0 0 5025 69 0 0 20 0 1 0 164122147 101601280 16536 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 24805 16536 1414 291 0 16339 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 99220 KiB
Current children cumulated memory: 66144 KiB
[startup+102.3 s]
/proc/loadavg: 3.69 2.03 1.64 5/257 865831
/proc/meminfo: memFree=123400440/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=142724 memory=101300 CPUtime=101.96 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 16136 0 0 0 10085 111 0 0 20 0 1 0 164122147 146149376 25325 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 35681 25325 1414 291 0 27215 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 142724 KiB
Current children cumulated memory: 101300 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.42 1.80 5/257 865841
/proc/meminfo: memFree=123354388/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=154680 memory=124720 CPUtime=161.77 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 18769 0 0 0 16010 167 0 0 20 0 1 0 164122147 158392320 31180 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 38670 31180 1414 291 0 30204 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 154680 KiB
Current children cumulated memory: 124720 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.71 1.94 5/257 865898
/proc/meminfo: memFree=123327316/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=190236 memory=129044 CPUtime=221.61 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 20047 0 0 0 21961 200 0 0 20 0 1 0 164122147 194801664 32261 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 47559 32261 1414 291 0 39093 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 190236 KiB
Current children cumulated memory: 129044 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.97 2.08 5/259 865958
/proc/meminfo: memFree=123265496/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=194944 memory=145848 CPUtime=281.41 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 21373 0 0 0 27903 238 0 0 20 0 1 0 164122147 199622656 36462 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 48736 36462 1414 291 0 40270 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 194944 KiB
Current children cumulated memory: 145848 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 3.24 2.23 5/256 865968
/proc/meminfo: memFree=123226864/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=200920 memory=158712 CPUtime=341.22 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 22634 0 0 0 33848 274 0 0 20 0 1 0 164122147 205742080 39678 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 50230 39678 1414 291 0 41764 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 200920 KiB
Current children cumulated memory: 158712 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 3.44 2.37 5/256 865979
/proc/meminfo: memFree=123198600/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=205248 memory=162152 CPUtime=401.01 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 23617 0 0 0 39793 308 0 0 20 0 1 0 164122147 210173952 40538 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 51312 40538 1414 291 0 42846 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 205248 KiB
Current children cumulated memory: 162152 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.56 2.48 5/257 865991
/proc/meminfo: memFree=123126048/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=207476 memory=163864 CPUtime=460.82 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 24179 0 0 0 45741 341 0 0 20 0 1 0 164122147 212455424 40966 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 51869 40966 1414 291 0 43403 0
################
# More data... #
################
Current children cumulated memory: 436188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.04 5/255 867935
/proc/meminfo: memFree=122320572/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=489180 memory=436188 CPUtime=2914.01 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 59753 0 0 0 290332 1069 0 0 20 0 1 0 164122147 500920320 109047 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 122295 109047 1414 291 0 113829 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 489180 KiB
Current children cumulated memory: 436188 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.04 5/255 867945
/proc/meminfo: memFree=122316284/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=491360 memory=437412 CPUtime=2973.85 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 60252 0 0 0 296302 1083 0 0 20 0 1 0 164122147 503152640 109353 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 122840 109353 1414 291 0 114374 0
Current children cumulated CPU time: 2973.85 s
Current children cumulated vsize: 491360 KiB
Current children cumulated memory: 437412 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/255 867955
/proc/meminfo: memFree=122309560/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493408 memory=438664 CPUtime=3033.68 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 60798 0 0 0 302266 1102 0 0 20 0 1 0 164122147 505249792 109666 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123352 109666 1414 291 0 114886 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 438664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/255 867966
/proc/meminfo: memFree=122284344/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493408 memory=438664 CPUtime=3093.51 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 61028 0 0 0 308223 1128 0 0 20 0 1 0 164122147 505249792 109666 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123352 109666 1414 291 0 114886 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 438664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.05 5/255 867976
/proc/meminfo: memFree=122281348/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493408 memory=438672 CPUtime=3153.35 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 61357 0 0 0 314187 1148 0 0 20 0 1 0 164122147 505249792 109668 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123352 109668 1414 291 0 114886 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 438672 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/255 867986
/proc/meminfo: memFree=122269888/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493408 memory=438672 CPUtime=3213.17 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 61549 0 0 0 320151 1166 0 0 20 0 1 0 164122147 505249792 109668 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123352 109668 1414 291 0 114886 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 438672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/257 868001
/proc/meminfo: memFree=122253912/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493408 memory=449484 CPUtime=3272.99 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 61899 0 0 0 326113 1186 0 0 20 0 1 0 164122147 505249792 112371 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123352 112371 1414 291 0 114886 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 449484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/257 868012
/proc/meminfo: memFree=122247600/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493408 memory=455548 CPUtime=3332.81 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 62213 0 0 0 332079 1202 0 0 20 0 1 0 164122147 505249792 113887 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123352 113887 1414 291 0 114886 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 493408 KiB
Current children cumulated memory: 455548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/257 868022
/proc/meminfo: memFree=122247272/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=493920 memory=455700 CPUtime=3392.65 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 62397 0 0 0 338059 1206 0 0 20 0 1 0 164122147 505774080 113925 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 123480 113925 1414 291 0 115014 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 493920 KiB
Current children cumulated memory: 455700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/257 868033
/proc/meminfo: memFree=122241172/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=498656 memory=458640 CPUtime=3452.49 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 63313 0 0 0 344039 1210 0 0 20 0 1 0 164122147 510623744 114660 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 124664 114660 1414 291 0 116198 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 498656 KiB
Current children cumulated memory: 458640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/257 868044
/proc/meminfo: memFree=122233596/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=502240 memory=460944 CPUtime=3512.33 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 64216 0 0 0 350008 1225 0 0 20 0 1 0 164122147 514293760 115236 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 125560 115236 1414 291 0 117094 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 502240 KiB
Current children cumulated memory: 460944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/254 868054
/proc/meminfo: memFree=122232956/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=502368 memory=461072 CPUtime=3572.17 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 64573 0 0 0 355976 1241 0 0 20 0 1 0 164122147 514424832 115268 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 125592 115268 1414 291 0 117126 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 502368 KiB
Current children cumulated memory: 461072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 868058
/proc/meminfo: memFree=122230424/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=502368 memory=461072 CPUtime=3600.09 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 64627 0 0 0 358762 1247 0 0 20 0 1 0 164122147 514424832 115268 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 125592 115268 1414 291 0 117126 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 502368 KiB
Current children cumulated memory: 461072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 865583 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.62 s, system=12.479 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 868058
/proc/meminfo: memFree=122230424/131524600 swapFree=131071996/131071996
[pid=865583] ppid=865570 vsize=502368 memory=461072 CPUtime=3600.09 cores=5,7
/proc/865583/stat : 865583 (pb-oll-rs) R 865570 865583 865510 0 -1 4194304 64627 0 0 0 358762 1247 0 0 20 0 1 0 164122147 514424832 115268 134679101440 4194304 5384005 140730036725216 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 7802880 140730036732951 140730036733028 140730036733028 140730036740043 0
/proc/865583/statm: 125592 115268 1414 291 0 117126 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 502368 KiB
Current children cumulated memory: 461072 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.1
CPU user time (s): 3587.62
CPU system time (s): 12.479
CPU usage (%): 99.7174
Max. virtual memory (cumulated for all children) (KiB): 502912
Max. memory (cumulated for all children) (KiB): 461284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.62
system time used= 12.479
maximum resident set size= 461596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64642
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= 119
involuntary context switches= 3838
# summary of solver processes directly reported to runsolver:
# pid: 865583
# total CPU time (s): 3600.1
# total CPU user time (s): 3587.62
# total CPU system time (s): 12.479
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82234 second user time and 16.188 second system time
The end
Begin job on nodeC029 at 2024-07-16 10:46:00
IDJOB=4436004
IDBENCH=148772
IDSOLVER=3067
FILE ID=nodeC029/4436004-1721119547
RUNJOBID= nodeC029-1721119560-865523
SLURM_JOB_ID= 7505669
Free space on /tmp= 890068 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4436004-1721119547/watcher-4436004-1721119547 -o /tmp/evaluation-result-4436004-1721119547/solver-4436004-1721119547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865523 --watchdog 3760 pb-oll-rs HOME/instance-4436004-1721119547.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1713513435
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3720.360
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3734.061
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3706.510
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3743.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3650.183
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3797.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.891
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.260
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123670428 kB
MemAvailable: 129668100 kB
Buffers: 400420 kB
Cached: 6362240 kB
SwapCached: 0 kB
Active: 718880 kB
Inactive: 6379704 kB
Active(anon): 1352 kB
Inactive(anon): 373580 kB
Active(file): 717528 kB
Inactive(file): 6006124 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8864 kB
Writeback: 0 kB
AnonPages: 337248 kB
Mapped: 103880 kB
Shmem: 37720 kB
KReclaimable: 227332 kB
Slab: 348472 kB
SReclaimable: 227332 kB
SUnreclaim: 121140 kB
KernelStack: 3828 kB
PageTables: 10056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 686420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 219136 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: 279252 kB
DirectMap2M: 36194304 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC029 at 2024-07-16 11:46:11