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.00 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.19/300.29 c [STEP] preprocessing done, loading into solver
299.19/300.29 c [STEP] solving
299.19/300.29 c #variables 471 #constraints 470
299.19/300.29 c SMALL=int, LARGE=long long
299.19/300.29 d SCIPUB 186
299.19/300.29 c bounds - >= 0 @ 299.086
299.19/300.29 c stratification level: 0
315.04/316.13 c bounds - >= 55 @ 299.087
315.04/316.13 c bounds - >= 56 @ 299.087
315.04/316.13 c bounds - >= 57 @ 299.087
315.04/316.13 c bounds - >= 58 @ 299.087
315.04/316.13 c bounds - >= 59 @ 299.087
315.04/316.13 c bounds - >= 60 @ 299.088
315.04/316.13 c bounds - >= 61 @ 299.088
315.04/316.13 c bounds - >= 62 @ 299.088
315.04/316.13 c bounds - >= 63 @ 299.088
315.04/316.13 c bounds - >= 64 @ 299.088
315.04/316.13 c bounds - >= 65 @ 299.088
315.04/316.13 c bounds - >= 66 @ 299.088
315.04/316.13 c bounds - >= 67 @ 299.088
315.04/316.13 c bounds - >= 68 @ 299.088
315.04/316.13 c bounds - >= 69 @ 299.089
315.04/316.13 c bounds - >= 70 @ 299.089
315.04/316.13 c bounds - >= 71 @ 299.089
315.04/316.13 c bounds - >= 72 @ 299.089
315.04/316.13 c bounds - >= 73 @ 299.089
315.04/316.13 c bounds - >= 74 @ 299.089
315.04/316.13 c bounds - >= 75 @ 299.089
315.04/316.13 c bounds - >= 76 @ 299.089
315.04/316.13 c bounds - >= 77 @ 299.089
315.04/316.13 c bounds - >= 78 @ 299.09
315.04/316.13 c bounds - >= 79 @ 299.09
315.04/316.13 c bounds - >= 80 @ 299.09
315.04/316.13 c bounds - >= 81 @ 299.09
315.04/316.13 c bounds - >= 82 @ 299.09
315.04/316.13 c bounds - >= 83 @ 299.09
315.04/316.13 c bounds - >= 84 @ 299.09
315.04/316.13 c bounds - >= 85 @ 299.09
315.04/316.13 c bounds - >= 86 @ 299.091
315.04/316.13 c bounds - >= 87 @ 299.091
315.04/316.13 c bounds - >= 88 @ 299.091
315.04/316.13 c bounds - >= 89 @ 299.091
315.04/316.13 c bounds - >= 90 @ 299.091
315.04/316.13 c bounds - >= 91 @ 299.091
315.04/316.13 c bounds - >= 92 @ 299.091
315.04/316.13 c bounds - >= 93 @ 299.091
315.04/316.13 c bounds - >= 94 @ 299.091
315.04/316.13 c bounds - >= 95 @ 299.092
315.04/316.13 c bounds - >= 96 @ 299.092
315.04/316.13 c bounds - >= 97 @ 299.092
315.04/316.13 c bounds - >= 98 @ 299.092
315.04/316.13 c bounds - >= 99 @ 299.092
315.04/316.13 c bounds - >= 100 @ 299.092
315.04/316.13 c bounds - >= 101 @ 299.092
315.04/316.13 c bounds - >= 102 @ 299.092
315.04/316.13 c bounds - >= 103 @ 299.093
315.04/316.13 c bounds - >= 104 @ 299.093
315.04/316.13 c bounds - >= 105 @ 299.093
315.04/316.13 c bounds - >= 106 @ 299.093
315.04/316.13 c bounds - >= 107 @ 299.093
315.04/316.13 c bounds - >= 108 @ 299.093
315.04/316.13 c bounds - >= 109 @ 299.093
315.04/316.13 c bounds - >= 110 @ 299.093
315.04/316.13 c bounds - >= 111 @ 299.093
315.04/316.13 c bounds - >= 112 @ 299.093
315.04/316.13 c bounds - >= 113 @ 299.093
315.04/316.13 c bounds - >= 114 @ 299.093
315.04/316.13 c bounds - >= 115 @ 299.093
315.04/316.13 c bounds - >= 116 @ 299.093
315.04/316.13 c bounds - >= 117 @ 299.093
315.04/316.13 c bounds - >= 118 @ 299.094
315.04/316.13 c bounds - >= 119 @ 299.094
315.04/316.13 c bounds - >= 120 @ 299.094
315.04/316.13 c bounds - >= 121 @ 299.094
315.04/316.13 c bounds - >= 122 @ 299.094
315.04/316.13 c bounds - >= 123 @ 299.094
315.04/316.13 c bounds - >= 124 @ 299.095
315.04/316.13 c bounds - >= 125 @ 299.095
315.04/316.13 c bounds - >= 126 @ 299.095
315.04/316.13 c bounds - >= 127 @ 299.095
315.04/316.13 c bounds - >= 128 @ 299.095
315.04/316.13 c bounds - >= 129 @ 299.095
315.04/316.13 c bounds - >= 130 @ 299.095
315.04/316.13 c bounds - >= 131 @ 299.096
315.04/316.13 c #Conflicts: 1000 | #Constraints: 1619
315.04/316.13 c #Conflicts: 2000 | #Constraints: 2619
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 3000 | #Constraints: 2540
315.04/316.13 c #Conflicts: 4000 | #Constraints: 3540
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 5000 | #Constraints: 2948
315.04/316.13 c #Conflicts: 6000 | #Constraints: 3948
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 7000 | #Constraints: 2946
315.04/316.13 c #Conflicts: 8000 | #Constraints: 3946
315.04/316.13 c #Conflicts: 9000 | #Constraints: 4946
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 10000 | #Constraints: 3644
315.04/316.13 c #Conflicts: 11000 | #Constraints: 4644
315.04/316.13 c #Conflicts: 12000 | #Constraints: 5644
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 13000 | #Constraints: 4094
315.04/316.13 c #Conflicts: 14000 | #Constraints: 5094
315.04/316.13 c #Conflicts: 15000 | #Constraints: 6094
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 16000 | #Constraints: 4323
315.04/316.13 c #Conflicts: 17000 | #Constraints: 5323
315.04/316.13 c #Conflicts: 18000 | #Constraints: 6323
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 19000 | #Constraints: 4334
315.04/316.13 c #Conflicts: 20000 | #Constraints: 5334
315.04/316.13 c #Conflicts: 21000 | #Constraints: 6334
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 22000 | #Constraints: 4133
315.04/316.13 c #Conflicts: 23000 | #Constraints: 5133
315.04/316.13 c #Conflicts: 24000 | #Constraints: 6133
315.04/316.13 c #Conflicts: 25000 | #Constraints: 7133
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 26000 | #Constraints: 4740
315.04/316.13 c #Conflicts: 27000 | #Constraints: 5740
315.04/316.13 c #Conflicts: 28000 | #Constraints: 6740
315.04/316.13 c #Conflicts: 29000 | #Constraints: 7740
315.04/316.13 c INPROCESSING
315.04/316.13 c GARBAGE COLLECT
315.04/316.13 c #Conflicts: 30000 | #Constraints: 5148
315.04/316.13 c #Conflicts: 31000 | #Constraints: 6148
315.04/316.13 c #Conflicts: 32000 | #Constraints: 7148
400.82/402.22 c #Conflicts: 33000 | #Constraints: 8148
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 34000 | #Constraints: 5345
400.82/402.22 c #Conflicts: 35000 | #Constraints: 6345
400.82/402.22 c #Conflicts: 36000 | #Constraints: 7345
400.82/402.22 c #Conflicts: 37000 | #Constraints: 8345
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 38000 | #Constraints: 5348
400.82/402.22 c #Conflicts: 39000 | #Constraints: 6348
400.82/402.22 c #Conflicts: 40000 | #Constraints: 7348
400.82/402.22 c #Conflicts: 41000 | #Constraints: 8348
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 42000 | #Constraints: 5144
400.82/402.22 c #Conflicts: 43000 | #Constraints: 6144
400.82/402.22 c #Conflicts: 44000 | #Constraints: 7144
400.82/402.22 c #Conflicts: 45000 | #Constraints: 8144
400.82/402.22 c #Conflicts: 46000 | #Constraints: 9144
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 47000 | #Constraints: 5744
400.82/402.22 c #Conflicts: 48000 | #Constraints: 6744
400.82/402.22 c #Conflicts: 49000 | #Constraints: 7744
400.82/402.22 c #Conflicts: 50000 | #Constraints: 8744
400.82/402.22 c #Conflicts: 51000 | #Constraints: 9744
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 52000 | #Constraints: 6149
400.82/402.22 c #Conflicts: 53000 | #Constraints: 7149
400.82/402.22 c #Conflicts: 54000 | #Constraints: 8149
400.82/402.22 c #Conflicts: 55000 | #Constraints: 9149
400.82/402.22 c #Conflicts: 56000 | #Constraints: 10149
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 57000 | #Constraints: 6350
400.82/402.22 c #Conflicts: 58000 | #Constraints: 7350
400.82/402.22 c #Conflicts: 59000 | #Constraints: 8350
400.82/402.22 c #Conflicts: 60000 | #Constraints: 9350
400.82/402.22 c #Conflicts: 61000 | #Constraints: 10350
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 62000 | #Constraints: 6346
400.82/402.22 c #Conflicts: 63000 | #Constraints: 7346
400.82/402.22 c #Conflicts: 64000 | #Constraints: 8346
400.82/402.22 c #Conflicts: 65000 | #Constraints: 9346
400.82/402.22 c #Conflicts: 66000 | #Constraints: 10346
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 67000 | #Constraints: 6142
400.82/402.22 c #Conflicts: 68000 | #Constraints: 7142
400.82/402.22 c #Conflicts: 69000 | #Constraints: 8142
400.82/402.22 c #Conflicts: 70000 | #Constraints: 9142
400.82/402.22 c #Conflicts: 71000 | #Constraints: 10142
400.82/402.22 c #Conflicts: 72000 | #Constraints: 11142
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 73000 | #Constraints: 6743
400.82/402.22 c #Conflicts: 74000 | #Constraints: 7743
400.82/402.22 c #Conflicts: 75000 | #Constraints: 8743
400.82/402.22 c #Conflicts: 76000 | #Constraints: 9743
400.82/402.22 c #Conflicts: 77000 | #Constraints: 10743
400.82/402.22 c #Conflicts: 78000 | #Constraints: 11743
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 79000 | #Constraints: 7149
400.82/402.22 c #Conflicts: 80000 | #Constraints: 8149
400.82/402.22 c #Conflicts: 81000 | #Constraints: 9149
400.82/402.22 c #Conflicts: 82000 | #Constraints: 10149
400.82/402.22 c #Conflicts: 83000 | #Constraints: 11149
400.82/402.22 c #Conflicts: 84000 | #Constraints: 12149
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 85000 | #Constraints: 7349
400.82/402.22 c #Conflicts: 86000 | #Constraints: 8349
400.82/402.22 c #Conflicts: 87000 | #Constraints: 9349
400.82/402.22 c #Conflicts: 88000 | #Constraints: 10349
400.82/402.22 c #Conflicts: 89000 | #Constraints: 11349
400.82/402.22 c #Conflicts: 90000 | #Constraints: 12349
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 91000 | #Constraints: 7348
400.82/402.22 c #Conflicts: 92000 | #Constraints: 8348
400.82/402.22 c #Conflicts: 93000 | #Constraints: 9348
400.82/402.22 c #Conflicts: 94000 | #Constraints: 10348
400.82/402.22 c #Conflicts: 95000 | #Constraints: 11348
400.82/402.22 c #Conflicts: 96000 | #Constraints: 12348
400.82/402.22 c INPROCESSING
400.82/402.22 c GARBAGE COLLECT
400.82/402.22 c #Conflicts: 97000 | #Constraints: 7150
400.82/402.22 c #Conflicts: 98000 | #Constraints: 8150
400.82/402.22 c #Conflicts: 99000 | #Constraints: 9150
400.82/402.22 c #Conflicts: 100000 | #Constraints: 10150
400.82/402.22 c #Conflicts: 101000 | #Constraints: 11150
400.82/402.22 c #Conflicts: 102000 | #Constraints: 12150
400.82/402.22 c #Conflicts: 103000 | #Constraints: 13150
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 104000 | #Constraints: 7745
518.29/520.16 c #Conflicts: 105000 | #Constraints: 8745
518.29/520.16 c #Conflicts: 106000 | #Constraints: 9745
518.29/520.16 c #Conflicts: 107000 | #Constraints: 10745
518.29/520.16 c #Conflicts: 108000 | #Constraints: 11745
518.29/520.16 c #Conflicts: 109000 | #Constraints: 12745
518.29/520.16 c #Conflicts: 110000 | #Constraints: 13745
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 111000 | #Constraints: 8146
518.29/520.16 c #Conflicts: 112000 | #Constraints: 9146
518.29/520.16 c #Conflicts: 113000 | #Constraints: 10146
518.29/520.16 c #Conflicts: 114000 | #Constraints: 11146
518.29/520.16 c #Conflicts: 115000 | #Constraints: 12146
518.29/520.16 c #Conflicts: 116000 | #Constraints: 13146
518.29/520.16 c #Conflicts: 117000 | #Constraints: 14146
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 118000 | #Constraints: 8349
518.29/520.16 c #Conflicts: 119000 | #Constraints: 9349
518.29/520.16 c #Conflicts: 120000 | #Constraints: 10349
518.29/520.16 c #Conflicts: 121000 | #Constraints: 11349
518.29/520.16 c #Conflicts: 122000 | #Constraints: 12349
518.29/520.16 c #Conflicts: 123000 | #Constraints: 13349
518.29/520.16 c #Conflicts: 124000 | #Constraints: 14349
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 125000 | #Constraints: 8350
518.29/520.16 c #Conflicts: 126000 | #Constraints: 9350
518.29/520.16 c #Conflicts: 127000 | #Constraints: 10350
518.29/520.16 c #Conflicts: 128000 | #Constraints: 11350
518.29/520.16 c #Conflicts: 129000 | #Constraints: 12350
518.29/520.16 c #Conflicts: 130000 | #Constraints: 13350
518.29/520.16 c #Conflicts: 131000 | #Constraints: 14350
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 132000 | #Constraints: 8148
518.29/520.16 c #Conflicts: 133000 | #Constraints: 9148
518.29/520.16 c #Conflicts: 134000 | #Constraints: 10148
518.29/520.16 c #Conflicts: 135000 | #Constraints: 11148
518.29/520.16 c #Conflicts: 136000 | #Constraints: 12148
518.29/520.16 c #Conflicts: 137000 | #Constraints: 13148
518.29/520.16 c #Conflicts: 138000 | #Constraints: 14148
518.29/520.16 c #Conflicts: 139000 | #Constraints: 15148
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 140000 | #Constraints: 8751
518.29/520.16 c #Conflicts: 141000 | #Constraints: 9751
518.29/520.16 c #Conflicts: 142000 | #Constraints: 10751
518.29/520.16 c #Conflicts: 143000 | #Constraints: 11751
518.29/520.16 c #Conflicts: 144000 | #Constraints: 12751
518.29/520.16 c #Conflicts: 145000 | #Constraints: 13751
518.29/520.16 c #Conflicts: 146000 | #Constraints: 14751
518.29/520.16 c #Conflicts: 147000 | #Constraints: 15751
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 148000 | #Constraints: 9153
518.29/520.16 c #Conflicts: 149000 | #Constraints: 10153
518.29/520.16 c #Conflicts: 150000 | #Constraints: 11153
518.29/520.16 c #Conflicts: 151000 | #Constraints: 12153
518.29/520.16 c #Conflicts: 152000 | #Constraints: 13153
518.29/520.16 c #Conflicts: 153000 | #Constraints: 14153
518.29/520.16 c #Conflicts: 154000 | #Constraints: 15153
518.29/520.16 c #Conflicts: 155000 | #Constraints: 16153
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 156000 | #Constraints: 9352
518.29/520.16 c #Conflicts: 157000 | #Constraints: 10352
518.29/520.16 c #Conflicts: 158000 | #Constraints: 11352
518.29/520.16 c #Conflicts: 159000 | #Constraints: 12352
518.29/520.16 c #Conflicts: 160000 | #Constraints: 13352
518.29/520.16 c #Conflicts: 161000 | #Constraints: 14352
518.29/520.16 c #Conflicts: 162000 | #Constraints: 15352
518.29/520.16 c #Conflicts: 163000 | #Constraints: 16352
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 164000 | #Constraints: 9345
518.29/520.16 c #Conflicts: 165000 | #Constraints: 10345
518.29/520.16 c #Conflicts: 166000 | #Constraints: 11345
518.29/520.16 c #Conflicts: 167000 | #Constraints: 12345
518.29/520.16 c #Conflicts: 168000 | #Constraints: 13345
518.29/520.16 c #Conflicts: 169000 | #Constraints: 14345
518.29/520.16 c #Conflicts: 170000 | #Constraints: 15345
518.29/520.16 c #Conflicts: 171000 | #Constraints: 16345
518.29/520.16 c INPROCESSING
518.29/520.16 c GARBAGE COLLECT
518.29/520.16 c #Conflicts: 172000 | #Constraints: 9144
518.29/520.16 c #Conflicts: 173000 | #Constraints: 10144
518.29/520.16 c #Conflicts: 174000 | #Constraints: 11144
518.29/520.16 c #Conflicts: 175000 | #Constraints: 12144
718.96/721.53 c #Conflicts: 176000 | #Constraints: 13144
718.96/721.53 c #Conflicts: 177000 | #Constraints: 14144
718.96/721.53 c #Conflicts: 178000 | #Constraints: 15144
718.96/721.53 c #Conflicts: 179000 | #Constraints: 16144
718.96/721.53 c #Conflicts: 180000 | #Constraints: 17144
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 181000 | #Constraints: 9748
718.96/721.53 c #Conflicts: 182000 | #Constraints: 10748
718.96/721.53 c #Conflicts: 183000 | #Constraints: 11748
718.96/721.53 c #Conflicts: 184000 | #Constraints: 12748
718.96/721.53 c #Conflicts: 185000 | #Constraints: 13748
718.96/721.53 c #Conflicts: 186000 | #Constraints: 14748
718.96/721.53 c #Conflicts: 187000 | #Constraints: 15748
718.96/721.53 c #Conflicts: 188000 | #Constraints: 16748
718.96/721.53 c #Conflicts: 189000 | #Constraints: 17748
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 190000 | #Constraints: 10154
718.96/721.53 c #Conflicts: 191000 | #Constraints: 11154
718.96/721.53 c #Conflicts: 192000 | #Constraints: 12154
718.96/721.53 c #Conflicts: 193000 | #Constraints: 13154
718.96/721.53 c #Conflicts: 194000 | #Constraints: 14154
718.96/721.53 c #Conflicts: 195000 | #Constraints: 15154
718.96/721.53 c #Conflicts: 196000 | #Constraints: 16154
718.96/721.53 c #Conflicts: 197000 | #Constraints: 17154
718.96/721.53 c #Conflicts: 198000 | #Constraints: 18154
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 199000 | #Constraints: 10350
718.96/721.53 c #Conflicts: 200000 | #Constraints: 11350
718.96/721.53 c #Conflicts: 201000 | #Constraints: 12350
718.96/721.53 c #Conflicts: 202000 | #Constraints: 13350
718.96/721.53 c #Conflicts: 203000 | #Constraints: 14350
718.96/721.53 c #Conflicts: 204000 | #Constraints: 15350
718.96/721.53 c #Conflicts: 205000 | #Constraints: 16350
718.96/721.53 c #Conflicts: 206000 | #Constraints: 17350
718.96/721.53 c #Conflicts: 207000 | #Constraints: 18350
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 208000 | #Constraints: 10349
718.96/721.53 c #Conflicts: 209000 | #Constraints: 11349
718.96/721.53 c #Conflicts: 210000 | #Constraints: 12349
718.96/721.53 c #Conflicts: 211000 | #Constraints: 13349
718.96/721.53 c #Conflicts: 212000 | #Constraints: 14349
718.96/721.53 c #Conflicts: 213000 | #Constraints: 15349
718.96/721.53 c #Conflicts: 214000 | #Constraints: 16349
718.96/721.53 c #Conflicts: 215000 | #Constraints: 17349
718.96/721.53 c #Conflicts: 216000 | #Constraints: 18349
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 217000 | #Constraints: 10149
718.96/721.53 c #Conflicts: 218000 | #Constraints: 11149
718.96/721.53 c #Conflicts: 219000 | #Constraints: 12149
718.96/721.53 c #Conflicts: 220000 | #Constraints: 13149
718.96/721.53 c #Conflicts: 221000 | #Constraints: 14149
718.96/721.53 c #Conflicts: 222000 | #Constraints: 15149
718.96/721.53 c #Conflicts: 223000 | #Constraints: 16149
718.96/721.53 c #Conflicts: 224000 | #Constraints: 17149
718.96/721.53 c #Conflicts: 225000 | #Constraints: 18149
718.96/721.53 c #Conflicts: 226000 | #Constraints: 19149
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 227000 | #Constraints: 10758
718.96/721.53 c #Conflicts: 228000 | #Constraints: 11758
718.96/721.53 c #Conflicts: 229000 | #Constraints: 12758
718.96/721.53 c #Conflicts: 230000 | #Constraints: 13758
718.96/721.53 c #Conflicts: 231000 | #Constraints: 14758
718.96/721.53 c #Conflicts: 232000 | #Constraints: 15758
718.96/721.53 c #Conflicts: 233000 | #Constraints: 16758
718.96/721.53 c #Conflicts: 234000 | #Constraints: 17758
718.96/721.53 c #Conflicts: 235000 | #Constraints: 18758
718.96/721.53 c #Conflicts: 236000 | #Constraints: 19758
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 237000 | #Constraints: 11151
718.96/721.53 c #Conflicts: 238000 | #Constraints: 12151
718.96/721.53 c #Conflicts: 239000 | #Constraints: 13151
718.96/721.53 c #Conflicts: 240000 | #Constraints: 14151
718.96/721.53 c #Conflicts: 241000 | #Constraints: 15151
718.96/721.53 c #Conflicts: 242000 | #Constraints: 16151
718.96/721.53 c #Conflicts: 243000 | #Constraints: 17151
718.96/721.53 c #Conflicts: 244000 | #Constraints: 18151
718.96/721.53 c #Conflicts: 245000 | #Constraints: 19151
718.96/721.53 c #Conflicts: 246000 | #Constraints: 20151
718.96/721.53 c INPROCESSING
718.96/721.53 c GARBAGE COLLECT
718.96/721.53 c #Conflicts: 247000 | #Constraints: 11346
718.96/721.53 c #Conflicts: 248000 | #Constraints: 12346
718.96/721.53 c #Conflicts: 249000 | #Constraints: 13346
937.06/940.40 c #Conflicts: 250000 | #Constraints: 14346
937.06/940.40 c #Conflicts: 251000 | #Constraints: 15346
937.06/940.40 c #Conflicts: 252000 | #Constraints: 16346
937.06/940.40 c #Conflicts: 253000 | #Constraints: 17346
937.06/940.40 c #Conflicts: 254000 | #Constraints: 18346
937.06/940.40 c #Conflicts: 255000 | #Constraints: 19346
937.06/940.40 c #Conflicts: 256000 | #Constraints: 20346
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 257000 | #Constraints: 11349
937.06/940.40 c #Conflicts: 258000 | #Constraints: 12349
937.06/940.40 c #Conflicts: 259000 | #Constraints: 13349
937.06/940.40 c #Conflicts: 260000 | #Constraints: 14349
937.06/940.40 c #Conflicts: 261000 | #Constraints: 15349
937.06/940.40 c #Conflicts: 262000 | #Constraints: 16349
937.06/940.40 c #Conflicts: 263000 | #Constraints: 17349
937.06/940.40 c #Conflicts: 264000 | #Constraints: 18349
937.06/940.40 c #Conflicts: 265000 | #Constraints: 19349
937.06/940.40 c #Conflicts: 266000 | #Constraints: 20349
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 267000 | #Constraints: 11147
937.06/940.40 c #Conflicts: 268000 | #Constraints: 12147
937.06/940.40 c #Conflicts: 269000 | #Constraints: 13147
937.06/940.40 c #Conflicts: 270000 | #Constraints: 14147
937.06/940.40 c #Conflicts: 271000 | #Constraints: 15147
937.06/940.40 c #Conflicts: 272000 | #Constraints: 16147
937.06/940.40 c #Conflicts: 273000 | #Constraints: 17147
937.06/940.40 c #Conflicts: 274000 | #Constraints: 18147
937.06/940.40 c #Conflicts: 275000 | #Constraints: 19147
937.06/940.40 c #Conflicts: 276000 | #Constraints: 20147
937.06/940.40 c #Conflicts: 277000 | #Constraints: 21147
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 278000 | #Constraints: 11745
937.06/940.40 c #Conflicts: 279000 | #Constraints: 12745
937.06/940.40 c #Conflicts: 280000 | #Constraints: 13745
937.06/940.40 c #Conflicts: 281000 | #Constraints: 14745
937.06/940.40 c #Conflicts: 282000 | #Constraints: 15745
937.06/940.40 c #Conflicts: 283000 | #Constraints: 16745
937.06/940.40 c #Conflicts: 284000 | #Constraints: 17745
937.06/940.40 c #Conflicts: 285000 | #Constraints: 18745
937.06/940.40 c #Conflicts: 286000 | #Constraints: 19745
937.06/940.40 c #Conflicts: 287000 | #Constraints: 20745
937.06/940.40 c #Conflicts: 288000 | #Constraints: 21745
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 289000 | #Constraints: 12143
937.06/940.40 c #Conflicts: 290000 | #Constraints: 13143
937.06/940.40 c #Conflicts: 291000 | #Constraints: 14143
937.06/940.40 c #Conflicts: 292000 | #Constraints: 15143
937.06/940.40 c #Conflicts: 293000 | #Constraints: 16143
937.06/940.40 c #Conflicts: 294000 | #Constraints: 17143
937.06/940.40 c #Conflicts: 295000 | #Constraints: 18143
937.06/940.40 c #Conflicts: 296000 | #Constraints: 19143
937.06/940.40 c #Conflicts: 297000 | #Constraints: 20143
937.06/940.40 c #Conflicts: 298000 | #Constraints: 21143
937.06/940.40 c #Conflicts: 299000 | #Constraints: 22143
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 300000 | #Constraints: 12347
937.06/940.40 c #Conflicts: 301000 | #Constraints: 13347
937.06/940.40 c #Conflicts: 302000 | #Constraints: 14347
937.06/940.40 c #Conflicts: 303000 | #Constraints: 15347
937.06/940.40 c #Conflicts: 304000 | #Constraints: 16347
937.06/940.40 c #Conflicts: 305000 | #Constraints: 17347
937.06/940.40 c #Conflicts: 306000 | #Constraints: 18347
937.06/940.40 c #Conflicts: 307000 | #Constraints: 19347
937.06/940.40 c #Conflicts: 308000 | #Constraints: 20347
937.06/940.40 c #Conflicts: 309000 | #Constraints: 21347
937.06/940.40 c #Conflicts: 310000 | #Constraints: 22347
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 311000 | #Constraints: 12346
937.06/940.40 c #Conflicts: 312000 | #Constraints: 13346
937.06/940.40 c #Conflicts: 313000 | #Constraints: 14346
937.06/940.40 c #Conflicts: 314000 | #Constraints: 15346
937.06/940.40 c #Conflicts: 315000 | #Constraints: 16346
937.06/940.40 c #Conflicts: 316000 | #Constraints: 17346
937.06/940.40 c #Conflicts: 317000 | #Constraints: 18346
937.06/940.40 c #Conflicts: 318000 | #Constraints: 19346
937.06/940.40 c #Conflicts: 319000 | #Constraints: 20346
937.06/940.40 c #Conflicts: 320000 | #Constraints: 21346
937.06/940.40 c #Conflicts: 321000 | #Constraints: 22346
937.06/940.40 c INPROCESSING
937.06/940.40 c GARBAGE COLLECT
937.06/940.40 c #Conflicts: 322000 | #Constraints: 12143
937.06/940.40 c #Conflicts: 323000 | #Constraints: 13143
1174.44/1178.60 c #Conflicts: 324000 | #Constraints: 14143
1174.44/1178.60 c #Conflicts: 325000 | #Constraints: 15143
1174.44/1178.60 c #Conflicts: 326000 | #Constraints: 16143
1174.44/1178.60 c #Conflicts: 327000 | #Constraints: 17143
1174.44/1178.60 c #Conflicts: 328000 | #Constraints: 18143
1174.44/1178.60 c #Conflicts: 329000 | #Constraints: 19143
1174.44/1178.60 c #Conflicts: 330000 | #Constraints: 20143
1174.44/1178.60 c #Conflicts: 331000 | #Constraints: 21143
1174.44/1178.60 c #Conflicts: 332000 | #Constraints: 22143
1174.44/1178.60 c #Conflicts: 333000 | #Constraints: 23143
1174.44/1178.60 c INPROCESSING
1174.44/1178.60 c GARBAGE COLLECT
1174.44/1178.60 c #Conflicts: 334000 | #Constraints: 12746
1174.44/1178.60 c #Conflicts: 335000 | #Constraints: 13746
1174.44/1178.60 c #Conflicts: 336000 | #Constraints: 14746
1174.44/1178.60 c #Conflicts: 337000 | #Constraints: 15746
1174.44/1178.60 c #Conflicts: 338000 | #Constraints: 16746
1174.44/1178.60 c #Conflicts: 339000 | #Constraints: 17746
1174.44/1178.60 c #Conflicts: 340000 | #Constraints: 18746
1174.44/1178.60 c #Conflicts: 341000 | #Constraints: 19746
1174.44/1178.60 c #Conflicts: 342000 | #Constraints: 20746
1174.44/1178.60 c #Conflicts: 343000 | #Constraints: 21746
1174.44/1178.60 c #Conflicts: 344000 | #Constraints: 22746
1174.44/1178.60 c #Conflicts: 345000 | #Constraints: 23746
1174.44/1178.60 c INPROCESSING
1174.44/1178.60 c GARBAGE COLLECT
1174.44/1178.60 c #Conflicts: 346000 | #Constraints: 13146
1174.44/1178.60 c #Conflicts: 347000 | #Constraints: 14146
1174.44/1178.60 c #Conflicts: 348000 | #Constraints: 15146
1174.44/1178.60 c #Conflicts: 349000 | #Constraints: 16146
1174.44/1178.60 c #Conflicts: 350000 | #Constraints: 17146
1174.44/1178.60 c #Conflicts: 351000 | #Constraints: 18146
1174.44/1178.60 c #Conflicts: 352000 | #Constraints: 19146
1174.44/1178.60 c #Conflicts: 353000 | #Constraints: 20146
1174.44/1178.60 c #Conflicts: 354000 | #Constraints: 21146
1174.44/1178.60 c #Conflicts: 355000 | #Constraints: 22146
1174.44/1178.60 c #Conflicts: 356000 | #Constraints: 23146
1174.44/1178.60 c #Conflicts: 357000 | #Constraints: 24146
1174.44/1178.60 c INPROCESSING
1174.44/1178.60 c GARBAGE COLLECT
1174.44/1178.60 c #Conflicts: 358000 | #Constraints: 13341
1174.44/1178.60 c #Conflicts: 359000 | #Constraints: 14341
1174.44/1178.60 c #Conflicts: 360000 | #Constraints: 15341
1174.44/1178.60 c #Conflicts: 361000 | #Constraints: 16341
1174.44/1178.60 c #Conflicts: 362000 | #Constraints: 17341
1174.44/1178.60 c #Conflicts: 363000 | #Constraints: 18341
1174.44/1178.60 c #Conflicts: 364000 | #Constraints: 19341
1174.44/1178.60 c #Conflicts: 365000 | #Constraints: 20341
1174.44/1178.60 c #Conflicts: 366000 | #Constraints: 21341
1174.44/1178.60 c #Conflicts: 367000 | #Constraints: 22341
1174.44/1178.60 c #Conflicts: 368000 | #Constraints: 23341
1174.44/1178.60 c #Conflicts: 369000 | #Constraints: 24341
1174.44/1178.60 c INPROCESSING
1174.44/1178.60 c GARBAGE COLLECT
1174.44/1178.60 c #Conflicts: 370000 | #Constraints: 13342
1174.44/1178.60 c #Conflicts: 371000 | #Constraints: 14342
1174.44/1178.60 c #Conflicts: 372000 | #Constraints: 15342
1174.44/1178.60 c #Conflicts: 373000 | #Constraints: 16342
1174.44/1178.60 c #Conflicts: 374000 | #Constraints: 17342
1174.44/1178.60 c #Conflicts: 375000 | #Constraints: 18342
1174.44/1178.60 c #Conflicts: 376000 | #Constraints: 19342
1174.44/1178.60 c #Conflicts: 377000 | #Constraints: 20342
1174.44/1178.60 c #Conflicts: 378000 | #Constraints: 21342
1174.44/1178.60 c #Conflicts: 379000 | #Constraints: 22342
1174.44/1178.60 c #Conflicts: 380000 | #Constraints: 23342
1174.44/1178.60 c #Conflicts: 381000 | #Constraints: 24342
1174.44/1178.60 c INPROCESSING
1174.44/1178.60 c GARBAGE COLLECT
1174.44/1178.60 c #Conflicts: 382000 | #Constraints: 13142
1174.44/1178.60 c #Conflicts: 383000 | #Constraints: 14142
1174.44/1178.60 c #Conflicts: 384000 | #Constraints: 15142
1174.44/1178.60 c #Conflicts: 385000 | #Constraints: 16142
1174.44/1178.60 c #Conflicts: 386000 | #Constraints: 17142
1174.44/1178.60 c #Conflicts: 387000 | #Constraints: 18142
1174.44/1178.60 c #Conflicts: 388000 | #Constraints: 19142
1174.44/1178.60 c #Conflicts: 389000 | #Constraints: 20142
1174.44/1178.60 c #Conflicts: 390000 | #Constraints: 21142
1174.44/1178.60 c #Conflicts: 391000 | #Constraints: 22142
1174.44/1178.60 c #Conflicts: 392000 | #Constraints: 23142
1174.44/1178.60 c #Conflicts: 393000 | #Constraints: 24142
1174.44/1178.60 c #Conflicts: 394000 | #Constraints: 25142
1174.44/1178.60 c INPROCESSING
1174.44/1178.60 c GARBAGE COLLECT
1174.44/1178.60 c #Conflicts: 395000 | #Constraints: 13744
1174.44/1178.60 c #Conflicts: 396000 | #Constraints: 14744
1174.44/1178.60 c #Conflicts: 397000 | #Constraints: 15744
1174.44/1178.60 c #Conflicts: 398000 | #Constraints: 16744
1545.66/1551.18 c #Conflicts: 399000 | #Constraints: 17744
1545.66/1551.18 c #Conflicts: 400000 | #Constraints: 18744
1545.66/1551.18 c #Conflicts: 401000 | #Constraints: 19744
1545.66/1551.18 c #Conflicts: 402000 | #Constraints: 20744
1545.66/1551.18 c #Conflicts: 403000 | #Constraints: 21744
1545.66/1551.18 c #Conflicts: 404000 | #Constraints: 22744
1545.66/1551.18 c #Conflicts: 405000 | #Constraints: 23744
1545.66/1551.18 c #Conflicts: 406000 | #Constraints: 24744
1545.66/1551.18 c #Conflicts: 407000 | #Constraints: 25744
1545.66/1551.18 c INPROCESSING
1545.66/1551.18 c GARBAGE COLLECT
1545.66/1551.18 c #Conflicts: 408000 | #Constraints: 14141
1545.66/1551.18 c #Conflicts: 409000 | #Constraints: 15141
1545.66/1551.18 c #Conflicts: 410000 | #Constraints: 16141
1545.66/1551.18 c #Conflicts: 411000 | #Constraints: 17141
1545.66/1551.18 c #Conflicts: 412000 | #Constraints: 18141
1545.66/1551.18 c #Conflicts: 413000 | #Constraints: 19141
1545.66/1551.18 c #Conflicts: 414000 | #Constraints: 20141
1545.66/1551.18 c #Conflicts: 415000 | #Constraints: 21141
1545.66/1551.18 c #Conflicts: 416000 | #Constraints: 22141
1545.66/1551.18 c #Conflicts: 417000 | #Constraints: 23141
1545.66/1551.18 c #Conflicts: 418000 | #Constraints: 24141
1545.66/1551.18 c #Conflicts: 419000 | #Constraints: 25141
1545.66/1551.18 c #Conflicts: 420000 | #Constraints: 26141
1545.66/1551.18 c INPROCESSING
1545.66/1551.18 c GARBAGE COLLECT
1545.66/1551.18 c #Conflicts: 421000 | #Constraints: 14342
1545.66/1551.18 c #Conflicts: 422000 | #Constraints: 15342
1545.66/1551.18 c #Conflicts: 423000 | #Constraints: 16342
1545.66/1551.18 c #Conflicts: 424000 | #Constraints: 17342
1545.66/1551.18 c #Conflicts: 425000 | #Constraints: 18342
1545.66/1551.18 c #Conflicts: 426000 | #Constraints: 19342
1545.66/1551.18 c #Conflicts: 427000 | #Constraints: 20342
1545.66/1551.18 c #Conflicts: 428000 | #Constraints: 21342
1545.66/1551.18 c #Conflicts: 429000 | #Constraints: 22342
1545.66/1551.18 c #Conflicts: 430000 | #Constraints: 23342
1545.66/1551.18 c #Conflicts: 431000 | #Constraints: 24342
1545.66/1551.18 c #Conflicts: 432000 | #Constraints: 25342
1545.66/1551.18 c #Conflicts: 433000 | #Constraints: 26342
1545.66/1551.18 c INPROCESSING
1545.66/1551.18 c GARBAGE COLLECT
1545.66/1551.18 c #Conflicts: 434000 | #Constraints: 14344
1545.66/1551.18 c #Conflicts: 435000 | #Constraints: 15344
1545.66/1551.18 c #Conflicts: 436000 | #Constraints: 16344
1545.66/1551.18 c #Conflicts: 437000 | #Constraints: 17344
1545.66/1551.18 c #Conflicts: 438000 | #Constraints: 18344
1545.66/1551.18 c #Conflicts: 439000 | #Constraints: 19344
1545.66/1551.18 c #Conflicts: 440000 | #Constraints: 20344
1545.66/1551.18 c #Conflicts: 441000 | #Constraints: 21344
1545.66/1551.18 c #Conflicts: 442000 | #Constraints: 22344
1545.66/1551.18 c #Conflicts: 443000 | #Constraints: 23344
1545.66/1551.18 c #Conflicts: 444000 | #Constraints: 24344
1545.66/1551.18 c #Conflicts: 445000 | #Constraints: 25344
1545.66/1551.18 c #Conflicts: 446000 | #Constraints: 26344
1545.66/1551.18 c INPROCESSING
1545.66/1551.18 c GARBAGE COLLECT
1545.66/1551.18 c #Conflicts: 447000 | #Constraints: 14150
1545.66/1551.18 c #Conflicts: 448000 | #Constraints: 15150
1545.66/1551.18 c #Conflicts: 449000 | #Constraints: 16150
1545.66/1551.18 c #Conflicts: 450000 | #Constraints: 17150
1545.66/1551.18 c #Conflicts: 451000 | #Constraints: 18150
1545.66/1551.18 c #Conflicts: 452000 | #Constraints: 19150
1545.66/1551.18 c #Conflicts: 453000 | #Constraints: 20150
1545.66/1551.18 c #Conflicts: 454000 | #Constraints: 21150
1545.66/1551.18 c #Conflicts: 455000 | #Constraints: 22150
1545.66/1551.18 c #Conflicts: 456000 | #Constraints: 23150
1545.66/1551.18 c #Conflicts: 457000 | #Constraints: 24150
1545.66/1551.18 c #Conflicts: 458000 | #Constraints: 25150
1545.66/1551.18 c #Conflicts: 459000 | #Constraints: 26150
1545.66/1551.18 c #Conflicts: 460000 | #Constraints: 27150
1545.66/1551.18 c INPROCESSING
1545.66/1551.18 c GARBAGE COLLECT
1545.66/1551.18 c #Conflicts: 461000 | #Constraints: 14758
1545.66/1551.18 c #Conflicts: 462000 | #Constraints: 15758
1545.66/1551.18 c #Conflicts: 463000 | #Constraints: 16758
1545.66/1551.18 c #Conflicts: 464000 | #Constraints: 17758
1545.66/1551.18 c #Conflicts: 465000 | #Constraints: 18758
1545.66/1551.18 c #Conflicts: 466000 | #Constraints: 19758
1545.66/1551.18 c #Conflicts: 467000 | #Constraints: 20758
1545.66/1551.18 c #Conflicts: 468000 | #Constraints: 21758
1545.66/1551.18 c #Conflicts: 469000 | #Constraints: 22758
1545.66/1551.18 c #Conflicts: 470000 | #Constraints: 23758
1545.66/1551.18 c #Conflicts: 471000 | #Constraints: 24758
1545.66/1551.18 c #Conflicts: 472000 | #Constraints: 25758
1545.66/1551.18 c #Conflicts: 473000 | #Constraints: 26758
1545.66/1551.18 c #Conflicts: 474000 | #Constraints: 27758
1922.89/1929.67 c INPROCESSING
1922.89/1929.67 c GARBAGE COLLECT
1922.89/1929.67 c #Conflicts: 475000 | #Constraints: 15158
1922.89/1929.67 c #Conflicts: 476000 | #Constraints: 16158
1922.89/1929.67 c #Conflicts: 477000 | #Constraints: 17158
1922.89/1929.67 c #Conflicts: 478000 | #Constraints: 18158
1922.89/1929.67 c #Conflicts: 479000 | #Constraints: 19158
1922.89/1929.67 c #Conflicts: 480000 | #Constraints: 20158
1922.89/1929.67 c #Conflicts: 481000 | #Constraints: 21158
1922.89/1929.67 c #Conflicts: 482000 | #Constraints: 22158
1922.89/1929.67 c #Conflicts: 483000 | #Constraints: 23158
1922.89/1929.67 c #Conflicts: 484000 | #Constraints: 24158
1922.89/1929.67 c #Conflicts: 485000 | #Constraints: 25158
1922.89/1929.67 c #Conflicts: 486000 | #Constraints: 26158
1922.89/1929.67 c #Conflicts: 487000 | #Constraints: 27158
1922.89/1929.67 c #Conflicts: 488000 | #Constraints: 28158
1922.89/1929.67 c INPROCESSING
1922.89/1929.67 c GARBAGE COLLECT
1922.89/1929.67 c #Conflicts: 489000 | #Constraints: 15354
1922.89/1929.67 c #Conflicts: 490000 | #Constraints: 16354
1922.89/1929.67 c #Conflicts: 491000 | #Constraints: 17354
1922.89/1929.67 c #Conflicts: 492000 | #Constraints: 18354
1922.89/1929.67 c #Conflicts: 493000 | #Constraints: 19354
1922.89/1929.67 c #Conflicts: 494000 | #Constraints: 20354
1922.89/1929.67 c #Conflicts: 495000 | #Constraints: 21354
1922.89/1929.67 c #Conflicts: 496000 | #Constraints: 22354
1922.89/1929.67 c #Conflicts: 497000 | #Constraints: 23354
1922.89/1929.67 c #Conflicts: 498000 | #Constraints: 24354
1922.89/1929.67 c #Conflicts: 499000 | #Constraints: 25354
1922.89/1929.67 c #Conflicts: 500000 | #Constraints: 26354
1922.89/1929.67 c #Conflicts: 501000 | #Constraints: 27354
1922.89/1929.67 c #Conflicts: 502000 | #Constraints: 28354
1922.89/1929.67 c INPROCESSING
1922.89/1929.67 c GARBAGE COLLECT
1922.89/1929.67 c #Conflicts: 503000 | #Constraints: 15355
1922.89/1929.67 c #Conflicts: 504000 | #Constraints: 16355
1922.89/1929.67 c #Conflicts: 505000 | #Constraints: 17355
1922.89/1929.67 c #Conflicts: 506000 | #Constraints: 18355
1922.89/1929.67 c #Conflicts: 507000 | #Constraints: 19355
1922.89/1929.67 c #Conflicts: 508000 | #Constraints: 20355
1922.89/1929.67 c #Conflicts: 509000 | #Constraints: 21355
1922.89/1929.67 c #Conflicts: 510000 | #Constraints: 22355
1922.89/1929.67 c #Conflicts: 511000 | #Constraints: 23355
1922.89/1929.67 c #Conflicts: 512000 | #Constraints: 24355
1922.89/1929.67 c #Conflicts: 513000 | #Constraints: 25355
1922.89/1929.67 c #Conflicts: 514000 | #Constraints: 26355
1922.89/1929.67 c #Conflicts: 515000 | #Constraints: 27355
1922.89/1929.67 c #Conflicts: 516000 | #Constraints: 28355
1922.89/1929.67 c INPROCESSING
1922.89/1929.67 c GARBAGE COLLECT
1922.89/1929.67 c #Conflicts: 517000 | #Constraints: 15156
1922.89/1929.67 c #Conflicts: 518000 | #Constraints: 16156
1922.89/1929.67 c #Conflicts: 519000 | #Constraints: 17156
1922.89/1929.67 c #Conflicts: 520000 | #Constraints: 18156
1922.89/1929.67 c #Conflicts: 521000 | #Constraints: 19156
1922.89/1929.67 c #Conflicts: 522000 | #Constraints: 20156
1922.89/1929.67 c #Conflicts: 523000 | #Constraints: 21156
1922.89/1929.67 c #Conflicts: 524000 | #Constraints: 22156
1922.89/1929.67 c #Conflicts: 525000 | #Constraints: 23156
1922.89/1929.67 c #Conflicts: 526000 | #Constraints: 24156
1922.89/1929.67 c #Conflicts: 527000 | #Constraints: 25156
1922.89/1929.67 c #Conflicts: 528000 | #Constraints: 26156
1922.89/1929.67 c #Conflicts: 529000 | #Constraints: 27156
1922.89/1929.67 c #Conflicts: 530000 | #Constraints: 28156
1922.89/1929.67 c #Conflicts: 531000 | #Constraints: 29156
1922.89/1929.67 c INPROCESSING
1922.89/1929.67 c GARBAGE COLLECT
1922.89/1929.67 c #Conflicts: 532000 | #Constraints: 15751
1922.89/1929.67 c #Conflicts: 533000 | #Constraints: 16751
1922.89/1929.67 c #Conflicts: 534000 | #Constraints: 17751
1922.89/1929.67 c #Conflicts: 535000 | #Constraints: 18751
1922.89/1929.67 c #Conflicts: 536000 | #Constraints: 19751
1922.89/1929.67 c #Conflicts: 537000 | #Constraints: 20751
1922.89/1929.67 c #Conflicts: 538000 | #Constraints: 21751
1922.89/1929.67 c #Conflicts: 539000 | #Constraints: 22751
1922.89/1929.67 c #Conflicts: 540000 | #Constraints: 23751
1922.89/1929.67 c #Conflicts: 541000 | #Constraints: 24751
1922.89/1929.67 c #Conflicts: 542000 | #Constraints: 25751
1922.89/1929.67 c #Conflicts: 543000 | #Constraints: 26751
1922.89/1929.67 c #Conflicts: 544000 | #Constraints: 27751
1922.89/1929.67 c #Conflicts: 545000 | #Constraints: 28751
1922.89/1929.67 c #Conflicts: 546000 | #Constraints: 29751
1922.89/1929.67 c INPROCESSING
1922.89/1929.67 c GARBAGE COLLECT
1922.89/1929.67 c #Conflicts: 547000 | #Constraints: 16147
1922.89/1929.67 c #Conflicts: 548000 | #Constraints: 17147
1922.89/1929.67 c #Conflicts: 549000 | #Constraints: 18147
2235.95/2243.78 c #Conflicts: 550000 | #Constraints: 19147
2235.95/2243.78 c #Conflicts: 551000 | #Constraints: 20147
2235.95/2243.78 c #Conflicts: 552000 | #Constraints: 21147
2235.95/2243.78 c #Conflicts: 553000 | #Constraints: 22147
2235.95/2243.78 c #Conflicts: 554000 | #Constraints: 23147
2235.95/2243.78 c #Conflicts: 555000 | #Constraints: 24147
2235.95/2243.78 c #Conflicts: 556000 | #Constraints: 25147
2235.95/2243.78 c #Conflicts: 557000 | #Constraints: 26147
2235.95/2243.78 c #Conflicts: 558000 | #Constraints: 27147
2235.95/2243.78 c #Conflicts: 559000 | #Constraints: 28147
2235.95/2243.78 c #Conflicts: 560000 | #Constraints: 29147
2235.95/2243.78 c #Conflicts: 561000 | #Constraints: 30147
2235.95/2243.78 c INPROCESSING
2235.95/2243.78 c GARBAGE COLLECT
2235.95/2243.78 c #Conflicts: 562000 | #Constraints: 16344
2235.95/2243.78 c #Conflicts: 563000 | #Constraints: 17344
2235.95/2243.78 c #Conflicts: 564000 | #Constraints: 18344
2235.95/2243.78 c #Conflicts: 565000 | #Constraints: 19344
2235.95/2243.78 c #Conflicts: 566000 | #Constraints: 20344
2235.95/2243.78 c #Conflicts: 567000 | #Constraints: 21344
2235.95/2243.78 c #Conflicts: 568000 | #Constraints: 22344
2235.95/2243.78 c #Conflicts: 569000 | #Constraints: 23344
2235.95/2243.78 c #Conflicts: 570000 | #Constraints: 24344
2235.95/2243.78 c #Conflicts: 571000 | #Constraints: 25344
2235.95/2243.78 c #Conflicts: 572000 | #Constraints: 26344
2235.95/2243.78 c #Conflicts: 573000 | #Constraints: 27344
2235.95/2243.78 c #Conflicts: 574000 | #Constraints: 28344
2235.95/2243.78 c #Conflicts: 575000 | #Constraints: 29344
2235.95/2243.78 c #Conflicts: 576000 | #Constraints: 30344
2235.95/2243.78 c INPROCESSING
2235.95/2243.78 c GARBAGE COLLECT
2235.95/2243.78 c #Conflicts: 577000 | #Constraints: 16346
2235.95/2243.78 c #Conflicts: 578000 | #Constraints: 17346
2235.95/2243.78 c #Conflicts: 579000 | #Constraints: 18346
2235.95/2243.78 c #Conflicts: 580000 | #Constraints: 19346
2235.95/2243.78 c #Conflicts: 581000 | #Constraints: 20346
2235.95/2243.78 c #Conflicts: 582000 | #Constraints: 21346
2235.95/2243.78 c #Conflicts: 583000 | #Constraints: 22346
2235.95/2243.78 c #Conflicts: 584000 | #Constraints: 23346
2235.95/2243.78 c #Conflicts: 585000 | #Constraints: 24346
2235.95/2243.78 c #Conflicts: 586000 | #Constraints: 25346
2235.95/2243.78 c #Conflicts: 587000 | #Constraints: 26346
2235.95/2243.78 c #Conflicts: 588000 | #Constraints: 27346
2235.95/2243.78 c #Conflicts: 589000 | #Constraints: 28346
2235.95/2243.78 c #Conflicts: 590000 | #Constraints: 29346
2235.95/2243.78 c #Conflicts: 591000 | #Constraints: 30346
2235.95/2243.78 c INPROCESSING
2235.95/2243.78 c GARBAGE COLLECT
2235.95/2243.78 c #Conflicts: 592000 | #Constraints: 16147
2235.95/2243.78 c #Conflicts: 593000 | #Constraints: 17147
2235.95/2243.78 c #Conflicts: 594000 | #Constraints: 18147
2235.95/2243.78 c #Conflicts: 595000 | #Constraints: 19147
2235.95/2243.78 c #Conflicts: 596000 | #Constraints: 20147
2235.95/2243.78 c #Conflicts: 597000 | #Constraints: 21147
2235.95/2243.78 c #Conflicts: 598000 | #Constraints: 22147
2235.95/2243.78 c #Conflicts: 599000 | #Constraints: 23147
2235.95/2243.78 c #Conflicts: 600000 | #Constraints: 24147
2235.95/2243.78 c #Conflicts: 601000 | #Constraints: 25147
2235.95/2243.78 c #Conflicts: 602000 | #Constraints: 26147
2235.95/2243.78 c #Conflicts: 603000 | #Constraints: 27147
2235.95/2243.78 c #Conflicts: 604000 | #Constraints: 28147
2235.95/2243.78 c #Conflicts: 605000 | #Constraints: 29147
2235.95/2243.78 c #Conflicts: 606000 | #Constraints: 30147
2235.95/2243.78 c #Conflicts: 607000 | #Constraints: 31147
2235.95/2243.78 c INPROCESSING
2235.95/2243.78 c GARBAGE COLLECT
2235.95/2243.78 c #Conflicts: 608000 | #Constraints: 16747
2235.95/2243.78 c #Conflicts: 609000 | #Constraints: 17747
2235.95/2243.78 c #Conflicts: 610000 | #Constraints: 18747
2235.95/2243.78 c #Conflicts: 611000 | #Constraints: 19747
2235.95/2243.78 c #Conflicts: 612000 | #Constraints: 20747
2235.95/2243.78 c #Conflicts: 613000 | #Constraints: 21747
2235.95/2243.78 c #Conflicts: 614000 | #Constraints: 22747
2235.95/2243.78 c #Conflicts: 615000 | #Constraints: 23747
2235.95/2243.78 c #Conflicts: 616000 | #Constraints: 24747
2235.95/2243.78 c #Conflicts: 617000 | #Constraints: 25747
2235.95/2243.78 c #Conflicts: 618000 | #Constraints: 26747
2235.95/2243.78 c #Conflicts: 619000 | #Constraints: 27747
2235.95/2243.78 c #Conflicts: 620000 | #Constraints: 28747
2235.95/2243.78 c #Conflicts: 621000 | #Constraints: 29747
2235.95/2243.78 c #Conflicts: 622000 | #Constraints: 30747
2235.95/2243.78 c #Conflicts: 623000 | #Constraints: 31747
2235.95/2243.78 c INPROCESSING
2235.95/2243.78 c GARBAGE COLLECT
2235.95/2243.78 c #Conflicts: 624000 | #Constraints: 17147
2235.95/2243.78 c #Conflicts: 625000 | #Constraints: 18147
2644.48/2653.62 c #Conflicts: 626000 | #Constraints: 19147
2644.48/2653.62 c #Conflicts: 627000 | #Constraints: 20147
2644.48/2653.62 c #Conflicts: 628000 | #Constraints: 21147
2644.48/2653.62 c #Conflicts: 629000 | #Constraints: 22147
2644.48/2653.62 c #Conflicts: 630000 | #Constraints: 23147
2644.48/2653.62 c #Conflicts: 631000 | #Constraints: 24147
2644.48/2653.62 c #Conflicts: 632000 | #Constraints: 25147
2644.48/2653.62 c #Conflicts: 633000 | #Constraints: 26147
2644.48/2653.62 c #Conflicts: 634000 | #Constraints: 27147
2644.48/2653.62 c #Conflicts: 635000 | #Constraints: 28147
2644.48/2653.62 c #Conflicts: 636000 | #Constraints: 29147
2644.48/2653.62 c #Conflicts: 637000 | #Constraints: 30147
2644.48/2653.62 c #Conflicts: 638000 | #Constraints: 31147
2644.48/2653.62 c #Conflicts: 639000 | #Constraints: 32147
2644.48/2653.62 c INPROCESSING
2644.48/2653.62 c GARBAGE COLLECT
2644.48/2653.62 c #Conflicts: 640000 | #Constraints: 17344
2644.48/2653.62 c #Conflicts: 641000 | #Constraints: 18344
2644.48/2653.62 c #Conflicts: 642000 | #Constraints: 19344
2644.48/2653.62 c #Conflicts: 643000 | #Constraints: 20344
2644.48/2653.62 c #Conflicts: 644000 | #Constraints: 21344
2644.48/2653.62 c #Conflicts: 645000 | #Constraints: 22344
2644.48/2653.62 c #Conflicts: 646000 | #Constraints: 23344
2644.48/2653.62 c #Conflicts: 647000 | #Constraints: 24344
2644.48/2653.62 c #Conflicts: 648000 | #Constraints: 25344
2644.48/2653.62 c #Conflicts: 649000 | #Constraints: 26344
2644.48/2653.62 c #Conflicts: 650000 | #Constraints: 27344
2644.48/2653.62 c #Conflicts: 651000 | #Constraints: 28344
2644.48/2653.62 c #Conflicts: 652000 | #Constraints: 29344
2644.48/2653.62 c #Conflicts: 653000 | #Constraints: 30344
2644.48/2653.62 c #Conflicts: 654000 | #Constraints: 31344
2644.48/2653.62 c #Conflicts: 655000 | #Constraints: 32344
2644.48/2653.62 c INPROCESSING
2644.48/2653.62 c GARBAGE COLLECT
2644.48/2653.62 c #Conflicts: 656000 | #Constraints: 17343
2644.48/2653.62 c #Conflicts: 657000 | #Constraints: 18343
2644.48/2653.62 c #Conflicts: 658000 | #Constraints: 19343
2644.48/2653.62 c #Conflicts: 659000 | #Constraints: 20343
2644.48/2653.62 c #Conflicts: 660000 | #Constraints: 21343
2644.48/2653.62 c #Conflicts: 661000 | #Constraints: 22343
2644.48/2653.62 c #Conflicts: 662000 | #Constraints: 23343
2644.48/2653.62 c #Conflicts: 663000 | #Constraints: 24343
2644.48/2653.62 c #Conflicts: 664000 | #Constraints: 25343
2644.48/2653.62 c #Conflicts: 665000 | #Constraints: 26343
2644.48/2653.62 c #Conflicts: 666000 | #Constraints: 27343
2644.48/2653.62 c #Conflicts: 667000 | #Constraints: 28343
2644.48/2653.62 c #Conflicts: 668000 | #Constraints: 29343
2644.48/2653.62 c #Conflicts: 669000 | #Constraints: 30343
2644.48/2653.62 c #Conflicts: 670000 | #Constraints: 31343
2644.48/2653.62 c #Conflicts: 671000 | #Constraints: 32343
2644.48/2653.62 c INPROCESSING
2644.48/2653.62 c GARBAGE COLLECT
2644.48/2653.62 c #Conflicts: 672000 | #Constraints: 17144
2644.48/2653.62 c #Conflicts: 673000 | #Constraints: 18144
2644.48/2653.62 c #Conflicts: 674000 | #Constraints: 19144
2644.48/2653.62 c #Conflicts: 675000 | #Constraints: 20144
2644.48/2653.62 c #Conflicts: 676000 | #Constraints: 21144
2644.48/2653.62 c #Conflicts: 677000 | #Constraints: 22144
2644.48/2653.62 c #Conflicts: 678000 | #Constraints: 23144
2644.48/2653.62 c #Conflicts: 679000 | #Constraints: 24144
2644.48/2653.62 c #Conflicts: 680000 | #Constraints: 25144
2644.48/2653.62 c #Conflicts: 681000 | #Constraints: 26144
2644.48/2653.62 c #Conflicts: 682000 | #Constraints: 27144
2644.48/2653.62 c #Conflicts: 683000 | #Constraints: 28144
2644.48/2653.62 c #Conflicts: 684000 | #Constraints: 29144
2644.48/2653.62 c #Conflicts: 685000 | #Constraints: 30144
2644.48/2653.62 c #Conflicts: 686000 | #Constraints: 31144
2644.48/2653.62 c #Conflicts: 687000 | #Constraints: 32144
2644.48/2653.62 c #Conflicts: 688000 | #Constraints: 33144
2644.48/2653.62 c INPROCESSING
2644.48/2653.62 c GARBAGE COLLECT
2644.48/2653.62 c #Conflicts: 689000 | #Constraints: 17748
2644.48/2653.62 c #Conflicts: 690000 | #Constraints: 18748
2644.48/2653.62 c #Conflicts: 691000 | #Constraints: 19748
2644.48/2653.62 c #Conflicts: 692000 | #Constraints: 20748
2644.48/2653.62 c #Conflicts: 693000 | #Constraints: 21748
2644.48/2653.62 c #Conflicts: 694000 | #Constraints: 22748
2644.48/2653.62 c #Conflicts: 695000 | #Constraints: 23748
2644.48/2653.62 c #Conflicts: 696000 | #Constraints: 24748
2644.48/2653.62 c #Conflicts: 697000 | #Constraints: 25748
2644.48/2653.62 c #Conflicts: 698000 | #Constraints: 26748
2644.48/2653.62 c #Conflicts: 699000 | #Constraints: 27748
2644.48/2653.62 c #Conflicts: 700000 | #Constraints: 28748
2644.48/2653.62 c #Conflicts: 701000 | #Constraints: 29748
3171.12/3182.14 c #Conflicts: 702000 | #Constraints: 30748
3171.12/3182.14 c #Conflicts: 703000 | #Constraints: 31748
3171.12/3182.14 c #Conflicts: 704000 | #Constraints: 32748
3171.12/3182.14 c #Conflicts: 705000 | #Constraints: 33748
3171.12/3182.14 c INPROCESSING
3171.12/3182.14 c GARBAGE COLLECT
3171.12/3182.14 c #Conflicts: 706000 | #Constraints: 18147
3171.12/3182.14 c #Conflicts: 707000 | #Constraints: 19147
3171.12/3182.14 c #Conflicts: 708000 | #Constraints: 20147
3171.12/3182.14 c #Conflicts: 709000 | #Constraints: 21147
3171.12/3182.14 c #Conflicts: 710000 | #Constraints: 22147
3171.12/3182.14 c #Conflicts: 711000 | #Constraints: 23147
3171.12/3182.14 c #Conflicts: 712000 | #Constraints: 24147
3171.12/3182.14 c #Conflicts: 713000 | #Constraints: 25147
3171.12/3182.14 c #Conflicts: 714000 | #Constraints: 26147
3171.12/3182.14 c #Conflicts: 715000 | #Constraints: 27147
3171.12/3182.14 c #Conflicts: 716000 | #Constraints: 28147
3171.12/3182.14 c #Conflicts: 717000 | #Constraints: 29147
3171.12/3182.14 c #Conflicts: 718000 | #Constraints: 30147
3171.12/3182.14 c #Conflicts: 719000 | #Constraints: 31147
3171.12/3182.14 c #Conflicts: 720000 | #Constraints: 32147
3171.12/3182.14 c #Conflicts: 721000 | #Constraints: 33147
3171.12/3182.14 c #Conflicts: 722000 | #Constraints: 34147
3171.12/3182.14 c INPROCESSING
3171.12/3182.14 c GARBAGE COLLECT
3171.12/3182.14 c #Conflicts: 723000 | #Constraints: 18345
3171.12/3182.14 c #Conflicts: 724000 | #Constraints: 19345
3171.12/3182.14 c #Conflicts: 725000 | #Constraints: 20345
3171.12/3182.14 c #Conflicts: 726000 | #Constraints: 21345
3171.12/3182.14 c #Conflicts: 727000 | #Constraints: 22345
3171.12/3182.14 c #Conflicts: 728000 | #Constraints: 23345
3171.12/3182.14 c #Conflicts: 729000 | #Constraints: 24345
3171.12/3182.14 c #Conflicts: 730000 | #Constraints: 25345
3171.12/3182.14 c #Conflicts: 731000 | #Constraints: 26345
3171.12/3182.14 c #Conflicts: 732000 | #Constraints: 27345
3171.12/3182.14 c #Conflicts: 733000 | #Constraints: 28345
3171.12/3182.14 c #Conflicts: 734000 | #Constraints: 29345
3171.12/3182.14 c #Conflicts: 735000 | #Constraints: 30345
3171.12/3182.14 c #Conflicts: 736000 | #Constraints: 31345
3171.12/3182.14 c #Conflicts: 737000 | #Constraints: 32345
3171.12/3182.14 c #Conflicts: 738000 | #Constraints: 33345
3171.12/3182.14 c #Conflicts: 739000 | #Constraints: 34345
3171.12/3182.14 c INPROCESSING
3171.12/3182.14 c GARBAGE COLLECT
3171.12/3182.14 c #Conflicts: 740000 | #Constraints: 18345
3171.12/3182.14 c #Conflicts: 741000 | #Constraints: 19345
3171.12/3182.14 c #Conflicts: 742000 | #Constraints: 20345
3171.12/3182.14 c #Conflicts: 743000 | #Constraints: 21345
3171.12/3182.14 c #Conflicts: 744000 | #Constraints: 22345
3171.12/3182.14 c #Conflicts: 745000 | #Constraints: 23345
3171.12/3182.14 c #Conflicts: 746000 | #Constraints: 24345
3171.12/3182.14 c #Conflicts: 747000 | #Constraints: 25345
3171.12/3182.14 c #Conflicts: 748000 | #Constraints: 26345
3171.12/3182.14 c #Conflicts: 749000 | #Constraints: 27345
3171.12/3182.14 c #Conflicts: 750000 | #Constraints: 28345
3171.12/3182.14 c #Conflicts: 751000 | #Constraints: 29345
3171.12/3182.14 c #Conflicts: 752000 | #Constraints: 30345
3171.12/3182.14 c #Conflicts: 753000 | #Constraints: 31345
3171.12/3182.14 c #Conflicts: 754000 | #Constraints: 32345
3171.12/3182.14 c #Conflicts: 755000 | #Constraints: 33345
3171.12/3182.14 c #Conflicts: 756000 | #Constraints: 34345
3171.12/3182.14 c INPROCESSING
3171.12/3182.14 c GARBAGE COLLECT
3171.12/3182.14 c #Conflicts: 757000 | #Constraints: 18144
3171.12/3182.14 c #Conflicts: 758000 | #Constraints: 19144
3171.12/3182.14 c #Conflicts: 759000 | #Constraints: 20144
3171.12/3182.14 c #Conflicts: 760000 | #Constraints: 21144
3171.12/3182.14 c #Conflicts: 761000 | #Constraints: 22144
3171.12/3182.14 c #Conflicts: 762000 | #Constraints: 23144
3171.12/3182.14 c #Conflicts: 763000 | #Constraints: 24144
3171.12/3182.14 c #Conflicts: 764000 | #Constraints: 25144
3171.12/3182.14 c #Conflicts: 765000 | #Constraints: 26144
3171.12/3182.14 c #Conflicts: 766000 | #Constraints: 27144
3171.12/3182.14 c #Conflicts: 767000 | #Constraints: 28144
3171.12/3182.14 c #Conflicts: 768000 | #Constraints: 29144
3171.12/3182.14 c #Conflicts: 769000 | #Constraints: 30144
3171.12/3182.14 c #Conflicts: 770000 | #Constraints: 31144
3171.12/3182.14 c #Conflicts: 771000 | #Constraints: 32144
3171.12/3182.14 c #Conflicts: 772000 | #Constraints: 33144
3171.12/3182.14 c #Conflicts: 773000 | #Constraints: 34144
3171.12/3182.14 c #Conflicts: 774000 | #Constraints: 35144
3171.12/3182.14 c INPROCESSING
3171.12/3182.14 c GARBAGE COLLECT
3171.12/3182.14 c #Conflicts: 775000 | #Constraints: 18743
3171.12/3182.14 c #Conflicts: 776000 | #Constraints: 19743
3600.01/3612.50 c #Conflicts: 777000 | #Constraints: 20743
3600.01/3612.50 c #Conflicts: 778000 | #Constraints: 21743
3600.01/3612.50 c #Conflicts: 779000 | #Constraints: 22743
3600.01/3612.50 c #Conflicts: 780000 | #Constraints: 23743
3600.01/3612.50 c #Conflicts: 781000 | #Constraints: 24743
3600.01/3612.50 c #Conflicts: 782000 | #Constraints: 25743
3600.01/3612.50 c #Conflicts: 783000 | #Constraints: 26743
3600.01/3612.50 c #Conflicts: 784000 | #Constraints: 27743
3600.01/3612.50 c #Conflicts: 785000 | #Constraints: 28743
3600.01/3612.50 c #Conflicts: 786000 | #Constraints: 29743
3600.01/3612.50 c #Conflicts: 787000 | #Constraints: 30743
3600.01/3612.50 c #Conflicts: 788000 | #Constraints: 31743
3600.01/3612.50 c #Conflicts: 789000 | #Constraints: 32743
3600.01/3612.50 c #Conflicts: 790000 | #Constraints: 33743
3600.01/3612.50 c #Conflicts: 791000 | #Constraints: 34743
3600.01/3612.50 c #Conflicts: 792000 | #Constraints: 35743
3600.01/3612.50 c INPROCESSING
3600.01/3612.50 c GARBAGE COLLECT
3600.01/3612.50 c #Conflicts: 793000 | #Constraints: 19142
3600.01/3612.50 c #Conflicts: 794000 | #Constraints: 20142
3600.01/3612.50 c #Conflicts: 795000 | #Constraints: 21142
3600.01/3612.50 c #Conflicts: 796000 | #Constraints: 22142
3600.01/3612.50 c #Conflicts: 797000 | #Constraints: 23142
3600.01/3612.50 c #Conflicts: 798000 | #Constraints: 24142
3600.01/3612.50 c #Conflicts: 799000 | #Constraints: 25142
3600.01/3612.50 c #Conflicts: 800000 | #Constraints: 26142
3600.01/3612.50 c #Conflicts: 801000 | #Constraints: 27142
3600.01/3612.50 c #Conflicts: 802000 | #Constraints: 28142
3600.01/3612.50 c #Conflicts: 803000 | #Constraints: 29142
3600.01/3612.50 c #Conflicts: 804000 | #Constraints: 30142
3600.01/3612.50 c #Conflicts: 805000 | #Constraints: 31142
3600.01/3612.50 c #Conflicts: 806000 | #Constraints: 32142
3600.01/3612.50 c #Conflicts: 807000 | #Constraints: 33142
3600.01/3612.50 c #Conflicts: 808000 | #Constraints: 34142
3600.01/3612.50 c #Conflicts: 809000 | #Constraints: 35142
3600.01/3612.50 c #Conflicts: 810000 | #Constraints: 36142
3600.01/3612.50 c INPROCESSING
3600.01/3612.50 c GARBAGE COLLECT
3600.01/3612.50 c #Conflicts: 811000 | #Constraints: 19342
3600.01/3612.50 c #Conflicts: 812000 | #Constraints: 20342
3600.01/3612.50 c #Conflicts: 813000 | #Constraints: 21342
3600.01/3612.50 c #Conflicts: 814000 | #Constraints: 22342
3600.01/3612.50 c #Conflicts: 815000 | #Constraints: 23342
3600.01/3612.50 c #Conflicts: 816000 | #Constraints: 24342
3600.01/3612.50 c #Conflicts: 817000 | #Constraints: 25342
3600.01/3612.50 c #Conflicts: 818000 | #Constraints: 26342
3600.01/3612.50 c #Conflicts: 819000 | #Constraints: 27342
3600.01/3612.50 c #Conflicts: 820000 | #Constraints: 28342
3600.01/3612.50 c #Conflicts: 821000 | #Constraints: 29342
3600.01/3612.50 c #Conflicts: 822000 | #Constraints: 30342
3600.01/3612.50 c #Conflicts: 823000 | #Constraints: 31342
3600.01/3612.50 c #Conflicts: 824000 | #Constraints: 32342
3600.01/3612.50 c #Conflicts: 825000 | #Constraints: 33342
3600.01/3612.50 c #Conflicts: 826000 | #Constraints: 34342
3600.01/3612.50 c #Conflicts: 827000 | #Constraints: 35342
3600.01/3612.50 c #Conflicts: 828000 | #Constraints: 36342
3600.01/3612.50 c INPROCESSING
3600.01/3612.50 c GARBAGE COLLECT
3600.01/3612.50 c #Conflicts: 829000 | #Constraints: 19344
3600.01/3612.50 c #Conflicts: 830000 | #Constraints: 20344
3600.01/3612.50 c #Conflicts: 831000 | #Constraints: 21344
3600.01/3612.50 c #Conflicts: 832000 | #Constraints: 22344
3600.01/3612.50 c #Conflicts: 833000 | #Constraints: 23344
3600.01/3612.50 c #Conflicts: 834000 | #Constraints: 24344
3600.01/3612.50 c #Conflicts: 835000 | #Constraints: 25344
3600.01/3612.50 c #Conflicts: 836000 | #Constraints: 26344
3600.01/3612.50 c #Conflicts: 837000 | #Constraints: 27344
3600.01/3612.50 c #Conflicts: 838000 | #Constraints: 28344
3600.01/3612.50 c #Conflicts: 839000 | #Constraints: 29344
3600.01/3612.50 c #Conflicts: 840000 | #Constraints: 30344
3600.01/3612.50 c #Conflicts: 841000 | #Constraints: 31344
3600.01/3612.50 c #Conflicts: 842000 | #Constraints: 32344
3600.01/3612.50 c #Conflicts: 843000 | #Constraints: 33344
3600.01/3612.50 c #Conflicts: 844000 | #Constraints: 34344
3600.01/3612.50 c #Conflicts: 845000 | #Constraints: 35344
3600.01/3612.50 c #Conflicts: 846000 | #Constraints: 36344
3600.01/3612.50 c INPROCESSING
3600.01/3612.50 c GARBAGE COLLECT
3600.01/3612.50 c #Conflicts: 847000 | #Constraints: 19140
3600.01/3612.50 c Program interrupted by user.
3600.01/3612.50 c cpu time 3589.45 s
3600.01/3612.50 c deterministic time 388181580517 3.88e+11
3600.01/3612.50 c optimization time 5.05135 s
3600.01/3612.50 c total solve time 3285.31 s
3600.01/3612.50 c core-guided solve time 3285.31 s
3600.01/3612.50 c propagation time 2911.41 s
3600.01/3612.50 c conflict analysis time 330.303 s
3600.01/3612.50 c propagations 64063025
3600.01/3612.50 c resolve steps 4235629
3600.01/3612.50 c decisions 5725658
3600.01/3612.50 c conflicts 847892
3600.01/3612.50 c restarts 1803
3600.01/3612.50 c inprocessing phases 83
3600.01/3612.50 c input clauses 56
3600.01/3612.50 c input cardinalities 78
3600.01/3612.50 c input general constraints 468
3600.01/3612.50 c input average constraint length 68.28
3600.01/3612.50 c input average constraint degree 34.81
3600.01/3612.50 c learned clauses 166731
3600.01/3612.50 c learned cardinalities 1125
3600.01/3612.50 c learned general constraints 680053
3600.01/3612.50 c learned average constraint length 321.33
3600.01/3612.50 c learned average constraint degree 322241.11
3600.01/3612.50 c watched constraints 589449
3600.01/3612.50 c counting constraints 91072
3600.01/3612.50 c gcd simplifications 137383
3600.01/3612.50 c detected cardinalities 880
3600.01/3612.50 c weakened non-implied lits 25880237
3600.01/3612.50 c weakened non-implying lits 66998
3600.01/3612.50 c original variables 470
3600.01/3612.50 c clausal propagations 1248676
3600.01/3612.50 c cardinality propagations 183545
3600.01/3612.50 c watched propagations 39636143
3600.01/3612.50 c counting propagations 21921509
3600.01/3612.50 c watch lookups 59915611315
3600.01/3612.50 c watch backjump lookups 56103377492
3600.01/3612.50 c watch checks 263278838800
3600.01/3612.50 c propagation checks 7865981742
3600.01/3612.50 c constraint additions 877346264
3600.01/3612.50 c trail pops 70636220
3600.01/3612.50 c formula constraints 470
3600.01/3612.50 c learned constraints 847909
3600.01/3612.50 c bound constraints 78
3600.01/3612.50 c core-guided constraints 54
3600.01/3612.50 c encountered formula constraints 2598646
3600.01/3612.50 c encountered learned constraints 2389723
3600.01/3612.50 c encountered bound constraints 293
3600.01/3612.50 c encountered core-guided constraints 94859
3600.01/3612.50 c LP total time 0 s
3600.01/3612.50 c LP solve time 0 s
3600.01/3612.50 c LP constraints added 0
3600.01/3612.50 c LP constraints removed 0
3600.01/3612.50 c LP pivots internal 0
3600.01/3612.50 c LP pivots root 0
3600.01/3612.50 c LP calls 0
3600.01/3612.50 c LP optimalities 0
3600.01/3612.50 c LP no pivot count 0
3600.01/3612.50 c LP infeasibilities 0
3600.01/3612.50 c LP valid Farkas constraints 0
3600.01/3612.50 c LP learned Farkas constraints 0
3600.01/3612.50 c LP basis resets 0
3600.01/3612.50 c LP cycling count 0
3600.01/3612.50 c LP singular count 0
3600.01/3612.50 c LP no primal count 0
3600.01/3612.50 c LP no farkas count 0
3600.01/3612.50 c LP other issue count 0
3600.01/3612.50 c LP Gomory cuts 0
3600.01/3612.50 c LP learned cuts 0
3600.01/3612.50 c LP deleted cuts 0
3600.01/3612.50 c LP encountered Gomory constraints 0
3600.01/3612.50 c LP encountered Farkas constraints 0
3600.01/3612.50 c LP encountered learned Farkas constraints 0
3600.01/3612.50 c CG auxiliary variables introduced 54
3600.01/3612.50 c CG solutions found 0
3600.01/3612.50 c CG cores constructed 77
3600.01/3612.50 c CG core cardinality constraints returned 0
3600.01/3612.50 c CG unit cores 0
3600.01/3612.50 c CG single cores 77
3600.01/3612.50 c CG blocks removed during cardinality reduction 0
3600.01/3612.50 c CG first core best 0
3600.01/3612.50 c CG decision core best 0
3600.01/3612.50 c CG core reduction tie 0
3600.01/3612.50 c CG core degree average 1.00
3600.01/3612.50 c CG core slack average 2.77
3600.01/3612.50 c CG exhausted 0
3600.01/3612.50 c CG exhaust time 0 s
3600.01/3612.50 c CG trimmed 1
3600.01/3612.50 c CG trim time 0.000599 s
3600.01/3612.50 c CG minimized 0
3600.01/3612.50 c CG minimize time 0 s
3600.01/3612.50 c CG am1 prop time 0.000309 s
3600.01/3612.50 c CG # am1s reformulated 54
3600.01/3612.50 c CG lower bound derived from am1s 54
3600.01/3612.50 c CG # clausal cores 18
3600.01/3612.50 c CG # cardinality cores 0
3600.01/3612.50 c CG # pb cores 59
3600.01/3612.50 c CG # pb reforms 0
3600.01/3612.50 c CG # cores discarded because of pb reform 0
3600.01/3612.50 d LOWERBOUND 131
3600.01/3612.50 d NCORES 77
3600.01/3612.50 d NPBCORES 59
3600.01/3612.50 d NPBREFORM 0
3600.01/3612.50 d NTRIMMED 1
3600.01/3612.50 d NEXHAUSTED 0
3600.01/3612.50 d NAM1S 54
3600.01/3612.50 d AM1LB 54
3600.01/3612.50 c [Papilo Statistics]
3600.01/3612.50 c prepro time 0.00151128s
3600.01/3612.50 c # tsx applied 15
3600.01/3612.50 c # tsx conflicts 0
3600.01/3612.50 c # bound changes 0
3600.01/3612.50 c # side changes 0
3600.01/3612.50 c # coef changes 43
3600.01/3612.50 c # rounds 3
3600.01/3612.50 c # deted vars 0
3600.01/3612.50 c # deted constrs 0
3600.01/3612.50 c # consecutive rounds of only bound changes 0
3600.01/3612.50 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61387 MiB free)
memory of node 1: 64510 MiB (61381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454714-1721469267/watcher-4454714-1721469267 -o /tmp/evaluation-result-4454714-1721469267/solver-4454714-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030640 --watchdog 3760 mixed-bag HOME/instance-4454714-1721469267.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1030702, runsolver pid=1030687
[startup+0.100244 s]*
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125671776/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=93260 memory=26592 CPUtime=0.08 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 3060 0 1 0 8 0 0 0 20 0 1 0 199087307 95498240 6648 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 23315 6648 4106 3002 0 7064 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93260 KiB
Current children cumulated memory: 26592 KiB
[startup+0.20595 s]*
/proc/loadavg: 1.50 2.45 3.15 6/259 1030705
/proc/meminfo: memFree=125658088/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=93260 memory=26592 CPUtime=0.19 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 3072 0 1 0 19 0 0 0 20 0 1 0 199087307 95498240 6648 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 23315 6648 4106 3002 0 7064 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93260 KiB
Current children cumulated memory: 26592 KiB
[startup+0.304886 s]*
/proc/loadavg: 1.50 2.45 3.15 7/259 1030705
/proc/meminfo: memFree=125654308/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=93552 memory=26784 CPUtime=0.29 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 3148 0 1 0 29 0 0 0 20 0 1 0 199087307 95797248 6696 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 23388 6696 4106 3002 0 7137 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93552 KiB
Current children cumulated memory: 26784 KiB
[startup+0.700182 s]
/proc/loadavg: 1.50 2.45 3.15 7/259 1030705
/proc/meminfo: memFree=125626504/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=111120 memory=44204 CPUtime=0.68 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 7500 0 1 0 67 1 0 0 20 0 1 0 199087307 113786880 11051 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 27780 11051 4106 3002 0 11529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111120 KiB
Current children cumulated memory: 44204 KiB
[startup+1.50022 s]
/proc/loadavg: 1.50 2.45 3.15 8/259 1030705
/proc/meminfo: memFree=125441088/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=188360 memory=119384 CPUtime=1.48 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 27770 0 1 0 144 4 0 0 20 0 1 0 199087307 192880640 29846 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 47090 29846 4106 3002 0 30839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188360 KiB
Current children cumulated memory: 119384 KiB
[startup+3.10617 s]
/proc/loadavg: 1.50 2.45 3.15 8/259 1030707
/proc/meminfo: memFree=125144292/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=227180 memory=155080 CPUtime=3.08 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 36685 0 1 0 302 6 0 0 20 0 1 0 199087307 232632320 38770 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 56795 38770 4121 3002 0 40544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 227180 KiB
Current children cumulated memory: 155080 KiB
[startup+6.30016 s]
/proc/loadavg: 1.78 2.49 3.16 8/259 1030707
/proc/meminfo: memFree=125143280/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=227180 memory=155080 CPUtime=6.26 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 36689 0 1 0 620 6 0 0 20 0 1 0 199087307 232632320 38770 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 56795 38770 4121 3002 0 40544 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 227180 KiB
Current children cumulated memory: 155080 KiB
[startup+12.7001 s]
/proc/loadavg: 1.96 2.52 3.16 8/259 1030707
/proc/meminfo: memFree=125136896/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=233016 memory=162208 CPUtime=12.64 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 38466 0 1 0 1258 6 0 0 20 0 1 0 199087307 238608384 40552 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 58254 40552 4121 3002 0 42003 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 233016 KiB
Current children cumulated memory: 162208 KiB
[startup+25.5002 s]
/proc/loadavg: 2.27 2.57 3.17 8/259 1030710
/proc/meminfo: memFree=124857612/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=322572 memory=249028 CPUtime=25.4 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 61189 0 1 0 2530 10 0 0 20 0 1 0 199087307 330313728 62257 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 80643 62257 4121 3002 0 64392 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 322572 KiB
Current children cumulated memory: 249028 KiB
[startup+51.1062 s]
/proc/loadavg: 3.03 2.72 3.21 8/259 1031096
/proc/meminfo: memFree=124831788/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=322256 memory=248800 CPUtime=50.92 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 61214 0 1 0 5081 11 0 0 20 0 1 0 199087307 329990144 62200 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 80564 62200 4121 3002 0 64313 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 322256 KiB
Current children cumulated memory: 248800 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.94 3.26 8/259 1031105
/proc/meminfo: memFree=124784876/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=330284 memory=256276 CPUtime=101.95 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 63065 0 1 0 10181 14 0 0 20 0 1 0 199087307 338210816 64069 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 82571 64069 4151 3002 0 66320 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 330284 KiB
Current children cumulated memory: 256276 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 3.15 3.31 8/259 1031115
/proc/meminfo: memFree=124561748/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=369324 memory=298488 CPUtime=161.76 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 73824 0 1 0 16158 18 0 0 20 0 1 0 199087307 378187776 74622 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 92331 74622 4151 3002 0 76080 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 369324 KiB
Current children cumulated memory: 298488 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.32 3.36 8/261 1031297
/proc/meminfo: memFree=124497916/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=369324 memory=299076 CPUtime=221.55 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 73918 0 1 0 22136 19 0 0 20 0 1 0 199087307 378187776 74769 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 92331 74769 4151 3002 0 76080 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 369324 KiB
Current children cumulated memory: 299076 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.46 3.41 8/261 1031308
/proc/meminfo: memFree=124494208/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=369324 memory=300544 CPUtime=281.35 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 74036 0 1 0 28115 20 0 0 20 0 1 0 199087307 378187776 75136 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 92331 75136 4151 3002 0 76080 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 369324 KiB
Current children cumulated memory: 300544 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.59 3.46 8/258 1031320
/proc/meminfo: memFree=124623300/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=319784 memory=254996 CPUtime=341.14 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 76894 0 1 0 34036 78 0 0 20 0 1 0 199087307 327458816 63749 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 79946 63749 4279 3002 0 63695 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 319784 KiB
Current children cumulated memory: 254996 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.69 3.50 8/256 1031342
/proc/meminfo: memFree=124591656/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=338752 memory=264804 CPUtime=400.92 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 77320 0 1 0 39978 114 0 0 20 0 1 0 199087307 346882048 66201 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 84688 66201 4279 3002 0 68437 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 338752 KiB
Current children cumulated memory: 264804 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.79 3.55 8/256 1031352
/proc/meminfo: memFree=124569824/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=338752 memory=269820 CPUtime=460.7 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 77593 0 1 0 45913 157 0 0 20 0 1 0 199087307 346882048 67455 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
################
# More data... #
################
Current children cumulated memory: 322304 KiB
[startup+2922.3 s]
/proc/loadavg: 4.19 4.12 4.08 9/257 1032406
/proc/meminfo: memFree=124311112/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=2912.22 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82459 0 1 0 290316 906 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 2912.22 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.13 4.08 8/257 1032418
/proc/meminfo: memFree=124311424/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=2972.01 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82527 0 1 0 296283 918 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 2972.01 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.08 9/258 1032429
/proc/meminfo: memFree=124310544/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3031.8 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82592 0 1 0 302246 934 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3031.8 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.08 8/255 1032439
/proc/meminfo: memFree=124304024/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3091.59 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82724 0 1 0 308210 949 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3091.59 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.08 8/255 1032449
/proc/meminfo: memFree=124304564/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3151.38 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82791 0 1 0 314177 961 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3151.38 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.09 8/255 1032460
/proc/meminfo: memFree=124301780/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3211.18 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82861 0 1 0 320145 973 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3211.18 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.14 4.10 8/255 1032470
/proc/meminfo: memFree=124300936/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3270.97 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82927 0 1 0 326112 985 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 8/257 1032484
/proc/meminfo: memFree=124291840/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3330.76 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 82996 0 1 0 332074 1002 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.15 4.10 8/257 1032497
/proc/meminfo: memFree=124291056/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3390.55 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 83064 0 1 0 338042 1013 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3390.55 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 9/257 1032507
/proc/meminfo: memFree=124288132/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3450.34 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 83130 0 1 0 344004 1030 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3450.34 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 9/258 1032518
/proc/meminfo: memFree=124288204/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3510.14 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 83268 0 1 0 349972 1042 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.10 9/258 1032530
/proc/meminfo: memFree=124284576/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=322304 CPUtime=3569.91 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 83394 0 1 0 355940 1051 0 0 20 0 1 0 199087307 429731840 80576 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 80576 4279 3002 0 88664 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 322304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 1032673
/proc/meminfo: memFree=124914256/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=324352 CPUtime=3600.01 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 83414 0 1 0 358944 1057 0 0 20 0 1 0 199087307 429731840 81088 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 81088 4279 3002 0 88664 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 324352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.5 s]
# the end of solver process 1030702 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.45 s, system=10.5734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 1032673
/proc/meminfo: memFree=124914256/131524600 swapFree=131071996/131071996
[pid=1030702] ppid=1030687 vsize=419660 memory=324352 CPUtime=3600.01 cores=0,2
/proc/1030702/stat : 1030702 (mixed-bag) R 1030687 1030702 1030630 0 -1 4194304 83414 0 1 0 358944 1057 0 0 20 0 1 0 199087307 429731840 81088 134679101440 4194304 16488053 140729736201824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 25559040 140729736205333 140729736205410 140729736205410 140729736212427 0
/proc/1030702/statm: 104915 81088 4279 3002 0 88664 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 419660 KiB
Current children cumulated memory: 324352 KiB
Child status: 0
Real time (s): 3612.5
CPU time (s): 3600.02
CPU user time (s): 3589.45
CPU system time (s): 10.5734
CPU usage (%): 99.6545
Max. virtual memory (cumulated for all children) (KiB): 419660
Max. memory (cumulated for all children) (KiB): 324352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.45
system time used= 10.5734
maximum resident set size= 325200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83445
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= 112
involuntary context switches= 24789
# summary of solver processes directly reported to runsolver:
# pid: 1030702
# total CPU time (s): 3600.02
# total CPU user time (s): 3589.45
# total CPU system time (s): 10.5734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44881 second user time and 19.5521 second system time
The end
Begin job on nodeC016 at 2024-07-20 11:54:39
IDJOB=4454714
IDBENCH=147543
IDSOLVER=3083
FILE ID=nodeC016/4454714-1721469267
RUNJOBID= nodeC016-1721469279-1030640
SLURM_JOB_ID= 7545728
Free space on /tmp= 890084 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454714-1721469267/watcher-4454714-1721469267 -o /tmp/evaluation-result-4454714-1721469267/solver-4454714-1721469267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030640 --watchdog 3760 mixed-bag HOME/instance-4454714-1721469267.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=743307265
nodeC016.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 : 3567.064
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.70
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 : 3622.418
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3451.126
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.70
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 : 3520.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3393.024
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.70
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 : 3471.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3576.684
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.70
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 : 3628.700
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125716556 kB
MemAvailable: 129699792 kB
Buffers: 442992 kB
Cached: 4381180 kB
SwapCached: 0 kB
Active: 739176 kB
Inactive: 4446884 kB
Active(anon): 1444 kB
Inactive(anon): 406392 kB
Active(file): 737732 kB
Inactive(file): 4040492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65132 kB
Writeback: 0 kB
AnonPages: 360484 kB
Mapped: 107156 kB
Shmem: 45912 kB
KReclaimable: 89316 kB
Slab: 201524 kB
SReclaimable: 89316 kB
SUnreclaim: 112208 kB
KernelStack: 3888 kB
PageTables: 9588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 726856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC016 at 2024-07-20 12:54:52