0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.36/300.13 c [STEP] preprocessing done, loading into solver
299.36/300.13 c [STEP] solving
299.36/300.13 c #variables 466 #constraints 465
299.36/300.13 c SMALL=int, LARGE=long long
299.36/300.13 c bounds - >= 0 @ 299.15
299.36/300.13 c stratification level: 0
315.11/315.94 c bounds - >= 52 @ 299.151
315.11/315.94 c bounds - >= 53 @ 299.152
315.11/315.94 c bounds - >= 54 @ 299.152
315.11/315.94 c bounds - >= 55 @ 299.152
315.11/315.94 c bounds - >= 56 @ 299.152
315.11/315.94 c bounds - >= 57 @ 299.152
315.11/315.94 c bounds - >= 58 @ 299.152
315.11/315.94 c bounds - >= 59 @ 299.152
315.11/315.94 c bounds - >= 60 @ 299.152
315.11/315.94 c bounds - >= 61 @ 299.152
315.11/315.94 c bounds - >= 62 @ 299.152
315.11/315.94 c bounds - >= 63 @ 299.152
315.11/315.94 c bounds - >= 64 @ 299.152
315.11/315.94 c bounds - >= 65 @ 299.152
315.11/315.94 c bounds - >= 66 @ 299.152
315.11/315.94 c bounds - >= 67 @ 299.152
315.11/315.94 c bounds - >= 68 @ 299.152
315.11/315.94 c bounds - >= 69 @ 299.152
315.11/315.94 c bounds - >= 70 @ 299.152
315.11/315.94 c bounds - >= 71 @ 299.152
315.11/315.94 c bounds - >= 72 @ 299.152
315.11/315.94 c bounds - >= 73 @ 299.153
315.11/315.94 c bounds - >= 74 @ 299.153
315.11/315.94 c bounds - >= 75 @ 299.153
315.11/315.94 c bounds - >= 76 @ 299.153
315.11/315.94 c bounds - >= 77 @ 299.153
315.11/315.94 c bounds - >= 78 @ 299.153
315.11/315.94 c bounds - >= 79 @ 299.153
315.11/315.94 c bounds - >= 80 @ 299.153
315.11/315.94 c bounds - >= 81 @ 299.153
315.11/315.94 c bounds - >= 82 @ 299.154
315.11/315.94 c bounds - >= 83 @ 299.154
315.11/315.94 c bounds - >= 84 @ 299.154
315.11/315.94 c bounds - >= 85 @ 299.154
315.11/315.94 c bounds - >= 86 @ 299.154
315.11/315.94 c bounds - >= 87 @ 299.154
315.11/315.94 c bounds - >= 88 @ 299.154
315.11/315.94 c bounds - >= 89 @ 299.154
315.11/315.94 c bounds - >= 90 @ 299.154
315.11/315.94 c bounds - >= 91 @ 299.155
315.11/315.94 c bounds - >= 92 @ 299.155
315.11/315.94 c bounds - >= 93 @ 299.155
315.11/315.94 c bounds - >= 94 @ 299.155
315.11/315.94 c bounds - >= 95 @ 299.155
315.11/315.94 c bounds - >= 96 @ 299.155
315.11/315.94 c bounds - >= 97 @ 299.155
315.11/315.94 c bounds - >= 98 @ 299.155
315.11/315.94 c bounds - >= 99 @ 299.156
315.11/315.94 c bounds - >= 100 @ 299.156
315.11/315.94 c bounds - >= 101 @ 299.156
315.11/315.94 c bounds - >= 102 @ 299.156
315.11/315.94 c bounds - >= 103 @ 299.156
315.11/315.94 c bounds - >= 104 @ 299.156
315.11/315.94 c bounds - >= 105 @ 299.156
315.11/315.94 c bounds - >= 106 @ 299.157
315.11/315.94 c bounds - >= 107 @ 299.157
315.11/315.94 c bounds - >= 108 @ 299.157
315.11/315.94 c bounds - >= 109 @ 299.157
315.11/315.94 c bounds - >= 110 @ 299.157
315.11/315.94 c bounds - >= 111 @ 299.157
315.11/315.94 c bounds - >= 112 @ 299.157
315.11/315.94 c bounds - >= 113 @ 299.158
315.11/315.94 c bounds - >= 114 @ 299.158
315.11/315.94 c bounds - >= 115 @ 299.158
315.11/315.94 c bounds - >= 116 @ 299.158
315.11/315.94 c bounds - >= 117 @ 299.158
315.11/315.94 c bounds - >= 118 @ 299.158
315.11/315.94 c bounds - >= 119 @ 299.158
315.11/315.94 c bounds - >= 120 @ 299.159
315.11/315.94 c bounds - >= 121 @ 299.159
315.11/315.94 c bounds - >= 122 @ 299.159
315.11/315.94 c bounds - >= 123 @ 299.159
315.11/315.94 c bounds - >= 124 @ 299.159
315.11/315.94 c bounds - >= 125 @ 299.159
315.11/315.94 c bounds - >= 126 @ 299.159
315.11/315.94 c bounds - >= 127 @ 299.159
315.11/315.94 c #Conflicts: 1000 | #Constraints: 1604
315.11/315.94 c #Conflicts: 2000 | #Constraints: 2604
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 3000 | #Constraints: 2532
315.11/315.94 c #Conflicts: 4000 | #Constraints: 3532
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 5000 | #Constraints: 2933
315.11/315.94 c #Conflicts: 6000 | #Constraints: 3933
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 7000 | #Constraints: 2939
315.11/315.94 c #Conflicts: 8000 | #Constraints: 3939
315.11/315.94 c #Conflicts: 9000 | #Constraints: 4939
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 10000 | #Constraints: 3634
315.11/315.94 c #Conflicts: 11000 | #Constraints: 4634
315.11/315.94 c #Conflicts: 12000 | #Constraints: 5634
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 13000 | #Constraints: 4084
315.11/315.94 c #Conflicts: 14000 | #Constraints: 5084
315.11/315.94 c #Conflicts: 15000 | #Constraints: 6084
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 16000 | #Constraints: 4306
315.11/315.94 c #Conflicts: 17000 | #Constraints: 5306
315.11/315.94 c #Conflicts: 18000 | #Constraints: 6306
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 19000 | #Constraints: 4325
315.11/315.94 c #Conflicts: 20000 | #Constraints: 5325
315.11/315.94 c #Conflicts: 21000 | #Constraints: 6325
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 22000 | #Constraints: 4135
315.11/315.94 c #Conflicts: 23000 | #Constraints: 5135
315.11/315.94 c #Conflicts: 24000 | #Constraints: 6135
315.11/315.94 c #Conflicts: 25000 | #Constraints: 7135
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 26000 | #Constraints: 4735
315.11/315.94 c #Conflicts: 27000 | #Constraints: 5735
315.11/315.94 c #Conflicts: 28000 | #Constraints: 6735
315.11/315.94 c #Conflicts: 29000 | #Constraints: 7735
315.11/315.94 c INPROCESSING
315.11/315.94 c GARBAGE COLLECT
315.11/315.94 c #Conflicts: 30000 | #Constraints: 5140
315.11/315.94 c #Conflicts: 31000 | #Constraints: 6140
315.11/315.94 c #Conflicts: 32000 | #Constraints: 7140
315.11/315.94 c #Conflicts: 33000 | #Constraints: 8140
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 34000 | #Constraints: 5337
385.82/386.87 c #Conflicts: 35000 | #Constraints: 6337
385.82/386.87 c #Conflicts: 36000 | #Constraints: 7337
385.82/386.87 c #Conflicts: 37000 | #Constraints: 8337
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 38000 | #Constraints: 5335
385.82/386.87 c #Conflicts: 39000 | #Constraints: 6335
385.82/386.87 c #Conflicts: 40000 | #Constraints: 7335
385.82/386.87 c #Conflicts: 41000 | #Constraints: 8335
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 42000 | #Constraints: 5137
385.82/386.87 c #Conflicts: 43000 | #Constraints: 6137
385.82/386.87 c #Conflicts: 44000 | #Constraints: 7137
385.82/386.87 c #Conflicts: 45000 | #Constraints: 8137
385.82/386.87 c #Conflicts: 46000 | #Constraints: 9137
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 47000 | #Constraints: 5733
385.82/386.87 c #Conflicts: 48000 | #Constraints: 6733
385.82/386.87 c #Conflicts: 49000 | #Constraints: 7733
385.82/386.87 c #Conflicts: 50000 | #Constraints: 8733
385.82/386.87 c #Conflicts: 51000 | #Constraints: 9733
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 52000 | #Constraints: 6131
385.82/386.87 c #Conflicts: 53000 | #Constraints: 7131
385.82/386.87 c #Conflicts: 54000 | #Constraints: 8131
385.82/386.87 c #Conflicts: 55000 | #Constraints: 9131
385.82/386.87 c #Conflicts: 56000 | #Constraints: 10131
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 57000 | #Constraints: 6333
385.82/386.87 c #Conflicts: 58000 | #Constraints: 7333
385.82/386.87 c #Conflicts: 59000 | #Constraints: 8333
385.82/386.87 c #Conflicts: 60000 | #Constraints: 9333
385.82/386.87 c #Conflicts: 61000 | #Constraints: 10333
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 62000 | #Constraints: 6336
385.82/386.87 c #Conflicts: 63000 | #Constraints: 7336
385.82/386.87 c #Conflicts: 64000 | #Constraints: 8336
385.82/386.87 c #Conflicts: 65000 | #Constraints: 9336
385.82/386.87 c #Conflicts: 66000 | #Constraints: 10336
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 67000 | #Constraints: 6134
385.82/386.87 c #Conflicts: 68000 | #Constraints: 7134
385.82/386.87 c #Conflicts: 69000 | #Constraints: 8134
385.82/386.87 c #Conflicts: 70000 | #Constraints: 9134
385.82/386.87 c #Conflicts: 71000 | #Constraints: 10134
385.82/386.87 c #Conflicts: 72000 | #Constraints: 11134
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 73000 | #Constraints: 6735
385.82/386.87 c #Conflicts: 74000 | #Constraints: 7735
385.82/386.87 c #Conflicts: 75000 | #Constraints: 8735
385.82/386.87 c #Conflicts: 76000 | #Constraints: 9735
385.82/386.87 c #Conflicts: 77000 | #Constraints: 10735
385.82/386.87 c #Conflicts: 78000 | #Constraints: 11735
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 79000 | #Constraints: 7138
385.82/386.87 c #Conflicts: 80000 | #Constraints: 8138
385.82/386.87 c #Conflicts: 81000 | #Constraints: 9138
385.82/386.87 c #Conflicts: 82000 | #Constraints: 10138
385.82/386.87 c #Conflicts: 83000 | #Constraints: 11138
385.82/386.87 c #Conflicts: 84000 | #Constraints: 12138
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 85000 | #Constraints: 7337
385.82/386.87 c #Conflicts: 86000 | #Constraints: 8337
385.82/386.87 c #Conflicts: 87000 | #Constraints: 9337
385.82/386.87 c #Conflicts: 88000 | #Constraints: 10337
385.82/386.87 c #Conflicts: 89000 | #Constraints: 11337
385.82/386.87 c #Conflicts: 90000 | #Constraints: 12337
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 91000 | #Constraints: 7336
385.82/386.87 c #Conflicts: 92000 | #Constraints: 8336
385.82/386.87 c #Conflicts: 93000 | #Constraints: 9336
385.82/386.87 c #Conflicts: 94000 | #Constraints: 10336
385.82/386.87 c #Conflicts: 95000 | #Constraints: 11336
385.82/386.87 c #Conflicts: 96000 | #Constraints: 12336
385.82/386.87 c INPROCESSING
385.82/386.87 c GARBAGE COLLECT
385.82/386.87 c #Conflicts: 97000 | #Constraints: 7139
385.82/386.87 c #Conflicts: 98000 | #Constraints: 8139
385.82/386.87 c #Conflicts: 99000 | #Constraints: 9139
385.82/386.87 c #Conflicts: 100000 | #Constraints: 10139
385.82/386.87 c #Conflicts: 101000 | #Constraints: 11139
385.82/386.87 c #Conflicts: 102000 | #Constraints: 12139
385.82/386.87 c #Conflicts: 103000 | #Constraints: 13139
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 104000 | #Constraints: 7737
488.64/489.98 c #Conflicts: 105000 | #Constraints: 8737
488.64/489.98 c #Conflicts: 106000 | #Constraints: 9737
488.64/489.98 c #Conflicts: 107000 | #Constraints: 10737
488.64/489.98 c #Conflicts: 108000 | #Constraints: 11737
488.64/489.98 c #Conflicts: 109000 | #Constraints: 12737
488.64/489.98 c #Conflicts: 110000 | #Constraints: 13737
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 111000 | #Constraints: 8147
488.64/489.98 c #Conflicts: 112000 | #Constraints: 9147
488.64/489.98 c #Conflicts: 113000 | #Constraints: 10147
488.64/489.98 c #Conflicts: 114000 | #Constraints: 11147
488.64/489.98 c #Conflicts: 115000 | #Constraints: 12147
488.64/489.98 c #Conflicts: 116000 | #Constraints: 13147
488.64/489.98 c #Conflicts: 117000 | #Constraints: 14147
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 118000 | #Constraints: 8343
488.64/489.98 c #Conflicts: 119000 | #Constraints: 9343
488.64/489.98 c #Conflicts: 120000 | #Constraints: 10343
488.64/489.98 c #Conflicts: 121000 | #Constraints: 11343
488.64/489.98 c #Conflicts: 122000 | #Constraints: 12343
488.64/489.98 c #Conflicts: 123000 | #Constraints: 13343
488.64/489.98 c #Conflicts: 124000 | #Constraints: 14343
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 125000 | #Constraints: 8342
488.64/489.98 c #Conflicts: 126000 | #Constraints: 9342
488.64/489.98 c #Conflicts: 127000 | #Constraints: 10342
488.64/489.98 c #Conflicts: 128000 | #Constraints: 11342
488.64/489.98 c #Conflicts: 129000 | #Constraints: 12342
488.64/489.98 c #Conflicts: 130000 | #Constraints: 13342
488.64/489.98 c #Conflicts: 131000 | #Constraints: 14342
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 132000 | #Constraints: 8138
488.64/489.98 c #Conflicts: 133000 | #Constraints: 9138
488.64/489.98 c #Conflicts: 134000 | #Constraints: 10138
488.64/489.98 c #Conflicts: 135000 | #Constraints: 11138
488.64/489.98 c #Conflicts: 136000 | #Constraints: 12138
488.64/489.98 c #Conflicts: 137000 | #Constraints: 13138
488.64/489.98 c #Conflicts: 138000 | #Constraints: 14138
488.64/489.98 c #Conflicts: 139000 | #Constraints: 15138
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 140000 | #Constraints: 8739
488.64/489.98 c #Conflicts: 141000 | #Constraints: 9739
488.64/489.98 c #Conflicts: 142000 | #Constraints: 10739
488.64/489.98 c #Conflicts: 143000 | #Constraints: 11739
488.64/489.98 c #Conflicts: 144000 | #Constraints: 12739
488.64/489.98 c #Conflicts: 145000 | #Constraints: 13739
488.64/489.98 c #Conflicts: 146000 | #Constraints: 14739
488.64/489.98 c #Conflicts: 147000 | #Constraints: 15739
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 148000 | #Constraints: 9148
488.64/489.98 c #Conflicts: 149000 | #Constraints: 10148
488.64/489.98 c #Conflicts: 150000 | #Constraints: 11148
488.64/489.98 c #Conflicts: 151000 | #Constraints: 12148
488.64/489.98 c #Conflicts: 152000 | #Constraints: 13148
488.64/489.98 c #Conflicts: 153000 | #Constraints: 14148
488.64/489.98 c #Conflicts: 154000 | #Constraints: 15148
488.64/489.98 c #Conflicts: 155000 | #Constraints: 16148
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 156000 | #Constraints: 9344
488.64/489.98 c #Conflicts: 157000 | #Constraints: 10344
488.64/489.98 c #Conflicts: 158000 | #Constraints: 11344
488.64/489.98 c #Conflicts: 159000 | #Constraints: 12344
488.64/489.98 c #Conflicts: 160000 | #Constraints: 13344
488.64/489.98 c #Conflicts: 161000 | #Constraints: 14344
488.64/489.98 c #Conflicts: 162000 | #Constraints: 15344
488.64/489.98 c #Conflicts: 163000 | #Constraints: 16344
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 164000 | #Constraints: 9335
488.64/489.98 c #Conflicts: 165000 | #Constraints: 10335
488.64/489.98 c #Conflicts: 166000 | #Constraints: 11335
488.64/489.98 c #Conflicts: 167000 | #Constraints: 12335
488.64/489.98 c #Conflicts: 168000 | #Constraints: 13335
488.64/489.98 c #Conflicts: 169000 | #Constraints: 14335
488.64/489.98 c #Conflicts: 170000 | #Constraints: 15335
488.64/489.98 c #Conflicts: 171000 | #Constraints: 16335
488.64/489.98 c INPROCESSING
488.64/489.98 c GARBAGE COLLECT
488.64/489.98 c #Conflicts: 172000 | #Constraints: 9130
488.64/489.98 c #Conflicts: 173000 | #Constraints: 10130
488.64/489.98 c #Conflicts: 174000 | #Constraints: 11130
488.64/489.98 c #Conflicts: 175000 | #Constraints: 12130
488.64/489.98 c #Conflicts: 176000 | #Constraints: 13130
625.50/627.19 c #Conflicts: 177000 | #Constraints: 14130
625.50/627.19 c #Conflicts: 178000 | #Constraints: 15130
625.50/627.19 c #Conflicts: 179000 | #Constraints: 16130
625.50/627.19 c #Conflicts: 180000 | #Constraints: 17130
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 181000 | #Constraints: 9729
625.50/627.19 c #Conflicts: 182000 | #Constraints: 10729
625.50/627.19 c #Conflicts: 183000 | #Constraints: 11729
625.50/627.19 c #Conflicts: 184000 | #Constraints: 12729
625.50/627.19 c #Conflicts: 185000 | #Constraints: 13729
625.50/627.19 c #Conflicts: 186000 | #Constraints: 14729
625.50/627.19 c #Conflicts: 187000 | #Constraints: 15729
625.50/627.19 c #Conflicts: 188000 | #Constraints: 16729
625.50/627.19 c #Conflicts: 189000 | #Constraints: 17729
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 190000 | #Constraints: 10138
625.50/627.19 c #Conflicts: 191000 | #Constraints: 11138
625.50/627.19 c #Conflicts: 192000 | #Constraints: 12138
625.50/627.19 c #Conflicts: 193000 | #Constraints: 13138
625.50/627.19 c #Conflicts: 194000 | #Constraints: 14138
625.50/627.19 c #Conflicts: 195000 | #Constraints: 15138
625.50/627.19 c #Conflicts: 196000 | #Constraints: 16138
625.50/627.19 c #Conflicts: 197000 | #Constraints: 17138
625.50/627.19 c #Conflicts: 198000 | #Constraints: 18138
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 199000 | #Constraints: 10338
625.50/627.19 c #Conflicts: 200000 | #Constraints: 11338
625.50/627.19 c #Conflicts: 201000 | #Constraints: 12338
625.50/627.19 c #Conflicts: 202000 | #Constraints: 13338
625.50/627.19 c #Conflicts: 203000 | #Constraints: 14338
625.50/627.19 c #Conflicts: 204000 | #Constraints: 15338
625.50/627.19 c #Conflicts: 205000 | #Constraints: 16338
625.50/627.19 c #Conflicts: 206000 | #Constraints: 17338
625.50/627.19 c #Conflicts: 207000 | #Constraints: 18338
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 208000 | #Constraints: 10341
625.50/627.19 c #Conflicts: 209000 | #Constraints: 11341
625.50/627.19 c #Conflicts: 210000 | #Constraints: 12341
625.50/627.19 c #Conflicts: 211000 | #Constraints: 13341
625.50/627.19 c #Conflicts: 212000 | #Constraints: 14341
625.50/627.19 c #Conflicts: 213000 | #Constraints: 15341
625.50/627.19 c #Conflicts: 214000 | #Constraints: 16341
625.50/627.19 c #Conflicts: 215000 | #Constraints: 17341
625.50/627.19 c #Conflicts: 216000 | #Constraints: 18341
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 217000 | #Constraints: 10142
625.50/627.19 c #Conflicts: 218000 | #Constraints: 11142
625.50/627.19 c #Conflicts: 219000 | #Constraints: 12142
625.50/627.19 c #Conflicts: 220000 | #Constraints: 13142
625.50/627.19 c #Conflicts: 221000 | #Constraints: 14142
625.50/627.19 c #Conflicts: 222000 | #Constraints: 15142
625.50/627.19 c #Conflicts: 223000 | #Constraints: 16142
625.50/627.19 c #Conflicts: 224000 | #Constraints: 17142
625.50/627.19 c #Conflicts: 225000 | #Constraints: 18142
625.50/627.19 c #Conflicts: 226000 | #Constraints: 19142
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 227000 | #Constraints: 10742
625.50/627.19 c #Conflicts: 228000 | #Constraints: 11742
625.50/627.19 c #Conflicts: 229000 | #Constraints: 12742
625.50/627.19 c #Conflicts: 230000 | #Constraints: 13742
625.50/627.19 c #Conflicts: 231000 | #Constraints: 14742
625.50/627.19 c #Conflicts: 232000 | #Constraints: 15742
625.50/627.19 c #Conflicts: 233000 | #Constraints: 16742
625.50/627.19 c #Conflicts: 234000 | #Constraints: 17742
625.50/627.19 c #Conflicts: 235000 | #Constraints: 18742
625.50/627.19 c #Conflicts: 236000 | #Constraints: 19742
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 237000 | #Constraints: 11141
625.50/627.19 c #Conflicts: 238000 | #Constraints: 12141
625.50/627.19 c #Conflicts: 239000 | #Constraints: 13141
625.50/627.19 c #Conflicts: 240000 | #Constraints: 14141
625.50/627.19 c #Conflicts: 241000 | #Constraints: 15141
625.50/627.19 c #Conflicts: 242000 | #Constraints: 16141
625.50/627.19 c #Conflicts: 243000 | #Constraints: 17141
625.50/627.19 c #Conflicts: 244000 | #Constraints: 18141
625.50/627.19 c #Conflicts: 245000 | #Constraints: 19141
625.50/627.19 c #Conflicts: 246000 | #Constraints: 20141
625.50/627.19 c INPROCESSING
625.50/627.19 c GARBAGE COLLECT
625.50/627.19 c #Conflicts: 247000 | #Constraints: 11340
625.50/627.19 c #Conflicts: 248000 | #Constraints: 12340
625.50/627.19 c #Conflicts: 249000 | #Constraints: 13340
625.50/627.19 c #Conflicts: 250000 | #Constraints: 14340
768.59/770.66 c #Conflicts: 251000 | #Constraints: 15340
768.59/770.66 c #Conflicts: 252000 | #Constraints: 16340
768.59/770.66 c #Conflicts: 253000 | #Constraints: 17340
768.59/770.66 c #Conflicts: 254000 | #Constraints: 18340
768.59/770.66 c #Conflicts: 255000 | #Constraints: 19340
768.59/770.66 c #Conflicts: 256000 | #Constraints: 20340
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 257000 | #Constraints: 11339
768.59/770.66 c #Conflicts: 258000 | #Constraints: 12339
768.59/770.66 c #Conflicts: 259000 | #Constraints: 13339
768.59/770.66 c #Conflicts: 260000 | #Constraints: 14339
768.59/770.66 c #Conflicts: 261000 | #Constraints: 15339
768.59/770.66 c #Conflicts: 262000 | #Constraints: 16339
768.59/770.66 c #Conflicts: 263000 | #Constraints: 17339
768.59/770.66 c #Conflicts: 264000 | #Constraints: 18339
768.59/770.66 c #Conflicts: 265000 | #Constraints: 19339
768.59/770.66 c #Conflicts: 266000 | #Constraints: 20339
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 267000 | #Constraints: 11141
768.59/770.66 c #Conflicts: 268000 | #Constraints: 12141
768.59/770.66 c #Conflicts: 269000 | #Constraints: 13141
768.59/770.66 c #Conflicts: 270000 | #Constraints: 14141
768.59/770.66 c #Conflicts: 271000 | #Constraints: 15141
768.59/770.66 c #Conflicts: 272000 | #Constraints: 16141
768.59/770.66 c #Conflicts: 273000 | #Constraints: 17141
768.59/770.66 c #Conflicts: 274000 | #Constraints: 18141
768.59/770.66 c #Conflicts: 275000 | #Constraints: 19141
768.59/770.66 c #Conflicts: 276000 | #Constraints: 20141
768.59/770.66 c #Conflicts: 277000 | #Constraints: 21141
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 278000 | #Constraints: 11742
768.59/770.66 c #Conflicts: 279000 | #Constraints: 12742
768.59/770.66 c #Conflicts: 280000 | #Constraints: 13742
768.59/770.66 c #Conflicts: 281000 | #Constraints: 14742
768.59/770.66 c #Conflicts: 282000 | #Constraints: 15742
768.59/770.66 c #Conflicts: 283000 | #Constraints: 16742
768.59/770.66 c #Conflicts: 284000 | #Constraints: 17742
768.59/770.66 c #Conflicts: 285000 | #Constraints: 18742
768.59/770.66 c #Conflicts: 286000 | #Constraints: 19742
768.59/770.66 c #Conflicts: 287000 | #Constraints: 20742
768.59/770.66 c #Conflicts: 288000 | #Constraints: 21742
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 289000 | #Constraints: 12140
768.59/770.66 c #Conflicts: 290000 | #Constraints: 13140
768.59/770.66 c #Conflicts: 291000 | #Constraints: 14140
768.59/770.66 c #Conflicts: 292000 | #Constraints: 15140
768.59/770.66 c #Conflicts: 293000 | #Constraints: 16140
768.59/770.66 c #Conflicts: 294000 | #Constraints: 17140
768.59/770.66 c #Conflicts: 295000 | #Constraints: 18140
768.59/770.66 c #Conflicts: 296000 | #Constraints: 19140
768.59/770.66 c #Conflicts: 297000 | #Constraints: 20140
768.59/770.66 c #Conflicts: 298000 | #Constraints: 21140
768.59/770.66 c #Conflicts: 299000 | #Constraints: 22140
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 300000 | #Constraints: 12335
768.59/770.66 c #Conflicts: 301000 | #Constraints: 13335
768.59/770.66 c #Conflicts: 302000 | #Constraints: 14335
768.59/770.66 c #Conflicts: 303000 | #Constraints: 15335
768.59/770.66 c #Conflicts: 304000 | #Constraints: 16335
768.59/770.66 c #Conflicts: 305000 | #Constraints: 17335
768.59/770.66 c #Conflicts: 306000 | #Constraints: 18335
768.59/770.66 c #Conflicts: 307000 | #Constraints: 19335
768.59/770.66 c #Conflicts: 308000 | #Constraints: 20335
768.59/770.66 c #Conflicts: 309000 | #Constraints: 21335
768.59/770.66 c #Conflicts: 310000 | #Constraints: 22335
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 311000 | #Constraints: 12337
768.59/770.66 c #Conflicts: 312000 | #Constraints: 13337
768.59/770.66 c #Conflicts: 313000 | #Constraints: 14337
768.59/770.66 c #Conflicts: 314000 | #Constraints: 15337
768.59/770.66 c #Conflicts: 315000 | #Constraints: 16337
768.59/770.66 c #Conflicts: 316000 | #Constraints: 17337
768.59/770.66 c #Conflicts: 317000 | #Constraints: 18337
768.59/770.66 c #Conflicts: 318000 | #Constraints: 19337
768.59/770.66 c #Conflicts: 319000 | #Constraints: 20337
768.59/770.66 c #Conflicts: 320000 | #Constraints: 21337
768.59/770.66 c #Conflicts: 321000 | #Constraints: 22337
768.59/770.66 c INPROCESSING
768.59/770.66 c GARBAGE COLLECT
768.59/770.66 c #Conflicts: 322000 | #Constraints: 12141
768.59/770.66 c #Conflicts: 323000 | #Constraints: 13141
768.59/770.66 c #Conflicts: 324000 | #Constraints: 14141
944.29/946.88 c #Conflicts: 325000 | #Constraints: 15141
944.29/946.88 c #Conflicts: 326000 | #Constraints: 16141
944.29/946.88 c #Conflicts: 327000 | #Constraints: 17141
944.29/946.88 c #Conflicts: 328000 | #Constraints: 18141
944.29/946.88 c #Conflicts: 329000 | #Constraints: 19141
944.29/946.88 c #Conflicts: 330000 | #Constraints: 20141
944.29/946.88 c #Conflicts: 331000 | #Constraints: 21141
944.29/946.88 c #Conflicts: 332000 | #Constraints: 22141
944.29/946.88 c #Conflicts: 333000 | #Constraints: 23141
944.29/946.88 c INPROCESSING
944.29/946.88 c GARBAGE COLLECT
944.29/946.88 c #Conflicts: 334000 | #Constraints: 12737
944.29/946.88 c #Conflicts: 335000 | #Constraints: 13737
944.29/946.88 c #Conflicts: 336000 | #Constraints: 14737
944.29/946.88 c #Conflicts: 337000 | #Constraints: 15737
944.29/946.88 c #Conflicts: 338000 | #Constraints: 16737
944.29/946.88 c #Conflicts: 339000 | #Constraints: 17737
944.29/946.88 c #Conflicts: 340000 | #Constraints: 18737
944.29/946.88 c #Conflicts: 341000 | #Constraints: 19737
944.29/946.88 c #Conflicts: 342000 | #Constraints: 20737
944.29/946.88 c #Conflicts: 343000 | #Constraints: 21737
944.29/946.88 c #Conflicts: 344000 | #Constraints: 22737
944.29/946.88 c #Conflicts: 345000 | #Constraints: 23737
944.29/946.88 c INPROCESSING
944.29/946.88 c GARBAGE COLLECT
944.29/946.88 c #Conflicts: 346000 | #Constraints: 13142
944.29/946.88 c #Conflicts: 347000 | #Constraints: 14142
944.29/946.88 c #Conflicts: 348000 | #Constraints: 15142
944.29/946.88 c #Conflicts: 349000 | #Constraints: 16142
944.29/946.88 c #Conflicts: 350000 | #Constraints: 17142
944.29/946.88 c #Conflicts: 351000 | #Constraints: 18142
944.29/946.88 c #Conflicts: 352000 | #Constraints: 19142
944.29/946.88 c #Conflicts: 353000 | #Constraints: 20142
944.29/946.88 c #Conflicts: 354000 | #Constraints: 21142
944.29/946.88 c #Conflicts: 355000 | #Constraints: 22142
944.29/946.88 c #Conflicts: 356000 | #Constraints: 23142
944.29/946.88 c #Conflicts: 357000 | #Constraints: 24142
944.29/946.88 c INPROCESSING
944.29/946.88 c GARBAGE COLLECT
944.29/946.88 c #Conflicts: 358000 | #Constraints: 13342
944.29/946.88 c #Conflicts: 359000 | #Constraints: 14342
944.29/946.88 c #Conflicts: 360000 | #Constraints: 15342
944.29/946.88 c #Conflicts: 361000 | #Constraints: 16342
944.29/946.88 c #Conflicts: 362000 | #Constraints: 17342
944.29/946.88 c #Conflicts: 363000 | #Constraints: 18342
944.29/946.88 c #Conflicts: 364000 | #Constraints: 19342
944.29/946.88 c #Conflicts: 365000 | #Constraints: 20342
944.29/946.88 c #Conflicts: 366000 | #Constraints: 21342
944.29/946.88 c #Conflicts: 367000 | #Constraints: 22342
944.29/946.88 c #Conflicts: 368000 | #Constraints: 23342
944.29/946.88 c #Conflicts: 369000 | #Constraints: 24342
944.29/946.88 c INPROCESSING
944.29/946.88 c GARBAGE COLLECT
944.29/946.88 c #Conflicts: 370000 | #Constraints: 13339
944.29/946.88 c #Conflicts: 371000 | #Constraints: 14339
944.29/946.88 c #Conflicts: 372000 | #Constraints: 15339
944.29/946.88 c #Conflicts: 373000 | #Constraints: 16339
944.29/946.88 c #Conflicts: 374000 | #Constraints: 17339
944.29/946.88 c #Conflicts: 375000 | #Constraints: 18339
944.29/946.88 c #Conflicts: 376000 | #Constraints: 19339
944.29/946.88 c #Conflicts: 377000 | #Constraints: 20339
944.29/946.88 c #Conflicts: 378000 | #Constraints: 21339
944.29/946.88 c #Conflicts: 379000 | #Constraints: 22339
944.29/946.88 c #Conflicts: 380000 | #Constraints: 23339
944.29/946.88 c #Conflicts: 381000 | #Constraints: 24339
944.29/946.88 c INPROCESSING
944.29/946.88 c GARBAGE COLLECT
944.29/946.88 c #Conflicts: 382000 | #Constraints: 13142
944.29/946.88 c #Conflicts: 383000 | #Constraints: 14142
944.29/946.88 c #Conflicts: 384000 | #Constraints: 15142
944.29/946.88 c #Conflicts: 385000 | #Constraints: 16142
944.29/946.88 c #Conflicts: 386000 | #Constraints: 17142
944.29/946.88 c #Conflicts: 387000 | #Constraints: 18142
944.29/946.88 c #Conflicts: 388000 | #Constraints: 19142
944.29/946.88 c #Conflicts: 389000 | #Constraints: 20142
944.29/946.88 c #Conflicts: 390000 | #Constraints: 21142
944.29/946.88 c #Conflicts: 391000 | #Constraints: 22142
944.29/946.88 c #Conflicts: 392000 | #Constraints: 23142
944.29/946.88 c #Conflicts: 393000 | #Constraints: 24142
944.29/946.88 c #Conflicts: 394000 | #Constraints: 25142
944.29/946.88 c INPROCESSING
944.29/946.88 c GARBAGE COLLECT
944.29/946.88 c #Conflicts: 395000 | #Constraints: 13738
944.29/946.88 c #Conflicts: 396000 | #Constraints: 14738
944.29/946.88 c #Conflicts: 397000 | #Constraints: 15738
944.29/946.88 c #Conflicts: 398000 | #Constraints: 16738
944.29/946.88 c #Conflicts: 399000 | #Constraints: 17738
1297.20/1300.72 c #Conflicts: 400000 | #Constraints: 18738
1297.20/1300.72 c #Conflicts: 401000 | #Constraints: 19738
1297.20/1300.72 c #Conflicts: 402000 | #Constraints: 20738
1297.20/1300.72 c #Conflicts: 403000 | #Constraints: 21738
1297.20/1300.72 c #Conflicts: 404000 | #Constraints: 22738
1297.20/1300.72 c #Conflicts: 405000 | #Constraints: 23738
1297.20/1300.72 c #Conflicts: 406000 | #Constraints: 24738
1297.20/1300.72 c #Conflicts: 407000 | #Constraints: 25738
1297.20/1300.72 c INPROCESSING
1297.20/1300.72 c GARBAGE COLLECT
1297.20/1300.72 c #Conflicts: 408000 | #Constraints: 14136
1297.20/1300.72 c #Conflicts: 409000 | #Constraints: 15136
1297.20/1300.72 c #Conflicts: 410000 | #Constraints: 16136
1297.20/1300.72 c #Conflicts: 411000 | #Constraints: 17136
1297.20/1300.72 c #Conflicts: 412000 | #Constraints: 18136
1297.20/1300.72 c #Conflicts: 413000 | #Constraints: 19136
1297.20/1300.72 c #Conflicts: 414000 | #Constraints: 20136
1297.20/1300.72 c #Conflicts: 415000 | #Constraints: 21136
1297.20/1300.72 c #Conflicts: 416000 | #Constraints: 22136
1297.20/1300.72 c #Conflicts: 417000 | #Constraints: 23136
1297.20/1300.72 c #Conflicts: 418000 | #Constraints: 24136
1297.20/1300.72 c #Conflicts: 419000 | #Constraints: 25136
1297.20/1300.72 c #Conflicts: 420000 | #Constraints: 26136
1297.20/1300.72 c INPROCESSING
1297.20/1300.72 c GARBAGE COLLECT
1297.20/1300.72 c #Conflicts: 421000 | #Constraints: 14338
1297.20/1300.72 c #Conflicts: 422000 | #Constraints: 15338
1297.20/1300.72 c #Conflicts: 423000 | #Constraints: 16338
1297.20/1300.72 c #Conflicts: 424000 | #Constraints: 17338
1297.20/1300.72 c #Conflicts: 425000 | #Constraints: 18338
1297.20/1300.72 c #Conflicts: 426000 | #Constraints: 19338
1297.20/1300.72 c #Conflicts: 427000 | #Constraints: 20338
1297.20/1300.72 c #Conflicts: 428000 | #Constraints: 21338
1297.20/1300.72 c #Conflicts: 429000 | #Constraints: 22338
1297.20/1300.72 c #Conflicts: 430000 | #Constraints: 23338
1297.20/1300.72 c #Conflicts: 431000 | #Constraints: 24338
1297.20/1300.72 c #Conflicts: 432000 | #Constraints: 25338
1297.20/1300.72 c #Conflicts: 433000 | #Constraints: 26338
1297.20/1300.72 c INPROCESSING
1297.20/1300.72 c GARBAGE COLLECT
1297.20/1300.72 c #Conflicts: 434000 | #Constraints: 14345
1297.20/1300.72 c #Conflicts: 435000 | #Constraints: 15345
1297.20/1300.72 c #Conflicts: 436000 | #Constraints: 16345
1297.20/1300.72 c #Conflicts: 437000 | #Constraints: 17345
1297.20/1300.72 c #Conflicts: 438000 | #Constraints: 18345
1297.20/1300.72 c #Conflicts: 439000 | #Constraints: 19345
1297.20/1300.72 c #Conflicts: 440000 | #Constraints: 20345
1297.20/1300.72 c #Conflicts: 441000 | #Constraints: 21345
1297.20/1300.72 c #Conflicts: 442000 | #Constraints: 22345
1297.20/1300.72 c #Conflicts: 443000 | #Constraints: 23345
1297.20/1300.72 c #Conflicts: 444000 | #Constraints: 24345
1297.20/1300.72 c #Conflicts: 445000 | #Constraints: 25345
1297.20/1300.72 c #Conflicts: 446000 | #Constraints: 26345
1297.20/1300.72 c INPROCESSING
1297.20/1300.72 c GARBAGE COLLECT
1297.20/1300.72 c #Conflicts: 447000 | #Constraints: 14144
1297.20/1300.72 c #Conflicts: 448000 | #Constraints: 15144
1297.20/1300.72 c #Conflicts: 449000 | #Constraints: 16144
1297.20/1300.72 c #Conflicts: 450000 | #Constraints: 17144
1297.20/1300.72 c #Conflicts: 451000 | #Constraints: 18144
1297.20/1300.72 c #Conflicts: 452000 | #Constraints: 19144
1297.20/1300.72 c #Conflicts: 453000 | #Constraints: 20144
1297.20/1300.72 c #Conflicts: 454000 | #Constraints: 21144
1297.20/1300.72 c #Conflicts: 455000 | #Constraints: 22144
1297.20/1300.72 c #Conflicts: 456000 | #Constraints: 23144
1297.20/1300.72 c #Conflicts: 457000 | #Constraints: 24144
1297.20/1300.72 c #Conflicts: 458000 | #Constraints: 25144
1297.20/1300.72 c #Conflicts: 459000 | #Constraints: 26144
1297.20/1300.72 c #Conflicts: 460000 | #Constraints: 27144
1297.20/1300.72 c INPROCESSING
1297.20/1300.72 c GARBAGE COLLECT
1297.20/1300.72 c #Conflicts: 461000 | #Constraints: 14746
1297.20/1300.72 c #Conflicts: 462000 | #Constraints: 15746
1297.20/1300.72 c #Conflicts: 463000 | #Constraints: 16746
1297.20/1300.72 c #Conflicts: 464000 | #Constraints: 17746
1297.20/1300.72 c #Conflicts: 465000 | #Constraints: 18746
1297.20/1300.72 c #Conflicts: 466000 | #Constraints: 19746
1297.20/1300.72 c #Conflicts: 467000 | #Constraints: 20746
1297.20/1300.72 c #Conflicts: 468000 | #Constraints: 21746
1297.20/1300.72 c #Conflicts: 469000 | #Constraints: 22746
1297.20/1300.72 c #Conflicts: 470000 | #Constraints: 23746
1297.20/1300.72 c #Conflicts: 471000 | #Constraints: 24746
1297.20/1300.72 c #Conflicts: 472000 | #Constraints: 25746
1297.20/1300.72 c #Conflicts: 473000 | #Constraints: 26746
1297.20/1300.72 c #Conflicts: 474000 | #Constraints: 27746
1691.21/1695.84 c INPROCESSING
1691.21/1695.84 c GARBAGE COLLECT
1691.21/1695.84 c #Conflicts: 475000 | #Constraints: 15143
1691.21/1695.84 c #Conflicts: 476000 | #Constraints: 16143
1691.21/1695.84 c #Conflicts: 477000 | #Constraints: 17143
1691.21/1695.84 c #Conflicts: 478000 | #Constraints: 18143
1691.21/1695.84 c #Conflicts: 479000 | #Constraints: 19143
1691.21/1695.84 c #Conflicts: 480000 | #Constraints: 20143
1691.21/1695.84 c #Conflicts: 481000 | #Constraints: 21143
1691.21/1695.84 c #Conflicts: 482000 | #Constraints: 22143
1691.21/1695.84 c #Conflicts: 483000 | #Constraints: 23143
1691.21/1695.84 c #Conflicts: 484000 | #Constraints: 24143
1691.21/1695.84 c #Conflicts: 485000 | #Constraints: 25143
1691.21/1695.84 c #Conflicts: 486000 | #Constraints: 26143
1691.21/1695.84 c #Conflicts: 487000 | #Constraints: 27143
1691.21/1695.84 c #Conflicts: 488000 | #Constraints: 28143
1691.21/1695.84 c INPROCESSING
1691.21/1695.84 c GARBAGE COLLECT
1691.21/1695.84 c #Conflicts: 489000 | #Constraints: 15344
1691.21/1695.84 c #Conflicts: 490000 | #Constraints: 16344
1691.21/1695.84 c #Conflicts: 491000 | #Constraints: 17344
1691.21/1695.84 c #Conflicts: 492000 | #Constraints: 18344
1691.21/1695.84 c #Conflicts: 493000 | #Constraints: 19344
1691.21/1695.84 c #Conflicts: 494000 | #Constraints: 20344
1691.21/1695.84 c #Conflicts: 495000 | #Constraints: 21344
1691.21/1695.84 c #Conflicts: 496000 | #Constraints: 22344
1691.21/1695.84 c #Conflicts: 497000 | #Constraints: 23344
1691.21/1695.84 c #Conflicts: 498000 | #Constraints: 24344
1691.21/1695.84 c #Conflicts: 499000 | #Constraints: 25344
1691.21/1695.84 c #Conflicts: 500000 | #Constraints: 26344
1691.21/1695.84 c #Conflicts: 501000 | #Constraints: 27344
1691.21/1695.84 c #Conflicts: 502000 | #Constraints: 28344
1691.21/1695.84 c INPROCESSING
1691.21/1695.84 c GARBAGE COLLECT
1691.21/1695.84 c #Conflicts: 503000 | #Constraints: 15346
1691.21/1695.84 c #Conflicts: 504000 | #Constraints: 16346
1691.21/1695.84 c #Conflicts: 505000 | #Constraints: 17346
1691.21/1695.84 c #Conflicts: 506000 | #Constraints: 18346
1691.21/1695.84 c #Conflicts: 507000 | #Constraints: 19346
1691.21/1695.84 c #Conflicts: 508000 | #Constraints: 20346
1691.21/1695.84 c #Conflicts: 509000 | #Constraints: 21346
1691.21/1695.84 c #Conflicts: 510000 | #Constraints: 22346
1691.21/1695.84 c #Conflicts: 511000 | #Constraints: 23346
1691.21/1695.84 c #Conflicts: 512000 | #Constraints: 24346
1691.21/1695.84 c #Conflicts: 513000 | #Constraints: 25346
1691.21/1695.84 c #Conflicts: 514000 | #Constraints: 26346
1691.21/1695.84 c #Conflicts: 515000 | #Constraints: 27346
1691.21/1695.84 c #Conflicts: 516000 | #Constraints: 28346
1691.21/1695.84 c INPROCESSING
1691.21/1695.84 c GARBAGE COLLECT
1691.21/1695.84 c #Conflicts: 517000 | #Constraints: 15139
1691.21/1695.84 c #Conflicts: 518000 | #Constraints: 16139
1691.21/1695.84 c #Conflicts: 519000 | #Constraints: 17139
1691.21/1695.84 c #Conflicts: 520000 | #Constraints: 18139
1691.21/1695.84 c #Conflicts: 521000 | #Constraints: 19139
1691.21/1695.84 c #Conflicts: 522000 | #Constraints: 20139
1691.21/1695.84 c #Conflicts: 523000 | #Constraints: 21139
1691.21/1695.84 c #Conflicts: 524000 | #Constraints: 22139
1691.21/1695.84 c #Conflicts: 525000 | #Constraints: 23139
1691.21/1695.84 c #Conflicts: 526000 | #Constraints: 24139
1691.21/1695.84 c #Conflicts: 527000 | #Constraints: 25139
1691.21/1695.84 c #Conflicts: 528000 | #Constraints: 26139
1691.21/1695.84 c #Conflicts: 529000 | #Constraints: 27139
1691.21/1695.84 c #Conflicts: 530000 | #Constraints: 28139
1691.21/1695.84 c #Conflicts: 531000 | #Constraints: 29139
1691.21/1695.84 c INPROCESSING
1691.21/1695.84 c GARBAGE COLLECT
1691.21/1695.84 c #Conflicts: 532000 | #Constraints: 15743
1691.21/1695.84 c #Conflicts: 533000 | #Constraints: 16743
1691.21/1695.84 c #Conflicts: 534000 | #Constraints: 17743
1691.21/1695.84 c #Conflicts: 535000 | #Constraints: 18743
1691.21/1695.84 c #Conflicts: 536000 | #Constraints: 19743
1691.21/1695.84 c #Conflicts: 537000 | #Constraints: 20743
1691.21/1695.84 c #Conflicts: 538000 | #Constraints: 21743
1691.21/1695.84 c #Conflicts: 539000 | #Constraints: 22743
1691.21/1695.84 c #Conflicts: 540000 | #Constraints: 23743
1691.21/1695.84 c #Conflicts: 541000 | #Constraints: 24743
1691.21/1695.84 c #Conflicts: 542000 | #Constraints: 25743
1691.21/1695.84 c #Conflicts: 543000 | #Constraints: 26743
1691.21/1695.84 c #Conflicts: 544000 | #Constraints: 27743
1691.21/1695.84 c #Conflicts: 545000 | #Constraints: 28743
1691.21/1695.84 c #Conflicts: 546000 | #Constraints: 29743
1691.21/1695.84 c INPROCESSING
1691.21/1695.84 c GARBAGE COLLECT
1691.21/1695.84 c #Conflicts: 547000 | #Constraints: 16143
1691.21/1695.84 c #Conflicts: 548000 | #Constraints: 17143
1691.21/1695.84 c #Conflicts: 549000 | #Constraints: 18143
1940.71/1946.01 c #Conflicts: 550000 | #Constraints: 19143
1940.71/1946.01 c #Conflicts: 551000 | #Constraints: 20143
1940.71/1946.01 c #Conflicts: 552000 | #Constraints: 21143
1940.71/1946.01 c #Conflicts: 553000 | #Constraints: 22143
1940.71/1946.01 c #Conflicts: 554000 | #Constraints: 23143
1940.71/1946.01 c #Conflicts: 555000 | #Constraints: 24143
1940.71/1946.01 c #Conflicts: 556000 | #Constraints: 25143
1940.71/1946.01 c #Conflicts: 557000 | #Constraints: 26143
1940.71/1946.01 c #Conflicts: 558000 | #Constraints: 27143
1940.71/1946.01 c #Conflicts: 559000 | #Constraints: 28143
1940.71/1946.01 c #Conflicts: 560000 | #Constraints: 29143
1940.71/1946.01 c #Conflicts: 561000 | #Constraints: 30143
1940.71/1946.01 c INPROCESSING
1940.71/1946.01 c GARBAGE COLLECT
1940.71/1946.01 c #Conflicts: 562000 | #Constraints: 16345
1940.71/1946.01 c #Conflicts: 563000 | #Constraints: 17345
1940.71/1946.01 c #Conflicts: 564000 | #Constraints: 18345
1940.71/1946.01 c #Conflicts: 565000 | #Constraints: 19345
1940.71/1946.01 c #Conflicts: 566000 | #Constraints: 20345
1940.71/1946.01 c #Conflicts: 567000 | #Constraints: 21345
1940.71/1946.01 c #Conflicts: 568000 | #Constraints: 22345
1940.71/1946.01 c #Conflicts: 569000 | #Constraints: 23345
1940.71/1946.01 c #Conflicts: 570000 | #Constraints: 24345
1940.71/1946.01 c #Conflicts: 571000 | #Constraints: 25345
1940.71/1946.01 c #Conflicts: 572000 | #Constraints: 26345
1940.71/1946.01 c #Conflicts: 573000 | #Constraints: 27345
1940.71/1946.01 c #Conflicts: 574000 | #Constraints: 28345
1940.71/1946.01 c #Conflicts: 575000 | #Constraints: 29345
1940.71/1946.01 c #Conflicts: 576000 | #Constraints: 30345
1940.71/1946.01 c INPROCESSING
1940.71/1946.01 c GARBAGE COLLECT
1940.71/1946.01 c #Conflicts: 577000 | #Constraints: 16346
1940.71/1946.01 c #Conflicts: 578000 | #Constraints: 17346
1940.71/1946.01 c #Conflicts: 579000 | #Constraints: 18346
1940.71/1946.01 c #Conflicts: 580000 | #Constraints: 19346
1940.71/1946.01 c #Conflicts: 581000 | #Constraints: 20346
1940.71/1946.01 c #Conflicts: 582000 | #Constraints: 21346
1940.71/1946.01 c #Conflicts: 583000 | #Constraints: 22346
1940.71/1946.01 c #Conflicts: 584000 | #Constraints: 23346
1940.71/1946.01 c #Conflicts: 585000 | #Constraints: 24346
1940.71/1946.01 c #Conflicts: 586000 | #Constraints: 25346
1940.71/1946.01 c #Conflicts: 587000 | #Constraints: 26346
1940.71/1946.01 c #Conflicts: 588000 | #Constraints: 27346
1940.71/1946.01 c #Conflicts: 589000 | #Constraints: 28346
1940.71/1946.01 c #Conflicts: 590000 | #Constraints: 29346
1940.71/1946.01 c #Conflicts: 591000 | #Constraints: 30346
1940.71/1946.01 c INPROCESSING
1940.71/1946.01 c GARBAGE COLLECT
1940.71/1946.01 c #Conflicts: 592000 | #Constraints: 16150
1940.71/1946.01 c #Conflicts: 593000 | #Constraints: 17150
1940.71/1946.01 c #Conflicts: 594000 | #Constraints: 18150
1940.71/1946.01 c #Conflicts: 595000 | #Constraints: 19150
1940.71/1946.01 c #Conflicts: 596000 | #Constraints: 20150
1940.71/1946.01 c #Conflicts: 597000 | #Constraints: 21150
1940.71/1946.01 c #Conflicts: 598000 | #Constraints: 22150
1940.71/1946.01 c #Conflicts: 599000 | #Constraints: 23150
1940.71/1946.01 c #Conflicts: 600000 | #Constraints: 24150
1940.71/1946.01 c #Conflicts: 601000 | #Constraints: 25150
1940.71/1946.01 c #Conflicts: 602000 | #Constraints: 26150
1940.71/1946.01 c #Conflicts: 603000 | #Constraints: 27150
1940.71/1946.01 c #Conflicts: 604000 | #Constraints: 28150
1940.71/1946.01 c #Conflicts: 605000 | #Constraints: 29150
1940.71/1946.01 c #Conflicts: 606000 | #Constraints: 30150
1940.71/1946.01 c #Conflicts: 607000 | #Constraints: 31150
1940.71/1946.01 c INPROCESSING
1940.71/1946.01 c GARBAGE COLLECT
1940.71/1946.01 c #Conflicts: 608000 | #Constraints: 16747
1940.71/1946.01 c #Conflicts: 609000 | #Constraints: 17747
1940.71/1946.01 c #Conflicts: 610000 | #Constraints: 18747
1940.71/1946.01 c #Conflicts: 611000 | #Constraints: 19747
1940.71/1946.01 c #Conflicts: 612000 | #Constraints: 20747
1940.71/1946.01 c #Conflicts: 613000 | #Constraints: 21747
1940.71/1946.01 c #Conflicts: 614000 | #Constraints: 22747
1940.71/1946.01 c #Conflicts: 615000 | #Constraints: 23747
1940.71/1946.01 c #Conflicts: 616000 | #Constraints: 24747
1940.71/1946.01 c #Conflicts: 617000 | #Constraints: 25747
1940.71/1946.01 c #Conflicts: 618000 | #Constraints: 26747
1940.71/1946.01 c #Conflicts: 619000 | #Constraints: 27747
1940.71/1946.01 c #Conflicts: 620000 | #Constraints: 28747
1940.71/1946.01 c #Conflicts: 621000 | #Constraints: 29747
1940.71/1946.01 c #Conflicts: 622000 | #Constraints: 30747
1940.71/1946.01 c #Conflicts: 623000 | #Constraints: 31747
1940.71/1946.01 c INPROCESSING
1940.71/1946.01 c GARBAGE COLLECT
1940.71/1946.01 c #Conflicts: 624000 | #Constraints: 17147
1940.71/1946.01 c #Conflicts: 625000 | #Constraints: 18147
2191.40/2197.45 c #Conflicts: 626000 | #Constraints: 19147
2191.40/2197.45 c #Conflicts: 627000 | #Constraints: 20147
2191.40/2197.45 c #Conflicts: 628000 | #Constraints: 21147
2191.40/2197.45 c #Conflicts: 629000 | #Constraints: 22147
2191.40/2197.45 c #Conflicts: 630000 | #Constraints: 23147
2191.40/2197.45 c #Conflicts: 631000 | #Constraints: 24147
2191.40/2197.45 c #Conflicts: 632000 | #Constraints: 25147
2191.40/2197.45 c #Conflicts: 633000 | #Constraints: 26147
2191.40/2197.45 c #Conflicts: 634000 | #Constraints: 27147
2191.40/2197.45 c #Conflicts: 635000 | #Constraints: 28147
2191.40/2197.45 c #Conflicts: 636000 | #Constraints: 29147
2191.40/2197.45 c #Conflicts: 637000 | #Constraints: 30147
2191.40/2197.45 c #Conflicts: 638000 | #Constraints: 31147
2191.40/2197.45 c #Conflicts: 639000 | #Constraints: 32147
2191.40/2197.45 c INPROCESSING
2191.40/2197.45 c GARBAGE COLLECT
2191.40/2197.45 c #Conflicts: 640000 | #Constraints: 17342
2191.40/2197.45 c #Conflicts: 641000 | #Constraints: 18342
2191.40/2197.45 c #Conflicts: 642000 | #Constraints: 19342
2191.40/2197.45 c #Conflicts: 643000 | #Constraints: 20342
2191.40/2197.45 c #Conflicts: 644000 | #Constraints: 21342
2191.40/2197.45 c #Conflicts: 645000 | #Constraints: 22342
2191.40/2197.45 c #Conflicts: 646000 | #Constraints: 23342
2191.40/2197.45 c #Conflicts: 647000 | #Constraints: 24342
2191.40/2197.45 c #Conflicts: 648000 | #Constraints: 25342
2191.40/2197.45 c #Conflicts: 649000 | #Constraints: 26342
2191.40/2197.45 c #Conflicts: 650000 | #Constraints: 27342
2191.40/2197.45 c #Conflicts: 651000 | #Constraints: 28342
2191.40/2197.45 c #Conflicts: 652000 | #Constraints: 29342
2191.40/2197.45 c #Conflicts: 653000 | #Constraints: 30342
2191.40/2197.45 c #Conflicts: 654000 | #Constraints: 31342
2191.40/2197.45 c #Conflicts: 655000 | #Constraints: 32342
2191.40/2197.45 c INPROCESSING
2191.40/2197.45 c GARBAGE COLLECT
2191.40/2197.45 c #Conflicts: 656000 | #Constraints: 17351
2191.40/2197.45 c #Conflicts: 657000 | #Constraints: 18351
2191.40/2197.45 c #Conflicts: 658000 | #Constraints: 19351
2191.40/2197.45 c #Conflicts: 659000 | #Constraints: 20351
2191.40/2197.45 c #Conflicts: 660000 | #Constraints: 21351
2191.40/2197.45 c #Conflicts: 661000 | #Constraints: 22351
2191.40/2197.45 c #Conflicts: 662000 | #Constraints: 23351
2191.40/2197.45 c #Conflicts: 663000 | #Constraints: 24351
2191.40/2197.45 c #Conflicts: 664000 | #Constraints: 25351
2191.40/2197.45 c #Conflicts: 665000 | #Constraints: 26351
2191.40/2197.45 c #Conflicts: 666000 | #Constraints: 27351
2191.40/2197.45 c #Conflicts: 667000 | #Constraints: 28351
2191.40/2197.45 c #Conflicts: 668000 | #Constraints: 29351
2191.40/2197.45 c #Conflicts: 669000 | #Constraints: 30351
2191.40/2197.45 c #Conflicts: 670000 | #Constraints: 31351
2191.40/2197.45 c #Conflicts: 671000 | #Constraints: 32351
2191.40/2197.45 c INPROCESSING
2191.40/2197.45 c GARBAGE COLLECT
2191.40/2197.45 c #Conflicts: 672000 | #Constraints: 17142
2191.40/2197.45 c #Conflicts: 673000 | #Constraints: 18142
2191.40/2197.45 c #Conflicts: 674000 | #Constraints: 19142
2191.40/2197.45 c #Conflicts: 675000 | #Constraints: 20142
2191.40/2197.45 c #Conflicts: 676000 | #Constraints: 21142
2191.40/2197.45 c #Conflicts: 677000 | #Constraints: 22142
2191.40/2197.45 c #Conflicts: 678000 | #Constraints: 23142
2191.40/2197.45 c #Conflicts: 679000 | #Constraints: 24142
2191.40/2197.45 c #Conflicts: 680000 | #Constraints: 25142
2191.40/2197.45 c #Conflicts: 681000 | #Constraints: 26142
2191.40/2197.45 c #Conflicts: 682000 | #Constraints: 27142
2191.40/2197.45 c #Conflicts: 683000 | #Constraints: 28142
2191.40/2197.45 c #Conflicts: 684000 | #Constraints: 29142
2191.40/2197.45 c #Conflicts: 685000 | #Constraints: 30142
2191.40/2197.45 c #Conflicts: 686000 | #Constraints: 31142
2191.40/2197.45 c #Conflicts: 687000 | #Constraints: 32142
2191.40/2197.45 c #Conflicts: 688000 | #Constraints: 33142
2191.40/2197.45 c INPROCESSING
2191.40/2197.45 c GARBAGE COLLECT
2191.40/2197.45 c #Conflicts: 689000 | #Constraints: 17740
2191.40/2197.45 c #Conflicts: 690000 | #Constraints: 18740
2191.40/2197.45 c #Conflicts: 691000 | #Constraints: 19740
2191.40/2197.45 c #Conflicts: 692000 | #Constraints: 20740
2191.40/2197.45 c #Conflicts: 693000 | #Constraints: 21740
2191.40/2197.45 c #Conflicts: 694000 | #Constraints: 22740
2191.40/2197.45 c #Conflicts: 695000 | #Constraints: 23740
2191.40/2197.45 c #Conflicts: 696000 | #Constraints: 24740
2191.40/2197.45 c #Conflicts: 697000 | #Constraints: 25740
2191.40/2197.45 c #Conflicts: 698000 | #Constraints: 26740
2191.40/2197.45 c #Conflicts: 699000 | #Constraints: 27740
2191.40/2197.45 c #Conflicts: 700000 | #Constraints: 28740
2191.40/2197.45 c #Conflicts: 701000 | #Constraints: 29740
2470.01/2476.82 c #Conflicts: 702000 | #Constraints: 30740
2470.01/2476.82 c #Conflicts: 703000 | #Constraints: 31740
2470.01/2476.82 c #Conflicts: 704000 | #Constraints: 32740
2470.01/2476.82 c #Conflicts: 705000 | #Constraints: 33740
2470.01/2476.82 c INPROCESSING
2470.01/2476.82 c GARBAGE COLLECT
2470.01/2476.82 c #Conflicts: 706000 | #Constraints: 18142
2470.01/2476.82 c #Conflicts: 707000 | #Constraints: 19142
2470.01/2476.82 c #Conflicts: 708000 | #Constraints: 20142
2470.01/2476.82 c #Conflicts: 709000 | #Constraints: 21142
2470.01/2476.82 c #Conflicts: 710000 | #Constraints: 22142
2470.01/2476.82 c #Conflicts: 711000 | #Constraints: 23142
2470.01/2476.82 c #Conflicts: 712000 | #Constraints: 24142
2470.01/2476.82 c #Conflicts: 713000 | #Constraints: 25142
2470.01/2476.82 c #Conflicts: 714000 | #Constraints: 26142
2470.01/2476.82 c #Conflicts: 715000 | #Constraints: 27142
2470.01/2476.82 c #Conflicts: 716000 | #Constraints: 28142
2470.01/2476.82 c #Conflicts: 717000 | #Constraints: 29142
2470.01/2476.82 c #Conflicts: 718000 | #Constraints: 30142
2470.01/2476.82 c #Conflicts: 719000 | #Constraints: 31142
2470.01/2476.82 c #Conflicts: 720000 | #Constraints: 32142
2470.01/2476.82 c #Conflicts: 721000 | #Constraints: 33142
2470.01/2476.82 c #Conflicts: 722000 | #Constraints: 34142
2470.01/2476.82 c INPROCESSING
2470.01/2476.82 c GARBAGE COLLECT
2470.01/2476.82 c #Conflicts: 723000 | #Constraints: 18346
2470.01/2476.82 c #Conflicts: 724000 | #Constraints: 19346
2470.01/2476.82 c #Conflicts: 725000 | #Constraints: 20346
2470.01/2476.82 c #Conflicts: 726000 | #Constraints: 21346
2470.01/2476.82 c #Conflicts: 727000 | #Constraints: 22346
2470.01/2476.82 c #Conflicts: 728000 | #Constraints: 23346
2470.01/2476.82 c #Conflicts: 729000 | #Constraints: 24346
2470.01/2476.82 c #Conflicts: 730000 | #Constraints: 25346
2470.01/2476.82 c #Conflicts: 731000 | #Constraints: 26346
2470.01/2476.82 c #Conflicts: 732000 | #Constraints: 27346
2470.01/2476.82 c #Conflicts: 733000 | #Constraints: 28346
2470.01/2476.82 c #Conflicts: 734000 | #Constraints: 29346
2470.01/2476.82 c #Conflicts: 735000 | #Constraints: 30346
2470.01/2476.82 c #Conflicts: 736000 | #Constraints: 31346
2470.01/2476.82 c #Conflicts: 737000 | #Constraints: 32346
2470.01/2476.82 c #Conflicts: 738000 | #Constraints: 33346
2470.01/2476.82 c #Conflicts: 739000 | #Constraints: 34346
2470.01/2476.82 c INPROCESSING
2470.01/2476.82 c GARBAGE COLLECT
2470.01/2476.82 c #Conflicts: 740000 | #Constraints: 18344
2470.01/2476.82 c #Conflicts: 741000 | #Constraints: 19344
2470.01/2476.82 c #Conflicts: 742000 | #Constraints: 20344
2470.01/2476.82 c #Conflicts: 743000 | #Constraints: 21344
2470.01/2476.82 c #Conflicts: 744000 | #Constraints: 22344
2470.01/2476.82 c #Conflicts: 745000 | #Constraints: 23344
2470.01/2476.82 c #Conflicts: 746000 | #Constraints: 24344
2470.01/2476.82 c #Conflicts: 747000 | #Constraints: 25344
2470.01/2476.82 c #Conflicts: 748000 | #Constraints: 26344
2470.01/2476.82 c #Conflicts: 749000 | #Constraints: 27344
2470.01/2476.82 c #Conflicts: 750000 | #Constraints: 28344
2470.01/2476.82 c #Conflicts: 751000 | #Constraints: 29344
2470.01/2476.82 c #Conflicts: 752000 | #Constraints: 30344
2470.01/2476.82 c #Conflicts: 753000 | #Constraints: 31344
2470.01/2476.82 c #Conflicts: 754000 | #Constraints: 32344
2470.01/2476.82 c #Conflicts: 755000 | #Constraints: 33344
2470.01/2476.82 c #Conflicts: 756000 | #Constraints: 34344
2470.01/2476.82 c INPROCESSING
2470.01/2476.82 c GARBAGE COLLECT
2470.01/2476.82 c #Conflicts: 757000 | #Constraints: 18138
2470.01/2476.82 c #Conflicts: 758000 | #Constraints: 19138
2470.01/2476.82 c #Conflicts: 759000 | #Constraints: 20138
2470.01/2476.82 c #Conflicts: 760000 | #Constraints: 21138
2470.01/2476.82 c #Conflicts: 761000 | #Constraints: 22138
2470.01/2476.82 c #Conflicts: 762000 | #Constraints: 23138
2470.01/2476.82 c #Conflicts: 763000 | #Constraints: 24138
2470.01/2476.82 c #Conflicts: 764000 | #Constraints: 25138
2470.01/2476.82 c #Conflicts: 765000 | #Constraints: 26138
2470.01/2476.82 c #Conflicts: 766000 | #Constraints: 27138
2470.01/2476.82 c #Conflicts: 767000 | #Constraints: 28138
2470.01/2476.82 c #Conflicts: 768000 | #Constraints: 29138
2470.01/2476.82 c #Conflicts: 769000 | #Constraints: 30138
2470.01/2476.82 c #Conflicts: 770000 | #Constraints: 31138
2470.01/2476.82 c #Conflicts: 771000 | #Constraints: 32138
2470.01/2476.82 c #Conflicts: 772000 | #Constraints: 33138
2470.01/2476.82 c #Conflicts: 773000 | #Constraints: 34138
2470.01/2476.82 c #Conflicts: 774000 | #Constraints: 35138
2470.01/2476.82 c INPROCESSING
2470.01/2476.82 c GARBAGE COLLECT
2470.01/2476.82 c #Conflicts: 775000 | #Constraints: 18734
2470.01/2476.82 c #Conflicts: 776000 | #Constraints: 19734
2470.01/2476.82 c #Conflicts: 777000 | #Constraints: 20734
2762.68/2770.30 c #Conflicts: 778000 | #Constraints: 21734
2762.68/2770.30 c #Conflicts: 779000 | #Constraints: 22734
2762.68/2770.30 c #Conflicts: 780000 | #Constraints: 23734
2762.68/2770.30 c #Conflicts: 781000 | #Constraints: 24734
2762.68/2770.30 c #Conflicts: 782000 | #Constraints: 25734
2762.68/2770.30 c #Conflicts: 783000 | #Constraints: 26734
2762.68/2770.30 c #Conflicts: 784000 | #Constraints: 27734
2762.68/2770.30 c #Conflicts: 785000 | #Constraints: 28734
2762.68/2770.30 c #Conflicts: 786000 | #Constraints: 29734
2762.68/2770.30 c #Conflicts: 787000 | #Constraints: 30734
2762.68/2770.30 c #Conflicts: 788000 | #Constraints: 31734
2762.68/2770.30 c #Conflicts: 789000 | #Constraints: 32734
2762.68/2770.30 c #Conflicts: 790000 | #Constraints: 33734
2762.68/2770.30 c #Conflicts: 791000 | #Constraints: 34734
2762.68/2770.30 c #Conflicts: 792000 | #Constraints: 35734
2762.68/2770.30 c INPROCESSING
2762.68/2770.30 c GARBAGE COLLECT
2762.68/2770.30 c #Conflicts: 793000 | #Constraints: 19135
2762.68/2770.30 c #Conflicts: 794000 | #Constraints: 20135
2762.68/2770.30 c #Conflicts: 795000 | #Constraints: 21135
2762.68/2770.30 c #Conflicts: 796000 | #Constraints: 22135
2762.68/2770.30 c #Conflicts: 797000 | #Constraints: 23135
2762.68/2770.30 c #Conflicts: 798000 | #Constraints: 24135
2762.68/2770.30 c #Conflicts: 799000 | #Constraints: 25135
2762.68/2770.30 c #Conflicts: 800000 | #Constraints: 26135
2762.68/2770.30 c #Conflicts: 801000 | #Constraints: 27135
2762.68/2770.30 c #Conflicts: 802000 | #Constraints: 28135
2762.68/2770.30 c #Conflicts: 803000 | #Constraints: 29135
2762.68/2770.30 c #Conflicts: 804000 | #Constraints: 30135
2762.68/2770.30 c #Conflicts: 805000 | #Constraints: 31135
2762.68/2770.30 c #Conflicts: 806000 | #Constraints: 32135
2762.68/2770.30 c #Conflicts: 807000 | #Constraints: 33135
2762.68/2770.30 c #Conflicts: 808000 | #Constraints: 34135
2762.68/2770.30 c #Conflicts: 809000 | #Constraints: 35135
2762.68/2770.30 c #Conflicts: 810000 | #Constraints: 36135
2762.68/2770.30 c INPROCESSING
2762.68/2770.30 c GARBAGE COLLECT
2762.68/2770.30 c #Conflicts: 811000 | #Constraints: 19340
2762.68/2770.30 c #Conflicts: 812000 | #Constraints: 20340
2762.68/2770.30 c #Conflicts: 813000 | #Constraints: 21340
2762.68/2770.30 c #Conflicts: 814000 | #Constraints: 22340
2762.68/2770.30 c #Conflicts: 815000 | #Constraints: 23340
2762.68/2770.30 c #Conflicts: 816000 | #Constraints: 24340
2762.68/2770.30 c #Conflicts: 817000 | #Constraints: 25340
2762.68/2770.30 c #Conflicts: 818000 | #Constraints: 26340
2762.68/2770.30 c #Conflicts: 819000 | #Constraints: 27340
2762.68/2770.30 c #Conflicts: 820000 | #Constraints: 28340
2762.68/2770.30 c #Conflicts: 821000 | #Constraints: 29340
2762.68/2770.30 c #Conflicts: 822000 | #Constraints: 30340
2762.68/2770.30 c #Conflicts: 823000 | #Constraints: 31340
2762.68/2770.30 c #Conflicts: 824000 | #Constraints: 32340
2762.68/2770.30 c #Conflicts: 825000 | #Constraints: 33340
2762.68/2770.30 c #Conflicts: 826000 | #Constraints: 34340
2762.68/2770.30 c #Conflicts: 827000 | #Constraints: 35340
2762.68/2770.30 c #Conflicts: 828000 | #Constraints: 36340
2762.68/2770.30 c INPROCESSING
2762.68/2770.30 c GARBAGE COLLECT
2762.68/2770.30 c #Conflicts: 829000 | #Constraints: 19349
2762.68/2770.30 c #Conflicts: 830000 | #Constraints: 20349
2762.68/2770.30 c #Conflicts: 831000 | #Constraints: 21349
2762.68/2770.30 c #Conflicts: 832000 | #Constraints: 22349
2762.68/2770.30 c #Conflicts: 833000 | #Constraints: 23349
2762.68/2770.30 c #Conflicts: 834000 | #Constraints: 24349
2762.68/2770.30 c #Conflicts: 835000 | #Constraints: 25349
2762.68/2770.30 c #Conflicts: 836000 | #Constraints: 26349
2762.68/2770.30 c #Conflicts: 837000 | #Constraints: 27349
2762.68/2770.30 c #Conflicts: 838000 | #Constraints: 28349
2762.68/2770.30 c #Conflicts: 839000 | #Constraints: 29349
2762.68/2770.30 c #Conflicts: 840000 | #Constraints: 30349
2762.68/2770.30 c #Conflicts: 841000 | #Constraints: 31349
2762.68/2770.30 c #Conflicts: 842000 | #Constraints: 32349
2762.68/2770.30 c #Conflicts: 843000 | #Constraints: 33349
2762.68/2770.30 c #Conflicts: 844000 | #Constraints: 34349
2762.68/2770.30 c #Conflicts: 845000 | #Constraints: 35349
2762.68/2770.30 c #Conflicts: 846000 | #Constraints: 36349
2762.68/2770.30 c INPROCESSING
2762.68/2770.30 c GARBAGE COLLECT
2762.68/2770.30 c #Conflicts: 847000 | #Constraints: 19146
2762.68/2770.30 c #Conflicts: 848000 | #Constraints: 20146
2762.68/2770.30 c #Conflicts: 849000 | #Constraints: 21146
2762.68/2770.30 c #Conflicts: 850000 | #Constraints: 22146
2762.68/2770.30 c #Conflicts: 851000 | #Constraints: 23146
2762.68/2770.30 c #Conflicts: 852000 | #Constraints: 24146
2762.68/2770.30 c #Conflicts: 853000 | #Constraints: 25146
3127.12/3135.92 c #Conflicts: 854000 | #Constraints: 26146
3127.12/3135.92 c #Conflicts: 855000 | #Constraints: 27146
3127.12/3135.92 c #Conflicts: 856000 | #Constraints: 28146
3127.12/3135.92 c #Conflicts: 857000 | #Constraints: 29146
3127.12/3135.92 c #Conflicts: 858000 | #Constraints: 30146
3127.12/3135.92 c #Conflicts: 859000 | #Constraints: 31146
3127.12/3135.92 c #Conflicts: 860000 | #Constraints: 32146
3127.12/3135.92 c #Conflicts: 861000 | #Constraints: 33146
3127.12/3135.92 c #Conflicts: 862000 | #Constraints: 34146
3127.12/3135.92 c #Conflicts: 863000 | #Constraints: 35146
3127.12/3135.92 c #Conflicts: 864000 | #Constraints: 36146
3127.12/3135.92 c #Conflicts: 865000 | #Constraints: 37146
3127.12/3135.92 c INPROCESSING
3127.12/3135.92 c GARBAGE COLLECT
3127.12/3135.92 c #Conflicts: 866000 | #Constraints: 19739
3127.12/3135.92 c #Conflicts: 867000 | #Constraints: 20739
3127.12/3135.92 c #Conflicts: 868000 | #Constraints: 21739
3127.12/3135.92 c #Conflicts: 869000 | #Constraints: 22739
3127.12/3135.92 c #Conflicts: 870000 | #Constraints: 23739
3127.12/3135.92 c #Conflicts: 871000 | #Constraints: 24739
3127.12/3135.92 c #Conflicts: 872000 | #Constraints: 25739
3127.12/3135.92 c #Conflicts: 873000 | #Constraints: 26739
3127.12/3135.92 c #Conflicts: 874000 | #Constraints: 27739
3127.12/3135.92 c #Conflicts: 875000 | #Constraints: 28739
3127.12/3135.92 c #Conflicts: 876000 | #Constraints: 29739
3127.12/3135.92 c #Conflicts: 877000 | #Constraints: 30739
3127.12/3135.92 c #Conflicts: 878000 | #Constraints: 31739
3127.12/3135.92 c #Conflicts: 879000 | #Constraints: 32739
3127.12/3135.92 c #Conflicts: 880000 | #Constraints: 33739
3127.12/3135.92 c #Conflicts: 881000 | #Constraints: 34739
3127.12/3135.92 c #Conflicts: 882000 | #Constraints: 35739
3127.12/3135.92 c #Conflicts: 883000 | #Constraints: 36739
3127.12/3135.92 c #Conflicts: 884000 | #Constraints: 37739
3127.12/3135.92 c INPROCESSING
3127.12/3135.92 c GARBAGE COLLECT
3127.12/3135.92 c #Conflicts: 885000 | #Constraints: 20142
3127.12/3135.92 c #Conflicts: 886000 | #Constraints: 21142
3127.12/3135.92 c #Conflicts: 887000 | #Constraints: 22142
3127.12/3135.92 c #Conflicts: 888000 | #Constraints: 23142
3127.12/3135.92 c #Conflicts: 889000 | #Constraints: 24142
3127.12/3135.92 c #Conflicts: 890000 | #Constraints: 25142
3127.12/3135.92 c #Conflicts: 891000 | #Constraints: 26142
3127.12/3135.92 c #Conflicts: 892000 | #Constraints: 27142
3127.12/3135.92 c #Conflicts: 893000 | #Constraints: 28142
3127.12/3135.92 c #Conflicts: 894000 | #Constraints: 29142
3127.12/3135.92 c #Conflicts: 895000 | #Constraints: 30142
3127.12/3135.92 c #Conflicts: 896000 | #Constraints: 31142
3127.12/3135.92 c #Conflicts: 897000 | #Constraints: 32142
3127.12/3135.92 c #Conflicts: 898000 | #Constraints: 33142
3127.12/3135.92 c #Conflicts: 899000 | #Constraints: 34142
3127.12/3135.92 c #Conflicts: 900000 | #Constraints: 35142
3127.12/3135.92 c #Conflicts: 901000 | #Constraints: 36142
3127.12/3135.92 c #Conflicts: 902000 | #Constraints: 37142
3127.12/3135.92 c #Conflicts: 903000 | #Constraints: 38142
3127.12/3135.92 c INPROCESSING
3127.12/3135.92 c GARBAGE COLLECT
3127.12/3135.92 c #Conflicts: 904000 | #Constraints: 20339
3127.12/3135.92 c #Conflicts: 905000 | #Constraints: 21339
3127.12/3135.92 c #Conflicts: 906000 | #Constraints: 22339
3127.12/3135.92 c #Conflicts: 907000 | #Constraints: 23339
3127.12/3135.92 c #Conflicts: 908000 | #Constraints: 24339
3127.12/3135.92 c #Conflicts: 909000 | #Constraints: 25339
3127.12/3135.92 c #Conflicts: 910000 | #Constraints: 26339
3127.12/3135.92 c #Conflicts: 911000 | #Constraints: 27339
3127.12/3135.92 c #Conflicts: 912000 | #Constraints: 28339
3127.12/3135.92 c #Conflicts: 913000 | #Constraints: 29339
3127.12/3135.92 c #Conflicts: 914000 | #Constraints: 30339
3127.12/3135.92 c #Conflicts: 915000 | #Constraints: 31339
3127.12/3135.92 c #Conflicts: 916000 | #Constraints: 32339
3127.12/3135.92 c #Conflicts: 917000 | #Constraints: 33339
3127.12/3135.92 c #Conflicts: 918000 | #Constraints: 34339
3127.12/3135.92 c #Conflicts: 919000 | #Constraints: 35339
3127.12/3135.92 c #Conflicts: 920000 | #Constraints: 36339
3127.12/3135.92 c #Conflicts: 921000 | #Constraints: 37339
3127.12/3135.92 c #Conflicts: 922000 | #Constraints: 38339
3127.12/3135.92 c INPROCESSING
3127.12/3135.92 c GARBAGE COLLECT
3127.12/3135.92 c #Conflicts: 923000 | #Constraints: 20341
3127.12/3135.92 c #Conflicts: 924000 | #Constraints: 21341
3127.12/3135.92 c #Conflicts: 925000 | #Constraints: 22341
3127.12/3135.92 c #Conflicts: 926000 | #Constraints: 23341
3127.12/3135.92 c #Conflicts: 927000 | #Constraints: 24341
3127.12/3135.92 c #Conflicts: 928000 | #Constraints: 25341
3127.12/3135.92 c #Conflicts: 929000 | #Constraints: 26341
3574.03/3584.17 c #Conflicts: 930000 | #Constraints: 27341
3574.03/3584.17 c #Conflicts: 931000 | #Constraints: 28341
3574.03/3584.17 c #Conflicts: 932000 | #Constraints: 29341
3574.03/3584.17 c #Conflicts: 933000 | #Constraints: 30341
3574.03/3584.17 c #Conflicts: 934000 | #Constraints: 31341
3574.03/3584.17 c #Conflicts: 935000 | #Constraints: 32341
3574.03/3584.17 c #Conflicts: 936000 | #Constraints: 33341
3574.03/3584.17 c #Conflicts: 937000 | #Constraints: 34341
3574.03/3584.17 c #Conflicts: 938000 | #Constraints: 35341
3574.03/3584.17 c #Conflicts: 939000 | #Constraints: 36341
3574.03/3584.17 c #Conflicts: 940000 | #Constraints: 37341
3574.03/3584.17 c #Conflicts: 941000 | #Constraints: 38341
3574.03/3584.17 c INPROCESSING
3574.03/3584.17 c GARBAGE COLLECT
3574.03/3584.17 c #Conflicts: 942000 | #Constraints: 20148
3574.03/3584.17 c #Conflicts: 943000 | #Constraints: 21148
3574.03/3584.17 c #Conflicts: 944000 | #Constraints: 22148
3574.03/3584.17 c #Conflicts: 945000 | #Constraints: 23148
3574.03/3584.17 c #Conflicts: 946000 | #Constraints: 24148
3574.03/3584.17 c #Conflicts: 947000 | #Constraints: 25148
3574.03/3584.17 c #Conflicts: 948000 | #Constraints: 26148
3574.03/3584.17 c #Conflicts: 949000 | #Constraints: 27148
3574.03/3584.17 c #Conflicts: 950000 | #Constraints: 28148
3574.03/3584.17 c #Conflicts: 951000 | #Constraints: 29148
3574.03/3584.17 c #Conflicts: 952000 | #Constraints: 30148
3574.03/3584.17 c #Conflicts: 953000 | #Constraints: 31148
3574.03/3584.17 c #Conflicts: 954000 | #Constraints: 32148
3574.03/3584.17 c #Conflicts: 955000 | #Constraints: 33148
3574.03/3584.17 c #Conflicts: 956000 | #Constraints: 34148
3574.03/3584.17 c #Conflicts: 957000 | #Constraints: 35148
3574.03/3584.17 c #Conflicts: 958000 | #Constraints: 36148
3574.03/3584.17 c #Conflicts: 959000 | #Constraints: 37148
3574.03/3584.17 c #Conflicts: 960000 | #Constraints: 38148
3574.03/3584.17 c #Conflicts: 961000 | #Constraints: 39148
3574.03/3584.17 c INPROCESSING
3574.03/3584.17 c GARBAGE COLLECT
3574.03/3584.17 c #Conflicts: 962000 | #Constraints: 20749
3574.03/3584.17 c #Conflicts: 963000 | #Constraints: 21749
3574.03/3584.17 c #Conflicts: 964000 | #Constraints: 22749
3574.03/3584.17 c #Conflicts: 965000 | #Constraints: 23749
3574.03/3584.17 c #Conflicts: 966000 | #Constraints: 24749
3574.03/3584.17 c #Conflicts: 967000 | #Constraints: 25749
3574.03/3584.17 c #Conflicts: 968000 | #Constraints: 26749
3574.03/3584.17 c #Conflicts: 969000 | #Constraints: 27749
3574.03/3584.17 c #Conflicts: 970000 | #Constraints: 28749
3574.03/3584.17 c #Conflicts: 971000 | #Constraints: 29749
3574.03/3584.17 c #Conflicts: 972000 | #Constraints: 30749
3574.03/3584.17 c #Conflicts: 973000 | #Constraints: 31749
3574.03/3584.17 c #Conflicts: 974000 | #Constraints: 32749
3574.03/3584.17 c #Conflicts: 975000 | #Constraints: 33749
3574.03/3584.17 c #Conflicts: 976000 | #Constraints: 34749
3574.03/3584.17 c #Conflicts: 977000 | #Constraints: 35749
3574.03/3584.17 c #Conflicts: 978000 | #Constraints: 36749
3574.03/3584.17 c #Conflicts: 979000 | #Constraints: 37749
3574.03/3584.17 c #Conflicts: 980000 | #Constraints: 38749
3574.03/3584.17 c #Conflicts: 981000 | #Constraints: 39749
3574.03/3584.17 c INPROCESSING
3574.03/3584.17 c GARBAGE COLLECT
3574.03/3584.17 c #Conflicts: 982000 | #Constraints: 21150
3574.03/3584.17 c #Conflicts: 983000 | #Constraints: 22150
3574.03/3584.17 c #Conflicts: 984000 | #Constraints: 23150
3574.03/3584.17 c #Conflicts: 985000 | #Constraints: 24150
3574.03/3584.17 c #Conflicts: 986000 | #Constraints: 25150
3574.03/3584.17 c #Conflicts: 987000 | #Constraints: 26150
3574.03/3584.17 c #Conflicts: 988000 | #Constraints: 27150
3574.03/3584.17 c #Conflicts: 989000 | #Constraints: 28150
3574.03/3584.17 c #Conflicts: 990000 | #Constraints: 29150
3574.03/3584.17 c #Conflicts: 991000 | #Constraints: 30150
3574.03/3584.17 c #Conflicts: 992000 | #Constraints: 31150
3574.03/3584.17 c #Conflicts: 993000 | #Constraints: 32150
3574.03/3584.17 c #Conflicts: 994000 | #Constraints: 33150
3574.03/3584.17 c #Conflicts: 995000 | #Constraints: 34150
3574.03/3584.17 c #Conflicts: 996000 | #Constraints: 35150
3574.03/3584.17 c #Conflicts: 997000 | #Constraints: 36150
3574.03/3584.17 c #Conflicts: 998000 | #Constraints: 37150
3574.03/3584.17 c #Conflicts: 999000 | #Constraints: 38150
3574.03/3584.17 c #Conflicts: 1000000 | #Constraints: 39150
3574.03/3584.17 c #Conflicts: 1001000 | #Constraints: 40150
3574.03/3584.17 c INPROCESSING
3574.03/3584.17 c GARBAGE COLLECT
3574.03/3584.17 c #Conflicts: 1002000 | #Constraints: 21352
3574.03/3584.17 c #Conflicts: 1003000 | #Constraints: 22352
3574.03/3584.17 c #Conflicts: 1004000 | #Constraints: 23352
3574.03/3584.17 c #Conflicts: 1005000 | #Constraints: 24352
3574.03/3584.17 c #Conflicts: 1006000 | #Constraints: 25352
3600.05/3610.20 c #Conflicts: 1007000 | #Constraints: 26352
3600.05/3610.20 c #Conflicts: 1008000 | #Constraints: 27352
3600.05/3610.20 c #Conflicts: 1009000 | #Constraints: 28352
3600.05/3610.20 c #Conflicts: 1010000 | #Constraints: 29352
3600.05/3610.20 c #Conflicts: 1011000 | #Constraints: 30352
3600.05/3610.20 c Program interrupted by user.
3600.05/3610.20 c cpu time 3590.7 s
3600.05/3610.20 c deterministic time 379083395140 3.79e+11
3600.05/3610.20 c optimization time 43.7706 s
3600.05/3610.20 c total solve time 3247.78 s
3600.05/3610.20 c core-guided solve time 3247.78 s
3600.05/3610.20 c propagation time 2802.25 s
3600.05/3610.20 c conflict analysis time 432.136 s
3600.05/3610.20 c propagations 67066824
3600.05/3610.20 c resolve steps 5298580
3600.05/3610.20 c decisions 5971526
3600.05/3610.20 c conflicts 1011434
3600.05/3610.20 c restarts 2045
3600.05/3610.20 c inprocessing phases 91
3600.05/3610.20 c input clauses 54
3600.05/3610.20 c input cardinalities 77
3600.05/3610.20 c input general constraints 462
3600.05/3610.20 c input average constraint length 67.70
3600.05/3610.20 c input average constraint degree 33.91
3600.05/3610.20 c learned clauses 217654
3600.05/3610.20 c learned cardinalities 885
3600.05/3610.20 c learned general constraints 792907
3600.05/3610.20 c learned average constraint length 294.72
3600.05/3610.20 c learned average constraint degree 466052.77
3600.05/3610.20 c watched constraints 613128
3600.05/3610.20 c counting constraints 180241
3600.05/3610.20 c gcd simplifications 177390
3600.05/3610.20 c detected cardinalities 745
3600.05/3610.20 c weakened non-implied lits 32242193
3600.05/3610.20 c weakened non-implying lits 91674
3600.05/3610.20 c original variables 465
3600.05/3610.20 c clausal propagations 1636671
3600.05/3610.20 c cardinality propagations 136324
3600.05/3610.20 c watched propagations 28848201
3600.05/3610.20 c counting propagations 35394983
3600.05/3610.20 c watch lookups 71412078600
3600.05/3610.20 c watch backjump lookups 67978314126
3600.05/3610.20 c watch checks 230469220264
3600.05/3610.20 c propagation checks 8074384797
3600.05/3610.20 c constraint additions 1002309600
3600.05/3610.20 c trail pops 74049402
3600.05/3610.20 c formula constraints 465
3600.05/3610.20 c learned constraints 1011446
3600.05/3610.20 c bound constraints 77
3600.05/3610.20 c core-guided constraints 51
3600.05/3610.20 c encountered formula constraints 3166401
3600.05/3610.20 c encountered learned constraints 3038403
3600.05/3610.20 c encountered bound constraints 148
3600.05/3610.20 c encountered core-guided constraints 105062
3600.05/3610.20 c LP total time 0 s
3600.05/3610.20 c LP solve time 0 s
3600.05/3610.20 c LP constraints added 0
3600.05/3610.20 c LP constraints removed 0
3600.05/3610.20 c LP pivots internal 0
3600.05/3610.20 c LP pivots root 0
3600.05/3610.20 c LP calls 0
3600.05/3610.20 c LP optimalities 0
3600.05/3610.20 c LP no pivot count 0
3600.05/3610.20 c LP infeasibilities 0
3600.05/3610.20 c LP valid Farkas constraints 0
3600.05/3610.20 c LP learned Farkas constraints 0
3600.05/3610.20 c LP basis resets 0
3600.05/3610.20 c LP cycling count 0
3600.05/3610.20 c LP singular count 0
3600.05/3610.20 c LP no primal count 0
3600.05/3610.20 c LP no farkas count 0
3600.05/3610.20 c LP other issue count 0
3600.05/3610.20 c LP Gomory cuts 0
3600.05/3610.20 c LP learned cuts 0
3600.05/3610.20 c LP deleted cuts 0
3600.05/3610.20 c LP encountered Gomory constraints 0
3600.05/3610.20 c LP encountered Farkas constraints 0
3600.05/3610.20 c LP encountered learned Farkas constraints 0
3600.05/3610.20 c CG auxiliary variables introduced 51
3600.05/3610.20 c CG solutions found 0
3600.05/3610.20 c CG cores constructed 76
3600.05/3610.20 c CG core cardinality constraints returned 0
3600.05/3610.20 c CG unit cores 0
3600.05/3610.20 c CG single cores 76
3600.05/3610.20 c CG blocks removed during cardinality reduction 0
3600.05/3610.20 c CG first core best 0
3600.05/3610.20 c CG decision core best 0
3600.05/3610.20 c CG core reduction tie 0
3600.05/3610.20 c CG core degree average 1.00
3600.05/3610.20 c CG core slack average 2.95
3600.05/3610.20 c CG exhausted 0
3600.05/3610.20 c CG exhaust time 0 s
3600.05/3610.20 c CG trimmed 4
3600.05/3610.20 c CG trim time 0.000469 s
3600.05/3610.20 c CG minimized 0
3600.05/3610.20 c CG minimize time 0 s
3600.05/3610.20 c CG am1 prop time 0.000777 s
3600.05/3610.20 c CG # am1s reformulated 51
3600.05/3610.20 c CG lower bound derived from am1s 51
3600.05/3610.20 c CG # clausal cores 23
3600.05/3610.20 c CG # cardinality cores 0
3600.05/3610.20 c CG # pb cores 53
3600.05/3610.20 c CG # pb reforms 0
3600.05/3610.20 c CG # cores discarded because of pb reform 0
3600.05/3610.20 d LOWERBOUND 127
3600.05/3610.20 d NCORES 76
3600.05/3610.20 d NPBCORES 53
3600.05/3610.20 d NPBREFORM 0
3600.05/3610.20 d NTRIMMED 4
3600.05/3610.20 d NEXHAUSTED 0
3600.05/3610.20 d NAM1S 51
3600.05/3610.20 d AM1LB 51
3600.05/3610.20 c [Papilo Statistics]
3600.05/3610.20 c prepro time 0.00148647s
3600.05/3610.20 c # tsx applied 22
3600.05/3610.20 c # tsx conflicts 0
3600.05/3610.20 c # bound changes 0
3600.05/3610.20 c # side changes 0
3600.05/3610.20 c # coef changes 56
3600.05/3610.20 c # rounds 3
3600.05/3610.20 c # deted vars 0
3600.05/3610.20 c # deted constrs 0
3600.05/3610.20 c # consecutive rounds of only bound changes 0
3600.05/3610.20 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: 63968 MiB (62030 MiB free)
memory of node 1: 64473 MiB (61471 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435450-1721092424/watcher-4435450-1721092424 -o /tmp/evaluation-result-4435450-1721092424/solver-4435450-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831068 --watchdog 3760 mixed-bag HOME/instance-4435450-1721092424.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=831117, runsolver pid=831108
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 3.95 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126423820/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=93012 memory=25788 CPUtime=0.09 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 2952 0 1 0 9 0 0 0 20 0 1 0 161406212 95244288 6447 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 23253 6447 4015 3002 0 7004 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93012 KiB
Current children cumulated memory: 25788 KiB
[startup+0.205984 s]*
/proc/loadavg: 3.95 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126409704/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=93012 memory=25788 CPUtime=0.19 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 2956 0 1 0 19 0 0 0 20 0 1 0 161406212 95244288 6447 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 23253 6447 4015 3002 0 7004 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93012 KiB
Current children cumulated memory: 25788 KiB
[startup+0.304972 s]*
/proc/loadavg: 3.95 4.19 4.19 5/259 831130
/proc/meminfo: memFree=126400420/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=93336 memory=26040 CPUtime=0.29 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 3050 0 1 0 29 0 0 0 20 0 1 0 161406212 95576064 6510 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 23334 6510 4015 3002 0 7085 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93336 KiB
Current children cumulated memory: 26040 KiB
[startup+0.700181 s]
/proc/loadavg: 3.95 4.19 4.19 5/259 831130
/proc/meminfo: memFree=126375988/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=112704 memory=45632 CPUtime=0.69 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 7884 0 1 0 68 1 0 0 20 0 1 0 161406212 115408896 11408 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 28176 11408 4031 3002 0 11927 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112704 KiB
Current children cumulated memory: 45632 KiB
[startup+1.50023 s]
/proc/loadavg: 3.96 4.19 4.19 6/259 831130
/proc/meminfo: memFree=126186652/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=184756 memory=116504 CPUtime=1.48 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 27225 0 1 0 146 2 0 0 20 0 1 0 161406212 189190144 29126 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 46189 29126 4031 3002 0 29940 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 184756 KiB
Current children cumulated memory: 116504 KiB
[startup+3.10577 s]
/proc/loadavg: 3.96 4.19 4.19 6/259 831130
/proc/meminfo: memFree=125898680/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=222124 memory=151088 CPUtime=3.08 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 35882 0 1 0 305 3 0 0 20 0 1 0 161406212 227454976 37772 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 55531 37772 4031 3002 0 39282 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 222124 KiB
Current children cumulated memory: 151088 KiB
[startup+6.30014 s]
/proc/loadavg: 3.96 4.18 4.19 6/259 831130
/proc/meminfo: memFree=125897696/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=222124 memory=151088 CPUtime=6.26 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 35886 0 1 0 623 3 0 0 20 0 1 0 161406212 227454976 37772 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 55531 37772 4031 3002 0 39282 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 222124 KiB
Current children cumulated memory: 151088 KiB
[startup+12.7001 s]
/proc/loadavg: 3.96 4.18 4.19 6/259 831132
/proc/meminfo: memFree=125897280/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=224476 memory=154844 CPUtime=12.66 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 36787 0 1 0 1262 4 0 0 20 0 1 0 161406212 229863424 38711 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 56119 38711 4047 3002 0 39870 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 224476 KiB
Current children cumulated memory: 154844 KiB
[startup+25.5002 s]
/proc/loadavg: 3.97 4.17 4.18 6/259 831134
/proc/meminfo: memFree=125691200/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=309864 memory=237700 CPUtime=25.43 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 58532 0 1 0 2536 7 0 0 20 0 1 0 161406212 317300736 59425 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 77466 59425 4062 3002 0 61217 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 309864 KiB
Current children cumulated memory: 237700 KiB
[startup+51.1061 s]
/proc/loadavg: 4.04 4.17 4.18 6/259 831138
/proc/meminfo: memFree=125688644/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=309864 memory=237700 CPUtime=50.97 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 58534 0 1 0 5088 9 0 0 20 0 1 0 161406212 317300736 59425 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 77466 59425 4062 3002 0 61217 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 309864 KiB
Current children cumulated memory: 237700 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.18 6/257 831147
/proc/meminfo: memFree=125604424/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=342068 memory=272368 CPUtime=102.04 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 68003 0 1 0 10188 16 0 0 20 0 1 0 161406212 350277632 68092 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 85517 68092 4062 3002 0 69268 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 342068 KiB
Current children cumulated memory: 272368 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.17 6/257 831159
/proc/meminfo: memFree=125412428/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=359420 memory=290424 CPUtime=161.89 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 72896 0 1 0 16167 22 0 0 20 0 1 0 161406212 368046080 72606 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 89855 72606 4062 3002 0 73606 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 290424 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.17 6/257 831169
/proc/meminfo: memFree=125334156/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=359420 memory=290424 CPUtime=221.74 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 72929 0 1 0 22151 23 0 0 20 0 1 0 161406212 368046080 72606 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 89855 72606 4062 3002 0 73606 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 290424 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.16 6/257 831181
/proc/meminfo: memFree=125328632/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=359420 memory=290424 CPUtime=281.6 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 72936 0 1 0 28136 24 0 0 20 0 1 0 161406212 368046080 72606 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 89855 72606 4062 3002 0 73606 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 359420 KiB
Current children cumulated memory: 290424 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.17 6/255 831192
/proc/meminfo: memFree=125497028/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=332284 memory=264640 CPUtime=341.45 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 75781 0 1 0 34064 81 0 0 20 0 1 0 161406212 340258816 66160 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 83071 66160 4351 3002 0 66822 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 332284 KiB
Current children cumulated memory: 264640 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.17 6/258 831207
/proc/meminfo: memFree=125468076/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=332284 memory=271516 CPUtime=401.28 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 75826 0 1 0 40001 127 0 0 20 0 1 0 161406212 340258816 67879 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 83071 67879 4351 3002 0 66822 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 332284 KiB
Current children cumulated memory: 271516 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.15 4.17 6/258 831217
/proc/meminfo: memFree=125448528/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=351252 memory=276436 CPUtime=461.11 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 76444 0 1 0 45947 164 0 0 20 0 1 0 161406212 359682048 69109 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 87813 69109 4351 3002 0 71564 0
################
# More data... #
################
Current children cumulated memory: 325904 KiB
[startup+2862.3 s]
/proc/loadavg: 4.04 4.10 4.14 6/256 832848
/proc/meminfo: memFree=125241752/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=327600 CPUtime=2854.4 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 80890 0 1 0 284643 797 0 0 20 0 1 0 161406212 442531840 81900 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 81900 4351 3002 0 91791 0
Current children cumulated CPU time: 2854.4 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 327600 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.13 4.15 6/256 832858
/proc/meminfo: memFree=125241076/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=327600 CPUtime=2914.21 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 81020 0 1 0 290611 810 0 0 20 0 1 0 161406212 442531840 81900 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 81900 4351 3002 0 91791 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 327600 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.14 6/254 832869
/proc/meminfo: memFree=125240524/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=327600 CPUtime=2974.02 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 81150 0 1 0 296575 827 0 0 20 0 1 0 161406212 442531840 81900 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 81900 4351 3002 0 91791 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 327600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/254 832881
/proc/meminfo: memFree=125236208/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=331204 CPUtime=3033.82 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 81670 0 1 0 302541 841 0 0 20 0 1 0 161406212 442531840 82801 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 82801 4351 3002 0 91791 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 331204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.13 6/254 832891
/proc/meminfo: memFree=125235436/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=331204 CPUtime=3093.62 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 81740 0 1 0 308508 854 0 0 20 0 1 0 161406212 442531840 82801 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 82801 4351 3002 0 91791 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 331204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.13 6/254 832901
/proc/meminfo: memFree=125232616/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=331204 CPUtime=3153.42 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 81807 0 1 0 314476 866 0 0 20 0 1 0 161406212 442531840 82801 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 82801 4351 3002 0 91791 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 331204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.13 6/254 832912
/proc/meminfo: memFree=125229904/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=331204 CPUtime=3213.23 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 81943 0 1 0 320448 875 0 0 20 0 1 0 161406212 442531840 82801 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 82801 4351 3002 0 91791 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 331204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.11 6/255 832923
/proc/meminfo: memFree=125229100/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=331204 CPUtime=3273.03 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82079 0 1 0 326416 887 0 0 20 0 1 0 161406212 442531840 82801 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 82801 4351 3002 0 91791 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 331204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.11 6/255 832933
/proc/meminfo: memFree=125226316/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=331204 CPUtime=3332.83 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82216 0 1 0 332388 895 0 0 20 0 1 0 161406212 442531840 82801 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 82801 4351 3002 0 91791 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 331204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 6/257 832948
/proc/meminfo: memFree=125223488/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=333252 CPUtime=3392.67 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82326 0 1 0 338361 906 0 0 20 0 1 0 161406212 442531840 83313 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 83313 4351 3002 0 91791 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 333252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.11 6/257 832959
/proc/meminfo: memFree=125222796/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=333252 CPUtime=3452.52 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82438 0 1 0 344337 915 0 0 20 0 1 0 161406212 442531840 83313 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 83313 4351 3002 0 91791 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 333252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.11 6/257 832969
/proc/meminfo: memFree=125219568/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=333252 CPUtime=3512.37 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82543 0 1 0 350313 924 0 0 20 0 1 0 161406212 442531840 83313 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 83313 4351 3002 0 91791 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 333252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 6/256 832980
/proc/meminfo: memFree=125215060/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=335300 CPUtime=3572.22 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82661 0 1 0 356290 932 0 0 20 0 1 0 161406212 442531840 83825 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 83825 4351 3002 0 91791 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 335300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.16 4.12 4.10 6/256 833032
/proc/meminfo: memFree=125414004/131524600 swapFree=131071996/131071996
[pid=831117] ppid=831108 vsize=432160 memory=335300 CPUtime=3600.05 cores=5,7
/proc/831117/stat : 831117 (mixed-bag) R 831108 831117 831055 0 -1 4194304 82748 0 1 0 359069 936 0 0 20 0 1 0 161406212 442531840 83825 134679101440 4194304 16487941 140723822564976 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 45948928 140723822568471 140723822568548 140723822568548 140723822575563 0
/proc/831117/statm: 108040 83825 4351 3002 0 91791 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 432160 KiB
Current children cumulated memory: 335300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 831117 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.7 s, system=9.3658 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.07
CPU user time (s): 3590.7
CPU system time (s): 9.3658
CPU usage (%): 99.7192
Max. virtual memory (cumulated for all children) (KiB): 432160
Max. memory (cumulated for all children) (KiB): 335300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.7
system time used= 9.3658
maximum resident set size= 335860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82767
page faults= 1
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98
involuntary context switches= 1380
# summary of solver processes directly reported to runsolver:
# pid: 831117
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.7
# total CPU system time (s): 9.3658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43038 second user time and 19.1193 second system time
The end
Begin job on nodeC021 at 2024-07-16 03:13:56
IDJOB=4435450
IDBENCH=147540
IDSOLVER=3066
FILE ID=nodeC021/4435450-1721092424
RUNJOBID= nodeC021-1721092436-831068
SLURM_JOB_ID= 7505590
Free space on /tmp= 890084 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435450-1721092424/watcher-4435450-1721092424 -o /tmp/evaluation-result-4435450-1721092424/solver-4435450-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831068 --watchdog 3760 mixed-bag HOME/instance-4435450-1721092424.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=988679644
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3549.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3615.675
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3615.294
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3610.893
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3563.897
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3390.733
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3621.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3648.490
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126467936 kB
MemAvailable: 129693816 kB
Buffers: 380768 kB
Cached: 3647524 kB
SwapCached: 0 kB
Active: 715108 kB
Inactive: 3672484 kB
Active(anon): 1452 kB
Inactive(anon): 395616 kB
Active(file): 713656 kB
Inactive(file): 3276868 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65296 kB
Writeback: 16 kB
AnonPages: 358652 kB
Mapped: 103492 kB
Shmem: 37720 kB
KReclaimable: 150356 kB
Slab: 263604 kB
SReclaimable: 150356 kB
SUnreclaim: 113248 kB
KernelStack: 3872 kB
PageTables: 9608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802512 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 231424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC021 at 2024-07-16 04:14:06