0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.02 c Papilo could not simplify the problem
0.00/0.02 c [STEP] solving with SCIP
299.37/300.21 c [STEP] preprocessing done, loading into solver
299.37/300.21 c [STEP] solving
299.37/300.21 c #variables 1382 #constraints 2692
299.37/300.21 c SMALL=int, LARGE=long long
299.37/300.21 d SCIPUB -1244
299.37/300.21 c bounds - >= -37584 @ 299.166
299.37/300.21 c stratification level: 276
386.67/387.77 c #Conflicts: 1000 | #Constraints: 3692
386.67/387.77 c #Conflicts: 2000 | #Constraints: 4692
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c bounds - >= -37308 @ 301.479
386.67/387.77 c #Conflicts: 3000 | #Constraints: 4695
386.67/387.77 c #Conflicts: 4000 | #Constraints: 5695
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 5000 | #Constraints: 5098
386.67/387.77 c #Conflicts: 6000 | #Constraints: 6098
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 7000 | #Constraints: 5100
386.67/387.77 c #Conflicts: 8000 | #Constraints: 6100
386.67/387.77 c #Conflicts: 9000 | #Constraints: 7100
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 10000 | #Constraints: 5800
386.67/387.77 c #Conflicts: 11000 | #Constraints: 6800
386.67/387.77 c #Conflicts: 12000 | #Constraints: 7800
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 13000 | #Constraints: 6250
386.67/387.77 c #Conflicts: 14000 | #Constraints: 7250
386.67/387.77 c #Conflicts: 15000 | #Constraints: 8250
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 16000 | #Constraints: 6476
386.67/387.77 c #Conflicts: 17000 | #Constraints: 7476
386.67/387.77 c #Conflicts: 18000 | #Constraints: 8476
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 19000 | #Constraints: 6490
386.67/387.77 c #Conflicts: 20000 | #Constraints: 7490
386.67/387.77 c #Conflicts: 21000 | #Constraints: 8490
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 22000 | #Constraints: 6295
386.67/387.77 c #Conflicts: 23000 | #Constraints: 7295
386.67/387.77 c #Conflicts: 24000 | #Constraints: 8295
386.67/387.77 c #Conflicts: 25000 | #Constraints: 9295
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 26000 | #Constraints: 6898
386.67/387.77 c #Conflicts: 27000 | #Constraints: 7898
386.67/387.77 c #Conflicts: 28000 | #Constraints: 8898
386.67/387.77 c #Conflicts: 29000 | #Constraints: 9898
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 30000 | #Constraints: 7299
386.67/387.77 c #Conflicts: 31000 | #Constraints: 8299
386.67/387.77 c #Conflicts: 32000 | #Constraints: 9299
386.67/387.77 c #Conflicts: 33000 | #Constraints: 10299
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 34000 | #Constraints: 7501
386.67/387.77 c #Conflicts: 35000 | #Constraints: 8501
386.67/387.77 c #Conflicts: 36000 | #Constraints: 9501
386.67/387.77 c #Conflicts: 37000 | #Constraints: 10501
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 38000 | #Constraints: 7500
386.67/387.77 c #Conflicts: 39000 | #Constraints: 8500
386.67/387.77 c #Conflicts: 40000 | #Constraints: 9500
386.67/387.77 c #Conflicts: 41000 | #Constraints: 10500
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 42000 | #Constraints: 7301
386.67/387.77 c #Conflicts: 43000 | #Constraints: 8301
386.67/387.77 c #Conflicts: 44000 | #Constraints: 9301
386.67/387.77 c #Conflicts: 45000 | #Constraints: 10301
386.67/387.77 c #Conflicts: 46000 | #Constraints: 11301
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 47000 | #Constraints: 7899
386.67/387.77 c #Conflicts: 48000 | #Constraints: 8899
386.67/387.77 c #Conflicts: 49000 | #Constraints: 9899
386.67/387.77 c #Conflicts: 50000 | #Constraints: 10899
386.67/387.77 c #Conflicts: 51000 | #Constraints: 11899
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 52000 | #Constraints: 8299
386.67/387.77 c #Conflicts: 53000 | #Constraints: 9299
386.67/387.77 c #Conflicts: 54000 | #Constraints: 10299
386.67/387.77 c #Conflicts: 55000 | #Constraints: 11299
386.67/387.77 c #Conflicts: 56000 | #Constraints: 12299
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 57000 | #Constraints: 8500
386.67/387.77 c #Conflicts: 58000 | #Constraints: 9500
386.67/387.77 c #Conflicts: 59000 | #Constraints: 10500
386.67/387.77 c #Conflicts: 60000 | #Constraints: 11500
386.67/387.77 c #Conflicts: 61000 | #Constraints: 12500
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 62000 | #Constraints: 8501
386.67/387.77 c #Conflicts: 63000 | #Constraints: 9501
386.67/387.77 c #Conflicts: 64000 | #Constraints: 10501
386.67/387.77 c #Conflicts: 65000 | #Constraints: 11501
386.67/387.77 c #Conflicts: 66000 | #Constraints: 12501
386.67/387.77 c INPROCESSING
386.67/387.77 c GARBAGE COLLECT
386.67/387.77 c #Conflicts: 67000 | #Constraints: 8301
491.03/492.32 c #Conflicts: 68000 | #Constraints: 9301
491.03/492.32 c #Conflicts: 69000 | #Constraints: 10301
491.03/492.32 c #Conflicts: 70000 | #Constraints: 11301
491.03/492.32 c #Conflicts: 71000 | #Constraints: 12301
491.03/492.32 c #Conflicts: 72000 | #Constraints: 13301
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 73000 | #Constraints: 8900
491.03/492.32 c #Conflicts: 74000 | #Constraints: 9900
491.03/492.32 c #Conflicts: 75000 | #Constraints: 10900
491.03/492.32 c #Conflicts: 76000 | #Constraints: 11900
491.03/492.32 c #Conflicts: 77000 | #Constraints: 12900
491.03/492.32 c #Conflicts: 78000 | #Constraints: 13900
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 79000 | #Constraints: 9302
491.03/492.32 c #Conflicts: 80000 | #Constraints: 10302
491.03/492.32 c #Conflicts: 81000 | #Constraints: 11302
491.03/492.32 c #Conflicts: 82000 | #Constraints: 12302
491.03/492.32 c #Conflicts: 83000 | #Constraints: 13302
491.03/492.32 c #Conflicts: 84000 | #Constraints: 14302
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 85000 | #Constraints: 9502
491.03/492.32 c #Conflicts: 86000 | #Constraints: 10502
491.03/492.32 c #Conflicts: 87000 | #Constraints: 11502
491.03/492.32 c #Conflicts: 88000 | #Constraints: 12502
491.03/492.32 c #Conflicts: 89000 | #Constraints: 13502
491.03/492.32 c #Conflicts: 90000 | #Constraints: 14502
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 91000 | #Constraints: 9502
491.03/492.32 c #Conflicts: 92000 | #Constraints: 10502
491.03/492.32 c #Conflicts: 93000 | #Constraints: 11502
491.03/492.32 c #Conflicts: 94000 | #Constraints: 12502
491.03/492.32 c #Conflicts: 95000 | #Constraints: 13502
491.03/492.32 c #Conflicts: 96000 | #Constraints: 14502
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 97000 | #Constraints: 9305
491.03/492.32 c #Conflicts: 98000 | #Constraints: 10305
491.03/492.32 c #Conflicts: 99000 | #Constraints: 11305
491.03/492.32 c #Conflicts: 100000 | #Constraints: 12305
491.03/492.32 c #Conflicts: 101000 | #Constraints: 13305
491.03/492.32 c #Conflicts: 102000 | #Constraints: 14305
491.03/492.32 c #Conflicts: 103000 | #Constraints: 15305
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 104000 | #Constraints: 9902
491.03/492.32 c #Conflicts: 105000 | #Constraints: 10902
491.03/492.32 c #Conflicts: 106000 | #Constraints: 11902
491.03/492.32 c #Conflicts: 107000 | #Constraints: 12902
491.03/492.32 c #Conflicts: 108000 | #Constraints: 13902
491.03/492.32 c #Conflicts: 109000 | #Constraints: 14902
491.03/492.32 c #Conflicts: 110000 | #Constraints: 15902
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 111000 | #Constraints: 10301
491.03/492.32 c #Conflicts: 112000 | #Constraints: 11301
491.03/492.32 c #Conflicts: 113000 | #Constraints: 12301
491.03/492.32 c #Conflicts: 114000 | #Constraints: 13301
491.03/492.32 c #Conflicts: 115000 | #Constraints: 14301
491.03/492.32 c #Conflicts: 116000 | #Constraints: 15301
491.03/492.32 c #Conflicts: 117000 | #Constraints: 16301
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 118000 | #Constraints: 10502
491.03/492.32 c #Conflicts: 119000 | #Constraints: 11502
491.03/492.32 c #Conflicts: 120000 | #Constraints: 12502
491.03/492.32 c #Conflicts: 121000 | #Constraints: 13502
491.03/492.32 c #Conflicts: 122000 | #Constraints: 14502
491.03/492.32 c #Conflicts: 123000 | #Constraints: 15502
491.03/492.32 c #Conflicts: 124000 | #Constraints: 16502
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 125000 | #Constraints: 10502
491.03/492.32 c #Conflicts: 126000 | #Constraints: 11502
491.03/492.32 c #Conflicts: 127000 | #Constraints: 12502
491.03/492.32 c #Conflicts: 128000 | #Constraints: 13502
491.03/492.32 c #Conflicts: 129000 | #Constraints: 14502
491.03/492.32 c #Conflicts: 130000 | #Constraints: 15502
491.03/492.32 c #Conflicts: 131000 | #Constraints: 16502
491.03/492.32 c INPROCESSING
491.03/492.32 c GARBAGE COLLECT
491.03/492.32 c #Conflicts: 132000 | #Constraints: 10302
491.03/492.32 c #Conflicts: 133000 | #Constraints: 11302
491.03/492.32 c #Conflicts: 134000 | #Constraints: 12302
491.03/492.32 c #Conflicts: 135000 | #Constraints: 13302
491.03/492.32 c #Conflicts: 136000 | #Constraints: 14302
491.03/492.32 c #Conflicts: 137000 | #Constraints: 15302
491.03/492.32 c #Conflicts: 138000 | #Constraints: 16302
491.03/492.32 c #Conflicts: 139000 | #Constraints: 17302
491.03/492.32 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 140000 | #Constraints: 10903
605.66/607.28 c #Conflicts: 141000 | #Constraints: 11903
605.66/607.28 c #Conflicts: 142000 | #Constraints: 12903
605.66/607.28 c #Conflicts: 143000 | #Constraints: 13903
605.66/607.28 c #Conflicts: 144000 | #Constraints: 14903
605.66/607.28 c #Conflicts: 145000 | #Constraints: 15903
605.66/607.28 c #Conflicts: 146000 | #Constraints: 16903
605.66/607.28 c #Conflicts: 147000 | #Constraints: 17903
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 148000 | #Constraints: 11303
605.66/607.28 c #Conflicts: 149000 | #Constraints: 12303
605.66/607.28 c #Conflicts: 150000 | #Constraints: 13303
605.66/607.28 c #Conflicts: 151000 | #Constraints: 14303
605.66/607.28 c #Conflicts: 152000 | #Constraints: 15303
605.66/607.28 c #Conflicts: 153000 | #Constraints: 16303
605.66/607.28 c #Conflicts: 154000 | #Constraints: 17303
605.66/607.28 c #Conflicts: 155000 | #Constraints: 18303
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 156000 | #Constraints: 11502
605.66/607.28 c #Conflicts: 157000 | #Constraints: 12502
605.66/607.28 c #Conflicts: 158000 | #Constraints: 13502
605.66/607.28 c #Conflicts: 159000 | #Constraints: 14502
605.66/607.28 c #Conflicts: 160000 | #Constraints: 15502
605.66/607.28 c #Conflicts: 161000 | #Constraints: 16502
605.66/607.28 c #Conflicts: 162000 | #Constraints: 17502
605.66/607.28 c #Conflicts: 163000 | #Constraints: 18502
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 164000 | #Constraints: 11504
605.66/607.28 c #Conflicts: 165000 | #Constraints: 12504
605.66/607.28 c #Conflicts: 166000 | #Constraints: 13504
605.66/607.28 c #Conflicts: 167000 | #Constraints: 14504
605.66/607.28 c #Conflicts: 168000 | #Constraints: 15504
605.66/607.28 c #Conflicts: 169000 | #Constraints: 16504
605.66/607.28 c #Conflicts: 170000 | #Constraints: 17504
605.66/607.28 c #Conflicts: 171000 | #Constraints: 18504
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 172000 | #Constraints: 11302
605.66/607.28 c #Conflicts: 173000 | #Constraints: 12302
605.66/607.28 c #Conflicts: 174000 | #Constraints: 13302
605.66/607.28 c #Conflicts: 175000 | #Constraints: 14302
605.66/607.28 c #Conflicts: 176000 | #Constraints: 15302
605.66/607.28 c #Conflicts: 177000 | #Constraints: 16302
605.66/607.28 c #Conflicts: 178000 | #Constraints: 17302
605.66/607.28 c #Conflicts: 179000 | #Constraints: 18302
605.66/607.28 c #Conflicts: 180000 | #Constraints: 19302
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 181000 | #Constraints: 11904
605.66/607.28 c #Conflicts: 182000 | #Constraints: 12904
605.66/607.28 c #Conflicts: 183000 | #Constraints: 13904
605.66/607.28 c #Conflicts: 184000 | #Constraints: 14904
605.66/607.28 c #Conflicts: 185000 | #Constraints: 15904
605.66/607.28 c #Conflicts: 186000 | #Constraints: 16904
605.66/607.28 c #Conflicts: 187000 | #Constraints: 17904
605.66/607.28 c #Conflicts: 188000 | #Constraints: 18904
605.66/607.28 c #Conflicts: 189000 | #Constraints: 19904
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 190000 | #Constraints: 12303
605.66/607.28 c #Conflicts: 191000 | #Constraints: 13303
605.66/607.28 c #Conflicts: 192000 | #Constraints: 14303
605.66/607.28 c #Conflicts: 193000 | #Constraints: 15303
605.66/607.28 c #Conflicts: 194000 | #Constraints: 16303
605.66/607.28 c #Conflicts: 195000 | #Constraints: 17303
605.66/607.28 c #Conflicts: 196000 | #Constraints: 18303
605.66/607.28 c #Conflicts: 197000 | #Constraints: 19303
605.66/607.28 c #Conflicts: 198000 | #Constraints: 20303
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 199000 | #Constraints: 12503
605.66/607.28 c #Conflicts: 200000 | #Constraints: 13503
605.66/607.28 c #Conflicts: 201000 | #Constraints: 14503
605.66/607.28 c #Conflicts: 202000 | #Constraints: 15503
605.66/607.28 c #Conflicts: 203000 | #Constraints: 16503
605.66/607.28 c #Conflicts: 204000 | #Constraints: 17503
605.66/607.28 c #Conflicts: 205000 | #Constraints: 18503
605.66/607.28 c #Conflicts: 206000 | #Constraints: 19503
605.66/607.28 c #Conflicts: 207000 | #Constraints: 20503
605.66/607.28 c INPROCESSING
605.66/607.28 c GARBAGE COLLECT
605.66/607.28 c #Conflicts: 208000 | #Constraints: 12505
605.66/607.28 c #Conflicts: 209000 | #Constraints: 13505
605.66/607.28 c #Conflicts: 210000 | #Constraints: 14505
605.66/607.28 c #Conflicts: 211000 | #Constraints: 15505
605.66/607.28 c #Conflicts: 212000 | #Constraints: 16505
605.66/607.28 c #Conflicts: 213000 | #Constraints: 17505
612.84/614.48 c #Conflicts: 214000 | #Constraints: 18505
612.84/614.48 c #Conflicts: 215000 | #Constraints: 19505
612.84/614.48 c #Conflicts: 216000 | #Constraints: 20505
612.84/614.48 c INPROCESSING
612.84/614.48 c GARBAGE COLLECT
612.84/614.48 c #Conflicts: 217000 | #Constraints: 12305
612.84/614.48 c finalizing WCE round: reformulating cores
615.13/616.71 c #Conflicts: 218000 | #Constraints: 13308
615.13/616.71 c bounds -1246 >= -37308 @ 612.817
615.13/616.71 c #Conflicts: 219000 | #Constraints: 14308
615.13/616.71 c bounds -1247 >= -37308 @ 614.088
615.13/616.71 c stratification level: 243
615.13/616.73 c bounds -1249 >= -37308 @ 614.105
615.13/616.73 c stratification level: 216
718.98/720.81 c #Conflicts: 220000 | #Constraints: 15310
718.98/720.81 c #Conflicts: 221000 | #Constraints: 16310
718.98/720.81 c #Conflicts: 222000 | #Constraints: 17310
718.98/720.81 c #Conflicts: 223000 | #Constraints: 18310
718.98/720.81 c #Conflicts: 224000 | #Constraints: 19310
718.98/720.81 c #Conflicts: 225000 | #Constraints: 20310
718.98/720.81 c #Conflicts: 226000 | #Constraints: 21310
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 227000 | #Constraints: 12908
718.98/720.81 c #Conflicts: 228000 | #Constraints: 13908
718.98/720.81 c #Conflicts: 229000 | #Constraints: 14908
718.98/720.81 c #Conflicts: 230000 | #Constraints: 15908
718.98/720.81 c #Conflicts: 231000 | #Constraints: 16908
718.98/720.81 c #Conflicts: 232000 | #Constraints: 17908
718.98/720.81 c #Conflicts: 233000 | #Constraints: 18908
718.98/720.81 c #Conflicts: 234000 | #Constraints: 19908
718.98/720.81 c #Conflicts: 235000 | #Constraints: 20908
718.98/720.81 c #Conflicts: 236000 | #Constraints: 21908
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 237000 | #Constraints: 13311
718.98/720.81 c #Conflicts: 238000 | #Constraints: 14311
718.98/720.81 c #Conflicts: 239000 | #Constraints: 15311
718.98/720.81 c #Conflicts: 240000 | #Constraints: 16311
718.98/720.81 c #Conflicts: 241000 | #Constraints: 17311
718.98/720.81 c #Conflicts: 242000 | #Constraints: 18311
718.98/720.81 c #Conflicts: 243000 | #Constraints: 19311
718.98/720.81 c #Conflicts: 244000 | #Constraints: 20311
718.98/720.81 c #Conflicts: 245000 | #Constraints: 21311
718.98/720.81 c #Conflicts: 246000 | #Constraints: 22311
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 247000 | #Constraints: 13517
718.98/720.81 c #Conflicts: 248000 | #Constraints: 14517
718.98/720.81 c #Conflicts: 249000 | #Constraints: 15517
718.98/720.81 c #Conflicts: 250000 | #Constraints: 16517
718.98/720.81 c #Conflicts: 251000 | #Constraints: 17517
718.98/720.81 c #Conflicts: 252000 | #Constraints: 18517
718.98/720.81 c #Conflicts: 253000 | #Constraints: 19517
718.98/720.81 c #Conflicts: 254000 | #Constraints: 20517
718.98/720.81 c #Conflicts: 255000 | #Constraints: 21517
718.98/720.81 c #Conflicts: 256000 | #Constraints: 22517
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 257000 | #Constraints: 13527
718.98/720.81 c #Conflicts: 258000 | #Constraints: 14527
718.98/720.81 c #Conflicts: 259000 | #Constraints: 15527
718.98/720.81 c #Conflicts: 260000 | #Constraints: 16527
718.98/720.81 c #Conflicts: 261000 | #Constraints: 17527
718.98/720.81 c #Conflicts: 262000 | #Constraints: 18527
718.98/720.81 c #Conflicts: 263000 | #Constraints: 19527
718.98/720.81 c #Conflicts: 264000 | #Constraints: 20527
718.98/720.81 c #Conflicts: 265000 | #Constraints: 21527
718.98/720.81 c #Conflicts: 266000 | #Constraints: 22527
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 267000 | #Constraints: 13335
718.98/720.81 c #Conflicts: 268000 | #Constraints: 14335
718.98/720.81 c #Conflicts: 269000 | #Constraints: 15335
718.98/720.81 c #Conflicts: 270000 | #Constraints: 16335
718.98/720.81 c #Conflicts: 271000 | #Constraints: 17335
718.98/720.81 c #Conflicts: 272000 | #Constraints: 18335
718.98/720.81 c #Conflicts: 273000 | #Constraints: 19335
718.98/720.81 c #Conflicts: 274000 | #Constraints: 20335
718.98/720.81 c #Conflicts: 275000 | #Constraints: 21335
718.98/720.81 c #Conflicts: 276000 | #Constraints: 22335
718.98/720.81 c #Conflicts: 277000 | #Constraints: 23335
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 278000 | #Constraints: 13944
718.98/720.81 c #Conflicts: 279000 | #Constraints: 14944
718.98/720.81 c #Conflicts: 280000 | #Constraints: 15944
718.98/720.81 c #Conflicts: 281000 | #Constraints: 16944
718.98/720.81 c #Conflicts: 282000 | #Constraints: 17944
718.98/720.81 c #Conflicts: 283000 | #Constraints: 18944
718.98/720.81 c #Conflicts: 284000 | #Constraints: 19944
718.98/720.81 c #Conflicts: 285000 | #Constraints: 20944
718.98/720.81 c #Conflicts: 286000 | #Constraints: 21944
718.98/720.81 c #Conflicts: 287000 | #Constraints: 22944
718.98/720.81 c #Conflicts: 288000 | #Constraints: 23944
718.98/720.81 c INPROCESSING
718.98/720.81 c GARBAGE COLLECT
718.98/720.81 c #Conflicts: 289000 | #Constraints: 14356
718.98/720.81 c #Conflicts: 290000 | #Constraints: 15356
718.98/720.81 c #Conflicts: 291000 | #Constraints: 16356
718.98/720.81 c #Conflicts: 292000 | #Constraints: 17356
718.98/720.81 c #Conflicts: 293000 | #Constraints: 18356
718.98/720.81 c #Conflicts: 294000 | #Constraints: 19356
844.48/846.68 c #Conflicts: 295000 | #Constraints: 20356
844.48/846.68 c #Conflicts: 296000 | #Constraints: 21356
844.48/846.68 c #Conflicts: 297000 | #Constraints: 22356
844.48/846.68 c #Conflicts: 298000 | #Constraints: 23356
844.48/846.68 c #Conflicts: 299000 | #Constraints: 24356
844.48/846.68 c INPROCESSING
844.48/846.68 c GARBAGE COLLECT
844.48/846.68 c #Conflicts: 300000 | #Constraints: 14564
844.48/846.68 c #Conflicts: 301000 | #Constraints: 15564
844.48/846.68 c #Conflicts: 302000 | #Constraints: 16564
844.48/846.68 c #Conflicts: 303000 | #Constraints: 17564
844.48/846.68 c #Conflicts: 304000 | #Constraints: 18564
844.48/846.68 c #Conflicts: 305000 | #Constraints: 19564
844.48/846.68 c #Conflicts: 306000 | #Constraints: 20564
844.48/846.68 c #Conflicts: 307000 | #Constraints: 21564
844.48/846.68 c #Conflicts: 308000 | #Constraints: 22564
844.48/846.68 c #Conflicts: 309000 | #Constraints: 23564
844.48/846.68 c #Conflicts: 310000 | #Constraints: 24564
844.48/846.68 c INPROCESSING
844.48/846.68 c GARBAGE COLLECT
844.48/846.68 c #Conflicts: 311000 | #Constraints: 14574
844.48/846.68 c #Conflicts: 312000 | #Constraints: 15574
844.48/846.68 c #Conflicts: 313000 | #Constraints: 16574
844.48/846.68 c #Conflicts: 314000 | #Constraints: 17574
844.48/846.68 c #Conflicts: 315000 | #Constraints: 18574
844.48/846.68 c #Conflicts: 316000 | #Constraints: 19574
844.48/846.68 c #Conflicts: 317000 | #Constraints: 20574
844.48/846.68 c #Conflicts: 318000 | #Constraints: 21574
844.48/846.68 c #Conflicts: 319000 | #Constraints: 22574
844.48/846.68 c #Conflicts: 320000 | #Constraints: 23574
844.48/846.68 c #Conflicts: 321000 | #Constraints: 24574
844.48/846.68 c INPROCESSING
844.48/846.68 c GARBAGE COLLECT
844.48/846.68 c #Conflicts: 322000 | #Constraints: 14382
844.48/846.68 c #Conflicts: 323000 | #Constraints: 15382
844.48/846.68 c #Conflicts: 324000 | #Constraints: 16382
844.48/846.68 c #Conflicts: 325000 | #Constraints: 17382
844.48/846.68 c #Conflicts: 326000 | #Constraints: 18382
844.48/846.68 c #Conflicts: 327000 | #Constraints: 19382
844.48/846.68 c #Conflicts: 328000 | #Constraints: 20382
844.48/846.68 c #Conflicts: 329000 | #Constraints: 21382
844.48/846.68 c #Conflicts: 330000 | #Constraints: 22382
844.48/846.68 c #Conflicts: 331000 | #Constraints: 23382
844.48/846.68 c #Conflicts: 332000 | #Constraints: 24382
844.48/846.68 c #Conflicts: 333000 | #Constraints: 25382
844.48/846.68 c INPROCESSING
844.48/846.68 c GARBAGE COLLECT
844.48/846.68 c #Conflicts: 334000 | #Constraints: 14988
844.48/846.68 c #Conflicts: 335000 | #Constraints: 15988
844.48/846.68 c #Conflicts: 336000 | #Constraints: 16988
844.48/846.68 c #Conflicts: 337000 | #Constraints: 17988
844.48/846.68 c #Conflicts: 338000 | #Constraints: 18988
844.48/846.68 c #Conflicts: 339000 | #Constraints: 19988
844.48/846.68 c #Conflicts: 340000 | #Constraints: 20988
844.48/846.68 c #Conflicts: 341000 | #Constraints: 21988
844.48/846.68 c #Conflicts: 342000 | #Constraints: 22988
844.48/846.68 c #Conflicts: 343000 | #Constraints: 23988
844.48/846.68 c #Conflicts: 344000 | #Constraints: 24988
844.48/846.68 c #Conflicts: 345000 | #Constraints: 25988
844.48/846.68 c INPROCESSING
844.48/846.68 c GARBAGE COLLECT
844.48/846.68 c #Conflicts: 346000 | #Constraints: 15395
844.48/846.68 c #Conflicts: 347000 | #Constraints: 16395
844.48/846.68 c #Conflicts: 348000 | #Constraints: 17395
844.48/846.68 c #Conflicts: 349000 | #Constraints: 18395
844.48/846.68 c #Conflicts: 350000 | #Constraints: 19395
844.48/846.68 c #Conflicts: 351000 | #Constraints: 20395
844.48/846.68 c #Conflicts: 352000 | #Constraints: 21395
844.48/846.68 c #Conflicts: 353000 | #Constraints: 22395
844.48/846.68 c #Conflicts: 354000 | #Constraints: 23395
844.48/846.68 c #Conflicts: 355000 | #Constraints: 24395
844.48/846.68 c #Conflicts: 356000 | #Constraints: 25395
844.48/846.68 c #Conflicts: 357000 | #Constraints: 26395
844.48/846.68 c INPROCESSING
844.48/846.68 c GARBAGE COLLECT
844.48/846.68 c #Conflicts: 358000 | #Constraints: 15609
844.48/846.68 c #Conflicts: 359000 | #Constraints: 16609
844.48/846.68 c #Conflicts: 360000 | #Constraints: 17609
844.48/846.68 c #Conflicts: 361000 | #Constraints: 18609
844.48/846.68 c #Conflicts: 362000 | #Constraints: 19609
844.48/846.68 c #Conflicts: 363000 | #Constraints: 20609
844.48/846.68 c #Conflicts: 364000 | #Constraints: 21609
844.48/846.68 c #Conflicts: 365000 | #Constraints: 22609
844.48/846.68 c #Conflicts: 366000 | #Constraints: 23609
844.48/846.68 c #Conflicts: 367000 | #Constraints: 24609
844.48/846.68 c #Conflicts: 368000 | #Constraints: 25609
844.48/846.68 c #Conflicts: 369000 | #Constraints: 26609
995.01/997.54 c INPROCESSING
995.01/997.54 c GARBAGE COLLECT
995.01/997.54 c #Conflicts: 370000 | #Constraints: 15624
995.01/997.54 c #Conflicts: 371000 | #Constraints: 16624
995.01/997.54 c #Conflicts: 372000 | #Constraints: 17624
995.01/997.54 c #Conflicts: 373000 | #Constraints: 18624
995.01/997.54 c #Conflicts: 374000 | #Constraints: 19624
995.01/997.54 c #Conflicts: 375000 | #Constraints: 20624
995.01/997.54 c #Conflicts: 376000 | #Constraints: 21624
995.01/997.54 c #Conflicts: 377000 | #Constraints: 22624
995.01/997.54 c #Conflicts: 378000 | #Constraints: 23624
995.01/997.54 c #Conflicts: 379000 | #Constraints: 24624
995.01/997.54 c #Conflicts: 380000 | #Constraints: 25624
995.01/997.54 c #Conflicts: 381000 | #Constraints: 26624
995.01/997.54 c INPROCESSING
995.01/997.54 c GARBAGE COLLECT
995.01/997.54 c #Conflicts: 382000 | #Constraints: 15438
995.01/997.54 c #Conflicts: 383000 | #Constraints: 16438
995.01/997.54 c #Conflicts: 384000 | #Constraints: 17438
995.01/997.54 c #Conflicts: 385000 | #Constraints: 18438
995.01/997.54 c #Conflicts: 386000 | #Constraints: 19438
995.01/997.54 c #Conflicts: 387000 | #Constraints: 20438
995.01/997.54 c #Conflicts: 388000 | #Constraints: 21438
995.01/997.54 c #Conflicts: 389000 | #Constraints: 22438
995.01/997.54 c #Conflicts: 390000 | #Constraints: 23438
995.01/997.54 c #Conflicts: 391000 | #Constraints: 24438
995.01/997.54 c #Conflicts: 392000 | #Constraints: 25438
995.01/997.54 c #Conflicts: 393000 | #Constraints: 26438
995.01/997.54 c #Conflicts: 394000 | #Constraints: 27438
995.01/997.54 c INPROCESSING
995.01/997.54 c GARBAGE COLLECT
995.01/997.54 c #Conflicts: 395000 | #Constraints: 16051
995.01/997.54 c #Conflicts: 396000 | #Constraints: 17051
995.01/997.54 c #Conflicts: 397000 | #Constraints: 18051
995.01/997.54 c #Conflicts: 398000 | #Constraints: 19051
995.01/997.54 c #Conflicts: 399000 | #Constraints: 20051
995.01/997.54 c #Conflicts: 400000 | #Constraints: 21051
995.01/997.54 c #Conflicts: 401000 | #Constraints: 22051
995.01/997.54 c #Conflicts: 402000 | #Constraints: 23051
995.01/997.54 c #Conflicts: 403000 | #Constraints: 24051
995.01/997.54 c #Conflicts: 404000 | #Constraints: 25051
995.01/997.54 c #Conflicts: 405000 | #Constraints: 26051
995.01/997.54 c #Conflicts: 406000 | #Constraints: 27051
995.01/997.54 c #Conflicts: 407000 | #Constraints: 28051
995.01/997.54 c INPROCESSING
995.01/997.54 c GARBAGE COLLECT
995.01/997.54 c #Conflicts: 408000 | #Constraints: 16464
995.01/997.54 c #Conflicts: 409000 | #Constraints: 17464
995.01/997.54 c #Conflicts: 410000 | #Constraints: 18464
995.01/997.54 c #Conflicts: 411000 | #Constraints: 19464
995.01/997.54 c #Conflicts: 412000 | #Constraints: 20464
995.01/997.54 c #Conflicts: 413000 | #Constraints: 21464
995.01/997.54 c #Conflicts: 414000 | #Constraints: 22464
995.01/997.54 c #Conflicts: 415000 | #Constraints: 23464
995.01/997.54 c #Conflicts: 416000 | #Constraints: 24464
995.01/997.54 c #Conflicts: 417000 | #Constraints: 25464
995.01/997.54 c #Conflicts: 418000 | #Constraints: 26464
995.01/997.54 c #Conflicts: 419000 | #Constraints: 27464
995.01/997.54 c #Conflicts: 420000 | #Constraints: 28464
995.01/997.54 c INPROCESSING
995.01/997.54 c GARBAGE COLLECT
995.01/997.54 c #Conflicts: 421000 | #Constraints: 16668
995.01/997.54 c #Conflicts: 422000 | #Constraints: 17668
995.01/997.54 c #Conflicts: 423000 | #Constraints: 18668
995.01/997.54 c #Conflicts: 424000 | #Constraints: 19668
995.01/997.54 c #Conflicts: 425000 | #Constraints: 20668
995.01/997.54 c #Conflicts: 426000 | #Constraints: 21668
995.01/997.54 c #Conflicts: 427000 | #Constraints: 22668
995.01/997.54 c #Conflicts: 428000 | #Constraints: 23668
995.01/997.54 c #Conflicts: 429000 | #Constraints: 24668
995.01/997.54 c #Conflicts: 430000 | #Constraints: 25668
995.01/997.54 c #Conflicts: 431000 | #Constraints: 26668
995.01/997.54 c #Conflicts: 432000 | #Constraints: 27668
995.01/997.54 c #Conflicts: 433000 | #Constraints: 28668
995.01/997.54 c INPROCESSING
995.01/997.54 c GARBAGE COLLECT
995.01/997.54 c #Conflicts: 434000 | #Constraints: 16669
995.01/997.54 c #Conflicts: 435000 | #Constraints: 17669
995.01/997.54 c #Conflicts: 436000 | #Constraints: 18669
995.01/997.54 c #Conflicts: 437000 | #Constraints: 19669
995.01/997.54 c #Conflicts: 438000 | #Constraints: 20669
995.01/997.54 c #Conflicts: 439000 | #Constraints: 21669
995.01/997.54 c #Conflicts: 440000 | #Constraints: 22669
995.01/997.54 c #Conflicts: 441000 | #Constraints: 23669
995.01/997.54 c #Conflicts: 442000 | #Constraints: 24669
995.01/997.54 c #Conflicts: 443000 | #Constraints: 25669
995.01/997.54 c #Conflicts: 444000 | #Constraints: 26669
1168.68/1171.68 c #Conflicts: 445000 | #Constraints: 27669
1168.68/1171.68 c #Conflicts: 446000 | #Constraints: 28669
1168.68/1171.68 c INPROCESSING
1168.68/1171.68 c GARBAGE COLLECT
1168.68/1171.68 c #Conflicts: 447000 | #Constraints: 16475
1168.68/1171.68 c #Conflicts: 448000 | #Constraints: 17475
1168.68/1171.68 c #Conflicts: 449000 | #Constraints: 18475
1168.68/1171.68 c #Conflicts: 450000 | #Constraints: 19475
1168.68/1171.68 c #Conflicts: 451000 | #Constraints: 20475
1168.68/1171.68 c #Conflicts: 452000 | #Constraints: 21475
1168.68/1171.68 c #Conflicts: 453000 | #Constraints: 22475
1168.68/1171.68 c #Conflicts: 454000 | #Constraints: 23475
1168.68/1171.68 c #Conflicts: 455000 | #Constraints: 24475
1168.68/1171.68 c #Conflicts: 456000 | #Constraints: 25475
1168.68/1171.68 c #Conflicts: 457000 | #Constraints: 26475
1168.68/1171.68 c #Conflicts: 458000 | #Constraints: 27475
1168.68/1171.68 c #Conflicts: 459000 | #Constraints: 28475
1168.68/1171.68 c #Conflicts: 460000 | #Constraints: 29475
1168.68/1171.68 c INPROCESSING
1168.68/1171.68 c GARBAGE COLLECT
1168.68/1171.68 c #Conflicts: 461000 | #Constraints: 17080
1168.68/1171.68 c #Conflicts: 462000 | #Constraints: 18080
1168.68/1171.68 c #Conflicts: 463000 | #Constraints: 19080
1168.68/1171.68 c #Conflicts: 464000 | #Constraints: 20080
1168.68/1171.68 c #Conflicts: 465000 | #Constraints: 21080
1168.68/1171.68 c #Conflicts: 466000 | #Constraints: 22080
1168.68/1171.68 c #Conflicts: 467000 | #Constraints: 23080
1168.68/1171.68 c #Conflicts: 468000 | #Constraints: 24080
1168.68/1171.68 c #Conflicts: 469000 | #Constraints: 25080
1168.68/1171.68 c #Conflicts: 470000 | #Constraints: 26080
1168.68/1171.68 c #Conflicts: 471000 | #Constraints: 27080
1168.68/1171.68 c #Conflicts: 472000 | #Constraints: 28080
1168.68/1171.68 c #Conflicts: 473000 | #Constraints: 29080
1168.68/1171.68 c #Conflicts: 474000 | #Constraints: 30080
1168.68/1171.68 c INPROCESSING
1168.68/1171.68 c GARBAGE COLLECT
1168.68/1171.68 c #Conflicts: 475000 | #Constraints: 17486
1168.68/1171.68 c #Conflicts: 476000 | #Constraints: 18486
1168.68/1171.68 c #Conflicts: 477000 | #Constraints: 19486
1168.68/1171.68 c #Conflicts: 478000 | #Constraints: 20486
1168.68/1171.68 c #Conflicts: 479000 | #Constraints: 21486
1168.68/1171.68 c #Conflicts: 480000 | #Constraints: 22486
1168.68/1171.68 c #Conflicts: 481000 | #Constraints: 23486
1168.68/1171.68 c #Conflicts: 482000 | #Constraints: 24486
1168.68/1171.68 c #Conflicts: 483000 | #Constraints: 25486
1168.68/1171.68 c #Conflicts: 484000 | #Constraints: 26486
1168.68/1171.68 c #Conflicts: 485000 | #Constraints: 27486
1168.68/1171.68 c #Conflicts: 486000 | #Constraints: 28486
1168.68/1171.68 c #Conflicts: 487000 | #Constraints: 29486
1168.68/1171.68 c #Conflicts: 488000 | #Constraints: 30486
1168.68/1171.68 c INPROCESSING
1168.68/1171.68 c GARBAGE COLLECT
1168.68/1171.68 c #Conflicts: 489000 | #Constraints: 17688
1168.68/1171.68 c #Conflicts: 490000 | #Constraints: 18688
1168.68/1171.68 c #Conflicts: 491000 | #Constraints: 19688
1168.68/1171.68 c #Conflicts: 492000 | #Constraints: 20688
1168.68/1171.68 c #Conflicts: 493000 | #Constraints: 21688
1168.68/1171.68 c #Conflicts: 494000 | #Constraints: 22688
1168.68/1171.68 c #Conflicts: 495000 | #Constraints: 23688
1168.68/1171.68 c #Conflicts: 496000 | #Constraints: 24688
1168.68/1171.68 c #Conflicts: 497000 | #Constraints: 25688
1168.68/1171.68 c #Conflicts: 498000 | #Constraints: 26688
1168.68/1171.68 c #Conflicts: 499000 | #Constraints: 27688
1168.68/1171.68 c #Conflicts: 500000 | #Constraints: 28688
1168.68/1171.68 c #Conflicts: 501000 | #Constraints: 29688
1168.68/1171.68 c #Conflicts: 502000 | #Constraints: 30688
1168.68/1171.68 c INPROCESSING
1168.68/1171.68 c GARBAGE COLLECT
1168.68/1171.68 c #Conflicts: 503000 | #Constraints: 17690
1168.68/1171.68 c #Conflicts: 504000 | #Constraints: 18690
1168.68/1171.68 c #Conflicts: 505000 | #Constraints: 19690
1168.68/1171.68 c #Conflicts: 506000 | #Constraints: 20690
1168.68/1171.68 c #Conflicts: 507000 | #Constraints: 21690
1168.68/1171.68 c #Conflicts: 508000 | #Constraints: 22690
1168.68/1171.68 c #Conflicts: 509000 | #Constraints: 23690
1168.68/1171.68 c #Conflicts: 510000 | #Constraints: 24690
1168.68/1171.68 c #Conflicts: 511000 | #Constraints: 25690
1168.68/1171.68 c #Conflicts: 512000 | #Constraints: 26690
1168.68/1171.68 c #Conflicts: 513000 | #Constraints: 27690
1168.68/1171.68 c #Conflicts: 514000 | #Constraints: 28690
1168.68/1171.68 c #Conflicts: 515000 | #Constraints: 29690
1168.68/1171.68 c #Conflicts: 516000 | #Constraints: 30690
1168.68/1171.68 c INPROCESSING
1168.68/1171.68 c GARBAGE COLLECT
1168.68/1171.68 c #Conflicts: 517000 | #Constraints: 17496
1168.68/1171.68 c #Conflicts: 518000 | #Constraints: 18496
1168.68/1171.68 c #Conflicts: 519000 | #Constraints: 19496
1363.50/1366.97 c #Conflicts: 520000 | #Constraints: 20496
1363.50/1366.97 c #Conflicts: 521000 | #Constraints: 21496
1363.50/1366.97 c #Conflicts: 522000 | #Constraints: 22496
1363.50/1366.97 c #Conflicts: 523000 | #Constraints: 23496
1363.50/1366.97 c #Conflicts: 524000 | #Constraints: 24496
1363.50/1366.97 c #Conflicts: 525000 | #Constraints: 25496
1363.50/1366.97 c #Conflicts: 526000 | #Constraints: 26496
1363.50/1366.97 c #Conflicts: 527000 | #Constraints: 27496
1363.50/1366.97 c #Conflicts: 528000 | #Constraints: 28496
1363.50/1366.97 c #Conflicts: 529000 | #Constraints: 29496
1363.50/1366.97 c #Conflicts: 530000 | #Constraints: 30496
1363.50/1366.97 c #Conflicts: 531000 | #Constraints: 31496
1363.50/1366.97 c INPROCESSING
1363.50/1366.97 c GARBAGE COLLECT
1363.50/1366.97 c #Conflicts: 532000 | #Constraints: 18101
1363.50/1366.97 c #Conflicts: 533000 | #Constraints: 19101
1363.50/1366.97 c #Conflicts: 534000 | #Constraints: 20101
1363.50/1366.97 c #Conflicts: 535000 | #Constraints: 21101
1363.50/1366.97 c #Conflicts: 536000 | #Constraints: 22101
1363.50/1366.97 c #Conflicts: 537000 | #Constraints: 23101
1363.50/1366.97 c #Conflicts: 538000 | #Constraints: 24101
1363.50/1366.97 c #Conflicts: 539000 | #Constraints: 25101
1363.50/1366.97 c #Conflicts: 540000 | #Constraints: 26101
1363.50/1366.97 c #Conflicts: 541000 | #Constraints: 27101
1363.50/1366.97 c #Conflicts: 542000 | #Constraints: 28101
1363.50/1366.97 c #Conflicts: 543000 | #Constraints: 29101
1363.50/1366.97 c #Conflicts: 544000 | #Constraints: 30101
1363.50/1366.97 c #Conflicts: 545000 | #Constraints: 31101
1363.50/1366.97 c #Conflicts: 546000 | #Constraints: 32101
1363.50/1366.97 c INPROCESSING
1363.50/1366.97 c GARBAGE COLLECT
1363.50/1366.97 c #Conflicts: 547000 | #Constraints: 18502
1363.50/1366.97 c #Conflicts: 548000 | #Constraints: 19502
1363.50/1366.97 c #Conflicts: 549000 | #Constraints: 20502
1363.50/1366.97 c #Conflicts: 550000 | #Constraints: 21502
1363.50/1366.97 c #Conflicts: 551000 | #Constraints: 22502
1363.50/1366.97 c #Conflicts: 552000 | #Constraints: 23502
1363.50/1366.97 c #Conflicts: 553000 | #Constraints: 24502
1363.50/1366.97 c #Conflicts: 554000 | #Constraints: 25502
1363.50/1366.97 c #Conflicts: 555000 | #Constraints: 26502
1363.50/1366.97 c #Conflicts: 556000 | #Constraints: 27502
1363.50/1366.97 c #Conflicts: 557000 | #Constraints: 28502
1363.50/1366.97 c #Conflicts: 558000 | #Constraints: 29502
1363.50/1366.97 c #Conflicts: 559000 | #Constraints: 30502
1363.50/1366.97 c #Conflicts: 560000 | #Constraints: 31502
1363.50/1366.97 c #Conflicts: 561000 | #Constraints: 32502
1363.50/1366.97 c INPROCESSING
1363.50/1366.97 c GARBAGE COLLECT
1363.50/1366.97 c #Conflicts: 562000 | #Constraints: 18708
1363.50/1366.97 c #Conflicts: 563000 | #Constraints: 19708
1363.50/1366.97 c #Conflicts: 564000 | #Constraints: 20708
1363.50/1366.97 c #Conflicts: 565000 | #Constraints: 21708
1363.50/1366.97 c #Conflicts: 566000 | #Constraints: 22708
1363.50/1366.97 c #Conflicts: 567000 | #Constraints: 23708
1363.50/1366.97 c #Conflicts: 568000 | #Constraints: 24708
1363.50/1366.97 c #Conflicts: 569000 | #Constraints: 25708
1363.50/1366.97 c #Conflicts: 570000 | #Constraints: 26708
1363.50/1366.97 c #Conflicts: 571000 | #Constraints: 27708
1363.50/1366.97 c #Conflicts: 572000 | #Constraints: 28708
1363.50/1366.97 c #Conflicts: 573000 | #Constraints: 29708
1363.50/1366.97 c #Conflicts: 574000 | #Constraints: 30708
1363.50/1366.97 c #Conflicts: 575000 | #Constraints: 31708
1363.50/1366.97 c #Conflicts: 576000 | #Constraints: 32708
1363.50/1366.97 c INPROCESSING
1363.50/1366.97 c GARBAGE COLLECT
1363.50/1366.97 c #Conflicts: 577000 | #Constraints: 18711
1363.50/1366.97 c #Conflicts: 578000 | #Constraints: 19711
1363.50/1366.97 c #Conflicts: 579000 | #Constraints: 20711
1363.50/1366.97 c #Conflicts: 580000 | #Constraints: 21711
1363.50/1366.97 c #Conflicts: 581000 | #Constraints: 22711
1363.50/1366.97 c #Conflicts: 582000 | #Constraints: 23711
1363.50/1366.97 c #Conflicts: 583000 | #Constraints: 24711
1363.50/1366.97 c #Conflicts: 584000 | #Constraints: 25711
1363.50/1366.97 c #Conflicts: 585000 | #Constraints: 26711
1363.50/1366.97 c #Conflicts: 586000 | #Constraints: 27711
1363.50/1366.97 c #Conflicts: 587000 | #Constraints: 28711
1363.50/1366.97 c #Conflicts: 588000 | #Constraints: 29711
1363.50/1366.97 c #Conflicts: 589000 | #Constraints: 30711
1363.50/1366.97 c #Conflicts: 590000 | #Constraints: 31711
1363.50/1366.97 c #Conflicts: 591000 | #Constraints: 32711
1363.50/1366.97 c INPROCESSING
1363.50/1366.97 c GARBAGE COLLECT
1363.50/1366.97 c #Conflicts: 592000 | #Constraints: 18516
1363.50/1366.97 c #Conflicts: 593000 | #Constraints: 19516
1363.50/1366.97 c #Conflicts: 594000 | #Constraints: 20516
1567.49/1571.45 c #Conflicts: 595000 | #Constraints: 21516
1567.49/1571.45 c #Conflicts: 596000 | #Constraints: 22516
1567.49/1571.45 c #Conflicts: 597000 | #Constraints: 23516
1567.49/1571.45 c #Conflicts: 598000 | #Constraints: 24516
1567.49/1571.45 c #Conflicts: 599000 | #Constraints: 25516
1567.49/1571.45 c #Conflicts: 600000 | #Constraints: 26516
1567.49/1571.45 c #Conflicts: 601000 | #Constraints: 27516
1567.49/1571.45 c #Conflicts: 602000 | #Constraints: 28516
1567.49/1571.45 c #Conflicts: 603000 | #Constraints: 29516
1567.49/1571.45 c #Conflicts: 604000 | #Constraints: 30516
1567.49/1571.45 c #Conflicts: 605000 | #Constraints: 31516
1567.49/1571.45 c #Conflicts: 606000 | #Constraints: 32516
1567.49/1571.45 c #Conflicts: 607000 | #Constraints: 33516
1567.49/1571.45 c INPROCESSING
1567.49/1571.45 c GARBAGE COLLECT
1567.49/1571.45 c #Conflicts: 608000 | #Constraints: 19118
1567.49/1571.45 c #Conflicts: 609000 | #Constraints: 20118
1567.49/1571.45 c #Conflicts: 610000 | #Constraints: 21118
1567.49/1571.45 c #Conflicts: 611000 | #Constraints: 22118
1567.49/1571.45 c #Conflicts: 612000 | #Constraints: 23118
1567.49/1571.45 c #Conflicts: 613000 | #Constraints: 24118
1567.49/1571.45 c #Conflicts: 614000 | #Constraints: 25118
1567.49/1571.45 c #Conflicts: 615000 | #Constraints: 26118
1567.49/1571.45 c #Conflicts: 616000 | #Constraints: 27118
1567.49/1571.45 c #Conflicts: 617000 | #Constraints: 28118
1567.49/1571.45 c #Conflicts: 618000 | #Constraints: 29118
1567.49/1571.45 c #Conflicts: 619000 | #Constraints: 30118
1567.49/1571.45 c #Conflicts: 620000 | #Constraints: 31118
1567.49/1571.45 c #Conflicts: 621000 | #Constraints: 32118
1567.49/1571.45 c #Conflicts: 622000 | #Constraints: 33118
1567.49/1571.45 c #Conflicts: 623000 | #Constraints: 34118
1567.49/1571.45 c INPROCESSING
1567.49/1571.45 c GARBAGE COLLECT
1567.49/1571.45 c #Conflicts: 624000 | #Constraints: 19520
1567.49/1571.45 c #Conflicts: 625000 | #Constraints: 20520
1567.49/1571.45 c #Conflicts: 626000 | #Constraints: 21520
1567.49/1571.45 c #Conflicts: 627000 | #Constraints: 22520
1567.49/1571.45 c #Conflicts: 628000 | #Constraints: 23520
1567.49/1571.45 c #Conflicts: 629000 | #Constraints: 24520
1567.49/1571.45 c #Conflicts: 630000 | #Constraints: 25520
1567.49/1571.45 c #Conflicts: 631000 | #Constraints: 26520
1567.49/1571.45 c #Conflicts: 632000 | #Constraints: 27520
1567.49/1571.45 c #Conflicts: 633000 | #Constraints: 28520
1567.49/1571.45 c #Conflicts: 634000 | #Constraints: 29520
1567.49/1571.45 c #Conflicts: 635000 | #Constraints: 30520
1567.49/1571.45 c #Conflicts: 636000 | #Constraints: 31520
1567.49/1571.45 c #Conflicts: 637000 | #Constraints: 32520
1567.49/1571.45 c #Conflicts: 638000 | #Constraints: 33520
1567.49/1571.45 c #Conflicts: 639000 | #Constraints: 34520
1567.49/1571.45 c INPROCESSING
1567.49/1571.45 c GARBAGE COLLECT
1567.49/1571.45 c #Conflicts: 640000 | #Constraints: 19723
1567.49/1571.45 c #Conflicts: 641000 | #Constraints: 20723
1567.49/1571.45 c #Conflicts: 642000 | #Constraints: 21723
1567.49/1571.45 c #Conflicts: 643000 | #Constraints: 22723
1567.49/1571.45 c #Conflicts: 644000 | #Constraints: 23723
1567.49/1571.45 c #Conflicts: 645000 | #Constraints: 24723
1567.49/1571.45 c #Conflicts: 646000 | #Constraints: 25723
1567.49/1571.45 c #Conflicts: 647000 | #Constraints: 26723
1567.49/1571.45 c #Conflicts: 648000 | #Constraints: 27723
1567.49/1571.45 c #Conflicts: 649000 | #Constraints: 28723
1567.49/1571.45 c #Conflicts: 650000 | #Constraints: 29723
1567.49/1571.45 c #Conflicts: 651000 | #Constraints: 30723
1567.49/1571.45 c #Conflicts: 652000 | #Constraints: 31723
1567.49/1571.45 c #Conflicts: 653000 | #Constraints: 32723
1567.49/1571.45 c #Conflicts: 654000 | #Constraints: 33723
1567.49/1571.45 c #Conflicts: 655000 | #Constraints: 34723
1567.49/1571.45 c INPROCESSING
1567.49/1571.45 c GARBAGE COLLECT
1567.49/1571.45 c #Conflicts: 656000 | #Constraints: 19724
1567.49/1571.45 c #Conflicts: 657000 | #Constraints: 20724
1567.49/1571.45 c #Conflicts: 658000 | #Constraints: 21724
1567.49/1571.45 c #Conflicts: 659000 | #Constraints: 22724
1567.49/1571.45 c #Conflicts: 660000 | #Constraints: 23724
1567.49/1571.45 c #Conflicts: 661000 | #Constraints: 24724
1567.49/1571.45 c #Conflicts: 662000 | #Constraints: 25724
1567.49/1571.45 c #Conflicts: 663000 | #Constraints: 26724
1567.49/1571.45 c #Conflicts: 664000 | #Constraints: 27724
1567.49/1571.45 c #Conflicts: 665000 | #Constraints: 28724
1567.49/1571.45 c #Conflicts: 666000 | #Constraints: 29724
1567.49/1571.45 c #Conflicts: 667000 | #Constraints: 30724
1567.49/1571.45 c #Conflicts: 668000 | #Constraints: 31724
1567.49/1571.45 c #Conflicts: 669000 | #Constraints: 32724
1567.49/1571.45 c #Conflicts: 670000 | #Constraints: 33724
1567.49/1571.45 c #Conflicts: 671000 | #Constraints: 34724
1763.85/1768.20 c INPROCESSING
1763.85/1768.20 c GARBAGE COLLECT
1763.85/1768.20 c #Conflicts: 672000 | #Constraints: 19522
1763.85/1768.20 c #Conflicts: 673000 | #Constraints: 20522
1763.85/1768.20 c #Conflicts: 674000 | #Constraints: 21522
1763.85/1768.20 c #Conflicts: 675000 | #Constraints: 22522
1763.85/1768.20 c #Conflicts: 676000 | #Constraints: 23522
1763.85/1768.20 c #Conflicts: 677000 | #Constraints: 24522
1763.85/1768.20 c #Conflicts: 678000 | #Constraints: 25522
1763.85/1768.20 c #Conflicts: 679000 | #Constraints: 26522
1763.85/1768.20 c #Conflicts: 680000 | #Constraints: 27522
1763.85/1768.20 c #Conflicts: 681000 | #Constraints: 28522
1763.85/1768.20 c #Conflicts: 682000 | #Constraints: 29522
1763.85/1768.20 c #Conflicts: 683000 | #Constraints: 30522
1763.85/1768.20 c #Conflicts: 684000 | #Constraints: 31522
1763.85/1768.20 c #Conflicts: 685000 | #Constraints: 32522
1763.85/1768.20 c #Conflicts: 686000 | #Constraints: 33522
1763.85/1768.20 c #Conflicts: 687000 | #Constraints: 34522
1763.85/1768.20 c #Conflicts: 688000 | #Constraints: 35522
1763.85/1768.20 c INPROCESSING
1763.85/1768.20 c GARBAGE COLLECT
1763.85/1768.20 c #Conflicts: 689000 | #Constraints: 20125
1763.85/1768.20 c #Conflicts: 690000 | #Constraints: 21125
1763.85/1768.20 c #Conflicts: 691000 | #Constraints: 22125
1763.85/1768.20 c #Conflicts: 692000 | #Constraints: 23125
1763.85/1768.20 c #Conflicts: 693000 | #Constraints: 24125
1763.85/1768.20 c #Conflicts: 694000 | #Constraints: 25125
1763.85/1768.20 c #Conflicts: 695000 | #Constraints: 26125
1763.85/1768.20 c #Conflicts: 696000 | #Constraints: 27125
1763.85/1768.20 c #Conflicts: 697000 | #Constraints: 28125
1763.85/1768.20 c #Conflicts: 698000 | #Constraints: 29125
1763.85/1768.20 c #Conflicts: 699000 | #Constraints: 30125
1763.85/1768.20 c #Conflicts: 700000 | #Constraints: 31125
1763.85/1768.20 c #Conflicts: 701000 | #Constraints: 32125
1763.85/1768.20 c #Conflicts: 702000 | #Constraints: 33125
1763.85/1768.20 c #Conflicts: 703000 | #Constraints: 34125
1763.85/1768.20 c #Conflicts: 704000 | #Constraints: 35125
1763.85/1768.20 c #Conflicts: 705000 | #Constraints: 36125
1763.85/1768.20 c INPROCESSING
1763.85/1768.20 c GARBAGE COLLECT
1763.85/1768.20 c #Conflicts: 706000 | #Constraints: 20527
1763.85/1768.20 c #Conflicts: 707000 | #Constraints: 21527
1763.85/1768.20 c #Conflicts: 708000 | #Constraints: 22527
1763.85/1768.20 c #Conflicts: 709000 | #Constraints: 23527
1763.85/1768.20 c #Conflicts: 710000 | #Constraints: 24527
1763.85/1768.20 c #Conflicts: 711000 | #Constraints: 25527
1763.85/1768.20 c #Conflicts: 712000 | #Constraints: 26527
1763.85/1768.20 c #Conflicts: 713000 | #Constraints: 27527
1763.85/1768.20 c #Conflicts: 714000 | #Constraints: 28527
1763.85/1768.20 c #Conflicts: 715000 | #Constraints: 29527
1763.85/1768.20 c #Conflicts: 716000 | #Constraints: 30527
1763.85/1768.20 c #Conflicts: 717000 | #Constraints: 31527
1763.85/1768.20 c #Conflicts: 718000 | #Constraints: 32527
1763.85/1768.20 c #Conflicts: 719000 | #Constraints: 33527
1763.85/1768.20 c #Conflicts: 720000 | #Constraints: 34527
1763.85/1768.20 c #Conflicts: 721000 | #Constraints: 35527
1763.85/1768.20 c #Conflicts: 722000 | #Constraints: 36527
1763.85/1768.20 c INPROCESSING
1763.85/1768.20 c GARBAGE COLLECT
1763.85/1768.20 c #Conflicts: 723000 | #Constraints: 20730
1763.85/1768.20 c #Conflicts: 724000 | #Constraints: 21730
1763.85/1768.20 c #Conflicts: 725000 | #Constraints: 22730
1763.85/1768.20 c #Conflicts: 726000 | #Constraints: 23730
1763.85/1768.20 c #Conflicts: 727000 | #Constraints: 24730
1763.85/1768.20 c #Conflicts: 728000 | #Constraints: 25730
1763.85/1768.20 c #Conflicts: 729000 | #Constraints: 26730
1763.85/1768.20 c #Conflicts: 730000 | #Constraints: 27730
1763.85/1768.20 c #Conflicts: 731000 | #Constraints: 28730
1763.85/1768.20 c #Conflicts: 732000 | #Constraints: 29730
1763.85/1768.20 c #Conflicts: 733000 | #Constraints: 30730
1763.85/1768.20 c #Conflicts: 734000 | #Constraints: 31730
1763.85/1768.20 c #Conflicts: 735000 | #Constraints: 32730
1763.85/1768.20 c #Conflicts: 736000 | #Constraints: 33730
1763.85/1768.20 c #Conflicts: 737000 | #Constraints: 34730
1763.85/1768.20 c #Conflicts: 738000 | #Constraints: 35730
1763.85/1768.20 c #Conflicts: 739000 | #Constraints: 36730
1763.85/1768.20 c INPROCESSING
1763.85/1768.20 c GARBAGE COLLECT
1763.85/1768.20 c #Conflicts: 740000 | #Constraints: 20731
1763.85/1768.20 c #Conflicts: 741000 | #Constraints: 21731
1763.85/1768.20 c #Conflicts: 742000 | #Constraints: 22731
1763.85/1768.20 c #Conflicts: 743000 | #Constraints: 23731
1763.85/1768.20 c #Conflicts: 744000 | #Constraints: 24731
1763.85/1768.20 c #Conflicts: 745000 | #Constraints: 25731
1763.85/1768.20 c #Conflicts: 746000 | #Constraints: 26731
1985.33/1990.14 c #Conflicts: 747000 | #Constraints: 27731
1985.33/1990.14 c #Conflicts: 748000 | #Constraints: 28731
1985.33/1990.14 c #Conflicts: 749000 | #Constraints: 29731
1985.33/1990.14 c #Conflicts: 750000 | #Constraints: 30731
1985.33/1990.14 c #Conflicts: 751000 | #Constraints: 31731
1985.33/1990.14 c #Conflicts: 752000 | #Constraints: 32731
1985.33/1990.14 c #Conflicts: 753000 | #Constraints: 33731
1985.33/1990.14 c #Conflicts: 754000 | #Constraints: 34731
1985.33/1990.14 c #Conflicts: 755000 | #Constraints: 35731
1985.33/1990.14 c #Conflicts: 756000 | #Constraints: 36731
1985.33/1990.14 c INPROCESSING
1985.33/1990.14 c GARBAGE COLLECT
1985.33/1990.14 c #Conflicts: 757000 | #Constraints: 20531
1985.33/1990.14 c #Conflicts: 758000 | #Constraints: 21531
1985.33/1990.14 c #Conflicts: 759000 | #Constraints: 22531
1985.33/1990.14 c #Conflicts: 760000 | #Constraints: 23531
1985.33/1990.14 c #Conflicts: 761000 | #Constraints: 24531
1985.33/1990.14 c #Conflicts: 762000 | #Constraints: 25531
1985.33/1990.14 c #Conflicts: 763000 | #Constraints: 26531
1985.33/1990.14 c #Conflicts: 764000 | #Constraints: 27531
1985.33/1990.14 c #Conflicts: 765000 | #Constraints: 28531
1985.33/1990.14 c #Conflicts: 766000 | #Constraints: 29531
1985.33/1990.14 c #Conflicts: 767000 | #Constraints: 30531
1985.33/1990.14 c #Conflicts: 768000 | #Constraints: 31531
1985.33/1990.14 c #Conflicts: 769000 | #Constraints: 32531
1985.33/1990.14 c #Conflicts: 770000 | #Constraints: 33531
1985.33/1990.14 c #Conflicts: 771000 | #Constraints: 34531
1985.33/1990.14 c #Conflicts: 772000 | #Constraints: 35531
1985.33/1990.14 c #Conflicts: 773000 | #Constraints: 36531
1985.33/1990.14 c #Conflicts: 774000 | #Constraints: 37531
1985.33/1990.14 c INPROCESSING
1985.33/1990.14 c GARBAGE COLLECT
1985.33/1990.14 c #Conflicts: 775000 | #Constraints: 21133
1985.33/1990.14 c #Conflicts: 776000 | #Constraints: 22133
1985.33/1990.14 c #Conflicts: 777000 | #Constraints: 23133
1985.33/1990.14 c #Conflicts: 778000 | #Constraints: 24133
1985.33/1990.14 c #Conflicts: 779000 | #Constraints: 25133
1985.33/1990.14 c #Conflicts: 780000 | #Constraints: 26133
1985.33/1990.14 c #Conflicts: 781000 | #Constraints: 27133
1985.33/1990.14 c #Conflicts: 782000 | #Constraints: 28133
1985.33/1990.14 c #Conflicts: 783000 | #Constraints: 29133
1985.33/1990.14 c #Conflicts: 784000 | #Constraints: 30133
1985.33/1990.14 c #Conflicts: 785000 | #Constraints: 31133
1985.33/1990.14 c #Conflicts: 786000 | #Constraints: 32133
1985.33/1990.14 c #Conflicts: 787000 | #Constraints: 33133
1985.33/1990.14 c #Conflicts: 788000 | #Constraints: 34133
1985.33/1990.14 c #Conflicts: 789000 | #Constraints: 35133
1985.33/1990.14 c #Conflicts: 790000 | #Constraints: 36133
1985.33/1990.14 c #Conflicts: 791000 | #Constraints: 37133
1985.33/1990.14 c #Conflicts: 792000 | #Constraints: 38133
1985.33/1990.14 c INPROCESSING
1985.33/1990.14 c GARBAGE COLLECT
1985.33/1990.14 c #Conflicts: 793000 | #Constraints: 21532
1985.33/1990.14 c #Conflicts: 794000 | #Constraints: 22532
1985.33/1990.14 c #Conflicts: 795000 | #Constraints: 23532
1985.33/1990.14 c #Conflicts: 796000 | #Constraints: 24532
1985.33/1990.14 c #Conflicts: 797000 | #Constraints: 25532
1985.33/1990.14 c #Conflicts: 798000 | #Constraints: 26532
1985.33/1990.14 c #Conflicts: 799000 | #Constraints: 27532
1985.33/1990.14 c #Conflicts: 800000 | #Constraints: 28532
1985.33/1990.14 c #Conflicts: 801000 | #Constraints: 29532
1985.33/1990.14 c #Conflicts: 802000 | #Constraints: 30532
1985.33/1990.14 c #Conflicts: 803000 | #Constraints: 31532
1985.33/1990.14 c #Conflicts: 804000 | #Constraints: 32532
1985.33/1990.14 c #Conflicts: 805000 | #Constraints: 33532
1985.33/1990.14 c #Conflicts: 806000 | #Constraints: 34532
1985.33/1990.14 c #Conflicts: 807000 | #Constraints: 35532
1985.33/1990.14 c #Conflicts: 808000 | #Constraints: 36532
1985.33/1990.14 c #Conflicts: 809000 | #Constraints: 37532
1985.33/1990.14 c #Conflicts: 810000 | #Constraints: 38532
1985.33/1990.14 c INPROCESSING
1985.33/1990.14 c GARBAGE COLLECT
1985.33/1990.14 c #Conflicts: 811000 | #Constraints: 21735
1985.33/1990.14 c #Conflicts: 812000 | #Constraints: 22735
1985.33/1990.14 c #Conflicts: 813000 | #Constraints: 23735
1985.33/1990.14 c #Conflicts: 814000 | #Constraints: 24735
1985.33/1990.14 c #Conflicts: 815000 | #Constraints: 25735
1985.33/1990.14 c #Conflicts: 816000 | #Constraints: 26735
1985.33/1990.14 c #Conflicts: 817000 | #Constraints: 27735
1985.33/1990.14 c #Conflicts: 818000 | #Constraints: 28735
1985.33/1990.14 c #Conflicts: 819000 | #Constraints: 29735
1985.33/1990.14 c #Conflicts: 820000 | #Constraints: 30735
1985.33/1990.14 c #Conflicts: 821000 | #Constraints: 31735
1985.33/1990.14 c #Conflicts: 822000 | #Constraints: 32735
2220.97/2226.25 c #Conflicts: 823000 | #Constraints: 33735
2220.97/2226.25 c #Conflicts: 824000 | #Constraints: 34735
2220.97/2226.25 c #Conflicts: 825000 | #Constraints: 35735
2220.97/2226.25 c #Conflicts: 826000 | #Constraints: 36735
2220.97/2226.25 c #Conflicts: 827000 | #Constraints: 37735
2220.97/2226.25 c #Conflicts: 828000 | #Constraints: 38735
2220.97/2226.25 c INPROCESSING
2220.97/2226.25 c GARBAGE COLLECT
2220.97/2226.25 c #Conflicts: 829000 | #Constraints: 21733
2220.97/2226.25 c #Conflicts: 830000 | #Constraints: 22733
2220.97/2226.25 c #Conflicts: 831000 | #Constraints: 23733
2220.97/2226.25 c #Conflicts: 832000 | #Constraints: 24733
2220.97/2226.25 c #Conflicts: 833000 | #Constraints: 25733
2220.97/2226.25 c #Conflicts: 834000 | #Constraints: 26733
2220.97/2226.25 c #Conflicts: 835000 | #Constraints: 27733
2220.97/2226.25 c #Conflicts: 836000 | #Constraints: 28733
2220.97/2226.25 c #Conflicts: 837000 | #Constraints: 29733
2220.97/2226.25 c #Conflicts: 838000 | #Constraints: 30733
2220.97/2226.25 c #Conflicts: 839000 | #Constraints: 31733
2220.97/2226.25 c #Conflicts: 840000 | #Constraints: 32733
2220.97/2226.25 c #Conflicts: 841000 | #Constraints: 33733
2220.97/2226.25 c #Conflicts: 842000 | #Constraints: 34733
2220.97/2226.25 c #Conflicts: 843000 | #Constraints: 35733
2220.97/2226.25 c #Conflicts: 844000 | #Constraints: 36733
2220.97/2226.25 c #Conflicts: 845000 | #Constraints: 37733
2220.97/2226.25 c #Conflicts: 846000 | #Constraints: 38733
2220.97/2226.25 c INPROCESSING
2220.97/2226.25 c GARBAGE COLLECT
2220.97/2226.25 c #Conflicts: 847000 | #Constraints: 21537
2220.97/2226.25 c #Conflicts: 848000 | #Constraints: 22537
2220.97/2226.25 c #Conflicts: 849000 | #Constraints: 23537
2220.97/2226.25 c #Conflicts: 850000 | #Constraints: 24537
2220.97/2226.25 c #Conflicts: 851000 | #Constraints: 25537
2220.97/2226.25 c #Conflicts: 852000 | #Constraints: 26537
2220.97/2226.25 c #Conflicts: 853000 | #Constraints: 27537
2220.97/2226.25 c #Conflicts: 854000 | #Constraints: 28537
2220.97/2226.25 c #Conflicts: 855000 | #Constraints: 29537
2220.97/2226.25 c #Conflicts: 856000 | #Constraints: 30537
2220.97/2226.25 c #Conflicts: 857000 | #Constraints: 31537
2220.97/2226.25 c #Conflicts: 858000 | #Constraints: 32537
2220.97/2226.25 c #Conflicts: 859000 | #Constraints: 33537
2220.97/2226.25 c #Conflicts: 860000 | #Constraints: 34537
2220.97/2226.25 c #Conflicts: 861000 | #Constraints: 35537
2220.97/2226.25 c #Conflicts: 862000 | #Constraints: 36537
2220.97/2226.25 c #Conflicts: 863000 | #Constraints: 37537
2220.97/2226.25 c #Conflicts: 864000 | #Constraints: 38537
2220.97/2226.25 c #Conflicts: 865000 | #Constraints: 39537
2220.97/2226.25 c INPROCESSING
2220.97/2226.25 c GARBAGE COLLECT
2220.97/2226.25 c #Conflicts: 866000 | #Constraints: 22136
2220.97/2226.25 c #Conflicts: 867000 | #Constraints: 23136
2220.97/2226.25 c #Conflicts: 868000 | #Constraints: 24136
2220.97/2226.25 c #Conflicts: 869000 | #Constraints: 25136
2220.97/2226.25 c #Conflicts: 870000 | #Constraints: 26136
2220.97/2226.25 c #Conflicts: 871000 | #Constraints: 27136
2220.97/2226.25 c #Conflicts: 872000 | #Constraints: 28136
2220.97/2226.25 c #Conflicts: 873000 | #Constraints: 29136
2220.97/2226.25 c #Conflicts: 874000 | #Constraints: 30136
2220.97/2226.25 c #Conflicts: 875000 | #Constraints: 31136
2220.97/2226.25 c #Conflicts: 876000 | #Constraints: 32136
2220.97/2226.25 c #Conflicts: 877000 | #Constraints: 33136
2220.97/2226.25 c #Conflicts: 878000 | #Constraints: 34136
2220.97/2226.25 c #Conflicts: 879000 | #Constraints: 35136
2220.97/2226.25 c #Conflicts: 880000 | #Constraints: 36136
2220.97/2226.25 c #Conflicts: 881000 | #Constraints: 37136
2220.97/2226.25 c #Conflicts: 882000 | #Constraints: 38136
2220.97/2226.25 c #Conflicts: 883000 | #Constraints: 39136
2220.97/2226.25 c #Conflicts: 884000 | #Constraints: 40136
2220.97/2226.25 c INPROCESSING
2220.97/2226.25 c GARBAGE COLLECT
2220.97/2226.25 c #Conflicts: 885000 | #Constraints: 22539
2220.97/2226.25 c #Conflicts: 886000 | #Constraints: 23539
2220.97/2226.25 c #Conflicts: 887000 | #Constraints: 24539
2220.97/2226.25 c #Conflicts: 888000 | #Constraints: 25539
2220.97/2226.25 c #Conflicts: 889000 | #Constraints: 26539
2220.97/2226.25 c #Conflicts: 890000 | #Constraints: 27539
2220.97/2226.25 c #Conflicts: 891000 | #Constraints: 28539
2220.97/2226.25 c #Conflicts: 892000 | #Constraints: 29539
2220.97/2226.25 c #Conflicts: 893000 | #Constraints: 30539
2220.97/2226.25 c #Conflicts: 894000 | #Constraints: 31539
2220.97/2226.25 c #Conflicts: 895000 | #Constraints: 32539
2220.97/2226.25 c #Conflicts: 896000 | #Constraints: 33539
2220.97/2226.25 c #Conflicts: 897000 | #Constraints: 34539
2220.97/2226.25 c #Conflicts: 898000 | #Constraints: 35539
2220.97/2226.25 c #Conflicts: 899000 | #Constraints: 36539
2468.41/2474.12 c #Conflicts: 900000 | #Constraints: 37539
2468.41/2474.12 c #Conflicts: 901000 | #Constraints: 38539
2468.41/2474.12 c #Conflicts: 902000 | #Constraints: 39539
2468.41/2474.12 c #Conflicts: 903000 | #Constraints: 40539
2468.41/2474.12 c INPROCESSING
2468.41/2474.12 c GARBAGE COLLECT
2468.41/2474.12 c #Conflicts: 904000 | #Constraints: 22740
2468.41/2474.12 c #Conflicts: 905000 | #Constraints: 23740
2468.41/2474.12 c #Conflicts: 906000 | #Constraints: 24740
2468.41/2474.12 c #Conflicts: 907000 | #Constraints: 25740
2468.41/2474.12 c #Conflicts: 908000 | #Constraints: 26740
2468.41/2474.12 c #Conflicts: 909000 | #Constraints: 27740
2468.41/2474.12 c #Conflicts: 910000 | #Constraints: 28740
2468.41/2474.12 c #Conflicts: 911000 | #Constraints: 29740
2468.41/2474.12 c #Conflicts: 912000 | #Constraints: 30740
2468.41/2474.12 c #Conflicts: 913000 | #Constraints: 31740
2468.41/2474.12 c #Conflicts: 914000 | #Constraints: 32740
2468.41/2474.12 c #Conflicts: 915000 | #Constraints: 33740
2468.41/2474.12 c #Conflicts: 916000 | #Constraints: 34740
2468.41/2474.12 c #Conflicts: 917000 | #Constraints: 35740
2468.41/2474.12 c #Conflicts: 918000 | #Constraints: 36740
2468.41/2474.12 c #Conflicts: 919000 | #Constraints: 37740
2468.41/2474.12 c #Conflicts: 920000 | #Constraints: 38740
2468.41/2474.12 c #Conflicts: 921000 | #Constraints: 39740
2468.41/2474.12 c #Conflicts: 922000 | #Constraints: 40740
2468.41/2474.12 c INPROCESSING
2468.41/2474.12 c GARBAGE COLLECT
2468.41/2474.12 c #Conflicts: 923000 | #Constraints: 22739
2468.41/2474.12 c #Conflicts: 924000 | #Constraints: 23739
2468.41/2474.12 c #Conflicts: 925000 | #Constraints: 24739
2468.41/2474.12 c #Conflicts: 926000 | #Constraints: 25739
2468.41/2474.12 c #Conflicts: 927000 | #Constraints: 26739
2468.41/2474.12 c #Conflicts: 928000 | #Constraints: 27739
2468.41/2474.12 c #Conflicts: 929000 | #Constraints: 28739
2468.41/2474.12 c #Conflicts: 930000 | #Constraints: 29739
2468.41/2474.12 c #Conflicts: 931000 | #Constraints: 30739
2468.41/2474.12 c #Conflicts: 932000 | #Constraints: 31739
2468.41/2474.12 c #Conflicts: 933000 | #Constraints: 32739
2468.41/2474.12 c #Conflicts: 934000 | #Constraints: 33739
2468.41/2474.12 c #Conflicts: 935000 | #Constraints: 34739
2468.41/2474.12 c #Conflicts: 936000 | #Constraints: 35739
2468.41/2474.12 c #Conflicts: 937000 | #Constraints: 36739
2468.41/2474.12 c #Conflicts: 938000 | #Constraints: 37739
2468.41/2474.12 c #Conflicts: 939000 | #Constraints: 38739
2468.41/2474.12 c #Conflicts: 940000 | #Constraints: 39739
2468.41/2474.12 c #Conflicts: 941000 | #Constraints: 40739
2468.41/2474.12 c INPROCESSING
2468.41/2474.12 c GARBAGE COLLECT
2468.41/2474.12 c #Conflicts: 942000 | #Constraints: 22541
2468.41/2474.12 c #Conflicts: 943000 | #Constraints: 23541
2468.41/2474.12 c #Conflicts: 944000 | #Constraints: 24541
2468.41/2474.12 c #Conflicts: 945000 | #Constraints: 25541
2468.41/2474.12 c #Conflicts: 946000 | #Constraints: 26541
2468.41/2474.12 c #Conflicts: 947000 | #Constraints: 27541
2468.41/2474.12 c #Conflicts: 948000 | #Constraints: 28541
2468.41/2474.12 c #Conflicts: 949000 | #Constraints: 29541
2468.41/2474.12 c #Conflicts: 950000 | #Constraints: 30541
2468.41/2474.12 c #Conflicts: 951000 | #Constraints: 31541
2468.41/2474.12 c #Conflicts: 952000 | #Constraints: 32541
2468.41/2474.12 c #Conflicts: 953000 | #Constraints: 33541
2468.41/2474.12 c #Conflicts: 954000 | #Constraints: 34541
2468.41/2474.12 c #Conflicts: 955000 | #Constraints: 35541
2468.41/2474.12 c #Conflicts: 956000 | #Constraints: 36541
2468.41/2474.12 c #Conflicts: 957000 | #Constraints: 37541
2468.41/2474.12 c #Conflicts: 958000 | #Constraints: 38541
2468.41/2474.12 c #Conflicts: 959000 | #Constraints: 39541
2468.41/2474.12 c #Conflicts: 960000 | #Constraints: 40541
2468.41/2474.12 c #Conflicts: 961000 | #Constraints: 41541
2468.41/2474.12 c INPROCESSING
2468.41/2474.12 c GARBAGE COLLECT
2468.41/2474.12 c #Conflicts: 962000 | #Constraints: 23143
2468.41/2474.12 c #Conflicts: 963000 | #Constraints: 24143
2468.41/2474.12 c #Conflicts: 964000 | #Constraints: 25143
2468.41/2474.12 c #Conflicts: 965000 | #Constraints: 26143
2468.41/2474.12 c #Conflicts: 966000 | #Constraints: 27143
2468.41/2474.12 c #Conflicts: 967000 | #Constraints: 28143
2468.41/2474.12 c #Conflicts: 968000 | #Constraints: 29143
2468.41/2474.12 c #Conflicts: 969000 | #Constraints: 30143
2468.41/2474.12 c #Conflicts: 970000 | #Constraints: 31143
2468.41/2474.12 c #Conflicts: 971000 | #Constraints: 32143
2468.41/2474.12 c #Conflicts: 972000 | #Constraints: 33143
2468.41/2474.12 c #Conflicts: 973000 | #Constraints: 34143
2468.41/2474.12 c #Conflicts: 974000 | #Constraints: 35143
2468.41/2474.12 c #Conflicts: 975000 | #Constraints: 36143
2716.03/2722.24 c #Conflicts: 976000 | #Constraints: 37143
2716.03/2722.24 c #Conflicts: 977000 | #Constraints: 38143
2716.03/2722.24 c #Conflicts: 978000 | #Constraints: 39143
2716.03/2722.24 c #Conflicts: 979000 | #Constraints: 40143
2716.03/2722.24 c #Conflicts: 980000 | #Constraints: 41143
2716.03/2722.24 c #Conflicts: 981000 | #Constraints: 42143
2716.03/2722.24 c INPROCESSING
2716.03/2722.24 c GARBAGE COLLECT
2716.03/2722.24 c #Conflicts: 982000 | #Constraints: 23543
2716.03/2722.24 c #Conflicts: 983000 | #Constraints: 24543
2716.03/2722.24 c #Conflicts: 984000 | #Constraints: 25543
2716.03/2722.24 c #Conflicts: 985000 | #Constraints: 26543
2716.03/2722.24 c #Conflicts: 986000 | #Constraints: 27543
2716.03/2722.24 c #Conflicts: 987000 | #Constraints: 28543
2716.03/2722.24 c #Conflicts: 988000 | #Constraints: 29543
2716.03/2722.24 c #Conflicts: 989000 | #Constraints: 30543
2716.03/2722.24 c #Conflicts: 990000 | #Constraints: 31543
2716.03/2722.24 c #Conflicts: 991000 | #Constraints: 32543
2716.03/2722.24 c #Conflicts: 992000 | #Constraints: 33543
2716.03/2722.24 c #Conflicts: 993000 | #Constraints: 34543
2716.03/2722.24 c #Conflicts: 994000 | #Constraints: 35543
2716.03/2722.24 c #Conflicts: 995000 | #Constraints: 36543
2716.03/2722.24 c #Conflicts: 996000 | #Constraints: 37543
2716.03/2722.24 c #Conflicts: 997000 | #Constraints: 38543
2716.03/2722.24 c #Conflicts: 998000 | #Constraints: 39543
2716.03/2722.24 c #Conflicts: 999000 | #Constraints: 40543
2716.03/2722.24 c #Conflicts: 1000000 | #Constraints: 41543
2716.03/2722.24 c #Conflicts: 1001000 | #Constraints: 42543
2716.03/2722.24 c INPROCESSING
2716.03/2722.24 c GARBAGE COLLECT
2716.03/2722.24 c #Conflicts: 1002000 | #Constraints: 23741
2716.03/2722.24 c #Conflicts: 1003000 | #Constraints: 24741
2716.03/2722.24 c #Conflicts: 1004000 | #Constraints: 25741
2716.03/2722.24 c #Conflicts: 1005000 | #Constraints: 26741
2716.03/2722.24 c #Conflicts: 1006000 | #Constraints: 27741
2716.03/2722.24 c #Conflicts: 1007000 | #Constraints: 28741
2716.03/2722.24 c #Conflicts: 1008000 | #Constraints: 29741
2716.03/2722.24 c #Conflicts: 1009000 | #Constraints: 30741
2716.03/2722.24 c #Conflicts: 1010000 | #Constraints: 31741
2716.03/2722.24 c #Conflicts: 1011000 | #Constraints: 32741
2716.03/2722.24 c #Conflicts: 1012000 | #Constraints: 33741
2716.03/2722.24 c #Conflicts: 1013000 | #Constraints: 34741
2716.03/2722.24 c #Conflicts: 1014000 | #Constraints: 35741
2716.03/2722.24 c #Conflicts: 1015000 | #Constraints: 36741
2716.03/2722.24 c #Conflicts: 1016000 | #Constraints: 37741
2716.03/2722.24 c #Conflicts: 1017000 | #Constraints: 38741
2716.03/2722.24 c #Conflicts: 1018000 | #Constraints: 39741
2716.03/2722.24 c #Conflicts: 1019000 | #Constraints: 40741
2716.03/2722.24 c #Conflicts: 1020000 | #Constraints: 41741
2716.03/2722.24 c #Conflicts: 1021000 | #Constraints: 42741
2716.03/2722.24 c INPROCESSING
2716.03/2722.24 c GARBAGE COLLECT
2716.03/2722.24 c #Conflicts: 1022000 | #Constraints: 23743
2716.03/2722.24 c #Conflicts: 1023000 | #Constraints: 24743
2716.03/2722.24 c #Conflicts: 1024000 | #Constraints: 25743
2716.03/2722.24 c #Conflicts: 1025000 | #Constraints: 26743
2716.03/2722.24 c #Conflicts: 1026000 | #Constraints: 27743
2716.03/2722.24 c #Conflicts: 1027000 | #Constraints: 28743
2716.03/2722.24 c #Conflicts: 1028000 | #Constraints: 29743
2716.03/2722.24 c #Conflicts: 1029000 | #Constraints: 30743
2716.03/2722.24 c #Conflicts: 1030000 | #Constraints: 31743
2716.03/2722.24 c #Conflicts: 1031000 | #Constraints: 32743
2716.03/2722.24 c #Conflicts: 1032000 | #Constraints: 33743
2716.03/2722.24 c #Conflicts: 1033000 | #Constraints: 34743
2716.03/2722.24 c #Conflicts: 1034000 | #Constraints: 35743
2716.03/2722.24 c #Conflicts: 1035000 | #Constraints: 36743
2716.03/2722.24 c #Conflicts: 1036000 | #Constraints: 37743
2716.03/2722.24 c #Conflicts: 1037000 | #Constraints: 38743
2716.03/2722.24 c #Conflicts: 1038000 | #Constraints: 39743
2716.03/2722.24 c #Conflicts: 1039000 | #Constraints: 40743
2716.03/2722.24 c #Conflicts: 1040000 | #Constraints: 41743
2716.03/2722.24 c #Conflicts: 1041000 | #Constraints: 42743
2716.03/2722.24 c INPROCESSING
2716.03/2722.24 c GARBAGE COLLECT
2716.03/2722.24 c #Conflicts: 1042000 | #Constraints: 23546
2716.03/2722.24 c #Conflicts: 1043000 | #Constraints: 24546
2716.03/2722.24 c #Conflicts: 1044000 | #Constraints: 25546
2716.03/2722.24 c #Conflicts: 1045000 | #Constraints: 26546
2716.03/2722.24 c #Conflicts: 1046000 | #Constraints: 27546
2716.03/2722.24 c #Conflicts: 1047000 | #Constraints: 28546
2716.03/2722.24 c #Conflicts: 1048000 | #Constraints: 29546
2716.03/2722.24 c #Conflicts: 1049000 | #Constraints: 30546
2716.03/2722.24 c #Conflicts: 1050000 | #Constraints: 31546
2716.03/2722.24 c #Conflicts: 1051000 | #Constraints: 32546
2982.82/2989.57 c #Conflicts: 1052000 | #Constraints: 33546
2982.82/2989.57 c #Conflicts: 1053000 | #Constraints: 34546
2982.82/2989.57 c #Conflicts: 1054000 | #Constraints: 35546
2982.82/2989.57 c #Conflicts: 1055000 | #Constraints: 36546
2982.82/2989.57 c #Conflicts: 1056000 | #Constraints: 37546
2982.82/2989.57 c #Conflicts: 1057000 | #Constraints: 38546
2982.82/2989.57 c #Conflicts: 1058000 | #Constraints: 39546
2982.82/2989.57 c #Conflicts: 1059000 | #Constraints: 40546
2982.82/2989.57 c #Conflicts: 1060000 | #Constraints: 41546
2982.82/2989.57 c #Conflicts: 1061000 | #Constraints: 42546
2982.82/2989.57 c #Conflicts: 1062000 | #Constraints: 43546
2982.82/2989.57 c INPROCESSING
2982.82/2989.57 c GARBAGE COLLECT
2982.82/2989.57 c #Conflicts: 1063000 | #Constraints: 24150
2982.82/2989.57 c #Conflicts: 1064000 | #Constraints: 25150
2982.82/2989.57 c #Conflicts: 1065000 | #Constraints: 26150
2982.82/2989.57 c #Conflicts: 1066000 | #Constraints: 27150
2982.82/2989.57 c #Conflicts: 1067000 | #Constraints: 28150
2982.82/2989.57 c #Conflicts: 1068000 | #Constraints: 29150
2982.82/2989.57 c #Conflicts: 1069000 | #Constraints: 30150
2982.82/2989.57 c #Conflicts: 1070000 | #Constraints: 31150
2982.82/2989.57 c #Conflicts: 1071000 | #Constraints: 32150
2982.82/2989.57 c #Conflicts: 1072000 | #Constraints: 33150
2982.82/2989.57 c #Conflicts: 1073000 | #Constraints: 34150
2982.82/2989.57 c #Conflicts: 1074000 | #Constraints: 35150
2982.82/2989.57 c #Conflicts: 1075000 | #Constraints: 36150
2982.82/2989.57 c #Conflicts: 1076000 | #Constraints: 37150
2982.82/2989.57 c #Conflicts: 1077000 | #Constraints: 38150
2982.82/2989.57 c #Conflicts: 1078000 | #Constraints: 39150
2982.82/2989.57 c #Conflicts: 1079000 | #Constraints: 40150
2982.82/2989.57 c #Conflicts: 1080000 | #Constraints: 41150
2982.82/2989.57 c #Conflicts: 1081000 | #Constraints: 42150
2982.82/2989.57 c #Conflicts: 1082000 | #Constraints: 43150
2982.82/2989.57 c #Conflicts: 1083000 | #Constraints: 44150
2982.82/2989.57 c INPROCESSING
2982.82/2989.57 c GARBAGE COLLECT
2982.82/2989.57 c #Conflicts: 1084000 | #Constraints: 24551
2982.82/2989.57 c #Conflicts: 1085000 | #Constraints: 25551
2982.82/2989.57 c #Conflicts: 1086000 | #Constraints: 26551
2982.82/2989.57 c #Conflicts: 1087000 | #Constraints: 27551
2982.82/2989.57 c #Conflicts: 1088000 | #Constraints: 28551
2982.82/2989.57 c #Conflicts: 1089000 | #Constraints: 29551
2982.82/2989.57 c #Conflicts: 1090000 | #Constraints: 30551
2982.82/2989.57 c #Conflicts: 1091000 | #Constraints: 31551
2982.82/2989.57 c #Conflicts: 1092000 | #Constraints: 32551
2982.82/2989.57 c #Conflicts: 1093000 | #Constraints: 33551
2982.82/2989.57 c #Conflicts: 1094000 | #Constraints: 34551
2982.82/2989.57 c #Conflicts: 1095000 | #Constraints: 35551
2982.82/2989.57 c #Conflicts: 1096000 | #Constraints: 36551
2982.82/2989.57 c #Conflicts: 1097000 | #Constraints: 37551
2982.82/2989.57 c #Conflicts: 1098000 | #Constraints: 38551
2982.82/2989.57 c #Conflicts: 1099000 | #Constraints: 39551
2982.82/2989.57 c #Conflicts: 1100000 | #Constraints: 40551
2982.82/2989.57 c #Conflicts: 1101000 | #Constraints: 41551
2982.82/2989.57 c #Conflicts: 1102000 | #Constraints: 42551
2982.82/2989.57 c #Conflicts: 1103000 | #Constraints: 43551
2982.82/2989.57 c #Conflicts: 1104000 | #Constraints: 44551
2982.82/2989.57 c INPROCESSING
2982.82/2989.57 c GARBAGE COLLECT
2982.82/2989.57 c #Conflicts: 1105000 | #Constraints: 24750
2982.82/2989.57 c #Conflicts: 1106000 | #Constraints: 25750
2982.82/2989.57 c #Conflicts: 1107000 | #Constraints: 26750
2982.82/2989.57 c #Conflicts: 1108000 | #Constraints: 27750
2982.82/2989.57 c #Conflicts: 1109000 | #Constraints: 28750
2982.82/2989.57 c #Conflicts: 1110000 | #Constraints: 29750
2982.82/2989.57 c #Conflicts: 1111000 | #Constraints: 30750
2982.82/2989.57 c #Conflicts: 1112000 | #Constraints: 31750
2982.82/2989.57 c #Conflicts: 1113000 | #Constraints: 32750
2982.82/2989.57 c #Conflicts: 1114000 | #Constraints: 33750
2982.82/2989.57 c #Conflicts: 1115000 | #Constraints: 34750
2982.82/2989.57 c #Conflicts: 1116000 | #Constraints: 35750
2982.82/2989.57 c #Conflicts: 1117000 | #Constraints: 36750
2982.82/2989.57 c #Conflicts: 1118000 | #Constraints: 37750
2982.82/2989.57 c #Conflicts: 1119000 | #Constraints: 38750
2982.82/2989.57 c #Conflicts: 1120000 | #Constraints: 39750
2982.82/2989.57 c #Conflicts: 1121000 | #Constraints: 40750
2982.82/2989.57 c #Conflicts: 1122000 | #Constraints: 41750
2982.82/2989.57 c #Conflicts: 1123000 | #Constraints: 42750
2982.82/2989.57 c #Conflicts: 1124000 | #Constraints: 43750
2982.82/2989.57 c #Conflicts: 1125000 | #Constraints: 44750
2982.82/2989.57 c INPROCESSING
2982.82/2989.57 c GARBAGE COLLECT
2982.82/2989.57 c #Conflicts: 1126000 | #Constraints: 24746
2982.82/2989.57 c #Conflicts: 1127000 | #Constraints: 25746
3247.82/3255.08 c #Conflicts: 1128000 | #Constraints: 26746
3247.82/3255.08 c #Conflicts: 1129000 | #Constraints: 27746
3247.82/3255.08 c #Conflicts: 1130000 | #Constraints: 28746
3247.82/3255.08 c #Conflicts: 1131000 | #Constraints: 29746
3247.82/3255.08 c #Conflicts: 1132000 | #Constraints: 30746
3247.82/3255.08 c #Conflicts: 1133000 | #Constraints: 31746
3247.82/3255.08 c #Conflicts: 1134000 | #Constraints: 32746
3247.82/3255.08 c #Conflicts: 1135000 | #Constraints: 33746
3247.82/3255.08 c #Conflicts: 1136000 | #Constraints: 34746
3247.82/3255.08 c #Conflicts: 1137000 | #Constraints: 35746
3247.82/3255.08 c #Conflicts: 1138000 | #Constraints: 36746
3247.82/3255.08 c #Conflicts: 1139000 | #Constraints: 37746
3247.82/3255.08 c #Conflicts: 1140000 | #Constraints: 38746
3247.82/3255.08 c #Conflicts: 1141000 | #Constraints: 39746
3247.82/3255.08 c #Conflicts: 1142000 | #Constraints: 40746
3247.82/3255.08 c #Conflicts: 1143000 | #Constraints: 41746
3247.82/3255.08 c #Conflicts: 1144000 | #Constraints: 42746
3247.82/3255.08 c #Conflicts: 1145000 | #Constraints: 43746
3247.82/3255.08 c #Conflicts: 1146000 | #Constraints: 44746
3247.82/3255.08 c INPROCESSING
3247.82/3255.08 c GARBAGE COLLECT
3247.82/3255.08 c #Conflicts: 1147000 | #Constraints: 24546
3247.82/3255.08 c #Conflicts: 1148000 | #Constraints: 25546
3247.82/3255.08 c #Conflicts: 1149000 | #Constraints: 26546
3247.82/3255.08 c #Conflicts: 1150000 | #Constraints: 27546
3247.82/3255.08 c #Conflicts: 1151000 | #Constraints: 28546
3247.82/3255.08 c #Conflicts: 1152000 | #Constraints: 29546
3247.82/3255.08 c #Conflicts: 1153000 | #Constraints: 30546
3247.82/3255.08 c #Conflicts: 1154000 | #Constraints: 31546
3247.82/3255.08 c #Conflicts: 1155000 | #Constraints: 32546
3247.82/3255.08 c #Conflicts: 1156000 | #Constraints: 33546
3247.82/3255.08 c #Conflicts: 1157000 | #Constraints: 34546
3247.82/3255.08 c #Conflicts: 1158000 | #Constraints: 35546
3247.82/3255.08 c #Conflicts: 1159000 | #Constraints: 36546
3247.82/3255.08 c #Conflicts: 1160000 | #Constraints: 37546
3247.82/3255.08 c #Conflicts: 1161000 | #Constraints: 38546
3247.82/3255.08 c #Conflicts: 1162000 | #Constraints: 39546
3247.82/3255.08 c #Conflicts: 1163000 | #Constraints: 40546
3247.82/3255.08 c #Conflicts: 1164000 | #Constraints: 41546
3247.82/3255.08 c #Conflicts: 1165000 | #Constraints: 42546
3247.82/3255.08 c #Conflicts: 1166000 | #Constraints: 43546
3247.82/3255.08 c #Conflicts: 1167000 | #Constraints: 44546
3247.82/3255.08 c #Conflicts: 1168000 | #Constraints: 45546
3247.82/3255.08 c INPROCESSING
3247.82/3255.08 c GARBAGE COLLECT
3247.82/3255.08 c #Conflicts: 1169000 | #Constraints: 25146
3247.82/3255.08 c #Conflicts: 1170000 | #Constraints: 26146
3247.82/3255.08 c #Conflicts: 1171000 | #Constraints: 27146
3247.82/3255.08 c #Conflicts: 1172000 | #Constraints: 28146
3247.82/3255.08 c #Conflicts: 1173000 | #Constraints: 29146
3247.82/3255.08 c #Conflicts: 1174000 | #Constraints: 30146
3247.82/3255.08 c #Conflicts: 1175000 | #Constraints: 31146
3247.82/3255.08 c #Conflicts: 1176000 | #Constraints: 32146
3247.82/3255.08 c #Conflicts: 1177000 | #Constraints: 33146
3247.82/3255.08 c #Conflicts: 1178000 | #Constraints: 34146
3247.82/3255.08 c #Conflicts: 1179000 | #Constraints: 35146
3247.82/3255.08 c #Conflicts: 1180000 | #Constraints: 36146
3247.82/3255.08 c #Conflicts: 1181000 | #Constraints: 37146
3247.82/3255.08 c #Conflicts: 1182000 | #Constraints: 38146
3247.82/3255.08 c #Conflicts: 1183000 | #Constraints: 39146
3247.82/3255.08 c #Conflicts: 1184000 | #Constraints: 40146
3247.82/3255.08 c #Conflicts: 1185000 | #Constraints: 41146
3247.82/3255.08 c #Conflicts: 1186000 | #Constraints: 42146
3247.82/3255.08 c #Conflicts: 1187000 | #Constraints: 43146
3247.82/3255.08 c #Conflicts: 1188000 | #Constraints: 44146
3247.82/3255.08 c #Conflicts: 1189000 | #Constraints: 45146
3247.82/3255.08 c #Conflicts: 1190000 | #Constraints: 46146
3247.82/3255.08 c INPROCESSING
3247.82/3255.08 c GARBAGE COLLECT
3247.82/3255.08 c #Conflicts: 1191000 | #Constraints: 25545
3247.82/3255.08 c #Conflicts: 1192000 | #Constraints: 26545
3247.82/3255.08 c #Conflicts: 1193000 | #Constraints: 27545
3247.82/3255.08 c #Conflicts: 1194000 | #Constraints: 28545
3247.82/3255.08 c #Conflicts: 1195000 | #Constraints: 29545
3247.82/3255.08 c #Conflicts: 1196000 | #Constraints: 30545
3247.82/3255.08 c #Conflicts: 1197000 | #Constraints: 31545
3247.82/3255.08 c #Conflicts: 1198000 | #Constraints: 32545
3247.82/3255.08 c #Conflicts: 1199000 | #Constraints: 33545
3247.82/3255.08 c #Conflicts: 1200000 | #Constraints: 34545
3247.82/3255.08 c #Conflicts: 1201000 | #Constraints: 35545
3247.82/3255.08 c #Conflicts: 1202000 | #Constraints: 36545
3247.82/3255.08 c #Conflicts: 1203000 | #Constraints: 37545
3247.82/3255.08 c #Conflicts: 1204000 | #Constraints: 38545
3510.91/3518.60 c #Conflicts: 1205000 | #Constraints: 39545
3510.91/3518.60 c #Conflicts: 1206000 | #Constraints: 40545
3510.91/3518.60 c #Conflicts: 1207000 | #Constraints: 41545
3510.91/3518.60 c #Conflicts: 1208000 | #Constraints: 42545
3510.91/3518.60 c #Conflicts: 1209000 | #Constraints: 43545
3510.91/3518.60 c #Conflicts: 1210000 | #Constraints: 44545
3510.91/3518.60 c #Conflicts: 1211000 | #Constraints: 45545
3510.91/3518.60 c #Conflicts: 1212000 | #Constraints: 46545
3510.91/3518.60 c INPROCESSING
3510.91/3518.60 c GARBAGE COLLECT
3510.91/3518.60 c #Conflicts: 1213000 | #Constraints: 25746
3510.91/3518.60 c #Conflicts: 1214000 | #Constraints: 26746
3510.91/3518.60 c #Conflicts: 1215000 | #Constraints: 27746
3510.91/3518.60 c #Conflicts: 1216000 | #Constraints: 28746
3510.91/3518.60 c #Conflicts: 1217000 | #Constraints: 29746
3510.91/3518.60 c #Conflicts: 1218000 | #Constraints: 30746
3510.91/3518.60 c #Conflicts: 1219000 | #Constraints: 31746
3510.91/3518.60 c #Conflicts: 1220000 | #Constraints: 32746
3510.91/3518.60 c #Conflicts: 1221000 | #Constraints: 33746
3510.91/3518.60 c #Conflicts: 1222000 | #Constraints: 34746
3510.91/3518.60 c #Conflicts: 1223000 | #Constraints: 35746
3510.91/3518.60 c #Conflicts: 1224000 | #Constraints: 36746
3510.91/3518.60 c #Conflicts: 1225000 | #Constraints: 37746
3510.91/3518.60 c #Conflicts: 1226000 | #Constraints: 38746
3510.91/3518.60 c #Conflicts: 1227000 | #Constraints: 39746
3510.91/3518.60 c #Conflicts: 1228000 | #Constraints: 40746
3510.91/3518.60 c #Conflicts: 1229000 | #Constraints: 41746
3510.91/3518.60 c #Conflicts: 1230000 | #Constraints: 42746
3510.91/3518.60 c #Conflicts: 1231000 | #Constraints: 43746
3510.91/3518.60 c #Conflicts: 1232000 | #Constraints: 44746
3510.91/3518.60 c #Conflicts: 1233000 | #Constraints: 45746
3510.91/3518.60 c #Conflicts: 1234000 | #Constraints: 46746
3510.91/3518.60 c INPROCESSING
3510.91/3518.60 c GARBAGE COLLECT
3510.91/3518.60 c #Conflicts: 1235000 | #Constraints: 25747
3510.91/3518.60 c #Conflicts: 1236000 | #Constraints: 26747
3510.91/3518.60 c #Conflicts: 1237000 | #Constraints: 27747
3510.91/3518.60 c #Conflicts: 1238000 | #Constraints: 28747
3510.91/3518.60 c #Conflicts: 1239000 | #Constraints: 29747
3510.91/3518.60 c #Conflicts: 1240000 | #Constraints: 30747
3510.91/3518.60 c #Conflicts: 1241000 | #Constraints: 31747
3510.91/3518.60 c #Conflicts: 1242000 | #Constraints: 32747
3510.91/3518.60 c #Conflicts: 1243000 | #Constraints: 33747
3510.91/3518.60 c #Conflicts: 1244000 | #Constraints: 34747
3510.91/3518.60 c #Conflicts: 1245000 | #Constraints: 35747
3510.91/3518.60 c #Conflicts: 1246000 | #Constraints: 36747
3510.91/3518.60 c #Conflicts: 1247000 | #Constraints: 37747
3510.91/3518.60 c #Conflicts: 1248000 | #Constraints: 38747
3510.91/3518.60 c #Conflicts: 1249000 | #Constraints: 39747
3510.91/3518.60 c #Conflicts: 1250000 | #Constraints: 40747
3510.91/3518.60 c #Conflicts: 1251000 | #Constraints: 41747
3510.91/3518.60 c #Conflicts: 1252000 | #Constraints: 42747
3510.91/3518.60 c #Conflicts: 1253000 | #Constraints: 43747
3510.91/3518.60 c #Conflicts: 1254000 | #Constraints: 44747
3510.91/3518.60 c #Conflicts: 1255000 | #Constraints: 45747
3510.91/3518.60 c #Conflicts: 1256000 | #Constraints: 46747
3510.91/3518.60 c INPROCESSING
3510.91/3518.60 c GARBAGE COLLECT
3510.91/3518.60 c #Conflicts: 1257000 | #Constraints: 25547
3510.91/3518.60 c #Conflicts: 1258000 | #Constraints: 26547
3510.91/3518.60 c #Conflicts: 1259000 | #Constraints: 27547
3510.91/3518.60 c #Conflicts: 1260000 | #Constraints: 28547
3510.91/3518.60 c #Conflicts: 1261000 | #Constraints: 29547
3510.91/3518.60 c #Conflicts: 1262000 | #Constraints: 30547
3510.91/3518.60 c #Conflicts: 1263000 | #Constraints: 31547
3510.91/3518.60 c #Conflicts: 1264000 | #Constraints: 32547
3510.91/3518.60 c #Conflicts: 1265000 | #Constraints: 33547
3510.91/3518.60 c #Conflicts: 1266000 | #Constraints: 34547
3510.91/3518.60 c #Conflicts: 1267000 | #Constraints: 35547
3510.91/3518.60 c #Conflicts: 1268000 | #Constraints: 36547
3510.91/3518.60 c #Conflicts: 1269000 | #Constraints: 37547
3510.91/3518.60 c #Conflicts: 1270000 | #Constraints: 38547
3510.91/3518.60 c #Conflicts: 1271000 | #Constraints: 39547
3510.91/3518.60 c #Conflicts: 1272000 | #Constraints: 40547
3510.91/3518.60 c #Conflicts: 1273000 | #Constraints: 41547
3510.91/3518.60 c #Conflicts: 1274000 | #Constraints: 42547
3510.91/3518.60 c #Conflicts: 1275000 | #Constraints: 43547
3510.91/3518.60 c #Conflicts: 1276000 | #Constraints: 44547
3510.91/3518.60 c #Conflicts: 1277000 | #Constraints: 45547
3510.91/3518.60 c #Conflicts: 1278000 | #Constraints: 46547
3510.91/3518.60 c #Conflicts: 1279000 | #Constraints: 47547
3510.91/3518.60 c INPROCESSING
3510.91/3518.60 c GARBAGE COLLECT
3510.91/3518.60 c #Conflicts: 1280000 | #Constraints: 26148
3600.04/3607.90 c #Conflicts: 1281000 | #Constraints: 27148
3600.04/3607.90 c #Conflicts: 1282000 | #Constraints: 28148
3600.04/3607.90 c #Conflicts: 1283000 | #Constraints: 29148
3600.04/3607.90 c #Conflicts: 1284000 | #Constraints: 30148
3600.04/3607.90 c #Conflicts: 1285000 | #Constraints: 31148
3600.04/3607.90 c #Conflicts: 1286000 | #Constraints: 32148
3600.04/3607.90 c #Conflicts: 1287000 | #Constraints: 33148
3600.04/3607.90 c #Conflicts: 1288000 | #Constraints: 34148
3600.04/3607.90 c #Conflicts: 1289000 | #Constraints: 35148
3600.04/3607.90 c #Conflicts: 1290000 | #Constraints: 36148
3600.04/3607.90 c #Conflicts: 1291000 | #Constraints: 37148
3600.04/3607.90 c #Conflicts: 1292000 | #Constraints: 38148
3600.04/3607.90 c #Conflicts: 1293000 | #Constraints: 39148
3600.04/3607.90 c #Conflicts: 1294000 | #Constraints: 40148
3600.04/3607.90 c #Conflicts: 1295000 | #Constraints: 41148
3600.04/3607.90 c #Conflicts: 1296000 | #Constraints: 42148
3600.04/3607.90 c #Conflicts: 1297000 | #Constraints: 43148
3600.04/3607.90 c #Conflicts: 1298000 | #Constraints: 44148
3600.04/3607.90 c #Conflicts: 1299000 | #Constraints: 45148
3600.04/3607.90 c #Conflicts: 1300000 | #Constraints: 46148
3600.04/3607.90 c #Conflicts: 1301000 | #Constraints: 47148
3600.04/3607.90 c #Conflicts: 1302000 | #Constraints: 48148
3600.04/3607.90 c INPROCESSING
3600.04/3607.90 c GARBAGE COLLECT
3600.04/3607.90 c #Conflicts: 1303000 | #Constraints: 26550
3600.04/3607.90 c Program interrupted by user.
3600.04/3607.90 c cpu time 3594.17 s
3600.04/3607.90 c deterministic time 771902933855 7.72e+11
3600.04/3607.90 c optimization time 8.01806 s
3600.04/3607.90 c total solve time 3286.99 s
3600.04/3607.90 c core-guided solve time 3286.99 s
3600.04/3607.90 c propagation time 2559.26 s
3600.04/3607.90 c conflict analysis time 697.737 s
3600.04/3607.90 c propagations 102325494
3600.04/3607.90 c resolve steps 43020155
3600.04/3607.90 c decisions 1416756
3600.04/3607.90 c conflicts 1303877
3600.04/3607.90 c restarts 2534
3600.04/3607.90 c inprocessing phases 105
3600.04/3607.90 c input clauses 1346
3600.04/3607.90 c input cardinalities 0
3600.04/3607.90 c input general constraints 1353
3600.04/3607.90 c input average constraint length 6.64
3600.04/3607.90 c input average constraint degree 60.27
3600.04/3607.90 c learned clauses 1231022
3600.04/3607.90 c learned cardinalities 0
3600.04/3607.90 c learned general constraints 72854
3600.04/3607.90 c learned average constraint length 718.41
3600.04/3607.90 c learned average constraint degree 440.15
3600.04/3607.90 c watched constraints 72860
3600.04/3607.90 c counting constraints 1347
3600.04/3607.90 c gcd simplifications 1055854
3600.04/3607.90 c detected cardinalities 0
3600.04/3607.90 c weakened non-implied lits 753195302
3600.04/3607.90 c weakened non-implying lits 3503040
3600.04/3607.90 c original variables 1381
3600.04/3607.90 c clausal propagations 40646513
3600.04/3607.90 c cardinality propagations 0
3600.04/3607.90 c watched propagations 6648832
3600.04/3607.90 c counting propagations 53726143
3600.04/3607.90 c watch lookups 10409147027
3600.04/3607.90 c watch backjump lookups 1766605039
3600.04/3607.90 c watch checks 702498022271
3600.04/3607.90 c propagation checks 53531509173
3600.04/3607.90 c constraint additions 3488863349
3600.04/3607.90 c trail pops 105044745
3600.04/3607.90 c formula constraints 2692
3600.04/3607.90 c learned constraints 1303876
3600.04/3607.90 c bound constraints 5
3600.04/3607.90 c core-guided constraints 2
3600.04/3607.90 c encountered formula constraints 41227256
3600.04/3607.90 c encountered learned constraints 3082005
3600.04/3607.90 c encountered bound constraints 14770
3600.04/3607.90 c encountered core-guided constraints 1
3600.04/3607.90 c LP total time 0 s
3600.04/3607.90 c LP solve time 0 s
3600.04/3607.90 c LP constraints added 0
3600.04/3607.90 c LP constraints removed 0
3600.04/3607.90 c LP pivots internal 0
3600.04/3607.90 c LP pivots root 0
3600.04/3607.90 c LP calls 0
3600.04/3607.90 c LP optimalities 0
3600.04/3607.90 c LP no pivot count 0
3600.04/3607.90 c LP infeasibilities 0
3600.04/3607.90 c LP valid Farkas constraints 0
3600.04/3607.90 c LP learned Farkas constraints 0
3600.04/3607.90 c LP basis resets 0
3600.04/3607.90 c LP cycling count 0
3600.04/3607.90 c LP singular count 0
3600.04/3607.90 c LP no primal count 0
3600.04/3607.90 c LP no farkas count 0
3600.04/3607.90 c LP other issue count 0
3600.04/3607.90 c LP Gomory cuts 0
3600.04/3607.90 c LP learned cuts 0
3600.04/3607.90 c LP deleted cuts 0
3600.04/3607.90 c LP encountered Gomory constraints 0
3600.04/3607.90 c LP encountered Farkas constraints 0
3600.04/3607.90 c LP encountered learned Farkas constraints 0
3600.04/3607.90 c CG auxiliary variables introduced 1
3600.04/3607.90 c CG solutions found 3
3600.04/3607.90 c CG cores constructed 1
3600.04/3607.90 c CG core cardinality constraints returned 0
3600.04/3607.90 c CG unit cores 0
3600.04/3607.90 c CG single cores 1
3600.04/3607.90 c CG blocks removed during cardinality reduction 0
3600.04/3607.90 c CG first core best 0
3600.04/3607.90 c CG decision core best 0
3600.04/3607.90 c CG core reduction tie 0
3600.04/3607.90 c CG core degree average 1.00
3600.04/3607.90 c CG core slack average 20.00
3600.04/3607.90 c CG exhausted 0
3600.04/3607.90 c CG exhaust time 0.952868 s
3600.04/3607.90 c CG trimmed 0
3600.04/3607.90 c CG trim time 0.000414 s
3600.04/3607.90 c CG minimized 0
3600.04/3607.90 c CG minimize time 0 s
3600.04/3607.90 c CG am1 prop time 0.000115 s
3600.04/3607.90 c CG # am1s reformulated 0
3600.04/3607.90 c CG lower bound derived from am1s 0
3600.04/3607.90 c CG # clausal cores 1
3600.04/3607.90 c CG # cardinality cores 0
3600.04/3607.90 c CG # pb cores 0
3600.04/3607.90 c CG # pb reforms 1
3600.04/3607.90 c CG # cores discarded because of pb reform 0
3600.04/3607.90 d LOWERBOUND -37308
3600.04/3607.90 d NCORES 1
3600.04/3607.90 d NPBCORES 0
3600.04/3607.90 d NPBREFORM 1
3600.04/3607.90 d NTRIMMED 0
3600.04/3607.90 d NEXHAUSTED 0
3600.04/3607.90 d NAM1S 0
3600.04/3607.90 d AM1LB 0
3600.04/3607.90 c [Papilo Statistics]
3600.04/3607.90 c prepro time 0.0100923s
3600.04/3607.90 c # tsx applied 0
3600.04/3607.90 c # tsx conflicts 0
3600.04/3607.90 c # bound changes 0
3600.04/3607.90 c # side changes 0
3600.04/3607.90 c # coef changes 0
3600.04/3607.90 c # rounds 1
3600.04/3607.90 c # deted vars 0
3600.04/3607.90 c # deted constrs 0
3600.04/3607.90 c # consecutive rounds of only bound changes 0
3600.04/3607.90 c [STEP] postprocessing with Papilo
3600.04/3607.90 o -1249
3600.04/3607.90 s SATISFIABLE
3600.04/3607.90 v -x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 x10 x11 x12 x13 x14 -x15 -x16 x17 -x18 x19 x20 x21 -x22 x23 x24 -x25 x26 x27 x28 x29 x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 x268 x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 x284 x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 x303 x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 x436 x437 -x438 x439 x440 -x441 x442 x443 -x444 x445 x446 -x447 -x448 -x449 -x450 x451 -x452 x453 -x454 x455 x456 -x457 -x458 x459 -x460 x461 x462 -x463 x464 x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 x476 -x477 x478 x479 -x480 -x481 -x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 x495 x496 x497 x498 -x499 x500 x501 x502 -x503 -x504 -x505 x506 x507 x508 x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 x553 -x554 x555 x556 x557 x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 -x575 -x576 x577 x578 -x579 -x580 x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 x617 x618 -x619 -x620 x621 -x622 x623 x624 -x625 -x626 x627 -x628 x629 -x630 x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 -x670 x671 -x672 x673 x674 -x675 -x676 x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 x693 -x694 -x695 x696 -x697 x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 x713 -x714 -x715 -x716 x717 x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 x740 x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 x808 x809 -x810 x811 -x812 x813 -x814 -x815 x816 x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 x853 -x854 x855 x856 -x857 x858 x859 -x860 x861 x862 -x863 -x864 -x865 -x866 x867 -x868 x869 -x870 x871 x872 -x873 -x874 x875 -x876 x877 x878 -x879 x880 x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 x891 x892 -x893 x894 x895 -x896 -x897 -x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 x911 x912 x913 x914 -x915 x916 x917 x918 -x919 -x920 -x921 x922 x923 x924 x925 x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 x968 x969 -x970 x971 x972 x973 x974 x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 x989 x990 -x991 -x992 x993 x994 -x995 -x996 x997 x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 x1033 x1034 -x1035 -x1036 x1037 -x1038 x1039 x1040 -x1041 -x1042 x1043 -x1044 x1045 -x1046 x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 x1059 -x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 -x1067 x1068 -x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 -x1086 x1087 -x1088 x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 x1157 x1158 -x1159 x1160 x1161 x1162 -x1163 x1164 x1165 -x1166 x1167 x1168 x1169 -x1170 x1171 x1172 -x1173 x1174 x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 x1189 x1190 x1191 x1192 -x1193 -x1194 x1195 x1196 x1197 x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 x1212 x1213 -x1214 -x1215 x1216 -x1217 x1218 x1219 x1220 -x1221 -x1222 x1223 -x1224 x1225 x1226 x1227 -x1228 -x1229 x1230 -x1231 x1232 x1233 x1234 -x1235 -x1236 x1237 -x1238 x1239 x1240 x1241 -x1242 -x1243 x1244 -x1245 x1246 x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 x1268 x1269 -x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 x1283 -x1284 x1285 x1286 -x1287 x1288 x1289 x1290 -x1291 x1292 x1293 -x1294 x1295 x1296 x1297 -x1298 x1299 x1300 -x1301 x1302 x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 x1316 x1317 x1318 x1319 x1320 -x1321 -x1322 x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 x1340 x1341 -x1342 -x1343 x1344 -x1345 x1346 x1347 x1348 -x1349 -x1350 x1351 -x1352 x1353 x1354 x1355 -x1356 -x1357 x1358 -x1359 x1360 x1361 -x1362 -x1363 x1364 -x1365 x1366 -x1367 -x1368 x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381
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 (41698 MiB free)
memory of node 1: 64510 MiB (37249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455002-1721477798/watcher-4455002-1721477798 -o /tmp/evaluation-result-4455002-1721477798/solver-4455002-1721477798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4455002-1721477798.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1081369, runsolver pid=1081366
[startup+0.100276 s]*
/proc/loadavg: 4.25 4.17 4.10 5/257 1081370
/proc/meminfo: memFree=80821328/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=103748 memory=36760 CPUtime=0.09 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 5990 0 0 0 9 0 0 0 20 0 1 0 199949514 106237952 9190 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 25937 9190 3906 3002 0 9686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103748 KiB
Current children cumulated memory: 36760 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.25 4.17 4.10 5/257 1081370
/proc/meminfo: memFree=80820600/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=104180 memory=37288 CPUtime=0.2 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 6113 0 0 0 20 0 0 0 20 0 1 0 199949514 106680320 9322 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 26045 9322 3906 3002 0 9794 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104180 KiB
Current children cumulated memory: 37288 KiB
[startup+0.305584 s]*
/proc/loadavg: 4.25 4.17 4.10 5/257 1081370
/proc/meminfo: memFree=80805312/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=124708 memory=53100 CPUtime=0.3 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 10150 0 0 0 29 1 0 0 20 0 1 0 199949514 127700992 13275 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 31177 13275 4074 3002 0 14926 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 124708 KiB
Current children cumulated memory: 53100 KiB
[startup+0.700233 s]
/proc/loadavg: 4.25 4.17 4.10 5/257 1081370
/proc/meminfo: memFree=80792908/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=138160 memory=65220 CPUtime=0.69 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 14341 0 0 0 67 2 0 0 20 0 1 0 199949514 141475840 16305 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 34540 16305 4120 3002 0 18289 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138160 KiB
Current children cumulated memory: 65220 KiB
[startup+1.50023 s]
/proc/loadavg: 4.25 4.17 4.10 5/257 1081370
/proc/meminfo: memFree=80790612/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=151504 memory=75496 CPUtime=1.48 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 16879 0 0 0 146 2 0 0 20 0 1 0 199949514 155140096 18874 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 37876 18874 4120 3002 0 21625 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 151504 KiB
Current children cumulated memory: 75496 KiB
[startup+3.10551 s]
/proc/loadavg: 4.25 4.17 4.10 5/257 1081370
/proc/meminfo: memFree=80780304/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=156108 memory=78192 CPUtime=3.09 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 17556 0 0 0 306 3 0 0 20 0 1 0 199949514 159854592 19548 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 39027 19548 4135 3002 0 22776 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 156108 KiB
Current children cumulated memory: 78192 KiB
[startup+6.30022 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 1081372
/proc/meminfo: memFree=80773696/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=163444 memory=84528 CPUtime=6.27 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 19124 0 0 0 624 3 0 0 20 0 1 0 199949514 167366656 21132 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 40861 21132 4135 3002 0 24610 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163444 KiB
Current children cumulated memory: 84528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.16 4.10 5/257 1081372
/proc/meminfo: memFree=80773568/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=163444 memory=84528 CPUtime=12.65 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 19160 0 0 0 1262 3 0 0 20 0 1 0 199949514 167366656 21132 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 40861 21132 4135 3002 0 24610 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 163444 KiB
Current children cumulated memory: 84528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 1081373
/proc/meminfo: memFree=80754772/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=184684 memory=103536 CPUtime=25.42 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 23875 0 0 0 2538 4 0 0 20 0 1 0 199949514 189116416 25884 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 46171 25884 4138 3002 0 29920 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 184684 KiB
Current children cumulated memory: 103536 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.16 4.10 5/258 1081380
/proc/meminfo: memFree=80710976/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=248008 memory=146820 CPUtime=50.95 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 34794 0 0 0 5089 6 0 0 20 0 1 0 199949514 253960192 36705 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 62002 36705 4138 3002 0 45751 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 248008 KiB
Current children cumulated memory: 146820 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 1081388
/proc/meminfo: memFree=80676088/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=303236 memory=181168 CPUtime=102.01 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 44436 0 0 0 10191 10 0 0 20 0 1 0 199949514 310513664 45292 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 75809 45292 4138 3002 0 59558 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 303236 KiB
Current children cumulated memory: 181168 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/258 1081398
/proc/meminfo: memFree=80636048/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=362508 memory=220076 CPUtime=161.84 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 58731 0 0 0 16170 14 0 0 20 0 1 0 199949514 371208192 55019 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 90627 55019 4138 3002 0 74376 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 362508 KiB
Current children cumulated memory: 220076 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/258 1081408
/proc/meminfo: memFree=80606576/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=420548 memory=249308 CPUtime=221.69 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 70704 0 0 0 22151 18 0 0 20 0 1 0 199949514 430641152 62327 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 105137 62327 4138 3002 0 88886 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 420548 KiB
Current children cumulated memory: 249308 KiB
[startup+282.3 s]
/proc/loadavg: 4.26 4.17 4.10 5/260 1081423
/proc/meminfo: memFree=80577652/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=477000 memory=277656 CPUtime=281.52 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 77802 0 0 0 28131 21 0 0 20 0 1 0 199949514 488448000 69414 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 119250 69414 4138 3002 0 102999 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 477000 KiB
Current children cumulated memory: 277656 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.21 4.12 5/256 1081434
/proc/meminfo: memFree=80155536/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=442724 memory=246288 CPUtime=341.37 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 82503 0 0 0 34101 36 0 0 20 0 1 0 199949514 453349376 61572 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 110681 61572 4250 3002 0 94430 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 442724 KiB
Current children cumulated memory: 246288 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.20 4.12 5/256 1081444
/proc/meminfo: memFree=79620896/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=454400 memory=257584 CPUtime=401.24 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 82735 0 0 0 40070 54 0 0 20 0 1 0 199949514 465305600 64396 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 113600 64396 4250 3002 0 97349 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 454400 KiB
Current children cumulated memory: 257584 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.19 4.12 5/256 1081455
/proc/meminfo: memFree=77483456/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=473368 memory=263848 CPUtime=461.09 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 83294 0 0 0 46039 70 0 0 20 0 1 0 199949514 484728832 65962 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 118342 65962 4250 3002 0 102091 0
################
# More data... #
################
Current children cumulated memory: 500432 KiB
[startup+2922.3 s]
/proc/loadavg: 1.07 1.11 1.71 2/234 1083178
/proc/meminfo: memFree=126387208/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=504528 CPUtime=2915.75 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 87929 0 0 0 291067 508 0 0 20 0 1 0 199949514 650919936 126132 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 126132 4266 3002 0 142665 0
Current children cumulated CPU time: 2915.75 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 504528 KiB
[startup+2982.3 s]
/proc/loadavg: 1.12 1.11 1.68 2/234 1083191
/proc/meminfo: memFree=126386512/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=504528 CPUtime=2975.63 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88051 0 0 0 297049 514 0 0 20 0 1 0 199949514 650919936 126132 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 126132 4266 3002 0 142665 0
Current children cumulated CPU time: 2975.63 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 504528 KiB
[startup+3042.3 s]
/proc/loadavg: 1.04 1.09 1.63 2/234 1083203
/proc/meminfo: memFree=126386264/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=504528 CPUtime=3035.52 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88095 0 0 0 303031 521 0 0 20 0 1 0 199949514 650919936 126132 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 126132 4266 3002 0 142665 0
Current children cumulated CPU time: 3035.52 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 504528 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 1.10 1.60 2/235 1083214
/proc/meminfo: memFree=126385876/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=504528 CPUtime=3095.4 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88166 0 0 0 309012 528 0 0 20 0 1 0 199949514 650919936 126132 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 126132 4266 3002 0 142665 0
Current children cumulated CPU time: 3095.4 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 504528 KiB
[startup+3162.3 s]
/proc/loadavg: 1.10 1.10 1.57 2/235 1083224
/proc/meminfo: memFree=126383424/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=506576 CPUtime=3155.29 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88288 0 0 0 314994 535 0 0 20 0 1 0 199949514 650919936 126644 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 126644 4266 3002 0 142665 0
Current children cumulated CPU time: 3155.29 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 506576 KiB
[startup+3222.3 s]
/proc/loadavg: 1.08 1.09 1.53 2/235 1083234
/proc/meminfo: memFree=126380956/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=508624 CPUtime=3215.18 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88351 0 0 0 320976 542 0 0 20 0 1 0 199949514 650919936 127156 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 127156 4266 3002 0 142665 0
Current children cumulated CPU time: 3215.18 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 508624 KiB
[startup+3282.3 s]
/proc/loadavg: 1.09 1.09 1.51 2/236 1083249
/proc/meminfo: memFree=126380576/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=508624 CPUtime=3275.06 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88434 0 0 0 326958 548 0 0 20 0 1 0 199949514 650919936 127156 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 127156 4266 3002 0 142665 0
Current children cumulated CPU time: 3275.06 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 508624 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.08 1.48 2/236 1083260
/proc/meminfo: memFree=126380316/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=508624 CPUtime=3334.95 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88558 0 0 0 332939 556 0 0 20 0 1 0 199949514 650919936 127156 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 127156 4266 3002 0 142665 0
Current children cumulated CPU time: 3334.95 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 508624 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.10 1.45 2/235 1083270
/proc/meminfo: memFree=126377836/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=510672 CPUtime=3394.83 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88606 0 0 0 338920 563 0 0 20 0 1 0 199949514 650919936 127668 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 127668 4266 3002 0 142665 0
Current children cumulated CPU time: 3394.83 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 510672 KiB
[startup+3462.3 s]
/proc/loadavg: 1.05 1.08 1.42 2/235 1083281
/proc/meminfo: memFree=126375516/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=512720 CPUtime=3454.72 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88692 0 0 0 344901 571 0 0 20 0 1 0 199949514 650919936 128180 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 128180 4266 3002 0 142665 0
Current children cumulated CPU time: 3454.72 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 512720 KiB
[startup+3522.3 s]
/proc/loadavg: 1.06 1.08 1.40 2/235 1083292
/proc/meminfo: memFree=126373020/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=514768 CPUtime=3514.61 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88791 0 0 0 350882 579 0 0 20 0 1 0 199949514 650919936 128692 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 128692 4266 3002 0 142665 0
Current children cumulated CPU time: 3514.61 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 514768 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.09 1.38 2/233 1083302
/proc/meminfo: memFree=126372564/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=514768 CPUtime=3574.49 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88858 0 0 0 356865 584 0 0 20 0 1 0 199949514 650919936 128692 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 128692 4266 3002 0 142665 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 514768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.9 s]
/proc/loadavg: 1.08 1.08 1.37 2/233 1083307
/proc/meminfo: memFree=126372260/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=514768 CPUtime=3600.04 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88869 0 0 0 359417 587 0 0 20 0 1 0 199949514 650919936 128692 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 128692 4266 3002 0 142665 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 514768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.91 s]
# the end of solver process 1081369 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3594.18 s, system=5.88038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.9 s]
/proc/loadavg: 1.08 1.08 1.37 2/233 1083307
/proc/meminfo: memFree=126372260/131524600 swapFree=131071996/131071996
[pid=1081369] ppid=1081366 vsize=635664 memory=514768 CPUtime=3600.04 cores=4,6
/proc/1081369/stat : 1081369 (mixed-bag) R 1081366 1081369 1075779 0 -1 4194304 88869 0 0 0 359417 587 0 0 20 0 1 0 199949514 650919936 128692 134679101440 4194304 16488053 140734164981648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38256640 140734164988949 140734164989026 140734164989026 140734164996043 0
/proc/1081369/statm: 158916 128692 4266 3002 0 142665 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 635664 KiB
Current children cumulated memory: 514768 KiB
Child status: 0
Real time (s): 3607.91
CPU time (s): 3600.06
CPU user time (s): 3594.18
CPU system time (s): 5.88038
CPU usage (%): 99.7825
Max. virtual memory (cumulated for all children) (KiB): 635664
Max. memory (cumulated for all children) (KiB): 514768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.18
system time used= 5.88038
maximum resident set size= 515236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88920
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= 82
involuntary context switches= 1392
# summary of solver processes directly reported to runsolver:
# pid: 1081369
# total CPU time (s): 3600.06
# total CPU user time (s): 3594.18
# total CPU system time (s): 5.88038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.06967 second user time and 13.4246 second system time
The end
Begin job on nodeC033 at 2024-07-20 14:16:50
IDJOB=4455002
IDBENCH=158466
IDSOLVER=3083
FILE ID=nodeC033/4455002-1721477798
RUNJOBID= nodeC033-1721468435-1075790
SLURM_JOB_ID= 7545724
Free space on /tmp= 889504 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455002-1721477798/watcher-4455002-1721477798 -o /tmp/evaluation-result-4455002-1721477798/solver-4455002-1721477798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4455002-1721477798.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05
RANDOM SEED=1149414070
nodeC033.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 : 3666.659
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3684.279
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.25
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 : 3605.110
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.179
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.25
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 : 3667.229
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
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 : 3684.303
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.25
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 : 3658.970
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.006
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 80843320 kB
MemAvailable: 84191664 kB
Buffers: 614572 kB
Cached: 3540084 kB
SwapCached: 0 kB
Active: 1669468 kB
Inactive: 48224596 kB
Active(anon): 1556 kB
Inactive(anon): 45783432 kB
Active(file): 1667912 kB
Inactive(file): 2441164 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16856 kB
Writeback: 0 kB
AnonPages: 45736392 kB
Mapped: 140572 kB
Shmem: 45908 kB
KReclaimable: 157832 kB
Slab: 278400 kB
SReclaimable: 157832 kB
SUnreclaim: 120568 kB
KernelStack: 4112 kB
PageTables: 98908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 47526640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13717504 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: 277204 kB
DirectMap2M: 28856320 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC033 at 2024-07-20 15:16:58