0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.09/0.11 c [STEP] preprocessing with Papilo
0.09/0.19 c [STEP] solving with SCIP
299.47/300.40 c [STEP] preprocessing done, loading into solver
299.47/300.47 c [STEP] solving
299.47/300.47 c #variables 35093 #constraints 28952
299.47/300.47 c SMALL=int, LARGE=long long
299.47/300.47 d SCIPUB 2269
299.47/300.47 c bounds - >= 0 @ 299.289
299.47/300.47 c stratification level: 16
371.87/373.03 c #Conflicts: 1000 | #Constraints: 29951
371.87/373.03 c #Conflicts: 2000 | #Constraints: 30951
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 3000 | #Constraints: 30977
371.87/373.03 c #Conflicts: 4000 | #Constraints: 31977
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 5000 | #Constraints: 31393
371.87/373.03 c #Conflicts: 6000 | #Constraints: 32393
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 7000 | #Constraints: 31421
371.87/373.03 c #Conflicts: 8000 | #Constraints: 32421
371.87/373.03 c #Conflicts: 9000 | #Constraints: 33421
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 10000 | #Constraints: 32141
371.87/373.03 c #Conflicts: 11000 | #Constraints: 33141
371.87/373.03 c #Conflicts: 12000 | #Constraints: 34141
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 13000 | #Constraints: 32595
371.87/373.03 c #Conflicts: 14000 | #Constraints: 33595
371.87/373.03 c #Conflicts: 15000 | #Constraints: 34595
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 16000 | #Constraints: 32858
371.87/373.03 c #Conflicts: 17000 | #Constraints: 33858
371.87/373.03 c #Conflicts: 18000 | #Constraints: 34858
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 19000 | #Constraints: 32904
371.87/373.03 c #Conflicts: 20000 | #Constraints: 33904
371.87/373.03 c #Conflicts: 21000 | #Constraints: 34904
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 22000 | #Constraints: 32714
371.87/373.03 c #Conflicts: 23000 | #Constraints: 33714
371.87/373.03 c #Conflicts: 24000 | #Constraints: 34714
371.87/373.03 c #Conflicts: 25000 | #Constraints: 35714
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 26000 | #Constraints: 33320
371.87/373.03 c #Conflicts: 27000 | #Constraints: 34320
371.87/373.03 c #Conflicts: 28000 | #Constraints: 35320
371.87/373.03 c #Conflicts: 29000 | #Constraints: 36320
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 30000 | #Constraints: 33723
371.87/373.03 c #Conflicts: 31000 | #Constraints: 34723
371.87/373.03 c #Conflicts: 32000 | #Constraints: 35723
371.87/373.03 c #Conflicts: 33000 | #Constraints: 36723
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 34000 | #Constraints: 33914
371.87/373.03 c #Conflicts: 35000 | #Constraints: 34914
371.87/373.03 c #Conflicts: 36000 | #Constraints: 35914
371.87/373.03 c #Conflicts: 37000 | #Constraints: 36914
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 38000 | #Constraints: 33906
371.87/373.03 c #Conflicts: 39000 | #Constraints: 34906
371.87/373.03 c #Conflicts: 40000 | #Constraints: 35906
371.87/373.03 c #Conflicts: 41000 | #Constraints: 36906
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 42000 | #Constraints: 33721
371.87/373.03 c #Conflicts: 43000 | #Constraints: 34721
371.87/373.03 c #Conflicts: 44000 | #Constraints: 35721
371.87/373.03 c #Conflicts: 45000 | #Constraints: 36721
371.87/373.03 c #Conflicts: 46000 | #Constraints: 37721
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 47000 | #Constraints: 34306
371.87/373.03 c #Conflicts: 48000 | #Constraints: 35306
371.87/373.03 c #Conflicts: 49000 | #Constraints: 36306
371.87/373.03 c #Conflicts: 50000 | #Constraints: 37306
371.87/373.03 c #Conflicts: 51000 | #Constraints: 38306
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 52000 | #Constraints: 34721
371.87/373.03 c #Conflicts: 53000 | #Constraints: 35721
371.87/373.03 c #Conflicts: 54000 | #Constraints: 36721
371.87/373.03 c #Conflicts: 55000 | #Constraints: 37721
371.87/373.03 c #Conflicts: 56000 | #Constraints: 38721
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 57000 | #Constraints: 34935
371.87/373.03 c #Conflicts: 58000 | #Constraints: 35935
371.87/373.03 c #Conflicts: 59000 | #Constraints: 36935
371.87/373.03 c #Conflicts: 60000 | #Constraints: 37935
371.87/373.03 c #Conflicts: 61000 | #Constraints: 38935
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 62000 | #Constraints: 34901
371.87/373.03 c #Conflicts: 63000 | #Constraints: 35901
371.87/373.03 c #Conflicts: 64000 | #Constraints: 36901
371.87/373.03 c #Conflicts: 65000 | #Constraints: 37901
371.87/373.03 c #Conflicts: 66000 | #Constraints: 38901
371.87/373.03 c INPROCESSING
371.87/373.03 c GARBAGE COLLECT
371.87/373.03 c #Conflicts: 67000 | #Constraints: 34725
371.87/373.03 c #Conflicts: 68000 | #Constraints: 35725
462.40/463.87 c #Conflicts: 69000 | #Constraints: 36725
462.40/463.87 c #Conflicts: 70000 | #Constraints: 37725
462.40/463.87 c #Conflicts: 71000 | #Constraints: 38725
462.40/463.87 c #Conflicts: 72000 | #Constraints: 39725
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 73000 | #Constraints: 35353
462.40/463.87 c #Conflicts: 74000 | #Constraints: 36353
462.40/463.87 c #Conflicts: 75000 | #Constraints: 37353
462.40/463.87 c #Conflicts: 76000 | #Constraints: 38353
462.40/463.87 c #Conflicts: 77000 | #Constraints: 39353
462.40/463.87 c #Conflicts: 78000 | #Constraints: 40353
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 79000 | #Constraints: 35758
462.40/463.87 c #Conflicts: 80000 | #Constraints: 36758
462.40/463.87 c #Conflicts: 81000 | #Constraints: 37758
462.40/463.87 c #Conflicts: 82000 | #Constraints: 38758
462.40/463.87 c #Conflicts: 83000 | #Constraints: 39758
462.40/463.87 c #Conflicts: 84000 | #Constraints: 40758
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 85000 | #Constraints: 35956
462.40/463.87 c #Conflicts: 86000 | #Constraints: 36956
462.40/463.87 c #Conflicts: 87000 | #Constraints: 37956
462.40/463.87 c #Conflicts: 88000 | #Constraints: 38956
462.40/463.87 c #Conflicts: 89000 | #Constraints: 39956
462.40/463.87 c #Conflicts: 90000 | #Constraints: 40956
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 91000 | #Constraints: 35985
462.40/463.87 c #Conflicts: 92000 | #Constraints: 36985
462.40/463.87 c #Conflicts: 93000 | #Constraints: 37985
462.40/463.87 c #Conflicts: 94000 | #Constraints: 38985
462.40/463.87 c #Conflicts: 95000 | #Constraints: 39985
462.40/463.87 c #Conflicts: 96000 | #Constraints: 40985
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 97000 | #Constraints: 35823
462.40/463.87 c #Conflicts: 98000 | #Constraints: 36823
462.40/463.87 c #Conflicts: 99000 | #Constraints: 37823
462.40/463.87 c #Conflicts: 100000 | #Constraints: 38823
462.40/463.87 c #Conflicts: 101000 | #Constraints: 39823
462.40/463.87 c #Conflicts: 102000 | #Constraints: 40823
462.40/463.87 c #Conflicts: 103000 | #Constraints: 41823
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 104000 | #Constraints: 36396
462.40/463.87 c #Conflicts: 105000 | #Constraints: 37396
462.40/463.87 c #Conflicts: 106000 | #Constraints: 38396
462.40/463.87 c #Conflicts: 107000 | #Constraints: 39396
462.40/463.87 c #Conflicts: 108000 | #Constraints: 40396
462.40/463.87 c #Conflicts: 109000 | #Constraints: 41396
462.40/463.87 c #Conflicts: 110000 | #Constraints: 42396
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 111000 | #Constraints: 36781
462.40/463.87 c #Conflicts: 112000 | #Constraints: 37781
462.40/463.87 c #Conflicts: 113000 | #Constraints: 38781
462.40/463.87 c #Conflicts: 114000 | #Constraints: 39781
462.40/463.87 c #Conflicts: 115000 | #Constraints: 40781
462.40/463.87 c #Conflicts: 116000 | #Constraints: 41781
462.40/463.87 c #Conflicts: 117000 | #Constraints: 42781
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 118000 | #Constraints: 37008
462.40/463.87 c #Conflicts: 119000 | #Constraints: 38008
462.40/463.87 c #Conflicts: 120000 | #Constraints: 39008
462.40/463.87 c #Conflicts: 121000 | #Constraints: 40008
462.40/463.87 c #Conflicts: 122000 | #Constraints: 41008
462.40/463.87 c #Conflicts: 123000 | #Constraints: 42008
462.40/463.87 c #Conflicts: 124000 | #Constraints: 43008
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 125000 | #Constraints: 36979
462.40/463.87 c #Conflicts: 126000 | #Constraints: 37979
462.40/463.87 c #Conflicts: 127000 | #Constraints: 38979
462.40/463.87 c #Conflicts: 128000 | #Constraints: 39979
462.40/463.87 c #Conflicts: 129000 | #Constraints: 40979
462.40/463.87 c #Conflicts: 130000 | #Constraints: 41979
462.40/463.87 c #Conflicts: 131000 | #Constraints: 42979
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 132000 | #Constraints: 36811
462.40/463.87 c #Conflicts: 133000 | #Constraints: 37811
462.40/463.87 c #Conflicts: 134000 | #Constraints: 38811
462.40/463.87 c #Conflicts: 135000 | #Constraints: 39811
462.40/463.87 c #Conflicts: 136000 | #Constraints: 40811
462.40/463.87 c #Conflicts: 137000 | #Constraints: 41811
462.40/463.87 c #Conflicts: 138000 | #Constraints: 42811
462.40/463.87 c #Conflicts: 139000 | #Constraints: 43811
462.40/463.87 c INPROCESSING
462.40/463.87 c GARBAGE COLLECT
462.40/463.87 c #Conflicts: 140000 | #Constraints: 37421
559.32/561.04 c #Conflicts: 141000 | #Constraints: 38421
559.32/561.04 c #Conflicts: 142000 | #Constraints: 39421
559.32/561.04 c #Conflicts: 143000 | #Constraints: 40421
559.32/561.04 c #Conflicts: 144000 | #Constraints: 41421
559.32/561.04 c #Conflicts: 145000 | #Constraints: 42421
559.32/561.04 c #Conflicts: 146000 | #Constraints: 43421
559.32/561.04 c #Conflicts: 147000 | #Constraints: 44421
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 148000 | #Constraints: 37830
559.32/561.04 c #Conflicts: 149000 | #Constraints: 38830
559.32/561.04 c #Conflicts: 150000 | #Constraints: 39830
559.32/561.04 c #Conflicts: 151000 | #Constraints: 40830
559.32/561.04 c #Conflicts: 152000 | #Constraints: 41830
559.32/561.04 c #Conflicts: 153000 | #Constraints: 42830
559.32/561.04 c #Conflicts: 154000 | #Constraints: 43830
559.32/561.04 c #Conflicts: 155000 | #Constraints: 44830
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 156000 | #Constraints: 38021
559.32/561.04 c #Conflicts: 157000 | #Constraints: 39021
559.32/561.04 c #Conflicts: 158000 | #Constraints: 40021
559.32/561.04 c #Conflicts: 159000 | #Constraints: 41021
559.32/561.04 c #Conflicts: 160000 | #Constraints: 42021
559.32/561.04 c #Conflicts: 161000 | #Constraints: 43021
559.32/561.04 c #Conflicts: 162000 | #Constraints: 44021
559.32/561.04 c #Conflicts: 163000 | #Constraints: 45021
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 164000 | #Constraints: 38025
559.32/561.04 c #Conflicts: 165000 | #Constraints: 39025
559.32/561.04 c #Conflicts: 166000 | #Constraints: 40025
559.32/561.04 c #Conflicts: 167000 | #Constraints: 41025
559.32/561.04 c #Conflicts: 168000 | #Constraints: 42025
559.32/561.04 c #Conflicts: 169000 | #Constraints: 43025
559.32/561.04 c #Conflicts: 170000 | #Constraints: 44025
559.32/561.04 c #Conflicts: 171000 | #Constraints: 45025
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 172000 | #Constraints: 37837
559.32/561.04 c #Conflicts: 173000 | #Constraints: 38837
559.32/561.04 c #Conflicts: 174000 | #Constraints: 39837
559.32/561.04 c #Conflicts: 175000 | #Constraints: 40837
559.32/561.04 c #Conflicts: 176000 | #Constraints: 41837
559.32/561.04 c #Conflicts: 177000 | #Constraints: 42837
559.32/561.04 c #Conflicts: 178000 | #Constraints: 43837
559.32/561.04 c #Conflicts: 179000 | #Constraints: 44837
559.32/561.04 c #Conflicts: 180000 | #Constraints: 45837
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 181000 | #Constraints: 38401
559.32/561.04 c #Conflicts: 182000 | #Constraints: 39401
559.32/561.04 c #Conflicts: 183000 | #Constraints: 40401
559.32/561.04 c #Conflicts: 184000 | #Constraints: 41401
559.32/561.04 c #Conflicts: 185000 | #Constraints: 42401
559.32/561.04 c #Conflicts: 186000 | #Constraints: 43401
559.32/561.04 c #Conflicts: 187000 | #Constraints: 44401
559.32/561.04 c #Conflicts: 188000 | #Constraints: 45401
559.32/561.04 c #Conflicts: 189000 | #Constraints: 46401
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 190000 | #Constraints: 38856
559.32/561.04 c #Conflicts: 191000 | #Constraints: 39856
559.32/561.04 c #Conflicts: 192000 | #Constraints: 40856
559.32/561.04 c #Conflicts: 193000 | #Constraints: 41856
559.32/561.04 c #Conflicts: 194000 | #Constraints: 42856
559.32/561.04 c #Conflicts: 195000 | #Constraints: 43856
559.32/561.04 c #Conflicts: 196000 | #Constraints: 44856
559.32/561.04 c #Conflicts: 197000 | #Constraints: 45856
559.32/561.04 c #Conflicts: 198000 | #Constraints: 46856
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 199000 | #Constraints: 39092
559.32/561.04 c #Conflicts: 200000 | #Constraints: 40092
559.32/561.04 c #Conflicts: 201000 | #Constraints: 41092
559.32/561.04 c #Conflicts: 202000 | #Constraints: 42092
559.32/561.04 c #Conflicts: 203000 | #Constraints: 43092
559.32/561.04 c #Conflicts: 204000 | #Constraints: 44092
559.32/561.04 c #Conflicts: 205000 | #Constraints: 45092
559.32/561.04 c #Conflicts: 206000 | #Constraints: 46092
559.32/561.04 c #Conflicts: 207000 | #Constraints: 47092
559.32/561.04 c INPROCESSING
559.32/561.04 c GARBAGE COLLECT
559.32/561.04 c #Conflicts: 208000 | #Constraints: 39099
559.32/561.04 c #Conflicts: 209000 | #Constraints: 40099
559.32/561.04 c #Conflicts: 210000 | #Constraints: 41099
559.32/561.04 c #Conflicts: 211000 | #Constraints: 42099
559.32/561.04 c #Conflicts: 212000 | #Constraints: 43099
559.32/561.04 c #Conflicts: 213000 | #Constraints: 44099
654.25/656.20 c #Conflicts: 214000 | #Constraints: 45099
654.25/656.20 c #Conflicts: 215000 | #Constraints: 46099
654.25/656.20 c #Conflicts: 216000 | #Constraints: 47099
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 217000 | #Constraints: 38912
654.25/656.20 c #Conflicts: 218000 | #Constraints: 39912
654.25/656.20 c #Conflicts: 219000 | #Constraints: 40912
654.25/656.20 c #Conflicts: 220000 | #Constraints: 41912
654.25/656.20 c #Conflicts: 221000 | #Constraints: 42912
654.25/656.20 c #Conflicts: 222000 | #Constraints: 43912
654.25/656.20 c #Conflicts: 223000 | #Constraints: 44912
654.25/656.20 c #Conflicts: 224000 | #Constraints: 45912
654.25/656.20 c #Conflicts: 225000 | #Constraints: 46912
654.25/656.20 c #Conflicts: 226000 | #Constraints: 47912
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 227000 | #Constraints: 39517
654.25/656.20 c #Conflicts: 228000 | #Constraints: 40517
654.25/656.20 c #Conflicts: 229000 | #Constraints: 41517
654.25/656.20 c #Conflicts: 230000 | #Constraints: 42517
654.25/656.20 c #Conflicts: 231000 | #Constraints: 43517
654.25/656.20 c #Conflicts: 232000 | #Constraints: 44517
654.25/656.20 c #Conflicts: 233000 | #Constraints: 45517
654.25/656.20 c #Conflicts: 234000 | #Constraints: 46517
654.25/656.20 c #Conflicts: 235000 | #Constraints: 47517
654.25/656.20 c #Conflicts: 236000 | #Constraints: 48517
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 237000 | #Constraints: 39874
654.25/656.20 c #Conflicts: 238000 | #Constraints: 40874
654.25/656.20 c #Conflicts: 239000 | #Constraints: 41874
654.25/656.20 c #Conflicts: 240000 | #Constraints: 42874
654.25/656.20 c #Conflicts: 241000 | #Constraints: 43874
654.25/656.20 c #Conflicts: 242000 | #Constraints: 44874
654.25/656.20 c #Conflicts: 243000 | #Constraints: 45874
654.25/656.20 c #Conflicts: 244000 | #Constraints: 46874
654.25/656.20 c #Conflicts: 245000 | #Constraints: 47874
654.25/656.20 c #Conflicts: 246000 | #Constraints: 48874
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 247000 | #Constraints: 40104
654.25/656.20 c #Conflicts: 248000 | #Constraints: 41104
654.25/656.20 c #Conflicts: 249000 | #Constraints: 42104
654.25/656.20 c #Conflicts: 250000 | #Constraints: 43104
654.25/656.20 c #Conflicts: 251000 | #Constraints: 44104
654.25/656.20 c #Conflicts: 252000 | #Constraints: 45104
654.25/656.20 c #Conflicts: 253000 | #Constraints: 46104
654.25/656.20 c #Conflicts: 254000 | #Constraints: 47104
654.25/656.20 c #Conflicts: 255000 | #Constraints: 48104
654.25/656.20 c #Conflicts: 256000 | #Constraints: 49104
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 257000 | #Constraints: 40066
654.25/656.20 c #Conflicts: 258000 | #Constraints: 41066
654.25/656.20 c #Conflicts: 259000 | #Constraints: 42066
654.25/656.20 c #Conflicts: 260000 | #Constraints: 43066
654.25/656.20 c #Conflicts: 261000 | #Constraints: 44066
654.25/656.20 c #Conflicts: 262000 | #Constraints: 45066
654.25/656.20 c #Conflicts: 263000 | #Constraints: 46066
654.25/656.20 c #Conflicts: 264000 | #Constraints: 47066
654.25/656.20 c #Conflicts: 265000 | #Constraints: 48066
654.25/656.20 c #Conflicts: 266000 | #Constraints: 49066
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 267000 | #Constraints: 39881
654.25/656.20 c #Conflicts: 268000 | #Constraints: 40881
654.25/656.20 c #Conflicts: 269000 | #Constraints: 41881
654.25/656.20 c #Conflicts: 270000 | #Constraints: 42881
654.25/656.20 c #Conflicts: 271000 | #Constraints: 43881
654.25/656.20 c #Conflicts: 272000 | #Constraints: 44881
654.25/656.20 c #Conflicts: 273000 | #Constraints: 45881
654.25/656.20 c #Conflicts: 274000 | #Constraints: 46881
654.25/656.20 c #Conflicts: 275000 | #Constraints: 47881
654.25/656.20 c #Conflicts: 276000 | #Constraints: 48881
654.25/656.20 c #Conflicts: 277000 | #Constraints: 49881
654.25/656.20 c INPROCESSING
654.25/656.20 c GARBAGE COLLECT
654.25/656.20 c #Conflicts: 278000 | #Constraints: 40513
654.25/656.20 c #Conflicts: 279000 | #Constraints: 41513
654.25/656.20 c #Conflicts: 280000 | #Constraints: 42513
654.25/656.20 c #Conflicts: 281000 | #Constraints: 43513
654.25/656.20 c #Conflicts: 282000 | #Constraints: 44513
654.25/656.20 c #Conflicts: 283000 | #Constraints: 45513
654.25/656.20 c #Conflicts: 284000 | #Constraints: 46513
654.25/656.20 c #Conflicts: 285000 | #Constraints: 47513
654.25/656.20 c #Conflicts: 286000 | #Constraints: 48513
654.25/656.20 c #Conflicts: 287000 | #Constraints: 49513
654.25/656.20 c #Conflicts: 288000 | #Constraints: 50513
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 289000 | #Constraints: 40873
765.04/767.37 c #Conflicts: 290000 | #Constraints: 41873
765.04/767.37 c #Conflicts: 291000 | #Constraints: 42873
765.04/767.37 c #Conflicts: 292000 | #Constraints: 43873
765.04/767.37 c #Conflicts: 293000 | #Constraints: 44873
765.04/767.37 c #Conflicts: 294000 | #Constraints: 45873
765.04/767.37 c #Conflicts: 295000 | #Constraints: 46873
765.04/767.37 c #Conflicts: 296000 | #Constraints: 47873
765.04/767.37 c #Conflicts: 297000 | #Constraints: 48873
765.04/767.37 c #Conflicts: 298000 | #Constraints: 49873
765.04/767.37 c #Conflicts: 299000 | #Constraints: 50873
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 300000 | #Constraints: 41087
765.04/767.37 c #Conflicts: 301000 | #Constraints: 42087
765.04/767.37 c #Conflicts: 302000 | #Constraints: 43087
765.04/767.37 c #Conflicts: 303000 | #Constraints: 44087
765.04/767.37 c #Conflicts: 304000 | #Constraints: 45087
765.04/767.37 c #Conflicts: 305000 | #Constraints: 46087
765.04/767.37 c #Conflicts: 306000 | #Constraints: 47087
765.04/767.37 c #Conflicts: 307000 | #Constraints: 48087
765.04/767.37 c #Conflicts: 308000 | #Constraints: 49087
765.04/767.37 c #Conflicts: 309000 | #Constraints: 50087
765.04/767.37 c #Conflicts: 310000 | #Constraints: 51087
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 311000 | #Constraints: 41141
765.04/767.37 c #Conflicts: 312000 | #Constraints: 42141
765.04/767.37 c #Conflicts: 313000 | #Constraints: 43141
765.04/767.37 c #Conflicts: 314000 | #Constraints: 44141
765.04/767.37 c #Conflicts: 315000 | #Constraints: 45141
765.04/767.37 c #Conflicts: 316000 | #Constraints: 46141
765.04/767.37 c #Conflicts: 317000 | #Constraints: 47141
765.04/767.37 c #Conflicts: 318000 | #Constraints: 48141
765.04/767.37 c #Conflicts: 319000 | #Constraints: 49141
765.04/767.37 c #Conflicts: 320000 | #Constraints: 50141
765.04/767.37 c #Conflicts: 321000 | #Constraints: 51141
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 322000 | #Constraints: 40959
765.04/767.37 c #Conflicts: 323000 | #Constraints: 41959
765.04/767.37 c #Conflicts: 324000 | #Constraints: 42959
765.04/767.37 c #Conflicts: 325000 | #Constraints: 43959
765.04/767.37 c #Conflicts: 326000 | #Constraints: 44959
765.04/767.37 c #Conflicts: 327000 | #Constraints: 45959
765.04/767.37 c #Conflicts: 328000 | #Constraints: 46959
765.04/767.37 c #Conflicts: 329000 | #Constraints: 47959
765.04/767.37 c #Conflicts: 330000 | #Constraints: 48959
765.04/767.37 c #Conflicts: 331000 | #Constraints: 49959
765.04/767.37 c #Conflicts: 332000 | #Constraints: 50959
765.04/767.37 c #Conflicts: 333000 | #Constraints: 51959
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 334000 | #Constraints: 41541
765.04/767.37 c #Conflicts: 335000 | #Constraints: 42541
765.04/767.37 c #Conflicts: 336000 | #Constraints: 43541
765.04/767.37 c #Conflicts: 337000 | #Constraints: 44541
765.04/767.37 c #Conflicts: 338000 | #Constraints: 45541
765.04/767.37 c #Conflicts: 339000 | #Constraints: 46541
765.04/767.37 c #Conflicts: 340000 | #Constraints: 47541
765.04/767.37 c #Conflicts: 341000 | #Constraints: 48541
765.04/767.37 c #Conflicts: 342000 | #Constraints: 49541
765.04/767.37 c #Conflicts: 343000 | #Constraints: 50541
765.04/767.37 c #Conflicts: 344000 | #Constraints: 51541
765.04/767.37 c #Conflicts: 345000 | #Constraints: 52541
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 346000 | #Constraints: 41955
765.04/767.37 c #Conflicts: 347000 | #Constraints: 42955
765.04/767.37 c #Conflicts: 348000 | #Constraints: 43955
765.04/767.37 c #Conflicts: 349000 | #Constraints: 44955
765.04/767.37 c #Conflicts: 350000 | #Constraints: 45955
765.04/767.37 c #Conflicts: 351000 | #Constraints: 46955
765.04/767.37 c #Conflicts: 352000 | #Constraints: 47955
765.04/767.37 c #Conflicts: 353000 | #Constraints: 48955
765.04/767.37 c #Conflicts: 354000 | #Constraints: 49955
765.04/767.37 c #Conflicts: 355000 | #Constraints: 50955
765.04/767.37 c #Conflicts: 356000 | #Constraints: 51955
765.04/767.37 c #Conflicts: 357000 | #Constraints: 52955
765.04/767.37 c INPROCESSING
765.04/767.37 c GARBAGE COLLECT
765.04/767.37 c #Conflicts: 358000 | #Constraints: 42166
765.04/767.37 c #Conflicts: 359000 | #Constraints: 43166
765.04/767.37 c #Conflicts: 360000 | #Constraints: 44166
765.04/767.37 c #Conflicts: 361000 | #Constraints: 45166
765.04/767.37 c #Conflicts: 362000 | #Constraints: 46166
863.76/866.37 c #Conflicts: 363000 | #Constraints: 47166
863.76/866.37 c #Conflicts: 364000 | #Constraints: 48166
863.76/866.37 c #Conflicts: 365000 | #Constraints: 49166
863.76/866.37 c #Conflicts: 366000 | #Constraints: 50166
863.76/866.37 c #Conflicts: 367000 | #Constraints: 51166
863.76/866.37 c #Conflicts: 368000 | #Constraints: 52166
863.76/866.37 c #Conflicts: 369000 | #Constraints: 53166
863.76/866.37 c INPROCESSING
863.76/866.37 c GARBAGE COLLECT
863.76/866.37 c #Conflicts: 370000 | #Constraints: 42121
863.76/866.37 c #Conflicts: 371000 | #Constraints: 43121
863.76/866.37 c #Conflicts: 372000 | #Constraints: 44121
863.76/866.37 c #Conflicts: 373000 | #Constraints: 45121
863.76/866.37 c #Conflicts: 374000 | #Constraints: 46121
863.76/866.37 c #Conflicts: 375000 | #Constraints: 47121
863.76/866.37 c #Conflicts: 376000 | #Constraints: 48121
863.76/866.37 c #Conflicts: 377000 | #Constraints: 49121
863.76/866.37 c #Conflicts: 378000 | #Constraints: 50121
863.76/866.37 c #Conflicts: 379000 | #Constraints: 51121
863.76/866.37 c #Conflicts: 380000 | #Constraints: 52121
863.76/866.37 c #Conflicts: 381000 | #Constraints: 53121
863.76/866.37 c INPROCESSING
863.76/866.37 c GARBAGE COLLECT
863.76/866.37 c #Conflicts: 382000 | #Constraints: 41900
863.76/866.37 c #Conflicts: 383000 | #Constraints: 42900
863.76/866.37 c #Conflicts: 384000 | #Constraints: 43900
863.76/866.37 c #Conflicts: 385000 | #Constraints: 44900
863.76/866.37 c #Conflicts: 386000 | #Constraints: 45900
863.76/866.37 c #Conflicts: 387000 | #Constraints: 46900
863.76/866.37 c #Conflicts: 388000 | #Constraints: 47900
863.76/866.37 c #Conflicts: 389000 | #Constraints: 48900
863.76/866.37 c #Conflicts: 390000 | #Constraints: 49900
863.76/866.37 c #Conflicts: 391000 | #Constraints: 50900
863.76/866.37 c #Conflicts: 392000 | #Constraints: 51900
863.76/866.37 c #Conflicts: 393000 | #Constraints: 52900
863.76/866.37 c #Conflicts: 394000 | #Constraints: 53900
863.76/866.37 c INPROCESSING
863.76/866.37 c GARBAGE COLLECT
863.76/866.37 c #Conflicts: 395000 | #Constraints: 42515
863.76/866.37 c #Conflicts: 396000 | #Constraints: 43515
863.76/866.37 c #Conflicts: 397000 | #Constraints: 44515
863.76/866.37 c #Conflicts: 398000 | #Constraints: 45515
863.76/866.37 c #Conflicts: 399000 | #Constraints: 46515
863.76/866.37 c #Conflicts: 400000 | #Constraints: 47515
863.76/866.37 c #Conflicts: 401000 | #Constraints: 48515
863.76/866.37 c #Conflicts: 402000 | #Constraints: 49515
863.76/866.37 c #Conflicts: 403000 | #Constraints: 50515
863.76/866.37 c #Conflicts: 404000 | #Constraints: 51515
863.76/866.37 c #Conflicts: 405000 | #Constraints: 52515
863.76/866.37 c #Conflicts: 406000 | #Constraints: 53515
863.76/866.37 c #Conflicts: 407000 | #Constraints: 54515
863.76/866.37 c INPROCESSING
863.76/866.37 c GARBAGE COLLECT
863.76/866.37 c #Conflicts: 408000 | #Constraints: 42965
863.76/866.37 c #Conflicts: 409000 | #Constraints: 43965
863.76/866.37 c #Conflicts: 410000 | #Constraints: 44965
863.76/866.37 c #Conflicts: 411000 | #Constraints: 45965
863.76/866.37 c #Conflicts: 412000 | #Constraints: 46965
863.76/866.37 c #Conflicts: 413000 | #Constraints: 47965
863.76/866.37 c #Conflicts: 414000 | #Constraints: 48965
863.76/866.37 c #Conflicts: 415000 | #Constraints: 49965
863.76/866.37 c #Conflicts: 416000 | #Constraints: 50965
863.76/866.37 c #Conflicts: 417000 | #Constraints: 51965
863.76/866.37 c #Conflicts: 418000 | #Constraints: 52965
863.76/866.37 c #Conflicts: 419000 | #Constraints: 53965
863.76/866.37 c #Conflicts: 420000 | #Constraints: 54965
863.76/866.37 c INPROCESSING
863.76/866.37 c GARBAGE COLLECT
863.76/866.37 c #Conflicts: 421000 | #Constraints: 43172
863.76/866.37 c #Conflicts: 422000 | #Constraints: 44172
863.76/866.37 c #Conflicts: 423000 | #Constraints: 45172
863.76/866.37 c #Conflicts: 424000 | #Constraints: 46172
863.76/866.37 c #Conflicts: 425000 | #Constraints: 47172
863.76/866.37 c #Conflicts: 426000 | #Constraints: 48172
863.76/866.37 c #Conflicts: 427000 | #Constraints: 49172
863.76/866.37 c #Conflicts: 428000 | #Constraints: 50172
863.76/866.37 c #Conflicts: 429000 | #Constraints: 51172
863.76/866.37 c #Conflicts: 430000 | #Constraints: 52172
863.76/866.37 c #Conflicts: 431000 | #Constraints: 53172
863.76/866.37 c #Conflicts: 432000 | #Constraints: 54172
863.76/866.37 c #Conflicts: 433000 | #Constraints: 55172
863.76/866.37 c INPROCESSING
863.76/866.37 c GARBAGE COLLECT
863.76/866.37 c #Conflicts: 434000 | #Constraints: 43228
863.76/866.37 c #Conflicts: 435000 | #Constraints: 44228
863.76/866.37 c #Conflicts: 436000 | #Constraints: 45228
863.76/866.37 c #Conflicts: 437000 | #Constraints: 46228
1043.63/1046.72 c #Conflicts: 438000 | #Constraints: 47228
1043.63/1046.72 c #Conflicts: 439000 | #Constraints: 48228
1043.63/1046.72 c #Conflicts: 440000 | #Constraints: 49228
1043.63/1046.72 c #Conflicts: 441000 | #Constraints: 50228
1043.63/1046.72 c #Conflicts: 442000 | #Constraints: 51228
1043.63/1046.72 c #Conflicts: 443000 | #Constraints: 52228
1043.63/1046.72 c #Conflicts: 444000 | #Constraints: 53228
1043.63/1046.72 c #Conflicts: 445000 | #Constraints: 54228
1043.63/1046.72 c #Conflicts: 446000 | #Constraints: 55228
1043.63/1046.72 c INPROCESSING
1043.63/1046.72 c GARBAGE COLLECT
1043.63/1046.72 c #Conflicts: 447000 | #Constraints: 43002
1043.63/1046.72 c #Conflicts: 448000 | #Constraints: 44002
1043.63/1046.72 c #Conflicts: 449000 | #Constraints: 45002
1043.63/1046.72 c #Conflicts: 450000 | #Constraints: 46002
1043.63/1046.72 c #Conflicts: 451000 | #Constraints: 47002
1043.63/1046.72 c #Conflicts: 452000 | #Constraints: 48002
1043.63/1046.72 c #Conflicts: 453000 | #Constraints: 49002
1043.63/1046.72 c #Conflicts: 454000 | #Constraints: 50002
1043.63/1046.72 c #Conflicts: 455000 | #Constraints: 51002
1043.63/1046.72 c #Conflicts: 456000 | #Constraints: 52002
1043.63/1046.72 c #Conflicts: 457000 | #Constraints: 53002
1043.63/1046.72 c #Conflicts: 458000 | #Constraints: 54002
1043.63/1046.72 c #Conflicts: 459000 | #Constraints: 55002
1043.63/1046.72 c #Conflicts: 460000 | #Constraints: 56002
1043.63/1046.72 c INPROCESSING
1043.63/1046.72 c GARBAGE COLLECT
1043.63/1046.72 c #Conflicts: 461000 | #Constraints: 43613
1043.63/1046.72 c #Conflicts: 462000 | #Constraints: 44613
1043.63/1046.72 c #Conflicts: 463000 | #Constraints: 45613
1043.63/1046.72 c #Conflicts: 464000 | #Constraints: 46613
1043.63/1046.72 c #Conflicts: 465000 | #Constraints: 47613
1043.63/1046.72 c #Conflicts: 466000 | #Constraints: 48613
1043.63/1046.72 c #Conflicts: 467000 | #Constraints: 49613
1043.63/1046.72 c #Conflicts: 468000 | #Constraints: 50613
1043.63/1046.72 c #Conflicts: 469000 | #Constraints: 51613
1043.63/1046.72 c #Conflicts: 470000 | #Constraints: 52613
1043.63/1046.72 c #Conflicts: 471000 | #Constraints: 53613
1043.63/1046.72 c #Conflicts: 472000 | #Constraints: 54613
1043.63/1046.72 c #Conflicts: 473000 | #Constraints: 55613
1043.63/1046.72 c #Conflicts: 474000 | #Constraints: 56613
1043.63/1046.72 c INPROCESSING
1043.63/1046.72 c GARBAGE COLLECT
1043.63/1046.72 c #Conflicts: 475000 | #Constraints: 44008
1043.63/1046.72 c #Conflicts: 476000 | #Constraints: 45008
1043.63/1046.72 c #Conflicts: 477000 | #Constraints: 46008
1043.63/1046.72 c #Conflicts: 478000 | #Constraints: 47008
1043.63/1046.72 c #Conflicts: 479000 | #Constraints: 48008
1043.63/1046.72 c #Conflicts: 480000 | #Constraints: 49008
1043.63/1046.72 c #Conflicts: 481000 | #Constraints: 50008
1043.63/1046.72 c #Conflicts: 482000 | #Constraints: 51008
1043.63/1046.72 c #Conflicts: 483000 | #Constraints: 52008
1043.63/1046.72 c #Conflicts: 484000 | #Constraints: 53008
1043.63/1046.72 c #Conflicts: 485000 | #Constraints: 54008
1043.63/1046.72 c #Conflicts: 486000 | #Constraints: 55008
1043.63/1046.72 c #Conflicts: 487000 | #Constraints: 56008
1043.63/1046.72 c #Conflicts: 488000 | #Constraints: 57008
1043.63/1046.72 c INPROCESSING
1043.63/1046.72 c GARBAGE COLLECT
1043.63/1046.72 c #Conflicts: 489000 | #Constraints: 44198
1043.63/1046.72 c #Conflicts: 490000 | #Constraints: 45198
1043.63/1046.72 c #Conflicts: 491000 | #Constraints: 46198
1043.63/1046.72 c #Conflicts: 492000 | #Constraints: 47198
1043.63/1046.72 c #Conflicts: 493000 | #Constraints: 48198
1043.63/1046.72 c #Conflicts: 494000 | #Constraints: 49198
1043.63/1046.72 c #Conflicts: 495000 | #Constraints: 50198
1043.63/1046.72 c #Conflicts: 496000 | #Constraints: 51198
1043.63/1046.72 c #Conflicts: 497000 | #Constraints: 52198
1043.63/1046.72 c #Conflicts: 498000 | #Constraints: 53198
1043.63/1046.72 c #Conflicts: 499000 | #Constraints: 54198
1043.63/1046.72 c #Conflicts: 500000 | #Constraints: 55198
1043.63/1046.72 c #Conflicts: 501000 | #Constraints: 56198
1043.63/1046.72 c #Conflicts: 502000 | #Constraints: 57198
1043.63/1046.72 c INPROCESSING
1043.63/1046.72 c GARBAGE COLLECT
1043.63/1046.72 c #Conflicts: 503000 | #Constraints: 44210
1043.63/1046.72 c #Conflicts: 504000 | #Constraints: 45210
1043.63/1046.72 c #Conflicts: 505000 | #Constraints: 46210
1043.63/1046.72 c #Conflicts: 506000 | #Constraints: 47210
1043.63/1046.72 c #Conflicts: 507000 | #Constraints: 48210
1043.63/1046.72 c #Conflicts: 508000 | #Constraints: 49210
1043.63/1046.72 c #Conflicts: 509000 | #Constraints: 50210
1043.63/1046.72 c #Conflicts: 510000 | #Constraints: 51210
1043.63/1046.72 c #Conflicts: 511000 | #Constraints: 52210
1043.63/1046.72 c #Conflicts: 512000 | #Constraints: 53210
1043.63/1046.72 c #Conflicts: 513000 | #Constraints: 54210
1161.99/1165.49 c #Conflicts: 514000 | #Constraints: 55210
1161.99/1165.49 c #Conflicts: 515000 | #Constraints: 56210
1161.99/1165.49 c #Conflicts: 516000 | #Constraints: 57210
1161.99/1165.49 c INPROCESSING
1161.99/1165.49 c GARBAGE COLLECT
1161.99/1165.49 c #Conflicts: 517000 | #Constraints: 43952
1161.99/1165.49 c #Conflicts: 518000 | #Constraints: 44952
1161.99/1165.49 c #Conflicts: 519000 | #Constraints: 45952
1161.99/1165.49 c #Conflicts: 520000 | #Constraints: 46952
1161.99/1165.49 c #Conflicts: 521000 | #Constraints: 47952
1161.99/1165.49 c #Conflicts: 522000 | #Constraints: 48952
1161.99/1165.49 c #Conflicts: 523000 | #Constraints: 49952
1161.99/1165.49 c #Conflicts: 524000 | #Constraints: 50952
1161.99/1165.49 c #Conflicts: 525000 | #Constraints: 51952
1161.99/1165.49 c #Conflicts: 526000 | #Constraints: 52952
1161.99/1165.49 c #Conflicts: 527000 | #Constraints: 53952
1161.99/1165.49 c #Conflicts: 528000 | #Constraints: 54952
1161.99/1165.49 c #Conflicts: 529000 | #Constraints: 55952
1161.99/1165.49 c #Conflicts: 530000 | #Constraints: 56952
1161.99/1165.49 c #Conflicts: 531000 | #Constraints: 57952
1161.99/1165.49 c INPROCESSING
1161.99/1165.49 c GARBAGE COLLECT
1161.99/1165.49 c #Conflicts: 532000 | #Constraints: 44547
1161.99/1165.49 c #Conflicts: 533000 | #Constraints: 45547
1161.99/1165.49 c #Conflicts: 534000 | #Constraints: 46547
1161.99/1165.49 c #Conflicts: 535000 | #Constraints: 47547
1161.99/1165.49 c #Conflicts: 536000 | #Constraints: 48547
1161.99/1165.49 c #Conflicts: 537000 | #Constraints: 49547
1161.99/1165.49 c #Conflicts: 538000 | #Constraints: 50547
1161.99/1165.49 c #Conflicts: 539000 | #Constraints: 51547
1161.99/1165.49 c #Conflicts: 540000 | #Constraints: 52547
1161.99/1165.49 c #Conflicts: 541000 | #Constraints: 53547
1161.99/1165.49 c #Conflicts: 542000 | #Constraints: 54547
1161.99/1165.49 c #Conflicts: 543000 | #Constraints: 55547
1161.99/1165.49 c #Conflicts: 544000 | #Constraints: 56547
1161.99/1165.49 c #Conflicts: 545000 | #Constraints: 57547
1161.99/1165.49 c #Conflicts: 546000 | #Constraints: 58547
1161.99/1165.49 c INPROCESSING
1161.99/1165.49 c GARBAGE COLLECT
1161.99/1165.49 c #Conflicts: 547000 | #Constraints: 44982
1161.99/1165.49 c #Conflicts: 548000 | #Constraints: 45982
1161.99/1165.49 c #Conflicts: 549000 | #Constraints: 46982
1161.99/1165.49 c #Conflicts: 550000 | #Constraints: 47982
1161.99/1165.49 c #Conflicts: 551000 | #Constraints: 48982
1161.99/1165.49 c #Conflicts: 552000 | #Constraints: 49982
1161.99/1165.49 c #Conflicts: 553000 | #Constraints: 50982
1161.99/1165.49 c #Conflicts: 554000 | #Constraints: 51982
1161.99/1165.49 c #Conflicts: 555000 | #Constraints: 52982
1161.99/1165.49 c #Conflicts: 556000 | #Constraints: 53982
1161.99/1165.49 c #Conflicts: 557000 | #Constraints: 54982
1161.99/1165.49 c #Conflicts: 558000 | #Constraints: 55982
1161.99/1165.49 c #Conflicts: 559000 | #Constraints: 56982
1161.99/1165.49 c #Conflicts: 560000 | #Constraints: 57982
1161.99/1165.49 c #Conflicts: 561000 | #Constraints: 58982
1161.99/1165.49 c INPROCESSING
1161.99/1165.49 c GARBAGE COLLECT
1161.99/1165.49 c #Conflicts: 562000 | #Constraints: 45215
1161.99/1165.49 c #Conflicts: 563000 | #Constraints: 46215
1161.99/1165.49 c #Conflicts: 564000 | #Constraints: 47215
1161.99/1165.49 c #Conflicts: 565000 | #Constraints: 48215
1161.99/1165.49 c #Conflicts: 566000 | #Constraints: 49215
1161.99/1165.49 c #Conflicts: 567000 | #Constraints: 50215
1161.99/1165.49 c #Conflicts: 568000 | #Constraints: 51215
1161.99/1165.49 c #Conflicts: 569000 | #Constraints: 52215
1161.99/1165.49 c #Conflicts: 570000 | #Constraints: 53215
1161.99/1165.49 c #Conflicts: 571000 | #Constraints: 54215
1161.99/1165.49 c #Conflicts: 572000 | #Constraints: 55215
1161.99/1165.49 c #Conflicts: 573000 | #Constraints: 56215
1161.99/1165.49 c #Conflicts: 574000 | #Constraints: 57215
1161.99/1165.49 c #Conflicts: 575000 | #Constraints: 58215
1161.99/1165.49 c #Conflicts: 576000 | #Constraints: 59215
1161.99/1165.49 c INPROCESSING
1161.99/1165.49 c GARBAGE COLLECT
1161.99/1165.49 c #Conflicts: 577000 | #Constraints: 45193
1161.99/1165.49 c #Conflicts: 578000 | #Constraints: 46193
1161.99/1165.49 c #Conflicts: 579000 | #Constraints: 47193
1161.99/1165.49 c #Conflicts: 580000 | #Constraints: 48193
1161.99/1165.49 c #Conflicts: 581000 | #Constraints: 49193
1161.99/1165.49 c #Conflicts: 582000 | #Constraints: 50193
1161.99/1165.49 c #Conflicts: 583000 | #Constraints: 51193
1161.99/1165.49 c #Conflicts: 584000 | #Constraints: 52193
1161.99/1165.49 c #Conflicts: 585000 | #Constraints: 53193
1161.99/1165.49 c #Conflicts: 586000 | #Constraints: 54193
1161.99/1165.49 c #Conflicts: 587000 | #Constraints: 55193
1161.99/1165.49 c #Conflicts: 588000 | #Constraints: 56193
1297.10/1300.95 c #Conflicts: 589000 | #Constraints: 57193
1297.10/1300.95 c #Conflicts: 590000 | #Constraints: 58193
1297.10/1300.95 c #Conflicts: 591000 | #Constraints: 59193
1297.10/1300.95 c INPROCESSING
1297.10/1300.95 c GARBAGE COLLECT
1297.10/1300.95 c #Conflicts: 592000 | #Constraints: 45051
1297.10/1300.95 c #Conflicts: 593000 | #Constraints: 46051
1297.10/1300.95 c #Conflicts: 594000 | #Constraints: 47051
1297.10/1300.95 c #Conflicts: 595000 | #Constraints: 48051
1297.10/1300.95 c #Conflicts: 596000 | #Constraints: 49051
1297.10/1300.95 c #Conflicts: 597000 | #Constraints: 50051
1297.10/1300.95 c #Conflicts: 598000 | #Constraints: 51051
1297.10/1300.95 c #Conflicts: 599000 | #Constraints: 52051
1297.10/1300.95 c #Conflicts: 600000 | #Constraints: 53051
1297.10/1300.95 c #Conflicts: 601000 | #Constraints: 54051
1297.10/1300.95 c #Conflicts: 602000 | #Constraints: 55051
1297.10/1300.95 c #Conflicts: 603000 | #Constraints: 56051
1297.10/1300.95 c #Conflicts: 604000 | #Constraints: 57051
1297.10/1300.95 c #Conflicts: 605000 | #Constraints: 58051
1297.10/1300.95 c #Conflicts: 606000 | #Constraints: 59051
1297.10/1300.95 c #Conflicts: 607000 | #Constraints: 60051
1297.10/1300.95 c INPROCESSING
1297.10/1300.95 c GARBAGE COLLECT
1297.10/1300.95 c #Conflicts: 608000 | #Constraints: 45648
1297.10/1300.95 c #Conflicts: 609000 | #Constraints: 46648
1297.10/1300.95 c #Conflicts: 610000 | #Constraints: 47648
1297.10/1300.95 c #Conflicts: 611000 | #Constraints: 48648
1297.10/1300.95 c #Conflicts: 612000 | #Constraints: 49648
1297.10/1300.95 c #Conflicts: 613000 | #Constraints: 50648
1297.10/1300.95 c #Conflicts: 614000 | #Constraints: 51648
1297.10/1300.95 c #Conflicts: 615000 | #Constraints: 52648
1297.10/1300.95 c #Conflicts: 616000 | #Constraints: 53648
1297.10/1300.95 c #Conflicts: 617000 | #Constraints: 54648
1297.10/1300.95 c #Conflicts: 618000 | #Constraints: 55648
1297.10/1300.95 c #Conflicts: 619000 | #Constraints: 56648
1297.10/1300.95 c #Conflicts: 620000 | #Constraints: 57648
1297.10/1300.95 c #Conflicts: 621000 | #Constraints: 58648
1297.10/1300.95 c #Conflicts: 622000 | #Constraints: 59648
1297.10/1300.95 c #Conflicts: 623000 | #Constraints: 60648
1297.10/1300.95 c INPROCESSING
1297.10/1300.95 c GARBAGE COLLECT
1297.10/1300.95 c #Conflicts: 624000 | #Constraints: 46041
1297.10/1300.95 c #Conflicts: 625000 | #Constraints: 47041
1297.10/1300.95 c #Conflicts: 626000 | #Constraints: 48041
1297.10/1300.95 c #Conflicts: 627000 | #Constraints: 49041
1297.10/1300.95 c #Conflicts: 628000 | #Constraints: 50041
1297.10/1300.95 c #Conflicts: 629000 | #Constraints: 51041
1297.10/1300.95 c #Conflicts: 630000 | #Constraints: 52041
1297.10/1300.95 c #Conflicts: 631000 | #Constraints: 53041
1297.10/1300.95 c #Conflicts: 632000 | #Constraints: 54041
1297.10/1300.95 c #Conflicts: 633000 | #Constraints: 55041
1297.10/1300.95 c #Conflicts: 634000 | #Constraints: 56041
1297.10/1300.95 c #Conflicts: 635000 | #Constraints: 57041
1297.10/1300.95 c #Conflicts: 636000 | #Constraints: 58041
1297.10/1300.95 c #Conflicts: 637000 | #Constraints: 59041
1297.10/1300.95 c #Conflicts: 638000 | #Constraints: 60041
1297.10/1300.95 c #Conflicts: 639000 | #Constraints: 61041
1297.10/1300.95 c INPROCESSING
1297.10/1300.95 c GARBAGE COLLECT
1297.10/1300.95 c #Conflicts: 640000 | #Constraints: 46221
1297.10/1300.95 c #Conflicts: 641000 | #Constraints: 47221
1297.10/1300.95 c #Conflicts: 642000 | #Constraints: 48221
1297.10/1300.95 c #Conflicts: 643000 | #Constraints: 49221
1297.10/1300.95 c #Conflicts: 644000 | #Constraints: 50221
1297.10/1300.95 c #Conflicts: 645000 | #Constraints: 51221
1297.10/1300.95 c #Conflicts: 646000 | #Constraints: 52221
1297.10/1300.95 c #Conflicts: 647000 | #Constraints: 53221
1297.10/1300.95 c #Conflicts: 648000 | #Constraints: 54221
1297.10/1300.95 c #Conflicts: 649000 | #Constraints: 55221
1297.10/1300.95 c #Conflicts: 650000 | #Constraints: 56221
1297.10/1300.95 c #Conflicts: 651000 | #Constraints: 57221
1297.10/1300.95 c #Conflicts: 652000 | #Constraints: 58221
1297.10/1300.95 c #Conflicts: 653000 | #Constraints: 59221
1297.10/1300.95 c #Conflicts: 654000 | #Constraints: 60221
1297.10/1300.95 c #Conflicts: 655000 | #Constraints: 61221
1297.10/1300.95 c INPROCESSING
1297.10/1300.95 c GARBAGE COLLECT
1297.10/1300.95 c #Conflicts: 656000 | #Constraints: 46214
1297.10/1300.95 c #Conflicts: 657000 | #Constraints: 47214
1297.10/1300.95 c #Conflicts: 658000 | #Constraints: 48214
1297.10/1300.95 c #Conflicts: 659000 | #Constraints: 49214
1297.10/1300.95 c #Conflicts: 660000 | #Constraints: 50214
1297.10/1300.95 c #Conflicts: 661000 | #Constraints: 51214
1297.10/1300.95 c #Conflicts: 662000 | #Constraints: 52214
1297.10/1300.95 c #Conflicts: 663000 | #Constraints: 53214
1297.10/1300.95 c #Conflicts: 664000 | #Constraints: 54214
1501.00/1505.46 c #Conflicts: 665000 | #Constraints: 55214
1501.00/1505.46 c #Conflicts: 666000 | #Constraints: 56214
1501.00/1505.46 c #Conflicts: 667000 | #Constraints: 57214
1501.00/1505.46 c #Conflicts: 668000 | #Constraints: 58214
1501.00/1505.46 c #Conflicts: 669000 | #Constraints: 59214
1501.00/1505.46 c #Conflicts: 670000 | #Constraints: 60214
1501.00/1505.46 c #Conflicts: 671000 | #Constraints: 61214
1501.00/1505.46 c INPROCESSING
1501.00/1505.46 c GARBAGE COLLECT
1501.00/1505.46 c #Conflicts: 672000 | #Constraints: 46054
1501.00/1505.46 c #Conflicts: 673000 | #Constraints: 47054
1501.00/1505.46 c #Conflicts: 674000 | #Constraints: 48054
1501.00/1505.46 c #Conflicts: 675000 | #Constraints: 49054
1501.00/1505.46 c #Conflicts: 676000 | #Constraints: 50054
1501.00/1505.46 c #Conflicts: 677000 | #Constraints: 51054
1501.00/1505.46 c #Conflicts: 678000 | #Constraints: 52054
1501.00/1505.46 c #Conflicts: 679000 | #Constraints: 53054
1501.00/1505.46 c #Conflicts: 680000 | #Constraints: 54054
1501.00/1505.46 c #Conflicts: 681000 | #Constraints: 55054
1501.00/1505.46 c #Conflicts: 682000 | #Constraints: 56054
1501.00/1505.46 c #Conflicts: 683000 | #Constraints: 57054
1501.00/1505.46 c #Conflicts: 684000 | #Constraints: 58054
1501.00/1505.46 c #Conflicts: 685000 | #Constraints: 59054
1501.00/1505.46 c #Conflicts: 686000 | #Constraints: 60054
1501.00/1505.46 c #Conflicts: 687000 | #Constraints: 61054
1501.00/1505.46 c #Conflicts: 688000 | #Constraints: 62054
1501.00/1505.46 c INPROCESSING
1501.00/1505.46 c GARBAGE COLLECT
1501.00/1505.46 c #Conflicts: 689000 | #Constraints: 46685
1501.00/1505.46 c #Conflicts: 690000 | #Constraints: 47685
1501.00/1505.46 c #Conflicts: 691000 | #Constraints: 48685
1501.00/1505.46 c #Conflicts: 692000 | #Constraints: 49685
1501.00/1505.46 c #Conflicts: 693000 | #Constraints: 50685
1501.00/1505.46 c #Conflicts: 694000 | #Constraints: 51685
1501.00/1505.46 c #Conflicts: 695000 | #Constraints: 52685
1501.00/1505.46 c #Conflicts: 696000 | #Constraints: 53685
1501.00/1505.46 c #Conflicts: 697000 | #Constraints: 54685
1501.00/1505.46 c #Conflicts: 698000 | #Constraints: 55685
1501.00/1505.46 c #Conflicts: 699000 | #Constraints: 56685
1501.00/1505.46 c #Conflicts: 700000 | #Constraints: 57685
1501.00/1505.46 c #Conflicts: 701000 | #Constraints: 58685
1501.00/1505.46 c #Conflicts: 702000 | #Constraints: 59685
1501.00/1505.46 c #Conflicts: 703000 | #Constraints: 60685
1501.00/1505.46 c #Conflicts: 704000 | #Constraints: 61685
1501.00/1505.46 c #Conflicts: 705000 | #Constraints: 62685
1501.00/1505.46 c INPROCESSING
1501.00/1505.46 c GARBAGE COLLECT
1501.00/1505.46 c #Conflicts: 706000 | #Constraints: 47052
1501.00/1505.46 c #Conflicts: 707000 | #Constraints: 48052
1501.00/1505.46 c #Conflicts: 708000 | #Constraints: 49052
1501.00/1505.46 c #Conflicts: 709000 | #Constraints: 50052
1501.00/1505.46 c #Conflicts: 710000 | #Constraints: 51052
1501.00/1505.46 c #Conflicts: 711000 | #Constraints: 52052
1501.00/1505.46 c #Conflicts: 712000 | #Constraints: 53052
1501.00/1505.46 c #Conflicts: 713000 | #Constraints: 54052
1501.00/1505.46 c #Conflicts: 714000 | #Constraints: 55052
1501.00/1505.46 c #Conflicts: 715000 | #Constraints: 56052
1501.00/1505.46 c #Conflicts: 716000 | #Constraints: 57052
1501.00/1505.46 c #Conflicts: 717000 | #Constraints: 58052
1501.00/1505.46 c #Conflicts: 718000 | #Constraints: 59052
1501.00/1505.46 c #Conflicts: 719000 | #Constraints: 60052
1501.00/1505.46 c #Conflicts: 720000 | #Constraints: 61052
1501.00/1505.46 c #Conflicts: 721000 | #Constraints: 62052
1501.00/1505.46 c #Conflicts: 722000 | #Constraints: 63052
1501.00/1505.46 c INPROCESSING
1501.00/1505.46 c GARBAGE COLLECT
1501.00/1505.46 c #Conflicts: 723000 | #Constraints: 47248
1501.00/1505.46 c #Conflicts: 724000 | #Constraints: 48248
1501.00/1505.46 c #Conflicts: 725000 | #Constraints: 49248
1501.00/1505.46 c #Conflicts: 726000 | #Constraints: 50248
1501.00/1505.46 c #Conflicts: 727000 | #Constraints: 51248
1501.00/1505.46 c #Conflicts: 728000 | #Constraints: 52248
1501.00/1505.46 c #Conflicts: 729000 | #Constraints: 53248
1501.00/1505.46 c #Conflicts: 730000 | #Constraints: 54248
1501.00/1505.46 c #Conflicts: 731000 | #Constraints: 55248
1501.00/1505.46 c #Conflicts: 732000 | #Constraints: 56248
1501.00/1505.46 c #Conflicts: 733000 | #Constraints: 57248
1501.00/1505.46 c #Conflicts: 734000 | #Constraints: 58248
1501.00/1505.46 c #Conflicts: 735000 | #Constraints: 59248
1501.00/1505.46 c #Conflicts: 736000 | #Constraints: 60248
1501.00/1505.46 c #Conflicts: 737000 | #Constraints: 61248
1501.00/1505.46 c #Conflicts: 738000 | #Constraints: 62248
1501.00/1505.46 c #Conflicts: 739000 | #Constraints: 63248
1501.00/1505.46 c INPROCESSING
1501.00/1505.46 c GARBAGE COLLECT
1646.88/1651.70 c #Conflicts: 740000 | #Constraints: 47271
1646.88/1651.70 c #Conflicts: 741000 | #Constraints: 48271
1646.88/1651.70 c #Conflicts: 742000 | #Constraints: 49271
1646.88/1651.70 c #Conflicts: 743000 | #Constraints: 50271
1646.88/1651.70 c #Conflicts: 744000 | #Constraints: 51271
1646.88/1651.70 c #Conflicts: 745000 | #Constraints: 52271
1646.88/1651.70 c #Conflicts: 746000 | #Constraints: 53271
1646.88/1651.70 c #Conflicts: 747000 | #Constraints: 54271
1646.88/1651.70 c #Conflicts: 748000 | #Constraints: 55271
1646.88/1651.70 c #Conflicts: 749000 | #Constraints: 56271
1646.88/1651.70 c #Conflicts: 750000 | #Constraints: 57271
1646.88/1651.70 c #Conflicts: 751000 | #Constraints: 58271
1646.88/1651.70 c #Conflicts: 752000 | #Constraints: 59271
1646.88/1651.70 c #Conflicts: 753000 | #Constraints: 60271
1646.88/1651.70 c #Conflicts: 754000 | #Constraints: 61271
1646.88/1651.70 c #Conflicts: 755000 | #Constraints: 62271
1646.88/1651.70 c #Conflicts: 756000 | #Constraints: 63271
1646.88/1651.70 c INPROCESSING
1646.88/1651.70 c GARBAGE COLLECT
1646.88/1651.70 c #Conflicts: 757000 | #Constraints: 47068
1646.88/1651.70 c #Conflicts: 758000 | #Constraints: 48068
1646.88/1651.70 c #Conflicts: 759000 | #Constraints: 49068
1646.88/1651.70 c #Conflicts: 760000 | #Constraints: 50068
1646.88/1651.70 c #Conflicts: 761000 | #Constraints: 51068
1646.88/1651.70 c #Conflicts: 762000 | #Constraints: 52068
1646.88/1651.70 c #Conflicts: 763000 | #Constraints: 53068
1646.88/1651.70 c #Conflicts: 764000 | #Constraints: 54068
1646.88/1651.70 c #Conflicts: 765000 | #Constraints: 55068
1646.88/1651.70 c #Conflicts: 766000 | #Constraints: 56068
1646.88/1651.70 c #Conflicts: 767000 | #Constraints: 57068
1646.88/1651.70 c #Conflicts: 768000 | #Constraints: 58068
1646.88/1651.70 c #Conflicts: 769000 | #Constraints: 59068
1646.88/1651.70 c #Conflicts: 770000 | #Constraints: 60068
1646.88/1651.70 c #Conflicts: 771000 | #Constraints: 61068
1646.88/1651.70 c #Conflicts: 772000 | #Constraints: 62068
1646.88/1651.70 c #Conflicts: 773000 | #Constraints: 63068
1646.88/1651.70 c #Conflicts: 774000 | #Constraints: 64068
1646.88/1651.70 c INPROCESSING
1646.88/1651.70 c GARBAGE COLLECT
1646.88/1651.70 c #Conflicts: 775000 | #Constraints: 47695
1646.88/1651.70 c #Conflicts: 776000 | #Constraints: 48695
1646.88/1651.70 c #Conflicts: 777000 | #Constraints: 49695
1646.88/1651.70 c #Conflicts: 778000 | #Constraints: 50695
1646.88/1651.70 c #Conflicts: 779000 | #Constraints: 51695
1646.88/1651.70 c #Conflicts: 780000 | #Constraints: 52695
1646.88/1651.70 c #Conflicts: 781000 | #Constraints: 53695
1646.88/1651.70 c #Conflicts: 782000 | #Constraints: 54695
1646.88/1651.70 c #Conflicts: 783000 | #Constraints: 55695
1646.88/1651.70 c #Conflicts: 784000 | #Constraints: 56695
1646.88/1651.70 c #Conflicts: 785000 | #Constraints: 57695
1646.88/1651.70 c #Conflicts: 786000 | #Constraints: 58695
1646.88/1651.70 c #Conflicts: 787000 | #Constraints: 59695
1646.88/1651.70 c #Conflicts: 788000 | #Constraints: 60695
1646.88/1651.70 c #Conflicts: 789000 | #Constraints: 61695
1646.88/1651.70 c #Conflicts: 790000 | #Constraints: 62695
1646.88/1651.70 c #Conflicts: 791000 | #Constraints: 63695
1646.88/1651.70 c #Conflicts: 792000 | #Constraints: 64695
1646.88/1651.70 c INPROCESSING
1646.88/1651.70 c GARBAGE COLLECT
1646.88/1651.70 c #Conflicts: 793000 | #Constraints: 48023
1646.88/1651.70 c #Conflicts: 794000 | #Constraints: 49023
1646.88/1651.70 c #Conflicts: 795000 | #Constraints: 50023
1646.88/1651.70 c #Conflicts: 796000 | #Constraints: 51023
1646.88/1651.70 c #Conflicts: 797000 | #Constraints: 52023
1646.88/1651.70 c #Conflicts: 798000 | #Constraints: 53023
1646.88/1651.70 c #Conflicts: 799000 | #Constraints: 54023
1646.88/1651.70 c #Conflicts: 800000 | #Constraints: 55023
1646.88/1651.70 c #Conflicts: 801000 | #Constraints: 56023
1646.88/1651.70 c #Conflicts: 802000 | #Constraints: 57023
1646.88/1651.70 c #Conflicts: 803000 | #Constraints: 58023
1646.88/1651.70 c #Conflicts: 804000 | #Constraints: 59023
1646.88/1651.70 c #Conflicts: 805000 | #Constraints: 60023
1646.88/1651.70 c #Conflicts: 806000 | #Constraints: 61023
1646.88/1651.70 c #Conflicts: 807000 | #Constraints: 62023
1646.88/1651.70 c #Conflicts: 808000 | #Constraints: 63023
1646.88/1651.70 c #Conflicts: 809000 | #Constraints: 64023
1646.88/1651.70 c #Conflicts: 810000 | #Constraints: 65023
1646.88/1651.70 c INPROCESSING
1646.88/1651.70 c GARBAGE COLLECT
1646.88/1651.70 c #Conflicts: 811000 | #Constraints: 48262
1646.88/1651.70 c #Conflicts: 812000 | #Constraints: 49262
1646.88/1651.70 c #Conflicts: 813000 | #Constraints: 50262
1646.88/1651.70 c #Conflicts: 814000 | #Constraints: 51262
1646.88/1651.70 c #Conflicts: 815000 | #Constraints: 52262
1646.88/1651.70 c #Conflicts: 816000 | #Constraints: 53262
1837.91/1843.30 c #Conflicts: 817000 | #Constraints: 54262
1837.91/1843.30 c #Conflicts: 818000 | #Constraints: 55262
1837.91/1843.30 c #Conflicts: 819000 | #Constraints: 56262
1837.91/1843.30 c #Conflicts: 820000 | #Constraints: 57262
1837.91/1843.30 c #Conflicts: 821000 | #Constraints: 58262
1837.91/1843.30 c #Conflicts: 822000 | #Constraints: 59262
1837.91/1843.30 c #Conflicts: 823000 | #Constraints: 60262
1837.91/1843.30 c #Conflicts: 824000 | #Constraints: 61262
1837.91/1843.30 c #Conflicts: 825000 | #Constraints: 62262
1837.91/1843.30 c #Conflicts: 826000 | #Constraints: 63262
1837.91/1843.30 c #Conflicts: 827000 | #Constraints: 64262
1837.91/1843.30 c #Conflicts: 828000 | #Constraints: 65262
1837.91/1843.30 c INPROCESSING
1837.91/1843.30 c GARBAGE COLLECT
1837.91/1843.30 c #Conflicts: 829000 | #Constraints: 48360
1837.91/1843.30 c #Conflicts: 830000 | #Constraints: 49360
1837.91/1843.30 c #Conflicts: 831000 | #Constraints: 50360
1837.91/1843.30 c #Conflicts: 832000 | #Constraints: 51360
1837.91/1843.30 c #Conflicts: 833000 | #Constraints: 52360
1837.91/1843.30 c #Conflicts: 834000 | #Constraints: 53360
1837.91/1843.30 c #Conflicts: 835000 | #Constraints: 54360
1837.91/1843.30 c #Conflicts: 836000 | #Constraints: 55360
1837.91/1843.30 c #Conflicts: 837000 | #Constraints: 56360
1837.91/1843.30 c #Conflicts: 838000 | #Constraints: 57360
1837.91/1843.30 c #Conflicts: 839000 | #Constraints: 58360
1837.91/1843.30 c #Conflicts: 840000 | #Constraints: 59360
1837.91/1843.30 c #Conflicts: 841000 | #Constraints: 60360
1837.91/1843.30 c #Conflicts: 842000 | #Constraints: 61360
1837.91/1843.30 c #Conflicts: 843000 | #Constraints: 62360
1837.91/1843.30 c #Conflicts: 844000 | #Constraints: 63360
1837.91/1843.30 c #Conflicts: 845000 | #Constraints: 64360
1837.91/1843.30 c #Conflicts: 846000 | #Constraints: 65360
1837.91/1843.30 c INPROCESSING
1837.91/1843.30 c GARBAGE COLLECT
1837.91/1843.30 c #Conflicts: 847000 | #Constraints: 48151
1837.91/1843.30 c #Conflicts: 848000 | #Constraints: 49151
1837.91/1843.30 c #Conflicts: 849000 | #Constraints: 50151
1837.91/1843.30 c #Conflicts: 850000 | #Constraints: 51151
1837.91/1843.30 c #Conflicts: 851000 | #Constraints: 52151
1837.91/1843.30 c #Conflicts: 852000 | #Constraints: 53151
1837.91/1843.30 c #Conflicts: 853000 | #Constraints: 54151
1837.91/1843.30 c #Conflicts: 854000 | #Constraints: 55151
1837.91/1843.30 c #Conflicts: 855000 | #Constraints: 56151
1837.91/1843.30 c #Conflicts: 856000 | #Constraints: 57151
1837.91/1843.30 c #Conflicts: 857000 | #Constraints: 58151
1837.91/1843.30 c #Conflicts: 858000 | #Constraints: 59151
1837.91/1843.30 c #Conflicts: 859000 | #Constraints: 60151
1837.91/1843.30 c #Conflicts: 860000 | #Constraints: 61151
1837.91/1843.30 c #Conflicts: 861000 | #Constraints: 62151
1837.91/1843.30 c #Conflicts: 862000 | #Constraints: 63151
1837.91/1843.30 c #Conflicts: 863000 | #Constraints: 64151
1837.91/1843.30 c #Conflicts: 864000 | #Constraints: 65151
1837.91/1843.30 c #Conflicts: 865000 | #Constraints: 66151
1837.91/1843.30 c INPROCESSING
1837.91/1843.30 c GARBAGE COLLECT
1837.91/1843.30 c #Conflicts: 866000 | #Constraints: 48743
1837.91/1843.30 c #Conflicts: 867000 | #Constraints: 49743
1837.91/1843.30 c #Conflicts: 868000 | #Constraints: 50743
1837.91/1843.30 c #Conflicts: 869000 | #Constraints: 51743
1837.91/1843.30 c #Conflicts: 870000 | #Constraints: 52743
1837.91/1843.30 c #Conflicts: 871000 | #Constraints: 53743
1837.91/1843.30 c #Conflicts: 872000 | #Constraints: 54743
1837.91/1843.30 c #Conflicts: 873000 | #Constraints: 55743
1837.91/1843.30 c #Conflicts: 874000 | #Constraints: 56743
1837.91/1843.30 c #Conflicts: 875000 | #Constraints: 57743
1837.91/1843.30 c #Conflicts: 876000 | #Constraints: 58743
1837.91/1843.30 c #Conflicts: 877000 | #Constraints: 59743
1837.91/1843.30 c #Conflicts: 878000 | #Constraints: 60743
1837.91/1843.30 c #Conflicts: 879000 | #Constraints: 61743
1837.91/1843.30 c #Conflicts: 880000 | #Constraints: 62743
1837.91/1843.30 c #Conflicts: 881000 | #Constraints: 63743
1837.91/1843.30 c #Conflicts: 882000 | #Constraints: 64743
1837.91/1843.30 c #Conflicts: 883000 | #Constraints: 65743
1837.91/1843.30 c #Conflicts: 884000 | #Constraints: 66743
1837.91/1843.30 c #Conflicts: 885000 | #Constraints: 67743
1837.91/1843.30 c #Conflicts: 886000 | #Constraints: 68743
1837.91/1843.30 c #Conflicts: 887000 | #Constraints: 69743
1837.91/1843.30 c #Conflicts: 888000 | #Constraints: 70743
1837.91/1843.30 c #Conflicts: 889000 | #Constraints: 71743
1837.91/1843.30 c #Conflicts: 890000 | #Constraints: 72743
1837.91/1843.30 c #Conflicts: 891000 | #Constraints: 73743
1837.91/1843.30 c #Conflicts: 892000 | #Constraints: 74743
2413.51/2420.78 c #Conflicts: 893000 | #Constraints: 75743
2413.51/2420.78 c #Conflicts: 894000 | #Constraints: 76743
2413.51/2420.78 c #Conflicts: 895000 | #Constraints: 77743
2413.51/2420.78 c #Conflicts: 896000 | #Constraints: 78743
2413.51/2420.78 c #Conflicts: 897000 | #Constraints: 79743
2413.51/2420.78 c #Conflicts: 898000 | #Constraints: 80743
2413.51/2420.78 c #Conflicts: 899000 | #Constraints: 81743
2413.51/2420.78 c #Conflicts: 900000 | #Constraints: 82743
2413.51/2420.78 c #Conflicts: 901000 | #Constraints: 83743
2413.51/2420.78 c #Conflicts: 902000 | #Constraints: 84743
2413.51/2420.78 c #Conflicts: 903000 | #Constraints: 85743
2413.51/2420.78 c #Conflicts: 904000 | #Constraints: 86743
2413.51/2420.78 c #Conflicts: 905000 | #Constraints: 87743
2413.51/2420.78 c #Conflicts: 906000 | #Constraints: 88743
2413.51/2420.78 c #Conflicts: 907000 | #Constraints: 89743
2413.51/2420.78 c #Conflicts: 908000 | #Constraints: 90743
2413.51/2420.78 c #Conflicts: 909000 | #Constraints: 91743
2413.51/2420.78 c #Conflicts: 910000 | #Constraints: 92743
2413.51/2420.78 c #Conflicts: 911000 | #Constraints: 93743
2413.51/2420.78 c #Conflicts: 912000 | #Constraints: 94743
2413.51/2420.78 c #Conflicts: 913000 | #Constraints: 95743
2413.51/2420.78 c #Conflicts: 914000 | #Constraints: 96743
2413.51/2420.78 c #Conflicts: 915000 | #Constraints: 97743
2413.51/2420.78 c #Conflicts: 916000 | #Constraints: 98743
2413.51/2420.78 c #Conflicts: 917000 | #Constraints: 99743
2413.51/2420.78 c #Conflicts: 918000 | #Constraints: 100743
2413.51/2420.78 c #Conflicts: 919000 | #Constraints: 101743
2413.51/2420.78 c #Conflicts: 920000 | #Constraints: 102743
2413.51/2420.78 c #Conflicts: 921000 | #Constraints: 103743
2413.51/2420.78 c #Conflicts: 922000 | #Constraints: 104743
2413.51/2420.78 c #Conflicts: 923000 | #Constraints: 105743
2413.51/2420.78 c #Conflicts: 924000 | #Constraints: 106743
2413.51/2420.78 c #Conflicts: 925000 | #Constraints: 107743
2413.51/2420.78 c #Conflicts: 926000 | #Constraints: 108743
2413.51/2420.78 c #Conflicts: 927000 | #Constraints: 109743
2413.51/2420.78 c #Conflicts: 928000 | #Constraints: 110743
2413.51/2420.78 c #Conflicts: 929000 | #Constraints: 111743
2413.51/2420.78 c #Conflicts: 930000 | #Constraints: 112743
2413.51/2420.78 c #Conflicts: 931000 | #Constraints: 113743
2413.51/2420.78 c #Conflicts: 932000 | #Constraints: 114743
2413.51/2420.78 c #Conflicts: 933000 | #Constraints: 115743
2413.51/2420.78 c #Conflicts: 934000 | #Constraints: 116743
2413.51/2420.78 c #Conflicts: 935000 | #Constraints: 117743
2413.51/2420.78 c #Conflicts: 936000 | #Constraints: 118743
2413.51/2420.78 c #Conflicts: 937000 | #Constraints: 119743
2413.51/2420.78 c #Conflicts: 938000 | #Constraints: 120743
2413.51/2420.78 c #Conflicts: 939000 | #Constraints: 121743
2413.51/2420.78 c #Conflicts: 940000 | #Constraints: 122743
2413.51/2420.78 c #Conflicts: 941000 | #Constraints: 123743
2413.51/2420.78 c #Conflicts: 942000 | #Constraints: 124743
2413.51/2420.78 c #Conflicts: 943000 | #Constraints: 125743
2413.51/2420.78 c #Conflicts: 944000 | #Constraints: 126743
2413.51/2420.78 c #Conflicts: 945000 | #Constraints: 127743
2413.51/2420.78 c #Conflicts: 946000 | #Constraints: 128743
2413.51/2420.78 c #Conflicts: 947000 | #Constraints: 129743
2413.51/2420.78 c #Conflicts: 948000 | #Constraints: 130743
2413.51/2420.78 c #Conflicts: 949000 | #Constraints: 131743
2413.51/2420.78 c #Conflicts: 950000 | #Constraints: 132743
2413.51/2420.78 c #Conflicts: 951000 | #Constraints: 133743
2413.51/2420.78 c #Conflicts: 952000 | #Constraints: 134743
2413.51/2420.78 c #Conflicts: 953000 | #Constraints: 135743
2413.51/2420.78 c #Conflicts: 954000 | #Constraints: 136743
2413.51/2420.78 c #Conflicts: 955000 | #Constraints: 137743
2413.51/2420.78 c #Conflicts: 956000 | #Constraints: 138743
2413.51/2420.78 c #Conflicts: 957000 | #Constraints: 139743
2413.51/2420.78 c #Conflicts: 958000 | #Constraints: 140743
2413.51/2420.78 c #Conflicts: 959000 | #Constraints: 141743
2413.51/2420.78 c #Conflicts: 960000 | #Constraints: 142743
2413.51/2420.78 c INPROCESSING
2413.51/2420.78 c GARBAGE COLLECT
2413.51/2420.78 c #Conflicts: 961000 | #Constraints: 86915
2413.51/2420.78 c #Conflicts: 962000 | #Constraints: 87915
2413.51/2420.78 c #Conflicts: 963000 | #Constraints: 88915
2413.51/2420.78 c #Conflicts: 964000 | #Constraints: 89915
2413.51/2420.78 c #Conflicts: 965000 | #Constraints: 90915
2413.51/2420.78 c #Conflicts: 966000 | #Constraints: 91915
2413.51/2420.78 c #Conflicts: 967000 | #Constraints: 92915
2413.51/2420.78 c #Conflicts: 968000 | #Constraints: 93915
2413.51/2420.78 c #Conflicts: 969000 | #Constraints: 94915
2413.51/2420.78 c #Conflicts: 970000 | #Constraints: 95915
2413.51/2420.78 c #Conflicts: 971000 | #Constraints: 96915
2852.71/2861.19 c #Conflicts: 972000 | #Constraints: 97915
2852.71/2861.19 c #Conflicts: 973000 | #Constraints: 98915
2852.71/2861.19 c #Conflicts: 974000 | #Constraints: 99915
2852.71/2861.19 c #Conflicts: 975000 | #Constraints: 100915
2852.71/2861.19 c #Conflicts: 976000 | #Constraints: 101915
2852.71/2861.19 c #Conflicts: 977000 | #Constraints: 102915
2852.71/2861.19 c #Conflicts: 978000 | #Constraints: 103915
2852.71/2861.19 c #Conflicts: 979000 | #Constraints: 104915
2852.71/2861.19 c #Conflicts: 980000 | #Constraints: 105915
2852.71/2861.19 c INPROCESSING
2852.71/2861.19 c GARBAGE COLLECT
2852.71/2861.19 c #Conflicts: 981000 | #Constraints: 68587
2852.71/2861.19 c #Conflicts: 982000 | #Constraints: 69587
2852.71/2861.19 c #Conflicts: 983000 | #Constraints: 70587
2852.71/2861.19 c #Conflicts: 984000 | #Constraints: 71587
2852.71/2861.19 c #Conflicts: 985000 | #Constraints: 72587
2852.71/2861.19 c #Conflicts: 986000 | #Constraints: 73587
2852.71/2861.19 c #Conflicts: 987000 | #Constraints: 74587
2852.71/2861.19 c #Conflicts: 988000 | #Constraints: 75587
2852.71/2861.19 c #Conflicts: 989000 | #Constraints: 76587
2852.71/2861.19 c #Conflicts: 990000 | #Constraints: 77587
2852.71/2861.19 c #Conflicts: 991000 | #Constraints: 78587
2852.71/2861.19 c #Conflicts: 992000 | #Constraints: 79587
2852.71/2861.19 c #Conflicts: 993000 | #Constraints: 80587
2852.71/2861.19 c #Conflicts: 994000 | #Constraints: 81587
2852.71/2861.19 c #Conflicts: 995000 | #Constraints: 82587
2852.71/2861.19 c #Conflicts: 996000 | #Constraints: 83587
2852.71/2861.19 c #Conflicts: 997000 | #Constraints: 84587
2852.71/2861.19 c #Conflicts: 998000 | #Constraints: 85587
2852.71/2861.19 c #Conflicts: 999000 | #Constraints: 86587
2852.71/2861.19 c #Conflicts: 1000000 | #Constraints: 87587
2852.71/2861.19 c INPROCESSING
2852.71/2861.19 c GARBAGE COLLECT
2852.71/2861.19 c #Conflicts: 1001000 | #Constraints: 59357
2852.71/2861.19 c #Conflicts: 1002000 | #Constraints: 60357
2852.71/2861.19 c #Conflicts: 1003000 | #Constraints: 61357
2852.71/2861.19 c #Conflicts: 1004000 | #Constraints: 62357
2852.71/2861.19 c #Conflicts: 1005000 | #Constraints: 63357
2852.71/2861.19 c #Conflicts: 1006000 | #Constraints: 64357
2852.71/2861.19 c #Conflicts: 1007000 | #Constraints: 65357
2852.71/2861.19 c #Conflicts: 1008000 | #Constraints: 66357
2852.71/2861.19 c #Conflicts: 1009000 | #Constraints: 67357
2852.71/2861.19 c #Conflicts: 1010000 | #Constraints: 68357
2852.71/2861.19 c #Conflicts: 1011000 | #Constraints: 69357
2852.71/2861.19 c #Conflicts: 1012000 | #Constraints: 70357
2852.71/2861.19 c #Conflicts: 1013000 | #Constraints: 71357
2852.71/2861.19 c #Conflicts: 1014000 | #Constraints: 72357
2852.71/2861.19 c #Conflicts: 1015000 | #Constraints: 73357
2852.71/2861.19 c #Conflicts: 1016000 | #Constraints: 74357
2852.71/2861.19 c #Conflicts: 1017000 | #Constraints: 75357
2852.71/2861.19 c #Conflicts: 1018000 | #Constraints: 76357
2852.71/2861.19 c #Conflicts: 1019000 | #Constraints: 77357
2852.71/2861.19 c #Conflicts: 1020000 | #Constraints: 78357
2852.71/2861.19 c INPROCESSING
2852.71/2861.19 c GARBAGE COLLECT
2852.71/2861.19 c #Conflicts: 1021000 | #Constraints: 54614
2852.71/2861.19 c #Conflicts: 1022000 | #Constraints: 55614
2852.71/2861.19 c #Conflicts: 1023000 | #Constraints: 56614
2852.71/2861.19 c #Conflicts: 1024000 | #Constraints: 57614
2852.71/2861.19 c #Conflicts: 1025000 | #Constraints: 58614
2852.71/2861.19 c #Conflicts: 1026000 | #Constraints: 59614
2852.71/2861.19 c #Conflicts: 1027000 | #Constraints: 60614
2852.71/2861.19 c #Conflicts: 1028000 | #Constraints: 61614
2852.71/2861.19 c #Conflicts: 1029000 | #Constraints: 62614
2852.71/2861.19 c #Conflicts: 1030000 | #Constraints: 63614
2852.71/2861.19 c #Conflicts: 1031000 | #Constraints: 64614
2852.71/2861.19 c #Conflicts: 1032000 | #Constraints: 65614
2852.71/2861.19 c #Conflicts: 1033000 | #Constraints: 66614
2852.71/2861.19 c #Conflicts: 1034000 | #Constraints: 67614
2852.71/2861.19 c #Conflicts: 1035000 | #Constraints: 68614
2852.71/2861.19 c #Conflicts: 1036000 | #Constraints: 69614
2852.71/2861.19 c #Conflicts: 1037000 | #Constraints: 70614
2852.71/2861.19 c #Conflicts: 1038000 | #Constraints: 71614
2852.71/2861.19 c #Conflicts: 1039000 | #Constraints: 72614
2852.71/2861.19 c #Conflicts: 1040000 | #Constraints: 73614
2852.71/2861.19 c #Conflicts: 1041000 | #Constraints: 74614
2852.71/2861.19 c INPROCESSING
2852.71/2861.19 c GARBAGE COLLECT
2852.71/2861.19 c #Conflicts: 1042000 | #Constraints: 52929
2852.71/2861.19 c #Conflicts: 1043000 | #Constraints: 53929
2852.71/2861.19 c #Conflicts: 1044000 | #Constraints: 54929
2852.71/2861.19 c #Conflicts: 1045000 | #Constraints: 55929
2852.71/2861.19 c #Conflicts: 1046000 | #Constraints: 56929
2852.71/2861.19 c #Conflicts: 1047000 | #Constraints: 57929
3141.50/3150.77 c #Conflicts: 1048000 | #Constraints: 58929
3141.50/3150.77 c #Conflicts: 1049000 | #Constraints: 59929
3141.50/3150.77 c #Conflicts: 1050000 | #Constraints: 60929
3141.50/3150.77 c #Conflicts: 1051000 | #Constraints: 61929
3141.50/3150.77 c #Conflicts: 1052000 | #Constraints: 62929
3141.50/3150.77 c #Conflicts: 1053000 | #Constraints: 63929
3141.50/3150.77 c #Conflicts: 1054000 | #Constraints: 64929
3141.50/3150.77 c #Conflicts: 1055000 | #Constraints: 65929
3141.50/3150.77 c #Conflicts: 1056000 | #Constraints: 66929
3141.50/3150.77 c #Conflicts: 1057000 | #Constraints: 67929
3141.50/3150.77 c #Conflicts: 1058000 | #Constraints: 68929
3141.50/3150.77 c #Conflicts: 1059000 | #Constraints: 69929
3141.50/3150.77 c #Conflicts: 1060000 | #Constraints: 70929
3141.50/3150.77 c #Conflicts: 1061000 | #Constraints: 71929
3141.50/3150.77 c #Conflicts: 1062000 | #Constraints: 72929
3141.50/3150.77 c INPROCESSING
3141.50/3150.77 c GARBAGE COLLECT
3141.50/3150.77 c #Conflicts: 1063000 | #Constraints: 52186
3141.50/3150.77 c #Conflicts: 1064000 | #Constraints: 53186
3141.50/3150.77 c #Conflicts: 1065000 | #Constraints: 54186
3141.50/3150.77 c #Conflicts: 1066000 | #Constraints: 55186
3141.50/3150.77 c #Conflicts: 1067000 | #Constraints: 56186
3141.50/3150.77 c #Conflicts: 1068000 | #Constraints: 57186
3141.50/3150.77 c #Conflicts: 1069000 | #Constraints: 58186
3141.50/3150.77 c #Conflicts: 1070000 | #Constraints: 59186
3141.50/3150.77 c #Conflicts: 1071000 | #Constraints: 60186
3141.50/3150.77 c #Conflicts: 1072000 | #Constraints: 61186
3141.50/3150.77 c #Conflicts: 1073000 | #Constraints: 62186
3141.50/3150.77 c #Conflicts: 1074000 | #Constraints: 63186
3141.50/3150.77 c #Conflicts: 1075000 | #Constraints: 64186
3141.50/3150.77 c #Conflicts: 1076000 | #Constraints: 65186
3141.50/3150.77 c #Conflicts: 1077000 | #Constraints: 66186
3141.50/3150.77 c #Conflicts: 1078000 | #Constraints: 67186
3141.50/3150.77 c #Conflicts: 1079000 | #Constraints: 68186
3141.50/3150.77 c #Conflicts: 1080000 | #Constraints: 69186
3141.50/3150.77 c #Conflicts: 1081000 | #Constraints: 70186
3141.50/3150.77 c #Conflicts: 1082000 | #Constraints: 71186
3141.50/3150.77 c INPROCESSING
3141.50/3150.77 c GARBAGE COLLECT
3141.50/3150.77 c #Conflicts: 1083000 | #Constraints: 50894
3141.50/3150.77 c #Conflicts: 1084000 | #Constraints: 51894
3141.50/3150.77 c #Conflicts: 1085000 | #Constraints: 52894
3141.50/3150.77 c #Conflicts: 1086000 | #Constraints: 53894
3141.50/3150.77 c #Conflicts: 1087000 | #Constraints: 54894
3141.50/3150.77 c #Conflicts: 1088000 | #Constraints: 55894
3141.50/3150.77 c #Conflicts: 1089000 | #Constraints: 56894
3141.50/3150.77 c #Conflicts: 1090000 | #Constraints: 57894
3141.50/3150.77 c #Conflicts: 1091000 | #Constraints: 58894
3141.50/3150.77 c #Conflicts: 1092000 | #Constraints: 59894
3141.50/3150.77 c #Conflicts: 1093000 | #Constraints: 60894
3141.50/3150.77 c #Conflicts: 1094000 | #Constraints: 61894
3141.50/3150.77 c #Conflicts: 1095000 | #Constraints: 62894
3141.50/3150.77 c #Conflicts: 1096000 | #Constraints: 63894
3141.50/3150.77 c #Conflicts: 1097000 | #Constraints: 64894
3141.50/3150.77 c #Conflicts: 1098000 | #Constraints: 65894
3141.50/3150.77 c #Conflicts: 1099000 | #Constraints: 66894
3141.50/3150.77 c #Conflicts: 1100000 | #Constraints: 67894
3141.50/3150.77 c #Conflicts: 1101000 | #Constraints: 68894
3141.50/3150.77 c #Conflicts: 1102000 | #Constraints: 69894
3141.50/3150.77 c #Conflicts: 1103000 | #Constraints: 70894
3141.50/3150.77 c #Conflicts: 1104000 | #Constraints: 71894
3141.50/3150.77 c INPROCESSING
3141.50/3150.77 c GARBAGE COLLECT
3141.50/3150.77 c #Conflicts: 1105000 | #Constraints: 51750
3141.50/3150.77 c #Conflicts: 1106000 | #Constraints: 52750
3141.50/3150.77 c #Conflicts: 1107000 | #Constraints: 53750
3141.50/3150.77 c #Conflicts: 1108000 | #Constraints: 54750
3141.50/3150.77 c #Conflicts: 1109000 | #Constraints: 55750
3141.50/3150.77 c #Conflicts: 1110000 | #Constraints: 56750
3141.50/3150.77 c #Conflicts: 1111000 | #Constraints: 57750
3141.50/3150.77 c #Conflicts: 1112000 | #Constraints: 58750
3141.50/3150.77 c #Conflicts: 1113000 | #Constraints: 59750
3141.50/3150.77 c #Conflicts: 1114000 | #Constraints: 60750
3141.50/3150.77 c #Conflicts: 1115000 | #Constraints: 61750
3141.50/3150.77 c #Conflicts: 1116000 | #Constraints: 62750
3141.50/3150.77 c #Conflicts: 1117000 | #Constraints: 63750
3141.50/3150.77 c #Conflicts: 1118000 | #Constraints: 64750
3141.50/3150.77 c #Conflicts: 1119000 | #Constraints: 65750
3141.50/3150.77 c #Conflicts: 1120000 | #Constraints: 66750
3141.50/3150.77 c #Conflicts: 1121000 | #Constraints: 67750
3141.50/3150.77 c #Conflicts: 1122000 | #Constraints: 68750
3141.50/3150.77 c #Conflicts: 1123000 | #Constraints: 69750
3141.50/3150.77 c #Conflicts: 1124000 | #Constraints: 70750
3283.52/3293.19 c #Conflicts: 1125000 | #Constraints: 71750
3283.52/3293.19 c INPROCESSING
3283.52/3293.19 c GARBAGE COLLECT
3283.52/3293.19 c #Conflicts: 1126000 | #Constraints: 51527
3283.52/3293.19 c #Conflicts: 1127000 | #Constraints: 52527
3283.52/3293.19 c #Conflicts: 1128000 | #Constraints: 53527
3283.52/3293.19 c #Conflicts: 1129000 | #Constraints: 54527
3283.52/3293.19 c #Conflicts: 1130000 | #Constraints: 55527
3283.52/3293.19 c #Conflicts: 1131000 | #Constraints: 56527
3283.52/3293.19 c #Conflicts: 1132000 | #Constraints: 57527
3283.52/3293.19 c #Conflicts: 1133000 | #Constraints: 58527
3283.52/3293.19 c #Conflicts: 1134000 | #Constraints: 59527
3283.52/3293.19 c #Conflicts: 1135000 | #Constraints: 60527
3283.52/3293.19 c #Conflicts: 1136000 | #Constraints: 61527
3283.52/3293.19 c #Conflicts: 1137000 | #Constraints: 62527
3283.52/3293.19 c #Conflicts: 1138000 | #Constraints: 63527
3283.52/3293.19 c #Conflicts: 1139000 | #Constraints: 64527
3283.52/3293.19 c #Conflicts: 1140000 | #Constraints: 65527
3283.52/3293.19 c #Conflicts: 1141000 | #Constraints: 66527
3283.52/3293.19 c #Conflicts: 1142000 | #Constraints: 67527
3283.52/3293.19 c #Conflicts: 1143000 | #Constraints: 68527
3283.52/3293.19 c #Conflicts: 1144000 | #Constraints: 69527
3283.52/3293.19 c #Conflicts: 1145000 | #Constraints: 70527
3283.52/3293.19 c #Conflicts: 1146000 | #Constraints: 71527
3283.52/3293.19 c INPROCESSING
3283.52/3293.19 c GARBAGE COLLECT
3283.52/3293.19 c #Conflicts: 1147000 | #Constraints: 51134
3283.52/3293.19 c #Conflicts: 1148000 | #Constraints: 52134
3283.52/3293.19 c #Conflicts: 1149000 | #Constraints: 53134
3283.52/3293.19 c #Conflicts: 1150000 | #Constraints: 54134
3283.52/3293.19 c #Conflicts: 1151000 | #Constraints: 55134
3283.52/3293.19 c #Conflicts: 1152000 | #Constraints: 56134
3283.52/3293.19 c #Conflicts: 1153000 | #Constraints: 57134
3283.52/3293.19 c #Conflicts: 1154000 | #Constraints: 58134
3283.52/3293.19 c #Conflicts: 1155000 | #Constraints: 59134
3283.52/3293.19 c #Conflicts: 1156000 | #Constraints: 60134
3283.52/3293.19 c #Conflicts: 1157000 | #Constraints: 61134
3283.52/3293.19 c #Conflicts: 1158000 | #Constraints: 62134
3283.52/3293.19 c #Conflicts: 1159000 | #Constraints: 63134
3283.52/3293.19 c #Conflicts: 1160000 | #Constraints: 64134
3283.52/3293.19 c #Conflicts: 1161000 | #Constraints: 65134
3283.52/3293.19 c #Conflicts: 1162000 | #Constraints: 66134
3283.52/3293.19 c #Conflicts: 1163000 | #Constraints: 67134
3283.52/3293.19 c #Conflicts: 1164000 | #Constraints: 68134
3283.52/3293.19 c #Conflicts: 1165000 | #Constraints: 69134
3283.52/3293.19 c #Conflicts: 1166000 | #Constraints: 70134
3283.52/3293.19 c #Conflicts: 1167000 | #Constraints: 71134
3283.52/3293.19 c #Conflicts: 1168000 | #Constraints: 72134
3283.52/3293.19 c INPROCESSING
3283.52/3293.19 c GARBAGE COLLECT
3283.52/3293.19 c #Conflicts: 1169000 | #Constraints: 51524
3283.52/3293.19 c #Conflicts: 1170000 | #Constraints: 52524
3283.52/3293.19 c #Conflicts: 1171000 | #Constraints: 53524
3283.52/3293.19 c #Conflicts: 1172000 | #Constraints: 54524
3283.52/3293.19 c #Conflicts: 1173000 | #Constraints: 55524
3283.52/3293.19 c #Conflicts: 1174000 | #Constraints: 56524
3283.52/3293.19 c #Conflicts: 1175000 | #Constraints: 57524
3283.52/3293.19 c #Conflicts: 1176000 | #Constraints: 58524
3283.52/3293.19 c #Conflicts: 1177000 | #Constraints: 59524
3283.52/3293.19 c #Conflicts: 1178000 | #Constraints: 60524
3283.52/3293.19 c #Conflicts: 1179000 | #Constraints: 61524
3283.52/3293.19 c #Conflicts: 1180000 | #Constraints: 62524
3283.52/3293.19 c #Conflicts: 1181000 | #Constraints: 63524
3283.52/3293.19 c #Conflicts: 1182000 | #Constraints: 64524
3283.52/3293.19 c #Conflicts: 1183000 | #Constraints: 65524
3283.52/3293.19 c #Conflicts: 1184000 | #Constraints: 66524
3283.52/3293.19 c #Conflicts: 1185000 | #Constraints: 67524
3283.52/3293.19 c #Conflicts: 1186000 | #Constraints: 68524
3283.52/3293.19 c #Conflicts: 1187000 | #Constraints: 69524
3283.52/3293.19 c #Conflicts: 1188000 | #Constraints: 70524
3283.52/3293.19 c #Conflicts: 1189000 | #Constraints: 71524
3283.52/3293.19 c #Conflicts: 1190000 | #Constraints: 72524
3283.52/3293.19 c INPROCESSING
3283.52/3293.19 c GARBAGE COLLECT
3283.52/3293.19 c #Conflicts: 1191000 | #Constraints: 51875
3283.52/3293.19 c #Conflicts: 1192000 | #Constraints: 52875
3283.52/3293.19 c #Conflicts: 1193000 | #Constraints: 53875
3283.52/3293.19 c #Conflicts: 1194000 | #Constraints: 54875
3283.52/3293.19 c #Conflicts: 1195000 | #Constraints: 55875
3283.52/3293.19 c #Conflicts: 1196000 | #Constraints: 56875
3283.52/3293.19 c #Conflicts: 1197000 | #Constraints: 57875
3283.52/3293.19 c #Conflicts: 1198000 | #Constraints: 58875
3283.52/3293.19 c #Conflicts: 1199000 | #Constraints: 59875
3283.52/3293.19 c #Conflicts: 1200000 | #Constraints: 60875
3463.35/3473.48 c #Conflicts: 1201000 | #Constraints: 61875
3463.35/3473.48 c #Conflicts: 1202000 | #Constraints: 62875
3463.35/3473.48 c #Conflicts: 1203000 | #Constraints: 63875
3463.35/3473.48 c #Conflicts: 1204000 | #Constraints: 64875
3463.35/3473.48 c #Conflicts: 1205000 | #Constraints: 65875
3463.35/3473.48 c #Conflicts: 1206000 | #Constraints: 66875
3463.35/3473.48 c #Conflicts: 1207000 | #Constraints: 67875
3463.35/3473.48 c #Conflicts: 1208000 | #Constraints: 68875
3463.35/3473.48 c #Conflicts: 1209000 | #Constraints: 69875
3463.35/3473.48 c #Conflicts: 1210000 | #Constraints: 70875
3463.35/3473.48 c #Conflicts: 1211000 | #Constraints: 71875
3463.35/3473.48 c #Conflicts: 1212000 | #Constraints: 72875
3463.35/3473.48 c INPROCESSING
3463.35/3473.48 c GARBAGE COLLECT
3463.35/3473.48 c #Conflicts: 1213000 | #Constraints: 51905
3463.35/3473.48 c #Conflicts: 1214000 | #Constraints: 52905
3463.35/3473.48 c #Conflicts: 1215000 | #Constraints: 53905
3463.35/3473.48 c #Conflicts: 1216000 | #Constraints: 54905
3463.35/3473.48 c #Conflicts: 1217000 | #Constraints: 55905
3463.35/3473.48 c #Conflicts: 1218000 | #Constraints: 56905
3463.35/3473.48 c #Conflicts: 1219000 | #Constraints: 57905
3463.35/3473.48 c #Conflicts: 1220000 | #Constraints: 58905
3463.35/3473.48 c #Conflicts: 1221000 | #Constraints: 59905
3463.35/3473.48 c #Conflicts: 1222000 | #Constraints: 60905
3463.35/3473.48 c #Conflicts: 1223000 | #Constraints: 61905
3463.35/3473.48 c #Conflicts: 1224000 | #Constraints: 62905
3463.35/3473.48 c #Conflicts: 1225000 | #Constraints: 63905
3463.35/3473.48 c #Conflicts: 1226000 | #Constraints: 64905
3463.35/3473.48 c #Conflicts: 1227000 | #Constraints: 65905
3463.35/3473.48 c #Conflicts: 1228000 | #Constraints: 66905
3463.35/3473.48 c #Conflicts: 1229000 | #Constraints: 67905
3463.35/3473.48 c #Conflicts: 1230000 | #Constraints: 68905
3463.35/3473.48 c #Conflicts: 1231000 | #Constraints: 69905
3463.35/3473.48 c #Conflicts: 1232000 | #Constraints: 70905
3463.35/3473.48 c #Conflicts: 1233000 | #Constraints: 71905
3463.35/3473.48 c #Conflicts: 1234000 | #Constraints: 72905
3463.35/3473.48 c INPROCESSING
3463.35/3473.48 c GARBAGE COLLECT
3463.35/3473.48 c #Conflicts: 1235000 | #Constraints: 51772
3463.35/3473.48 c #Conflicts: 1236000 | #Constraints: 52772
3463.35/3473.48 c #Conflicts: 1237000 | #Constraints: 53772
3463.35/3473.48 c #Conflicts: 1238000 | #Constraints: 54772
3463.35/3473.48 c #Conflicts: 1239000 | #Constraints: 55772
3463.35/3473.48 c #Conflicts: 1240000 | #Constraints: 56772
3463.35/3473.48 c #Conflicts: 1241000 | #Constraints: 57772
3463.35/3473.48 c #Conflicts: 1242000 | #Constraints: 58772
3463.35/3473.48 c #Conflicts: 1243000 | #Constraints: 59772
3463.35/3473.48 c #Conflicts: 1244000 | #Constraints: 60772
3463.35/3473.48 c #Conflicts: 1245000 | #Constraints: 61772
3463.35/3473.48 c #Conflicts: 1246000 | #Constraints: 62772
3463.35/3473.48 c #Conflicts: 1247000 | #Constraints: 63772
3463.35/3473.48 c #Conflicts: 1248000 | #Constraints: 64772
3463.35/3473.48 c #Conflicts: 1249000 | #Constraints: 65772
3463.35/3473.48 c #Conflicts: 1250000 | #Constraints: 66772
3463.35/3473.48 c #Conflicts: 1251000 | #Constraints: 67772
3463.35/3473.48 c #Conflicts: 1252000 | #Constraints: 68772
3463.35/3473.48 c #Conflicts: 1253000 | #Constraints: 69772
3463.35/3473.48 c #Conflicts: 1254000 | #Constraints: 70772
3463.35/3473.48 c #Conflicts: 1255000 | #Constraints: 71772
3463.35/3473.48 c #Conflicts: 1256000 | #Constraints: 72772
3463.35/3473.48 c #Conflicts: 1257000 | #Constraints: 73772
3463.35/3473.48 c INPROCESSING
3463.35/3473.48 c GARBAGE COLLECT
3463.35/3473.48 c #Conflicts: 1258000 | #Constraints: 52515
3463.35/3473.48 c #Conflicts: 1259000 | #Constraints: 53515
3463.35/3473.48 c #Conflicts: 1260000 | #Constraints: 54515
3463.35/3473.48 c #Conflicts: 1261000 | #Constraints: 55515
3463.35/3473.48 c #Conflicts: 1262000 | #Constraints: 56515
3463.35/3473.48 c #Conflicts: 1263000 | #Constraints: 57515
3463.35/3473.48 c #Conflicts: 1264000 | #Constraints: 58515
3463.35/3473.48 c #Conflicts: 1265000 | #Constraints: 59515
3463.35/3473.48 c #Conflicts: 1266000 | #Constraints: 60515
3463.35/3473.48 c #Conflicts: 1267000 | #Constraints: 61515
3463.35/3473.48 c #Conflicts: 1268000 | #Constraints: 62515
3463.35/3473.48 c #Conflicts: 1269000 | #Constraints: 63515
3463.35/3473.48 c #Conflicts: 1270000 | #Constraints: 64515
3463.35/3473.48 c #Conflicts: 1271000 | #Constraints: 65515
3463.35/3473.48 c #Conflicts: 1272000 | #Constraints: 66515
3463.35/3473.48 c #Conflicts: 1273000 | #Constraints: 67515
3463.35/3473.48 c #Conflicts: 1274000 | #Constraints: 68515
3463.35/3473.48 c #Conflicts: 1275000 | #Constraints: 69515
3463.35/3473.48 c #Conflicts: 1276000 | #Constraints: 70515
3463.35/3473.48 c #Conflicts: 1277000 | #Constraints: 71515
3600.08/3610.50 c #Conflicts: 1278000 | #Constraints: 72515
3600.08/3610.50 c #Conflicts: 1279000 | #Constraints: 73515
3600.08/3610.50 c #Conflicts: 1280000 | #Constraints: 74515
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c GARBAGE COLLECT
3600.08/3610.50 c #Conflicts: 1281000 | #Constraints: 53025
3600.08/3610.50 c #Conflicts: 1282000 | #Constraints: 54025
3600.08/3610.50 c #Conflicts: 1283000 | #Constraints: 55025
3600.08/3610.50 c #Conflicts: 1284000 | #Constraints: 56025
3600.08/3610.50 c #Conflicts: 1285000 | #Constraints: 57025
3600.08/3610.50 c #Conflicts: 1286000 | #Constraints: 58025
3600.08/3610.50 c #Conflicts: 1287000 | #Constraints: 59025
3600.08/3610.50 c #Conflicts: 1288000 | #Constraints: 60025
3600.08/3610.50 c #Conflicts: 1289000 | #Constraints: 61025
3600.08/3610.50 c #Conflicts: 1290000 | #Constraints: 62025
3600.08/3610.50 c #Conflicts: 1291000 | #Constraints: 63025
3600.08/3610.50 c #Conflicts: 1292000 | #Constraints: 64025
3600.08/3610.50 c #Conflicts: 1293000 | #Constraints: 65025
3600.08/3610.50 c #Conflicts: 1294000 | #Constraints: 66025
3600.08/3610.50 c #Conflicts: 1295000 | #Constraints: 67025
3600.08/3610.50 c #Conflicts: 1296000 | #Constraints: 68025
3600.08/3610.50 c #Conflicts: 1297000 | #Constraints: 69025
3600.08/3610.50 c #Conflicts: 1298000 | #Constraints: 70025
3600.08/3610.50 c #Conflicts: 1299000 | #Constraints: 71025
3600.08/3610.50 c #Conflicts: 1300000 | #Constraints: 72025
3600.08/3610.50 c #Conflicts: 1301000 | #Constraints: 73025
3600.08/3610.50 c #Conflicts: 1302000 | #Constraints: 74025
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c GARBAGE COLLECT
3600.08/3610.50 c #Conflicts: 1303000 | #Constraints: 52349
3600.08/3610.50 c #Conflicts: 1304000 | #Constraints: 53349
3600.08/3610.50 c #Conflicts: 1305000 | #Constraints: 54349
3600.08/3610.50 c #Conflicts: 1306000 | #Constraints: 55349
3600.08/3610.50 c #Conflicts: 1307000 | #Constraints: 56349
3600.08/3610.50 c #Conflicts: 1308000 | #Constraints: 57349
3600.08/3610.50 c #Conflicts: 1309000 | #Constraints: 58349
3600.08/3610.50 c #Conflicts: 1310000 | #Constraints: 59349
3600.08/3610.50 c #Conflicts: 1311000 | #Constraints: 60349
3600.08/3610.50 c #Conflicts: 1312000 | #Constraints: 61349
3600.08/3610.50 c #Conflicts: 1313000 | #Constraints: 62349
3600.08/3610.50 c #Conflicts: 1314000 | #Constraints: 63349
3600.08/3610.50 c #Conflicts: 1315000 | #Constraints: 64349
3600.08/3610.50 c #Conflicts: 1316000 | #Constraints: 65349
3600.08/3610.50 c #Conflicts: 1317000 | #Constraints: 66349
3600.08/3610.50 c #Conflicts: 1318000 | #Constraints: 67349
3600.08/3610.50 c #Conflicts: 1319000 | #Constraints: 68349
3600.08/3610.50 c #Conflicts: 1320000 | #Constraints: 69349
3600.08/3610.50 c #Conflicts: 1321000 | #Constraints: 70349
3600.08/3610.50 c #Conflicts: 1322000 | #Constraints: 71349
3600.08/3610.50 c #Conflicts: 1323000 | #Constraints: 72349
3600.08/3610.50 c #Conflicts: 1324000 | #Constraints: 73349
3600.08/3610.50 c #Conflicts: 1325000 | #Constraints: 74349
3600.08/3610.50 c #Conflicts: 1326000 | #Constraints: 75349
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c GARBAGE COLLECT
3600.08/3610.50 c #Conflicts: 1327000 | #Constraints: 53450
3600.08/3610.50 c #Conflicts: 1328000 | #Constraints: 54450
3600.08/3610.50 c #Conflicts: 1329000 | #Constraints: 55450
3600.08/3610.50 c #Conflicts: 1330000 | #Constraints: 56450
3600.08/3610.50 c #Conflicts: 1331000 | #Constraints: 57450
3600.08/3610.50 c #Conflicts: 1332000 | #Constraints: 58450
3600.08/3610.50 c #Conflicts: 1333000 | #Constraints: 59450
3600.08/3610.50 c #Conflicts: 1334000 | #Constraints: 60450
3600.08/3610.50 c #Conflicts: 1335000 | #Constraints: 61450
3600.08/3610.50 c #Conflicts: 1336000 | #Constraints: 62450
3600.08/3610.50 c #Conflicts: 1337000 | #Constraints: 63450
3600.08/3610.50 c #Conflicts: 1338000 | #Constraints: 64450
3600.08/3610.50 c #Conflicts: 1339000 | #Constraints: 65450
3600.08/3610.50 c #Conflicts: 1340000 | #Constraints: 66450
3600.08/3610.50 c #Conflicts: 1341000 | #Constraints: 67450
3600.08/3610.50 c #Conflicts: 1342000 | #Constraints: 68450
3600.08/3610.50 c #Conflicts: 1343000 | #Constraints: 69450
3600.08/3610.50 c Program interrupted by user.
3600.08/3610.50 c cpu time 3583.17 s
3600.08/3610.50 c deterministic time 712427637297 7.12e+11
3600.08/3610.50 c optimization time 47.2669 s
3600.08/3610.50 c total solve time 3236.62 s
3600.08/3610.50 c core-guided solve time 3236.62 s
3600.08/3610.50 c propagation time 2164.64 s
3600.08/3610.50 c conflict analysis time 1027.14 s
3600.08/3610.50 c propagations 859659270
3600.08/3610.50 c resolve steps 66711386
3600.08/3610.50 c decisions 17030104
3600.08/3610.50 c conflicts 1343663
3600.08/3610.50 c restarts 2557
3600.08/3610.50 c inprocessing phases 102
3600.08/3610.50 c input clauses 6664
3600.08/3610.50 c input cardinalities 112
3600.08/3610.50 c input general constraints 22176
3600.08/3610.50 c input average constraint length 4.59
3600.08/3610.50 c input average constraint degree 8.16
3600.08/3610.50 c learned clauses 632225
3600.08/3610.50 c learned cardinalities 80436
3600.08/3610.50 c learned general constraints 631001
3600.08/3610.50 c learned average constraint length 1822.96
3600.08/3610.50 c learned average constraint degree 913091.99
3600.08/3610.50 c watched constraints 620365
3600.08/3610.50 c counting constraints 32812
3600.08/3610.50 c gcd simplifications 84333
3600.08/3610.50 c detected cardinalities 1650
3600.08/3610.50 c weakened non-implied lits 170050243
3600.08/3610.50 c weakened non-implying lits 75871
3600.08/3610.50 c original variables 35169
3600.08/3610.50 c clausal propagations 157091887
3600.08/3610.50 c cardinality propagations 137574356
3600.08/3610.50 c watched propagations 86904989
3600.08/3610.50 c counting propagations 467285255
3600.08/3610.50 c watch lookups 10699158864
3600.08/3610.50 c watch backjump lookups 7260938616
3600.08/3610.50 c watch checks 646274239422
3600.08/3610.50 c propagation checks 41140330694
3600.08/3610.50 c constraint additions 5298278835
3600.08/3610.50 c trail pops 878001491
3600.08/3610.50 c formula constraints 28952
3600.08/3610.50 c learned constraints 1343662
3600.08/3610.50 c bound constraints 0
3600.08/3610.50 c core-guided constraints 0
3600.08/3610.50 c encountered formula constraints 62489913
3600.08/3610.50 c encountered learned constraints 5565136
3600.08/3610.50 c encountered bound constraints 0
3600.08/3610.50 c encountered core-guided constraints 0
3600.08/3610.50 c LP total time 0 s
3600.08/3610.50 c LP solve time 0 s
3600.08/3610.50 c LP constraints added 0
3600.08/3610.50 c LP constraints removed 0
3600.08/3610.50 c LP pivots internal 0
3600.08/3610.50 c LP pivots root 0
3600.08/3610.50 c LP calls 0
3600.08/3610.50 c LP optimalities 0
3600.08/3610.50 c LP no pivot count 0
3600.08/3610.50 c LP infeasibilities 0
3600.08/3610.50 c LP valid Farkas constraints 0
3600.08/3610.50 c LP learned Farkas constraints 0
3600.08/3610.50 c LP basis resets 0
3600.08/3610.50 c LP cycling count 0
3600.08/3610.50 c LP singular count 0
3600.08/3610.50 c LP no primal count 0
3600.08/3610.50 c LP no farkas count 0
3600.08/3610.50 c LP other issue count 0
3600.08/3610.50 c LP Gomory cuts 0
3600.08/3610.50 c LP learned cuts 0
3600.08/3610.50 c LP deleted cuts 0
3600.08/3610.50 c LP encountered Gomory constraints 0
3600.08/3610.50 c LP encountered Farkas constraints 0
3600.08/3610.50 c LP encountered learned Farkas constraints 0
3600.08/3610.50 c CG auxiliary variables introduced 0
3600.08/3610.50 c CG solutions found 0
3600.08/3610.50 c CG cores constructed 0
3600.08/3610.50 c CG core cardinality constraints returned 0
3600.08/3610.50 c CG unit cores 0
3600.08/3610.50 c CG single cores 0
3600.08/3610.50 c CG blocks removed during cardinality reduction 0
3600.08/3610.50 c CG first core best 0
3600.08/3610.50 c CG decision core best 0
3600.08/3610.50 c CG core reduction tie 0
3600.08/3610.50 c CG core degree average 0.00
3600.08/3610.50 c CG core slack average 0.00
3600.08/3610.50 c CG exhausted 0
3600.08/3610.50 c CG exhaust time 0 s
3600.08/3610.50 c CG trimmed 0
3600.08/3610.50 c CG trim time 0 s
3600.08/3610.50 c CG minimized 0
3600.08/3610.50 c CG minimize time 0 s
3600.08/3610.50 c CG am1 prop time 0.000787 s
3600.08/3610.50 c CG # am1s reformulated 0
3600.08/3610.50 c CG lower bound derived from am1s 0
3600.08/3610.50 c CG # clausal cores 0
3600.08/3610.50 c CG # cardinality cores 0
3600.08/3610.50 c CG # pb cores 0
3600.08/3610.50 c CG # pb reforms 0
3600.08/3610.50 c CG # cores discarded because of pb reform 0
3600.08/3610.50 d LOWERBOUND 0
3600.08/3610.50 d NCORES 0
3600.08/3610.50 d NPBCORES 0
3600.08/3610.50 d NPBREFORM 0
3600.08/3610.50 d NTRIMMED 0
3600.08/3610.50 d NEXHAUSTED 0
3600.08/3610.50 d NAM1S 0
3600.08/3610.50 d AM1LB 0
3600.08/3610.50 c [Papilo Statistics]
3600.08/3610.50 c prepro time 0.0736803s
3600.08/3610.50 c # tsx applied 300
3600.08/3610.50 c # tsx conflicts 76
3600.08/3610.50 c # bound changes 1
3600.08/3610.50 c # side changes 300
3600.08/3610.50 c # coef changes 636
3600.08/3610.50 c # rounds 4
3600.08/3610.50 c # deted vars 77
3600.08/3610.50 c # deted constrs 1
3600.08/3610.50 c # consecutive rounds of only bound changes 0
3600.08/3610.50 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (58108 MiB free)
memory of node 1: 64507 MiB (59770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523967-1751585722/watcher-4523967-1751585722 -o /tmp/evaluation-result-4523967-1751585722/solver-4523967-1751585722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90101 --watchdog 3760 mixed-bag HOME/instance-4523967-1751585722.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=92383, runsolver pid=92380
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.12 4.12 5/264 92384
/proc/meminfo: memFree=120702928/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=98360 memory=26012 CPUtime=0.09 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 5115 0 0 0 8 1 0 0 20 0 1 0 74250021 100720640 6503 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 24590 6503 2144 2842 0 6823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98360 KiB
Current children cumulated memory: 26012 KiB
[startup+0.20563 s]*
/proc/loadavg: 4.12 4.12 4.12 5/264 92384
/proc/meminfo: memFree=120670672/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=150140 memory=75536 CPUtime=0.19 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 18043 0 0 0 16 3 0 0 20 0 1 0 74250021 153743360 18884 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 37535 18884 3680 2842 0 19229 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 150140 KiB
Current children cumulated memory: 75536 KiB
[startup+0.305623 s]*
/proc/loadavg: 4.12 4.12 4.12 5/264 92384
/proc/meminfo: memFree=120581968/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=232952 memory=155408 CPUtime=0.29 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 37705 0 0 0 23 6 0 0 20 0 1 0 74250021 238542848 38852 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 58238 38852 4032 2842 0 39932 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 232952 KiB
Current children cumulated memory: 155408 KiB
[startup+0.70017 s]
/proc/loadavg: 4.12 4.12 4.12 5/264 92384
/proc/meminfo: memFree=120549712/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=296220 memory=217328 CPUtime=0.67 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 57808 0 0 0 59 8 0 0 20 0 1 0 74250021 303329280 54332 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 74055 54332 4064 2842 0 55749 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 296220 KiB
Current children cumulated memory: 217328 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.12 4.12 5/264 92384
/proc/meminfo: memFree=120510148/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=333976 memory=251920 CPUtime=1.47 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 65681 0 0 0 138 9 0 0 20 0 1 0 74250021 341991424 62980 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 83494 62980 4096 2842 0 65188 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 333976 KiB
Current children cumulated memory: 251920 KiB
[startup+3.10555 s]
/proc/loadavg: 4.12 4.12 4.12 5/264 92384
/proc/meminfo: memFree=120497968/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=339592 memory=257552 CPUtime=3.08 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 67078 0 0 0 298 10 0 0 20 0 1 0 74250021 347742208 64388 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 84898 64388 4096 2842 0 66592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 339592 KiB
Current children cumulated memory: 257552 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.11 4.12 5/264 92384
/proc/meminfo: memFree=120500268/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=339592 memory=257552 CPUtime=6.26 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 67079 0 0 0 616 10 0 0 20 0 1 0 74250021 347742208 64388 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 84898 64388 4096 2842 0 66592 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 339592 KiB
Current children cumulated memory: 257552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.12 5/264 92385
/proc/meminfo: memFree=120245084/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=684272 memory=508248 CPUtime=12.64 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 129364 0 0 0 1244 20 0 0 20 0 1 0 74250021 700694528 127062 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 171068 127062 4288 2842 0 152762 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 684272 KiB
Current children cumulated memory: 508248 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.11 5/264 92385
/proc/meminfo: memFree=120228844/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=689224 memory=513572 CPUtime=25.39 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 130199 0 0 0 2519 20 0 0 20 0 1 0 74250021 705765376 128393 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 172306 128393 4288 2842 0 154000 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 689224 KiB
Current children cumulated memory: 513572 KiB
[startup+51.1055 s]
/proc/loadavg: 4.05 4.10 4.11 5/264 92386
/proc/meminfo: memFree=120199808/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=689224 memory=514084 CPUtime=50.92 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 130324 0 0 0 5072 20 0 0 20 0 1 0 74250021 705765376 128521 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 172306 128521 4288 2842 0 154000 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 689224 KiB
Current children cumulated memory: 514084 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/264 92388
/proc/meminfo: memFree=120199020/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=694364 memory=519680 CPUtime=101.97 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 130697 0 0 0 10176 21 0 0 20 0 1 0 74250021 711028736 129920 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 173591 129920 4288 2842 0 155285 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 694364 KiB
Current children cumulated memory: 519680 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 92390
/proc/meminfo: memFree=120397516/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=695264 memory=520448 CPUtime=161.79 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 130880 0 0 0 16158 21 0 0 20 0 1 0 74250021 711950336 130112 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 173816 130112 4288 2842 0 155510 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 695264 KiB
Current children cumulated memory: 520448 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/264 92392
/proc/meminfo: memFree=120318840/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=746792 memory=564464 CPUtime=221.6 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 140404 0 0 0 22138 22 0 0 20 0 1 0 74250021 764715008 141116 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 186698 141116 4288 2842 0 168392 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 746792 KiB
Current children cumulated memory: 564464 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/265 92395
/proc/meminfo: memFree=120309104/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=747692 memory=565616 CPUtime=281.42 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 140703 0 0 0 28119 23 0 0 20 0 1 0 74250021 765636608 141404 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 186923 141404 4288 2842 0 168617 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 747692 KiB
Current children cumulated memory: 565616 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 92397
/proc/meminfo: memFree=119912972/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=737504 memory=580428 CPUtime=341.25 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 144565 0 0 0 34034 91 0 0 20 0 1 0 74250021 755204096 145107 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 184376 145107 4448 2842 0 166070 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 737504 KiB
Current children cumulated memory: 580428 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 92403
/proc/meminfo: memFree=119676608/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=787592 memory=608420 CPUtime=401.07 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 144961 0 0 0 39950 157 0 0 20 0 1 0 74250021 806494208 152105 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 196898 152105 4448 2842 0 178592 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 787592 KiB
Current children cumulated memory: 608420 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 92405
/proc/meminfo: memFree=119512968/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=787592 memory=612824 CPUtime=460.9 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 145014 0 0 0 45872 218 0 0 20 0 1 0 74250021 806494208 153206 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 196898 153206 4448 2842 0 178592 0
################
# More data... #
################
Current children cumulated memory: 1748396 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.45 3.80 4/258 92627
/proc/meminfo: memFree=113135744/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1748652 CPUtime=2913.72 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150689 0 0 0 289995 1377 0 0 20 0 1 0 74250021 2184130560 437163 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437163 4448 2842 0 514929 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1748652 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.38 3.76 4/258 92630
/proc/meminfo: memFree=113133308/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1748908 CPUtime=2973.55 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150770 0 0 0 295969 1386 0 0 20 0 1 0 74250021 2184130560 437227 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437227 4448 2842 0 514929 0
Current children cumulated CPU time: 2973.55 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1748908 KiB
[startup+3042.3 s]
/proc/loadavg: 3.15 3.34 3.72 3/256 92636
/proc/meminfo: memFree=114084072/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3033.38 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150771 0 0 0 301944 1394 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3102.3 s]
/proc/loadavg: 2.42 3.09 3.61 3/253 92669
/proc/meminfo: memFree=114091472/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3093.23 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 307918 1405 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3093.23 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3162.3 s]
/proc/loadavg: 2.19 2.91 3.51 3/253 92671
/proc/meminfo: memFree=114086700/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3153.07 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 313885 1422 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3153.07 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3222.3 s]
/proc/loadavg: 2.17 2.77 3.42 3/254 92674
/proc/meminfo: memFree=114079492/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3212.91 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 319814 1477 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3282.3 s]
/proc/loadavg: 2.11 2.64 3.33 3/254 92676
/proc/meminfo: memFree=114024324/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3272.75 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 325764 1511 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.54 3.25 3/254 92680
/proc/meminfo: memFree=113825204/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3332.59 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 331716 1543 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3402.3 s]
/proc/loadavg: 2.38 2.52 3.20 3/253 92682
/proc/meminfo: memFree=113690024/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3392.43 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 337679 1564 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3462.3 s]
/proc/loadavg: 2.22 2.45 3.13 3/252 92686
/proc/meminfo: memFree=113528716/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3452.27 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 343613 1614 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3452.27 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.38 3.06 3/251 92688
/proc/meminfo: memFree=113258760/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3512.11 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150772 0 0 0 349552 1659 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
[startup+3582.3 s]
/proc/loadavg: 1.80 2.26 2.98 2/245 92721
/proc/meminfo: memFree=127287204/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3571.96 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150774 0 0 0 355509 1687 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 1.55 2.15 2.92 2/245 92721
/proc/meminfo: memFree=127270568/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3600.08 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150784 0 0 0 358317 1691 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.54 s]
# the end of solver process 92383 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.18 s, system=16.9491 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 1.55 2.15 2.92 2/245 92721
/proc/meminfo: memFree=127270568/131250000 swapFree=33010416/33010684
[pid=92383] ppid=92380 vsize=2132940 memory=1749036 CPUtime=3600.08 cores=0,2
/proc/92383/stat : 92383 (mixed-bag) R 92380 92383 90091 0 -1 4194304 150784 0 0 0 358317 1691 0 0 20 0 1 0 74250021 2184130560 437259 18446744073709551615 4235264 15874749 140722935199968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 48820224 140722935208348 140722935208425 140722935208425 140722935214027 0
/proc/92383/statm: 533235 437259 4448 2842 0 514929 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2132940 KiB
Current children cumulated memory: 1749036 KiB
Child status: 0
Real time (s): 3610.54
CPU time (s): 3600.13
CPU user time (s): 3583.18
CPU system time (s): 16.9491
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 2132940
Max. memory (cumulated for all children) (KiB): 1749036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.18
system time used= 16.9491
maximum resident set size= 1749776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150813
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= 140
involuntary context switches= 22071
# summary of solver processes directly reported to runsolver:
# pid: 92383
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.18
# total CPU system time (s): 16.9491
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02979 second user time and 15.0733 second system time
The end
Begin job on nodeC018 at 2025-07-04 01:35:22
IDJOB=4523967
IDBENCH=180463
IDSOLVER=3340
FILE ID=nodeC018/4523967-1751585722
RUNJOBID= nodeC018-1751578094-90101
SLURM_JOB_ID= 9598808
Free space on /tmp= 432544 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523967-1751585722/watcher-4523967-1751585722 -o /tmp/evaluation-result-4523967-1751585722/solver-4523967-1751585722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90101 --watchdog 3760 mixed-bag HOME/instance-4523967-1751585722.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=2069353418
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.828
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.735
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3539.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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.466
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3582.677
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3616.374
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120708448 kB
MemAvailable: 121381912 kB
Buffers: 2128 kB
Cached: 1437400 kB
SwapCached: 32 kB
Active: 8823208 kB
Inactive: 962440 kB
Active(anon): 8363876 kB
Inactive(anon): 288 kB
Active(file): 459332 kB
Inactive(file): 962152 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16932 kB
Writeback: 8 kB
AnonPages: 8343552 kB
Mapped: 136728 kB
Shmem: 18044 kB
KReclaimable: 182040 kB
Slab: 272264 kB
SReclaimable: 182040 kB
SUnreclaim: 90224 kB
KernelStack: 4256 kB
PageTables: 19692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8879880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1953792 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC018 at 2025-07-04 02:35:32