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.28/300.15 c [STEP] preprocessing done, loading into solver
299.28/300.15 c [STEP] solving
299.28/300.15 c #variables 471 #constraints 470
299.28/300.15 c SMALL=int, LARGE=long long
299.28/300.15 c bounds - >= 0 @ 299.233
299.28/300.15 c stratification level: 0
314.92/315.82 c bounds - >= 55 @ 299.233
314.92/315.82 c bounds - >= 56 @ 299.233
314.92/315.82 c bounds - >= 57 @ 299.233
314.92/315.82 c bounds - >= 58 @ 299.234
314.92/315.82 c bounds - >= 59 @ 299.234
314.92/315.82 c bounds - >= 60 @ 299.234
314.92/315.82 c bounds - >= 61 @ 299.234
314.92/315.82 c bounds - >= 62 @ 299.234
314.92/315.82 c bounds - >= 63 @ 299.234
314.92/315.82 c bounds - >= 64 @ 299.234
314.92/315.82 c bounds - >= 65 @ 299.234
314.92/315.82 c bounds - >= 66 @ 299.234
314.92/315.82 c bounds - >= 67 @ 299.234
314.92/315.82 c bounds - >= 68 @ 299.235
314.92/315.82 c bounds - >= 69 @ 299.235
314.92/315.82 c bounds - >= 70 @ 299.235
314.92/315.82 c bounds - >= 71 @ 299.235
314.92/315.82 c bounds - >= 72 @ 299.235
314.92/315.82 c bounds - >= 73 @ 299.235
314.92/315.82 c bounds - >= 74 @ 299.235
314.92/315.82 c bounds - >= 75 @ 299.235
314.92/315.82 c bounds - >= 76 @ 299.235
314.92/315.82 c bounds - >= 77 @ 299.236
314.92/315.82 c bounds - >= 78 @ 299.236
314.92/315.82 c bounds - >= 79 @ 299.236
314.92/315.82 c bounds - >= 80 @ 299.236
314.92/315.82 c bounds - >= 81 @ 299.236
314.92/315.82 c bounds - >= 82 @ 299.236
314.92/315.82 c bounds - >= 83 @ 299.236
314.92/315.82 c bounds - >= 84 @ 299.236
314.92/315.82 c bounds - >= 85 @ 299.236
314.92/315.82 c bounds - >= 86 @ 299.237
314.92/315.82 c bounds - >= 87 @ 299.237
314.92/315.82 c bounds - >= 88 @ 299.237
314.92/315.82 c bounds - >= 89 @ 299.237
314.92/315.82 c bounds - >= 90 @ 299.237
314.92/315.82 c bounds - >= 91 @ 299.237
314.92/315.82 c bounds - >= 92 @ 299.237
314.92/315.82 c bounds - >= 93 @ 299.237
314.92/315.82 c bounds - >= 94 @ 299.238
314.92/315.82 c bounds - >= 95 @ 299.238
314.92/315.82 c bounds - >= 96 @ 299.238
314.92/315.82 c bounds - >= 97 @ 299.238
314.92/315.82 c bounds - >= 98 @ 299.238
314.92/315.82 c bounds - >= 99 @ 299.238
314.92/315.82 c bounds - >= 100 @ 299.238
314.92/315.82 c bounds - >= 101 @ 299.238
314.92/315.82 c bounds - >= 102 @ 299.239
314.92/315.82 c bounds - >= 103 @ 299.239
314.92/315.82 c bounds - >= 104 @ 299.239
314.92/315.82 c bounds - >= 105 @ 299.239
314.92/315.82 c bounds - >= 106 @ 299.239
314.92/315.82 c bounds - >= 107 @ 299.239
314.92/315.82 c bounds - >= 108 @ 299.239
314.92/315.82 c bounds - >= 109 @ 299.239
314.92/315.82 c bounds - >= 110 @ 299.239
314.92/315.82 c bounds - >= 111 @ 299.239
314.92/315.82 c bounds - >= 112 @ 299.239
314.92/315.82 c bounds - >= 113 @ 299.239
314.92/315.82 c bounds - >= 114 @ 299.239
314.92/315.82 c bounds - >= 115 @ 299.239
314.92/315.82 c bounds - >= 116 @ 299.239
314.92/315.82 c bounds - >= 117 @ 299.239
314.92/315.82 c bounds - >= 118 @ 299.239
314.92/315.82 c bounds - >= 119 @ 299.239
314.92/315.82 c bounds - >= 120 @ 299.239
314.92/315.82 c bounds - >= 121 @ 299.239
314.92/315.82 c bounds - >= 122 @ 299.239
314.92/315.82 c bounds - >= 123 @ 299.239
314.92/315.82 c bounds - >= 124 @ 299.239
314.92/315.82 c bounds - >= 125 @ 299.239
314.92/315.82 c bounds - >= 126 @ 299.239
314.92/315.82 c bounds - >= 127 @ 299.239
314.92/315.82 c bounds - >= 128 @ 299.239
314.92/315.82 c bounds - >= 129 @ 299.239
314.92/315.82 c bounds - >= 130 @ 299.239
314.92/315.82 c bounds - >= 131 @ 299.239
314.92/315.82 c #Conflicts: 1000 | #Constraints: 1619
314.92/315.82 c #Conflicts: 2000 | #Constraints: 2619
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 3000 | #Constraints: 2540
314.92/315.82 c #Conflicts: 4000 | #Constraints: 3540
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 5000 | #Constraints: 2948
314.92/315.82 c #Conflicts: 6000 | #Constraints: 3948
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 7000 | #Constraints: 2946
314.92/315.82 c #Conflicts: 8000 | #Constraints: 3946
314.92/315.82 c #Conflicts: 9000 | #Constraints: 4946
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 10000 | #Constraints: 3644
314.92/315.82 c #Conflicts: 11000 | #Constraints: 4644
314.92/315.82 c #Conflicts: 12000 | #Constraints: 5644
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 13000 | #Constraints: 4094
314.92/315.82 c #Conflicts: 14000 | #Constraints: 5094
314.92/315.82 c #Conflicts: 15000 | #Constraints: 6094
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 16000 | #Constraints: 4323
314.92/315.82 c #Conflicts: 17000 | #Constraints: 5323
314.92/315.82 c #Conflicts: 18000 | #Constraints: 6323
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 19000 | #Constraints: 4334
314.92/315.82 c #Conflicts: 20000 | #Constraints: 5334
314.92/315.82 c #Conflicts: 21000 | #Constraints: 6334
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 22000 | #Constraints: 4133
314.92/315.82 c #Conflicts: 23000 | #Constraints: 5133
314.92/315.82 c #Conflicts: 24000 | #Constraints: 6133
314.92/315.82 c #Conflicts: 25000 | #Constraints: 7133
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 26000 | #Constraints: 4740
314.92/315.82 c #Conflicts: 27000 | #Constraints: 5740
314.92/315.82 c #Conflicts: 28000 | #Constraints: 6740
314.92/315.82 c #Conflicts: 29000 | #Constraints: 7740
314.92/315.82 c INPROCESSING
314.92/315.82 c GARBAGE COLLECT
314.92/315.82 c #Conflicts: 30000 | #Constraints: 5148
314.92/315.82 c #Conflicts: 31000 | #Constraints: 6148
314.92/315.82 c #Conflicts: 32000 | #Constraints: 7148
402.96/404.12 c #Conflicts: 33000 | #Constraints: 8148
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 34000 | #Constraints: 5345
402.96/404.12 c #Conflicts: 35000 | #Constraints: 6345
402.96/404.12 c #Conflicts: 36000 | #Constraints: 7345
402.96/404.12 c #Conflicts: 37000 | #Constraints: 8345
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 38000 | #Constraints: 5348
402.96/404.12 c #Conflicts: 39000 | #Constraints: 6348
402.96/404.12 c #Conflicts: 40000 | #Constraints: 7348
402.96/404.12 c #Conflicts: 41000 | #Constraints: 8348
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 42000 | #Constraints: 5144
402.96/404.12 c #Conflicts: 43000 | #Constraints: 6144
402.96/404.12 c #Conflicts: 44000 | #Constraints: 7144
402.96/404.12 c #Conflicts: 45000 | #Constraints: 8144
402.96/404.12 c #Conflicts: 46000 | #Constraints: 9144
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 47000 | #Constraints: 5744
402.96/404.12 c #Conflicts: 48000 | #Constraints: 6744
402.96/404.12 c #Conflicts: 49000 | #Constraints: 7744
402.96/404.12 c #Conflicts: 50000 | #Constraints: 8744
402.96/404.12 c #Conflicts: 51000 | #Constraints: 9744
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 52000 | #Constraints: 6149
402.96/404.12 c #Conflicts: 53000 | #Constraints: 7149
402.96/404.12 c #Conflicts: 54000 | #Constraints: 8149
402.96/404.12 c #Conflicts: 55000 | #Constraints: 9149
402.96/404.12 c #Conflicts: 56000 | #Constraints: 10149
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 57000 | #Constraints: 6350
402.96/404.12 c #Conflicts: 58000 | #Constraints: 7350
402.96/404.12 c #Conflicts: 59000 | #Constraints: 8350
402.96/404.12 c #Conflicts: 60000 | #Constraints: 9350
402.96/404.12 c #Conflicts: 61000 | #Constraints: 10350
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 62000 | #Constraints: 6346
402.96/404.12 c #Conflicts: 63000 | #Constraints: 7346
402.96/404.12 c #Conflicts: 64000 | #Constraints: 8346
402.96/404.12 c #Conflicts: 65000 | #Constraints: 9346
402.96/404.12 c #Conflicts: 66000 | #Constraints: 10346
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 67000 | #Constraints: 6142
402.96/404.12 c #Conflicts: 68000 | #Constraints: 7142
402.96/404.12 c #Conflicts: 69000 | #Constraints: 8142
402.96/404.12 c #Conflicts: 70000 | #Constraints: 9142
402.96/404.12 c #Conflicts: 71000 | #Constraints: 10142
402.96/404.12 c #Conflicts: 72000 | #Constraints: 11142
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 73000 | #Constraints: 6743
402.96/404.12 c #Conflicts: 74000 | #Constraints: 7743
402.96/404.12 c #Conflicts: 75000 | #Constraints: 8743
402.96/404.12 c #Conflicts: 76000 | #Constraints: 9743
402.96/404.12 c #Conflicts: 77000 | #Constraints: 10743
402.96/404.12 c #Conflicts: 78000 | #Constraints: 11743
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 79000 | #Constraints: 7149
402.96/404.12 c #Conflicts: 80000 | #Constraints: 8149
402.96/404.12 c #Conflicts: 81000 | #Constraints: 9149
402.96/404.12 c #Conflicts: 82000 | #Constraints: 10149
402.96/404.12 c #Conflicts: 83000 | #Constraints: 11149
402.96/404.12 c #Conflicts: 84000 | #Constraints: 12149
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 85000 | #Constraints: 7349
402.96/404.12 c #Conflicts: 86000 | #Constraints: 8349
402.96/404.12 c #Conflicts: 87000 | #Constraints: 9349
402.96/404.12 c #Conflicts: 88000 | #Constraints: 10349
402.96/404.12 c #Conflicts: 89000 | #Constraints: 11349
402.96/404.12 c #Conflicts: 90000 | #Constraints: 12349
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 91000 | #Constraints: 7348
402.96/404.12 c #Conflicts: 92000 | #Constraints: 8348
402.96/404.12 c #Conflicts: 93000 | #Constraints: 9348
402.96/404.12 c #Conflicts: 94000 | #Constraints: 10348
402.96/404.12 c #Conflicts: 95000 | #Constraints: 11348
402.96/404.12 c #Conflicts: 96000 | #Constraints: 12348
402.96/404.12 c INPROCESSING
402.96/404.12 c GARBAGE COLLECT
402.96/404.12 c #Conflicts: 97000 | #Constraints: 7150
402.96/404.12 c #Conflicts: 98000 | #Constraints: 8150
402.96/404.12 c #Conflicts: 99000 | #Constraints: 9150
402.96/404.12 c #Conflicts: 100000 | #Constraints: 10150
402.96/404.12 c #Conflicts: 101000 | #Constraints: 11150
402.96/404.12 c #Conflicts: 102000 | #Constraints: 12150
402.96/404.12 c #Conflicts: 103000 | #Constraints: 13150
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 104000 | #Constraints: 7745
520.49/522.02 c #Conflicts: 105000 | #Constraints: 8745
520.49/522.02 c #Conflicts: 106000 | #Constraints: 9745
520.49/522.02 c #Conflicts: 107000 | #Constraints: 10745
520.49/522.02 c #Conflicts: 108000 | #Constraints: 11745
520.49/522.02 c #Conflicts: 109000 | #Constraints: 12745
520.49/522.02 c #Conflicts: 110000 | #Constraints: 13745
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 111000 | #Constraints: 8146
520.49/522.02 c #Conflicts: 112000 | #Constraints: 9146
520.49/522.02 c #Conflicts: 113000 | #Constraints: 10146
520.49/522.02 c #Conflicts: 114000 | #Constraints: 11146
520.49/522.02 c #Conflicts: 115000 | #Constraints: 12146
520.49/522.02 c #Conflicts: 116000 | #Constraints: 13146
520.49/522.02 c #Conflicts: 117000 | #Constraints: 14146
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 118000 | #Constraints: 8349
520.49/522.02 c #Conflicts: 119000 | #Constraints: 9349
520.49/522.02 c #Conflicts: 120000 | #Constraints: 10349
520.49/522.02 c #Conflicts: 121000 | #Constraints: 11349
520.49/522.02 c #Conflicts: 122000 | #Constraints: 12349
520.49/522.02 c #Conflicts: 123000 | #Constraints: 13349
520.49/522.02 c #Conflicts: 124000 | #Constraints: 14349
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 125000 | #Constraints: 8350
520.49/522.02 c #Conflicts: 126000 | #Constraints: 9350
520.49/522.02 c #Conflicts: 127000 | #Constraints: 10350
520.49/522.02 c #Conflicts: 128000 | #Constraints: 11350
520.49/522.02 c #Conflicts: 129000 | #Constraints: 12350
520.49/522.02 c #Conflicts: 130000 | #Constraints: 13350
520.49/522.02 c #Conflicts: 131000 | #Constraints: 14350
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 132000 | #Constraints: 8148
520.49/522.02 c #Conflicts: 133000 | #Constraints: 9148
520.49/522.02 c #Conflicts: 134000 | #Constraints: 10148
520.49/522.02 c #Conflicts: 135000 | #Constraints: 11148
520.49/522.02 c #Conflicts: 136000 | #Constraints: 12148
520.49/522.02 c #Conflicts: 137000 | #Constraints: 13148
520.49/522.02 c #Conflicts: 138000 | #Constraints: 14148
520.49/522.02 c #Conflicts: 139000 | #Constraints: 15148
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 140000 | #Constraints: 8751
520.49/522.02 c #Conflicts: 141000 | #Constraints: 9751
520.49/522.02 c #Conflicts: 142000 | #Constraints: 10751
520.49/522.02 c #Conflicts: 143000 | #Constraints: 11751
520.49/522.02 c #Conflicts: 144000 | #Constraints: 12751
520.49/522.02 c #Conflicts: 145000 | #Constraints: 13751
520.49/522.02 c #Conflicts: 146000 | #Constraints: 14751
520.49/522.02 c #Conflicts: 147000 | #Constraints: 15751
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 148000 | #Constraints: 9153
520.49/522.02 c #Conflicts: 149000 | #Constraints: 10153
520.49/522.02 c #Conflicts: 150000 | #Constraints: 11153
520.49/522.02 c #Conflicts: 151000 | #Constraints: 12153
520.49/522.02 c #Conflicts: 152000 | #Constraints: 13153
520.49/522.02 c #Conflicts: 153000 | #Constraints: 14153
520.49/522.02 c #Conflicts: 154000 | #Constraints: 15153
520.49/522.02 c #Conflicts: 155000 | #Constraints: 16153
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 156000 | #Constraints: 9352
520.49/522.02 c #Conflicts: 157000 | #Constraints: 10352
520.49/522.02 c #Conflicts: 158000 | #Constraints: 11352
520.49/522.02 c #Conflicts: 159000 | #Constraints: 12352
520.49/522.02 c #Conflicts: 160000 | #Constraints: 13352
520.49/522.02 c #Conflicts: 161000 | #Constraints: 14352
520.49/522.02 c #Conflicts: 162000 | #Constraints: 15352
520.49/522.02 c #Conflicts: 163000 | #Constraints: 16352
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 164000 | #Constraints: 9345
520.49/522.02 c #Conflicts: 165000 | #Constraints: 10345
520.49/522.02 c #Conflicts: 166000 | #Constraints: 11345
520.49/522.02 c #Conflicts: 167000 | #Constraints: 12345
520.49/522.02 c #Conflicts: 168000 | #Constraints: 13345
520.49/522.02 c #Conflicts: 169000 | #Constraints: 14345
520.49/522.02 c #Conflicts: 170000 | #Constraints: 15345
520.49/522.02 c #Conflicts: 171000 | #Constraints: 16345
520.49/522.02 c INPROCESSING
520.49/522.02 c GARBAGE COLLECT
520.49/522.02 c #Conflicts: 172000 | #Constraints: 9144
520.49/522.02 c #Conflicts: 173000 | #Constraints: 10144
520.49/522.02 c #Conflicts: 174000 | #Constraints: 11144
520.49/522.02 c #Conflicts: 175000 | #Constraints: 12144
723.15/725.38 c #Conflicts: 176000 | #Constraints: 13144
723.15/725.38 c #Conflicts: 177000 | #Constraints: 14144
723.15/725.38 c #Conflicts: 178000 | #Constraints: 15144
723.15/725.38 c #Conflicts: 179000 | #Constraints: 16144
723.15/725.38 c #Conflicts: 180000 | #Constraints: 17144
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 181000 | #Constraints: 9748
723.15/725.38 c #Conflicts: 182000 | #Constraints: 10748
723.15/725.38 c #Conflicts: 183000 | #Constraints: 11748
723.15/725.38 c #Conflicts: 184000 | #Constraints: 12748
723.15/725.38 c #Conflicts: 185000 | #Constraints: 13748
723.15/725.38 c #Conflicts: 186000 | #Constraints: 14748
723.15/725.38 c #Conflicts: 187000 | #Constraints: 15748
723.15/725.38 c #Conflicts: 188000 | #Constraints: 16748
723.15/725.38 c #Conflicts: 189000 | #Constraints: 17748
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 190000 | #Constraints: 10154
723.15/725.38 c #Conflicts: 191000 | #Constraints: 11154
723.15/725.38 c #Conflicts: 192000 | #Constraints: 12154
723.15/725.38 c #Conflicts: 193000 | #Constraints: 13154
723.15/725.38 c #Conflicts: 194000 | #Constraints: 14154
723.15/725.38 c #Conflicts: 195000 | #Constraints: 15154
723.15/725.38 c #Conflicts: 196000 | #Constraints: 16154
723.15/725.38 c #Conflicts: 197000 | #Constraints: 17154
723.15/725.38 c #Conflicts: 198000 | #Constraints: 18154
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 199000 | #Constraints: 10350
723.15/725.38 c #Conflicts: 200000 | #Constraints: 11350
723.15/725.38 c #Conflicts: 201000 | #Constraints: 12350
723.15/725.38 c #Conflicts: 202000 | #Constraints: 13350
723.15/725.38 c #Conflicts: 203000 | #Constraints: 14350
723.15/725.38 c #Conflicts: 204000 | #Constraints: 15350
723.15/725.38 c #Conflicts: 205000 | #Constraints: 16350
723.15/725.38 c #Conflicts: 206000 | #Constraints: 17350
723.15/725.38 c #Conflicts: 207000 | #Constraints: 18350
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 208000 | #Constraints: 10349
723.15/725.38 c #Conflicts: 209000 | #Constraints: 11349
723.15/725.38 c #Conflicts: 210000 | #Constraints: 12349
723.15/725.38 c #Conflicts: 211000 | #Constraints: 13349
723.15/725.38 c #Conflicts: 212000 | #Constraints: 14349
723.15/725.38 c #Conflicts: 213000 | #Constraints: 15349
723.15/725.38 c #Conflicts: 214000 | #Constraints: 16349
723.15/725.38 c #Conflicts: 215000 | #Constraints: 17349
723.15/725.38 c #Conflicts: 216000 | #Constraints: 18349
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 217000 | #Constraints: 10149
723.15/725.38 c #Conflicts: 218000 | #Constraints: 11149
723.15/725.38 c #Conflicts: 219000 | #Constraints: 12149
723.15/725.38 c #Conflicts: 220000 | #Constraints: 13149
723.15/725.38 c #Conflicts: 221000 | #Constraints: 14149
723.15/725.38 c #Conflicts: 222000 | #Constraints: 15149
723.15/725.38 c #Conflicts: 223000 | #Constraints: 16149
723.15/725.38 c #Conflicts: 224000 | #Constraints: 17149
723.15/725.38 c #Conflicts: 225000 | #Constraints: 18149
723.15/725.38 c #Conflicts: 226000 | #Constraints: 19149
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 227000 | #Constraints: 10758
723.15/725.38 c #Conflicts: 228000 | #Constraints: 11758
723.15/725.38 c #Conflicts: 229000 | #Constraints: 12758
723.15/725.38 c #Conflicts: 230000 | #Constraints: 13758
723.15/725.38 c #Conflicts: 231000 | #Constraints: 14758
723.15/725.38 c #Conflicts: 232000 | #Constraints: 15758
723.15/725.38 c #Conflicts: 233000 | #Constraints: 16758
723.15/725.38 c #Conflicts: 234000 | #Constraints: 17758
723.15/725.38 c #Conflicts: 235000 | #Constraints: 18758
723.15/725.38 c #Conflicts: 236000 | #Constraints: 19758
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 237000 | #Constraints: 11151
723.15/725.38 c #Conflicts: 238000 | #Constraints: 12151
723.15/725.38 c #Conflicts: 239000 | #Constraints: 13151
723.15/725.38 c #Conflicts: 240000 | #Constraints: 14151
723.15/725.38 c #Conflicts: 241000 | #Constraints: 15151
723.15/725.38 c #Conflicts: 242000 | #Constraints: 16151
723.15/725.38 c #Conflicts: 243000 | #Constraints: 17151
723.15/725.38 c #Conflicts: 244000 | #Constraints: 18151
723.15/725.38 c #Conflicts: 245000 | #Constraints: 19151
723.15/725.38 c #Conflicts: 246000 | #Constraints: 20151
723.15/725.38 c INPROCESSING
723.15/725.38 c GARBAGE COLLECT
723.15/725.38 c #Conflicts: 247000 | #Constraints: 11346
723.15/725.38 c #Conflicts: 248000 | #Constraints: 12346
723.15/725.38 c #Conflicts: 249000 | #Constraints: 13346
945.06/947.99 c #Conflicts: 250000 | #Constraints: 14346
945.06/947.99 c #Conflicts: 251000 | #Constraints: 15346
945.06/947.99 c #Conflicts: 252000 | #Constraints: 16346
945.06/947.99 c #Conflicts: 253000 | #Constraints: 17346
945.06/947.99 c #Conflicts: 254000 | #Constraints: 18346
945.06/947.99 c #Conflicts: 255000 | #Constraints: 19346
945.06/947.99 c #Conflicts: 256000 | #Constraints: 20346
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 257000 | #Constraints: 11349
945.06/947.99 c #Conflicts: 258000 | #Constraints: 12349
945.06/947.99 c #Conflicts: 259000 | #Constraints: 13349
945.06/947.99 c #Conflicts: 260000 | #Constraints: 14349
945.06/947.99 c #Conflicts: 261000 | #Constraints: 15349
945.06/947.99 c #Conflicts: 262000 | #Constraints: 16349
945.06/947.99 c #Conflicts: 263000 | #Constraints: 17349
945.06/947.99 c #Conflicts: 264000 | #Constraints: 18349
945.06/947.99 c #Conflicts: 265000 | #Constraints: 19349
945.06/947.99 c #Conflicts: 266000 | #Constraints: 20349
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 267000 | #Constraints: 11147
945.06/947.99 c #Conflicts: 268000 | #Constraints: 12147
945.06/947.99 c #Conflicts: 269000 | #Constraints: 13147
945.06/947.99 c #Conflicts: 270000 | #Constraints: 14147
945.06/947.99 c #Conflicts: 271000 | #Constraints: 15147
945.06/947.99 c #Conflicts: 272000 | #Constraints: 16147
945.06/947.99 c #Conflicts: 273000 | #Constraints: 17147
945.06/947.99 c #Conflicts: 274000 | #Constraints: 18147
945.06/947.99 c #Conflicts: 275000 | #Constraints: 19147
945.06/947.99 c #Conflicts: 276000 | #Constraints: 20147
945.06/947.99 c #Conflicts: 277000 | #Constraints: 21147
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 278000 | #Constraints: 11745
945.06/947.99 c #Conflicts: 279000 | #Constraints: 12745
945.06/947.99 c #Conflicts: 280000 | #Constraints: 13745
945.06/947.99 c #Conflicts: 281000 | #Constraints: 14745
945.06/947.99 c #Conflicts: 282000 | #Constraints: 15745
945.06/947.99 c #Conflicts: 283000 | #Constraints: 16745
945.06/947.99 c #Conflicts: 284000 | #Constraints: 17745
945.06/947.99 c #Conflicts: 285000 | #Constraints: 18745
945.06/947.99 c #Conflicts: 286000 | #Constraints: 19745
945.06/947.99 c #Conflicts: 287000 | #Constraints: 20745
945.06/947.99 c #Conflicts: 288000 | #Constraints: 21745
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 289000 | #Constraints: 12143
945.06/947.99 c #Conflicts: 290000 | #Constraints: 13143
945.06/947.99 c #Conflicts: 291000 | #Constraints: 14143
945.06/947.99 c #Conflicts: 292000 | #Constraints: 15143
945.06/947.99 c #Conflicts: 293000 | #Constraints: 16143
945.06/947.99 c #Conflicts: 294000 | #Constraints: 17143
945.06/947.99 c #Conflicts: 295000 | #Constraints: 18143
945.06/947.99 c #Conflicts: 296000 | #Constraints: 19143
945.06/947.99 c #Conflicts: 297000 | #Constraints: 20143
945.06/947.99 c #Conflicts: 298000 | #Constraints: 21143
945.06/947.99 c #Conflicts: 299000 | #Constraints: 22143
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 300000 | #Constraints: 12347
945.06/947.99 c #Conflicts: 301000 | #Constraints: 13347
945.06/947.99 c #Conflicts: 302000 | #Constraints: 14347
945.06/947.99 c #Conflicts: 303000 | #Constraints: 15347
945.06/947.99 c #Conflicts: 304000 | #Constraints: 16347
945.06/947.99 c #Conflicts: 305000 | #Constraints: 17347
945.06/947.99 c #Conflicts: 306000 | #Constraints: 18347
945.06/947.99 c #Conflicts: 307000 | #Constraints: 19347
945.06/947.99 c #Conflicts: 308000 | #Constraints: 20347
945.06/947.99 c #Conflicts: 309000 | #Constraints: 21347
945.06/947.99 c #Conflicts: 310000 | #Constraints: 22347
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 311000 | #Constraints: 12346
945.06/947.99 c #Conflicts: 312000 | #Constraints: 13346
945.06/947.99 c #Conflicts: 313000 | #Constraints: 14346
945.06/947.99 c #Conflicts: 314000 | #Constraints: 15346
945.06/947.99 c #Conflicts: 315000 | #Constraints: 16346
945.06/947.99 c #Conflicts: 316000 | #Constraints: 17346
945.06/947.99 c #Conflicts: 317000 | #Constraints: 18346
945.06/947.99 c #Conflicts: 318000 | #Constraints: 19346
945.06/947.99 c #Conflicts: 319000 | #Constraints: 20346
945.06/947.99 c #Conflicts: 320000 | #Constraints: 21346
945.06/947.99 c #Conflicts: 321000 | #Constraints: 22346
945.06/947.99 c INPROCESSING
945.06/947.99 c GARBAGE COLLECT
945.06/947.99 c #Conflicts: 322000 | #Constraints: 12143
945.06/947.99 c #Conflicts: 323000 | #Constraints: 13143
1177.27/1180.89 c #Conflicts: 324000 | #Constraints: 14143
1177.27/1180.89 c #Conflicts: 325000 | #Constraints: 15143
1177.27/1180.89 c #Conflicts: 326000 | #Constraints: 16143
1177.27/1180.89 c #Conflicts: 327000 | #Constraints: 17143
1177.27/1180.89 c #Conflicts: 328000 | #Constraints: 18143
1177.27/1180.89 c #Conflicts: 329000 | #Constraints: 19143
1177.27/1180.89 c #Conflicts: 330000 | #Constraints: 20143
1177.27/1180.89 c #Conflicts: 331000 | #Constraints: 21143
1177.27/1180.89 c #Conflicts: 332000 | #Constraints: 22143
1177.27/1180.89 c #Conflicts: 333000 | #Constraints: 23143
1177.27/1180.89 c INPROCESSING
1177.27/1180.89 c GARBAGE COLLECT
1177.27/1180.89 c #Conflicts: 334000 | #Constraints: 12746
1177.27/1180.89 c #Conflicts: 335000 | #Constraints: 13746
1177.27/1180.89 c #Conflicts: 336000 | #Constraints: 14746
1177.27/1180.89 c #Conflicts: 337000 | #Constraints: 15746
1177.27/1180.89 c #Conflicts: 338000 | #Constraints: 16746
1177.27/1180.89 c #Conflicts: 339000 | #Constraints: 17746
1177.27/1180.89 c #Conflicts: 340000 | #Constraints: 18746
1177.27/1180.89 c #Conflicts: 341000 | #Constraints: 19746
1177.27/1180.89 c #Conflicts: 342000 | #Constraints: 20746
1177.27/1180.89 c #Conflicts: 343000 | #Constraints: 21746
1177.27/1180.89 c #Conflicts: 344000 | #Constraints: 22746
1177.27/1180.89 c #Conflicts: 345000 | #Constraints: 23746
1177.27/1180.89 c INPROCESSING
1177.27/1180.89 c GARBAGE COLLECT
1177.27/1180.89 c #Conflicts: 346000 | #Constraints: 13146
1177.27/1180.89 c #Conflicts: 347000 | #Constraints: 14146
1177.27/1180.89 c #Conflicts: 348000 | #Constraints: 15146
1177.27/1180.89 c #Conflicts: 349000 | #Constraints: 16146
1177.27/1180.89 c #Conflicts: 350000 | #Constraints: 17146
1177.27/1180.89 c #Conflicts: 351000 | #Constraints: 18146
1177.27/1180.89 c #Conflicts: 352000 | #Constraints: 19146
1177.27/1180.89 c #Conflicts: 353000 | #Constraints: 20146
1177.27/1180.89 c #Conflicts: 354000 | #Constraints: 21146
1177.27/1180.89 c #Conflicts: 355000 | #Constraints: 22146
1177.27/1180.89 c #Conflicts: 356000 | #Constraints: 23146
1177.27/1180.89 c #Conflicts: 357000 | #Constraints: 24146
1177.27/1180.89 c INPROCESSING
1177.27/1180.89 c GARBAGE COLLECT
1177.27/1180.89 c #Conflicts: 358000 | #Constraints: 13341
1177.27/1180.89 c #Conflicts: 359000 | #Constraints: 14341
1177.27/1180.89 c #Conflicts: 360000 | #Constraints: 15341
1177.27/1180.89 c #Conflicts: 361000 | #Constraints: 16341
1177.27/1180.89 c #Conflicts: 362000 | #Constraints: 17341
1177.27/1180.89 c #Conflicts: 363000 | #Constraints: 18341
1177.27/1180.89 c #Conflicts: 364000 | #Constraints: 19341
1177.27/1180.89 c #Conflicts: 365000 | #Constraints: 20341
1177.27/1180.89 c #Conflicts: 366000 | #Constraints: 21341
1177.27/1180.89 c #Conflicts: 367000 | #Constraints: 22341
1177.27/1180.89 c #Conflicts: 368000 | #Constraints: 23341
1177.27/1180.89 c #Conflicts: 369000 | #Constraints: 24341
1177.27/1180.89 c INPROCESSING
1177.27/1180.89 c GARBAGE COLLECT
1177.27/1180.89 c #Conflicts: 370000 | #Constraints: 13342
1177.27/1180.89 c #Conflicts: 371000 | #Constraints: 14342
1177.27/1180.89 c #Conflicts: 372000 | #Constraints: 15342
1177.27/1180.89 c #Conflicts: 373000 | #Constraints: 16342
1177.27/1180.89 c #Conflicts: 374000 | #Constraints: 17342
1177.27/1180.89 c #Conflicts: 375000 | #Constraints: 18342
1177.27/1180.89 c #Conflicts: 376000 | #Constraints: 19342
1177.27/1180.89 c #Conflicts: 377000 | #Constraints: 20342
1177.27/1180.89 c #Conflicts: 378000 | #Constraints: 21342
1177.27/1180.89 c #Conflicts: 379000 | #Constraints: 22342
1177.27/1180.89 c #Conflicts: 380000 | #Constraints: 23342
1177.27/1180.89 c #Conflicts: 381000 | #Constraints: 24342
1177.27/1180.89 c INPROCESSING
1177.27/1180.89 c GARBAGE COLLECT
1177.27/1180.89 c #Conflicts: 382000 | #Constraints: 13142
1177.27/1180.89 c #Conflicts: 383000 | #Constraints: 14142
1177.27/1180.89 c #Conflicts: 384000 | #Constraints: 15142
1177.27/1180.89 c #Conflicts: 385000 | #Constraints: 16142
1177.27/1180.89 c #Conflicts: 386000 | #Constraints: 17142
1177.27/1180.89 c #Conflicts: 387000 | #Constraints: 18142
1177.27/1180.89 c #Conflicts: 388000 | #Constraints: 19142
1177.27/1180.89 c #Conflicts: 389000 | #Constraints: 20142
1177.27/1180.89 c #Conflicts: 390000 | #Constraints: 21142
1177.27/1180.89 c #Conflicts: 391000 | #Constraints: 22142
1177.27/1180.89 c #Conflicts: 392000 | #Constraints: 23142
1177.27/1180.89 c #Conflicts: 393000 | #Constraints: 24142
1177.27/1180.89 c #Conflicts: 394000 | #Constraints: 25142
1177.27/1180.89 c INPROCESSING
1177.27/1180.89 c GARBAGE COLLECT
1177.27/1180.89 c #Conflicts: 395000 | #Constraints: 13744
1177.27/1180.89 c #Conflicts: 396000 | #Constraints: 14744
1177.27/1180.89 c #Conflicts: 397000 | #Constraints: 15744
1177.27/1180.89 c #Conflicts: 398000 | #Constraints: 16744
1535.02/1539.41 c #Conflicts: 399000 | #Constraints: 17744
1535.02/1539.41 c #Conflicts: 400000 | #Constraints: 18744
1535.02/1539.41 c #Conflicts: 401000 | #Constraints: 19744
1535.02/1539.41 c #Conflicts: 402000 | #Constraints: 20744
1535.02/1539.41 c #Conflicts: 403000 | #Constraints: 21744
1535.02/1539.41 c #Conflicts: 404000 | #Constraints: 22744
1535.02/1539.41 c #Conflicts: 405000 | #Constraints: 23744
1535.02/1539.41 c #Conflicts: 406000 | #Constraints: 24744
1535.02/1539.41 c #Conflicts: 407000 | #Constraints: 25744
1535.02/1539.41 c INPROCESSING
1535.02/1539.41 c GARBAGE COLLECT
1535.02/1539.41 c #Conflicts: 408000 | #Constraints: 14141
1535.02/1539.41 c #Conflicts: 409000 | #Constraints: 15141
1535.02/1539.41 c #Conflicts: 410000 | #Constraints: 16141
1535.02/1539.41 c #Conflicts: 411000 | #Constraints: 17141
1535.02/1539.41 c #Conflicts: 412000 | #Constraints: 18141
1535.02/1539.41 c #Conflicts: 413000 | #Constraints: 19141
1535.02/1539.41 c #Conflicts: 414000 | #Constraints: 20141
1535.02/1539.41 c #Conflicts: 415000 | #Constraints: 21141
1535.02/1539.41 c #Conflicts: 416000 | #Constraints: 22141
1535.02/1539.41 c #Conflicts: 417000 | #Constraints: 23141
1535.02/1539.41 c #Conflicts: 418000 | #Constraints: 24141
1535.02/1539.41 c #Conflicts: 419000 | #Constraints: 25141
1535.02/1539.41 c #Conflicts: 420000 | #Constraints: 26141
1535.02/1539.41 c INPROCESSING
1535.02/1539.41 c GARBAGE COLLECT
1535.02/1539.41 c #Conflicts: 421000 | #Constraints: 14342
1535.02/1539.41 c #Conflicts: 422000 | #Constraints: 15342
1535.02/1539.41 c #Conflicts: 423000 | #Constraints: 16342
1535.02/1539.41 c #Conflicts: 424000 | #Constraints: 17342
1535.02/1539.41 c #Conflicts: 425000 | #Constraints: 18342
1535.02/1539.41 c #Conflicts: 426000 | #Constraints: 19342
1535.02/1539.41 c #Conflicts: 427000 | #Constraints: 20342
1535.02/1539.41 c #Conflicts: 428000 | #Constraints: 21342
1535.02/1539.41 c #Conflicts: 429000 | #Constraints: 22342
1535.02/1539.41 c #Conflicts: 430000 | #Constraints: 23342
1535.02/1539.41 c #Conflicts: 431000 | #Constraints: 24342
1535.02/1539.41 c #Conflicts: 432000 | #Constraints: 25342
1535.02/1539.41 c #Conflicts: 433000 | #Constraints: 26342
1535.02/1539.41 c INPROCESSING
1535.02/1539.41 c GARBAGE COLLECT
1535.02/1539.41 c #Conflicts: 434000 | #Constraints: 14344
1535.02/1539.41 c #Conflicts: 435000 | #Constraints: 15344
1535.02/1539.41 c #Conflicts: 436000 | #Constraints: 16344
1535.02/1539.41 c #Conflicts: 437000 | #Constraints: 17344
1535.02/1539.41 c #Conflicts: 438000 | #Constraints: 18344
1535.02/1539.41 c #Conflicts: 439000 | #Constraints: 19344
1535.02/1539.41 c #Conflicts: 440000 | #Constraints: 20344
1535.02/1539.41 c #Conflicts: 441000 | #Constraints: 21344
1535.02/1539.41 c #Conflicts: 442000 | #Constraints: 22344
1535.02/1539.41 c #Conflicts: 443000 | #Constraints: 23344
1535.02/1539.41 c #Conflicts: 444000 | #Constraints: 24344
1535.02/1539.41 c #Conflicts: 445000 | #Constraints: 25344
1535.02/1539.41 c #Conflicts: 446000 | #Constraints: 26344
1535.02/1539.41 c INPROCESSING
1535.02/1539.41 c GARBAGE COLLECT
1535.02/1539.41 c #Conflicts: 447000 | #Constraints: 14150
1535.02/1539.41 c #Conflicts: 448000 | #Constraints: 15150
1535.02/1539.41 c #Conflicts: 449000 | #Constraints: 16150
1535.02/1539.41 c #Conflicts: 450000 | #Constraints: 17150
1535.02/1539.41 c #Conflicts: 451000 | #Constraints: 18150
1535.02/1539.41 c #Conflicts: 452000 | #Constraints: 19150
1535.02/1539.41 c #Conflicts: 453000 | #Constraints: 20150
1535.02/1539.41 c #Conflicts: 454000 | #Constraints: 21150
1535.02/1539.41 c #Conflicts: 455000 | #Constraints: 22150
1535.02/1539.41 c #Conflicts: 456000 | #Constraints: 23150
1535.02/1539.41 c #Conflicts: 457000 | #Constraints: 24150
1535.02/1539.41 c #Conflicts: 458000 | #Constraints: 25150
1535.02/1539.41 c #Conflicts: 459000 | #Constraints: 26150
1535.02/1539.41 c #Conflicts: 460000 | #Constraints: 27150
1535.02/1539.41 c INPROCESSING
1535.02/1539.41 c GARBAGE COLLECT
1535.02/1539.41 c #Conflicts: 461000 | #Constraints: 14758
1535.02/1539.41 c #Conflicts: 462000 | #Constraints: 15758
1535.02/1539.41 c #Conflicts: 463000 | #Constraints: 16758
1535.02/1539.41 c #Conflicts: 464000 | #Constraints: 17758
1535.02/1539.41 c #Conflicts: 465000 | #Constraints: 18758
1535.02/1539.41 c #Conflicts: 466000 | #Constraints: 19758
1535.02/1539.41 c #Conflicts: 467000 | #Constraints: 20758
1535.02/1539.41 c #Conflicts: 468000 | #Constraints: 21758
1535.02/1539.41 c #Conflicts: 469000 | #Constraints: 22758
1535.02/1539.41 c #Conflicts: 470000 | #Constraints: 23758
1535.02/1539.41 c #Conflicts: 471000 | #Constraints: 24758
1535.02/1539.41 c #Conflicts: 472000 | #Constraints: 25758
1535.02/1539.41 c #Conflicts: 473000 | #Constraints: 26758
1535.02/1539.41 c #Conflicts: 474000 | #Constraints: 27758
1912.02/1917.35 c INPROCESSING
1912.02/1917.35 c GARBAGE COLLECT
1912.02/1917.35 c #Conflicts: 475000 | #Constraints: 15158
1912.02/1917.35 c #Conflicts: 476000 | #Constraints: 16158
1912.02/1917.35 c #Conflicts: 477000 | #Constraints: 17158
1912.02/1917.35 c #Conflicts: 478000 | #Constraints: 18158
1912.02/1917.35 c #Conflicts: 479000 | #Constraints: 19158
1912.02/1917.35 c #Conflicts: 480000 | #Constraints: 20158
1912.02/1917.35 c #Conflicts: 481000 | #Constraints: 21158
1912.02/1917.35 c #Conflicts: 482000 | #Constraints: 22158
1912.02/1917.35 c #Conflicts: 483000 | #Constraints: 23158
1912.02/1917.35 c #Conflicts: 484000 | #Constraints: 24158
1912.02/1917.35 c #Conflicts: 485000 | #Constraints: 25158
1912.02/1917.35 c #Conflicts: 486000 | #Constraints: 26158
1912.02/1917.35 c #Conflicts: 487000 | #Constraints: 27158
1912.02/1917.35 c #Conflicts: 488000 | #Constraints: 28158
1912.02/1917.35 c INPROCESSING
1912.02/1917.35 c GARBAGE COLLECT
1912.02/1917.35 c #Conflicts: 489000 | #Constraints: 15354
1912.02/1917.35 c #Conflicts: 490000 | #Constraints: 16354
1912.02/1917.35 c #Conflicts: 491000 | #Constraints: 17354
1912.02/1917.35 c #Conflicts: 492000 | #Constraints: 18354
1912.02/1917.35 c #Conflicts: 493000 | #Constraints: 19354
1912.02/1917.35 c #Conflicts: 494000 | #Constraints: 20354
1912.02/1917.35 c #Conflicts: 495000 | #Constraints: 21354
1912.02/1917.35 c #Conflicts: 496000 | #Constraints: 22354
1912.02/1917.35 c #Conflicts: 497000 | #Constraints: 23354
1912.02/1917.35 c #Conflicts: 498000 | #Constraints: 24354
1912.02/1917.35 c #Conflicts: 499000 | #Constraints: 25354
1912.02/1917.35 c #Conflicts: 500000 | #Constraints: 26354
1912.02/1917.35 c #Conflicts: 501000 | #Constraints: 27354
1912.02/1917.35 c #Conflicts: 502000 | #Constraints: 28354
1912.02/1917.35 c INPROCESSING
1912.02/1917.35 c GARBAGE COLLECT
1912.02/1917.35 c #Conflicts: 503000 | #Constraints: 15355
1912.02/1917.35 c #Conflicts: 504000 | #Constraints: 16355
1912.02/1917.35 c #Conflicts: 505000 | #Constraints: 17355
1912.02/1917.35 c #Conflicts: 506000 | #Constraints: 18355
1912.02/1917.35 c #Conflicts: 507000 | #Constraints: 19355
1912.02/1917.35 c #Conflicts: 508000 | #Constraints: 20355
1912.02/1917.35 c #Conflicts: 509000 | #Constraints: 21355
1912.02/1917.35 c #Conflicts: 510000 | #Constraints: 22355
1912.02/1917.35 c #Conflicts: 511000 | #Constraints: 23355
1912.02/1917.35 c #Conflicts: 512000 | #Constraints: 24355
1912.02/1917.35 c #Conflicts: 513000 | #Constraints: 25355
1912.02/1917.35 c #Conflicts: 514000 | #Constraints: 26355
1912.02/1917.35 c #Conflicts: 515000 | #Constraints: 27355
1912.02/1917.35 c #Conflicts: 516000 | #Constraints: 28355
1912.02/1917.35 c INPROCESSING
1912.02/1917.35 c GARBAGE COLLECT
1912.02/1917.35 c #Conflicts: 517000 | #Constraints: 15156
1912.02/1917.35 c #Conflicts: 518000 | #Constraints: 16156
1912.02/1917.35 c #Conflicts: 519000 | #Constraints: 17156
1912.02/1917.35 c #Conflicts: 520000 | #Constraints: 18156
1912.02/1917.35 c #Conflicts: 521000 | #Constraints: 19156
1912.02/1917.35 c #Conflicts: 522000 | #Constraints: 20156
1912.02/1917.35 c #Conflicts: 523000 | #Constraints: 21156
1912.02/1917.35 c #Conflicts: 524000 | #Constraints: 22156
1912.02/1917.35 c #Conflicts: 525000 | #Constraints: 23156
1912.02/1917.35 c #Conflicts: 526000 | #Constraints: 24156
1912.02/1917.35 c #Conflicts: 527000 | #Constraints: 25156
1912.02/1917.35 c #Conflicts: 528000 | #Constraints: 26156
1912.02/1917.35 c #Conflicts: 529000 | #Constraints: 27156
1912.02/1917.35 c #Conflicts: 530000 | #Constraints: 28156
1912.02/1917.35 c #Conflicts: 531000 | #Constraints: 29156
1912.02/1917.35 c INPROCESSING
1912.02/1917.35 c GARBAGE COLLECT
1912.02/1917.35 c #Conflicts: 532000 | #Constraints: 15751
1912.02/1917.35 c #Conflicts: 533000 | #Constraints: 16751
1912.02/1917.35 c #Conflicts: 534000 | #Constraints: 17751
1912.02/1917.35 c #Conflicts: 535000 | #Constraints: 18751
1912.02/1917.35 c #Conflicts: 536000 | #Constraints: 19751
1912.02/1917.35 c #Conflicts: 537000 | #Constraints: 20751
1912.02/1917.35 c #Conflicts: 538000 | #Constraints: 21751
1912.02/1917.35 c #Conflicts: 539000 | #Constraints: 22751
1912.02/1917.35 c #Conflicts: 540000 | #Constraints: 23751
1912.02/1917.35 c #Conflicts: 541000 | #Constraints: 24751
1912.02/1917.35 c #Conflicts: 542000 | #Constraints: 25751
1912.02/1917.35 c #Conflicts: 543000 | #Constraints: 26751
1912.02/1917.35 c #Conflicts: 544000 | #Constraints: 27751
1912.02/1917.35 c #Conflicts: 545000 | #Constraints: 28751
1912.02/1917.35 c #Conflicts: 546000 | #Constraints: 29751
1912.02/1917.35 c INPROCESSING
1912.02/1917.35 c GARBAGE COLLECT
1912.02/1917.35 c #Conflicts: 547000 | #Constraints: 16147
1912.02/1917.35 c #Conflicts: 548000 | #Constraints: 17147
1912.02/1917.35 c #Conflicts: 549000 | #Constraints: 18147
2223.08/2229.13 c #Conflicts: 550000 | #Constraints: 19147
2223.08/2229.13 c #Conflicts: 551000 | #Constraints: 20147
2223.08/2229.13 c #Conflicts: 552000 | #Constraints: 21147
2223.08/2229.13 c #Conflicts: 553000 | #Constraints: 22147
2223.08/2229.13 c #Conflicts: 554000 | #Constraints: 23147
2223.08/2229.13 c #Conflicts: 555000 | #Constraints: 24147
2223.08/2229.13 c #Conflicts: 556000 | #Constraints: 25147
2223.08/2229.13 c #Conflicts: 557000 | #Constraints: 26147
2223.08/2229.13 c #Conflicts: 558000 | #Constraints: 27147
2223.08/2229.13 c #Conflicts: 559000 | #Constraints: 28147
2223.08/2229.13 c #Conflicts: 560000 | #Constraints: 29147
2223.08/2229.13 c #Conflicts: 561000 | #Constraints: 30147
2223.08/2229.13 c INPROCESSING
2223.08/2229.13 c GARBAGE COLLECT
2223.08/2229.13 c #Conflicts: 562000 | #Constraints: 16344
2223.08/2229.13 c #Conflicts: 563000 | #Constraints: 17344
2223.08/2229.13 c #Conflicts: 564000 | #Constraints: 18344
2223.08/2229.13 c #Conflicts: 565000 | #Constraints: 19344
2223.08/2229.13 c #Conflicts: 566000 | #Constraints: 20344
2223.08/2229.13 c #Conflicts: 567000 | #Constraints: 21344
2223.08/2229.13 c #Conflicts: 568000 | #Constraints: 22344
2223.08/2229.13 c #Conflicts: 569000 | #Constraints: 23344
2223.08/2229.13 c #Conflicts: 570000 | #Constraints: 24344
2223.08/2229.13 c #Conflicts: 571000 | #Constraints: 25344
2223.08/2229.13 c #Conflicts: 572000 | #Constraints: 26344
2223.08/2229.13 c #Conflicts: 573000 | #Constraints: 27344
2223.08/2229.13 c #Conflicts: 574000 | #Constraints: 28344
2223.08/2229.13 c #Conflicts: 575000 | #Constraints: 29344
2223.08/2229.13 c #Conflicts: 576000 | #Constraints: 30344
2223.08/2229.13 c INPROCESSING
2223.08/2229.13 c GARBAGE COLLECT
2223.08/2229.13 c #Conflicts: 577000 | #Constraints: 16346
2223.08/2229.13 c #Conflicts: 578000 | #Constraints: 17346
2223.08/2229.13 c #Conflicts: 579000 | #Constraints: 18346
2223.08/2229.13 c #Conflicts: 580000 | #Constraints: 19346
2223.08/2229.13 c #Conflicts: 581000 | #Constraints: 20346
2223.08/2229.13 c #Conflicts: 582000 | #Constraints: 21346
2223.08/2229.13 c #Conflicts: 583000 | #Constraints: 22346
2223.08/2229.13 c #Conflicts: 584000 | #Constraints: 23346
2223.08/2229.13 c #Conflicts: 585000 | #Constraints: 24346
2223.08/2229.13 c #Conflicts: 586000 | #Constraints: 25346
2223.08/2229.13 c #Conflicts: 587000 | #Constraints: 26346
2223.08/2229.13 c #Conflicts: 588000 | #Constraints: 27346
2223.08/2229.13 c #Conflicts: 589000 | #Constraints: 28346
2223.08/2229.13 c #Conflicts: 590000 | #Constraints: 29346
2223.08/2229.13 c #Conflicts: 591000 | #Constraints: 30346
2223.08/2229.13 c INPROCESSING
2223.08/2229.13 c GARBAGE COLLECT
2223.08/2229.13 c #Conflicts: 592000 | #Constraints: 16147
2223.08/2229.13 c #Conflicts: 593000 | #Constraints: 17147
2223.08/2229.13 c #Conflicts: 594000 | #Constraints: 18147
2223.08/2229.13 c #Conflicts: 595000 | #Constraints: 19147
2223.08/2229.13 c #Conflicts: 596000 | #Constraints: 20147
2223.08/2229.13 c #Conflicts: 597000 | #Constraints: 21147
2223.08/2229.13 c #Conflicts: 598000 | #Constraints: 22147
2223.08/2229.13 c #Conflicts: 599000 | #Constraints: 23147
2223.08/2229.13 c #Conflicts: 600000 | #Constraints: 24147
2223.08/2229.13 c #Conflicts: 601000 | #Constraints: 25147
2223.08/2229.13 c #Conflicts: 602000 | #Constraints: 26147
2223.08/2229.13 c #Conflicts: 603000 | #Constraints: 27147
2223.08/2229.13 c #Conflicts: 604000 | #Constraints: 28147
2223.08/2229.13 c #Conflicts: 605000 | #Constraints: 29147
2223.08/2229.13 c #Conflicts: 606000 | #Constraints: 30147
2223.08/2229.13 c #Conflicts: 607000 | #Constraints: 31147
2223.08/2229.13 c INPROCESSING
2223.08/2229.13 c GARBAGE COLLECT
2223.08/2229.13 c #Conflicts: 608000 | #Constraints: 16747
2223.08/2229.13 c #Conflicts: 609000 | #Constraints: 17747
2223.08/2229.13 c #Conflicts: 610000 | #Constraints: 18747
2223.08/2229.13 c #Conflicts: 611000 | #Constraints: 19747
2223.08/2229.13 c #Conflicts: 612000 | #Constraints: 20747
2223.08/2229.13 c #Conflicts: 613000 | #Constraints: 21747
2223.08/2229.13 c #Conflicts: 614000 | #Constraints: 22747
2223.08/2229.13 c #Conflicts: 615000 | #Constraints: 23747
2223.08/2229.13 c #Conflicts: 616000 | #Constraints: 24747
2223.08/2229.13 c #Conflicts: 617000 | #Constraints: 25747
2223.08/2229.13 c #Conflicts: 618000 | #Constraints: 26747
2223.08/2229.13 c #Conflicts: 619000 | #Constraints: 27747
2223.08/2229.13 c #Conflicts: 620000 | #Constraints: 28747
2223.08/2229.13 c #Conflicts: 621000 | #Constraints: 29747
2223.08/2229.13 c #Conflicts: 622000 | #Constraints: 30747
2223.08/2229.13 c #Conflicts: 623000 | #Constraints: 31747
2223.08/2229.13 c INPROCESSING
2223.08/2229.13 c GARBAGE COLLECT
2223.08/2229.13 c #Conflicts: 624000 | #Constraints: 17147
2642.57/2649.61 c #Conflicts: 625000 | #Constraints: 18147
2642.57/2649.61 c #Conflicts: 626000 | #Constraints: 19147
2642.57/2649.61 c #Conflicts: 627000 | #Constraints: 20147
2642.57/2649.61 c #Conflicts: 628000 | #Constraints: 21147
2642.57/2649.61 c #Conflicts: 629000 | #Constraints: 22147
2642.57/2649.61 c #Conflicts: 630000 | #Constraints: 23147
2642.57/2649.61 c #Conflicts: 631000 | #Constraints: 24147
2642.57/2649.61 c #Conflicts: 632000 | #Constraints: 25147
2642.57/2649.61 c #Conflicts: 633000 | #Constraints: 26147
2642.57/2649.61 c #Conflicts: 634000 | #Constraints: 27147
2642.57/2649.61 c #Conflicts: 635000 | #Constraints: 28147
2642.57/2649.61 c #Conflicts: 636000 | #Constraints: 29147
2642.57/2649.61 c #Conflicts: 637000 | #Constraints: 30147
2642.57/2649.61 c #Conflicts: 638000 | #Constraints: 31147
2642.57/2649.61 c #Conflicts: 639000 | #Constraints: 32147
2642.57/2649.61 c INPROCESSING
2642.57/2649.61 c GARBAGE COLLECT
2642.57/2649.61 c #Conflicts: 640000 | #Constraints: 17344
2642.57/2649.61 c #Conflicts: 641000 | #Constraints: 18344
2642.57/2649.61 c #Conflicts: 642000 | #Constraints: 19344
2642.57/2649.61 c #Conflicts: 643000 | #Constraints: 20344
2642.57/2649.61 c #Conflicts: 644000 | #Constraints: 21344
2642.57/2649.61 c #Conflicts: 645000 | #Constraints: 22344
2642.57/2649.61 c #Conflicts: 646000 | #Constraints: 23344
2642.57/2649.61 c #Conflicts: 647000 | #Constraints: 24344
2642.57/2649.61 c #Conflicts: 648000 | #Constraints: 25344
2642.57/2649.61 c #Conflicts: 649000 | #Constraints: 26344
2642.57/2649.61 c #Conflicts: 650000 | #Constraints: 27344
2642.57/2649.61 c #Conflicts: 651000 | #Constraints: 28344
2642.57/2649.61 c #Conflicts: 652000 | #Constraints: 29344
2642.57/2649.61 c #Conflicts: 653000 | #Constraints: 30344
2642.57/2649.61 c #Conflicts: 654000 | #Constraints: 31344
2642.57/2649.61 c #Conflicts: 655000 | #Constraints: 32344
2642.57/2649.61 c INPROCESSING
2642.57/2649.61 c GARBAGE COLLECT
2642.57/2649.61 c #Conflicts: 656000 | #Constraints: 17343
2642.57/2649.61 c #Conflicts: 657000 | #Constraints: 18343
2642.57/2649.61 c #Conflicts: 658000 | #Constraints: 19343
2642.57/2649.61 c #Conflicts: 659000 | #Constraints: 20343
2642.57/2649.61 c #Conflicts: 660000 | #Constraints: 21343
2642.57/2649.61 c #Conflicts: 661000 | #Constraints: 22343
2642.57/2649.61 c #Conflicts: 662000 | #Constraints: 23343
2642.57/2649.61 c #Conflicts: 663000 | #Constraints: 24343
2642.57/2649.61 c #Conflicts: 664000 | #Constraints: 25343
2642.57/2649.61 c #Conflicts: 665000 | #Constraints: 26343
2642.57/2649.61 c #Conflicts: 666000 | #Constraints: 27343
2642.57/2649.61 c #Conflicts: 667000 | #Constraints: 28343
2642.57/2649.61 c #Conflicts: 668000 | #Constraints: 29343
2642.57/2649.61 c #Conflicts: 669000 | #Constraints: 30343
2642.57/2649.61 c #Conflicts: 670000 | #Constraints: 31343
2642.57/2649.61 c #Conflicts: 671000 | #Constraints: 32343
2642.57/2649.61 c INPROCESSING
2642.57/2649.61 c GARBAGE COLLECT
2642.57/2649.61 c #Conflicts: 672000 | #Constraints: 17144
2642.57/2649.61 c #Conflicts: 673000 | #Constraints: 18144
2642.57/2649.61 c #Conflicts: 674000 | #Constraints: 19144
2642.57/2649.61 c #Conflicts: 675000 | #Constraints: 20144
2642.57/2649.61 c #Conflicts: 676000 | #Constraints: 21144
2642.57/2649.61 c #Conflicts: 677000 | #Constraints: 22144
2642.57/2649.61 c #Conflicts: 678000 | #Constraints: 23144
2642.57/2649.61 c #Conflicts: 679000 | #Constraints: 24144
2642.57/2649.61 c #Conflicts: 680000 | #Constraints: 25144
2642.57/2649.61 c #Conflicts: 681000 | #Constraints: 26144
2642.57/2649.61 c #Conflicts: 682000 | #Constraints: 27144
2642.57/2649.61 c #Conflicts: 683000 | #Constraints: 28144
2642.57/2649.61 c #Conflicts: 684000 | #Constraints: 29144
2642.57/2649.61 c #Conflicts: 685000 | #Constraints: 30144
2642.57/2649.61 c #Conflicts: 686000 | #Constraints: 31144
2642.57/2649.61 c #Conflicts: 687000 | #Constraints: 32144
2642.57/2649.61 c #Conflicts: 688000 | #Constraints: 33144
2642.57/2649.61 c INPROCESSING
2642.57/2649.61 c GARBAGE COLLECT
2642.57/2649.61 c #Conflicts: 689000 | #Constraints: 17748
2642.57/2649.61 c #Conflicts: 690000 | #Constraints: 18748
2642.57/2649.61 c #Conflicts: 691000 | #Constraints: 19748
2642.57/2649.61 c #Conflicts: 692000 | #Constraints: 20748
2642.57/2649.61 c #Conflicts: 693000 | #Constraints: 21748
2642.57/2649.61 c #Conflicts: 694000 | #Constraints: 22748
2642.57/2649.61 c #Conflicts: 695000 | #Constraints: 23748
2642.57/2649.61 c #Conflicts: 696000 | #Constraints: 24748
2642.57/2649.61 c #Conflicts: 697000 | #Constraints: 25748
2642.57/2649.61 c #Conflicts: 698000 | #Constraints: 26748
2642.57/2649.61 c #Conflicts: 699000 | #Constraints: 27748
2642.57/2649.61 c #Conflicts: 700000 | #Constraints: 28748
2642.57/2649.61 c #Conflicts: 701000 | #Constraints: 29748
3170.44/3178.96 c #Conflicts: 702000 | #Constraints: 30748
3170.44/3178.96 c #Conflicts: 703000 | #Constraints: 31748
3170.44/3178.96 c #Conflicts: 704000 | #Constraints: 32748
3170.44/3178.96 c #Conflicts: 705000 | #Constraints: 33748
3170.44/3178.96 c INPROCESSING
3170.44/3178.96 c GARBAGE COLLECT
3170.44/3178.96 c #Conflicts: 706000 | #Constraints: 18147
3170.44/3178.96 c #Conflicts: 707000 | #Constraints: 19147
3170.44/3178.96 c #Conflicts: 708000 | #Constraints: 20147
3170.44/3178.96 c #Conflicts: 709000 | #Constraints: 21147
3170.44/3178.96 c #Conflicts: 710000 | #Constraints: 22147
3170.44/3178.96 c #Conflicts: 711000 | #Constraints: 23147
3170.44/3178.96 c #Conflicts: 712000 | #Constraints: 24147
3170.44/3178.96 c #Conflicts: 713000 | #Constraints: 25147
3170.44/3178.96 c #Conflicts: 714000 | #Constraints: 26147
3170.44/3178.96 c #Conflicts: 715000 | #Constraints: 27147
3170.44/3178.96 c #Conflicts: 716000 | #Constraints: 28147
3170.44/3178.96 c #Conflicts: 717000 | #Constraints: 29147
3170.44/3178.96 c #Conflicts: 718000 | #Constraints: 30147
3170.44/3178.96 c #Conflicts: 719000 | #Constraints: 31147
3170.44/3178.96 c #Conflicts: 720000 | #Constraints: 32147
3170.44/3178.96 c #Conflicts: 721000 | #Constraints: 33147
3170.44/3178.96 c #Conflicts: 722000 | #Constraints: 34147
3170.44/3178.96 c INPROCESSING
3170.44/3178.96 c GARBAGE COLLECT
3170.44/3178.96 c #Conflicts: 723000 | #Constraints: 18345
3170.44/3178.96 c #Conflicts: 724000 | #Constraints: 19345
3170.44/3178.96 c #Conflicts: 725000 | #Constraints: 20345
3170.44/3178.96 c #Conflicts: 726000 | #Constraints: 21345
3170.44/3178.96 c #Conflicts: 727000 | #Constraints: 22345
3170.44/3178.96 c #Conflicts: 728000 | #Constraints: 23345
3170.44/3178.96 c #Conflicts: 729000 | #Constraints: 24345
3170.44/3178.96 c #Conflicts: 730000 | #Constraints: 25345
3170.44/3178.96 c #Conflicts: 731000 | #Constraints: 26345
3170.44/3178.96 c #Conflicts: 732000 | #Constraints: 27345
3170.44/3178.96 c #Conflicts: 733000 | #Constraints: 28345
3170.44/3178.96 c #Conflicts: 734000 | #Constraints: 29345
3170.44/3178.96 c #Conflicts: 735000 | #Constraints: 30345
3170.44/3178.96 c #Conflicts: 736000 | #Constraints: 31345
3170.44/3178.96 c #Conflicts: 737000 | #Constraints: 32345
3170.44/3178.96 c #Conflicts: 738000 | #Constraints: 33345
3170.44/3178.96 c #Conflicts: 739000 | #Constraints: 34345
3170.44/3178.96 c INPROCESSING
3170.44/3178.96 c GARBAGE COLLECT
3170.44/3178.96 c #Conflicts: 740000 | #Constraints: 18345
3170.44/3178.96 c #Conflicts: 741000 | #Constraints: 19345
3170.44/3178.96 c #Conflicts: 742000 | #Constraints: 20345
3170.44/3178.96 c #Conflicts: 743000 | #Constraints: 21345
3170.44/3178.96 c #Conflicts: 744000 | #Constraints: 22345
3170.44/3178.96 c #Conflicts: 745000 | #Constraints: 23345
3170.44/3178.96 c #Conflicts: 746000 | #Constraints: 24345
3170.44/3178.96 c #Conflicts: 747000 | #Constraints: 25345
3170.44/3178.96 c #Conflicts: 748000 | #Constraints: 26345
3170.44/3178.96 c #Conflicts: 749000 | #Constraints: 27345
3170.44/3178.96 c #Conflicts: 750000 | #Constraints: 28345
3170.44/3178.96 c #Conflicts: 751000 | #Constraints: 29345
3170.44/3178.96 c #Conflicts: 752000 | #Constraints: 30345
3170.44/3178.96 c #Conflicts: 753000 | #Constraints: 31345
3170.44/3178.96 c #Conflicts: 754000 | #Constraints: 32345
3170.44/3178.96 c #Conflicts: 755000 | #Constraints: 33345
3170.44/3178.96 c #Conflicts: 756000 | #Constraints: 34345
3170.44/3178.96 c INPROCESSING
3170.44/3178.96 c GARBAGE COLLECT
3170.44/3178.96 c #Conflicts: 757000 | #Constraints: 18144
3170.44/3178.96 c #Conflicts: 758000 | #Constraints: 19144
3170.44/3178.96 c #Conflicts: 759000 | #Constraints: 20144
3170.44/3178.96 c #Conflicts: 760000 | #Constraints: 21144
3170.44/3178.96 c #Conflicts: 761000 | #Constraints: 22144
3170.44/3178.96 c #Conflicts: 762000 | #Constraints: 23144
3170.44/3178.96 c #Conflicts: 763000 | #Constraints: 24144
3170.44/3178.96 c #Conflicts: 764000 | #Constraints: 25144
3170.44/3178.96 c #Conflicts: 765000 | #Constraints: 26144
3170.44/3178.96 c #Conflicts: 766000 | #Constraints: 27144
3170.44/3178.96 c #Conflicts: 767000 | #Constraints: 28144
3170.44/3178.96 c #Conflicts: 768000 | #Constraints: 29144
3170.44/3178.96 c #Conflicts: 769000 | #Constraints: 30144
3170.44/3178.96 c #Conflicts: 770000 | #Constraints: 31144
3170.44/3178.96 c #Conflicts: 771000 | #Constraints: 32144
3170.44/3178.96 c #Conflicts: 772000 | #Constraints: 33144
3170.44/3178.96 c #Conflicts: 773000 | #Constraints: 34144
3170.44/3178.96 c #Conflicts: 774000 | #Constraints: 35144
3170.44/3178.96 c INPROCESSING
3170.44/3178.96 c GARBAGE COLLECT
3170.44/3178.96 c #Conflicts: 775000 | #Constraints: 18743
3170.44/3178.96 c #Conflicts: 776000 | #Constraints: 19743
3582.59/3592.11 c #Conflicts: 777000 | #Constraints: 20743
3582.59/3592.11 c #Conflicts: 778000 | #Constraints: 21743
3582.59/3592.11 c #Conflicts: 779000 | #Constraints: 22743
3582.59/3592.11 c #Conflicts: 780000 | #Constraints: 23743
3582.59/3592.11 c #Conflicts: 781000 | #Constraints: 24743
3582.59/3592.11 c #Conflicts: 782000 | #Constraints: 25743
3582.59/3592.11 c #Conflicts: 783000 | #Constraints: 26743
3582.59/3592.11 c #Conflicts: 784000 | #Constraints: 27743
3582.59/3592.11 c #Conflicts: 785000 | #Constraints: 28743
3582.59/3592.11 c #Conflicts: 786000 | #Constraints: 29743
3582.59/3592.11 c #Conflicts: 787000 | #Constraints: 30743
3582.59/3592.11 c #Conflicts: 788000 | #Constraints: 31743
3582.59/3592.11 c #Conflicts: 789000 | #Constraints: 32743
3582.59/3592.11 c #Conflicts: 790000 | #Constraints: 33743
3582.59/3592.11 c #Conflicts: 791000 | #Constraints: 34743
3582.59/3592.11 c #Conflicts: 792000 | #Constraints: 35743
3582.59/3592.11 c INPROCESSING
3582.59/3592.11 c GARBAGE COLLECT
3582.59/3592.11 c #Conflicts: 793000 | #Constraints: 19142
3582.59/3592.11 c #Conflicts: 794000 | #Constraints: 20142
3582.59/3592.11 c #Conflicts: 795000 | #Constraints: 21142
3582.59/3592.11 c #Conflicts: 796000 | #Constraints: 22142
3582.59/3592.11 c #Conflicts: 797000 | #Constraints: 23142
3582.59/3592.11 c #Conflicts: 798000 | #Constraints: 24142
3582.59/3592.11 c #Conflicts: 799000 | #Constraints: 25142
3582.59/3592.11 c #Conflicts: 800000 | #Constraints: 26142
3582.59/3592.11 c #Conflicts: 801000 | #Constraints: 27142
3582.59/3592.11 c #Conflicts: 802000 | #Constraints: 28142
3582.59/3592.11 c #Conflicts: 803000 | #Constraints: 29142
3582.59/3592.11 c #Conflicts: 804000 | #Constraints: 30142
3582.59/3592.11 c #Conflicts: 805000 | #Constraints: 31142
3582.59/3592.11 c #Conflicts: 806000 | #Constraints: 32142
3582.59/3592.11 c #Conflicts: 807000 | #Constraints: 33142
3582.59/3592.11 c #Conflicts: 808000 | #Constraints: 34142
3582.59/3592.11 c #Conflicts: 809000 | #Constraints: 35142
3582.59/3592.11 c #Conflicts: 810000 | #Constraints: 36142
3582.59/3592.11 c INPROCESSING
3582.59/3592.11 c GARBAGE COLLECT
3582.59/3592.11 c #Conflicts: 811000 | #Constraints: 19342
3582.59/3592.11 c #Conflicts: 812000 | #Constraints: 20342
3582.59/3592.11 c #Conflicts: 813000 | #Constraints: 21342
3582.59/3592.11 c #Conflicts: 814000 | #Constraints: 22342
3582.59/3592.11 c #Conflicts: 815000 | #Constraints: 23342
3582.59/3592.11 c #Conflicts: 816000 | #Constraints: 24342
3582.59/3592.11 c #Conflicts: 817000 | #Constraints: 25342
3582.59/3592.11 c #Conflicts: 818000 | #Constraints: 26342
3582.59/3592.11 c #Conflicts: 819000 | #Constraints: 27342
3582.59/3592.11 c #Conflicts: 820000 | #Constraints: 28342
3582.59/3592.11 c #Conflicts: 821000 | #Constraints: 29342
3582.59/3592.11 c #Conflicts: 822000 | #Constraints: 30342
3582.59/3592.11 c #Conflicts: 823000 | #Constraints: 31342
3582.59/3592.11 c #Conflicts: 824000 | #Constraints: 32342
3582.59/3592.11 c #Conflicts: 825000 | #Constraints: 33342
3582.59/3592.11 c #Conflicts: 826000 | #Constraints: 34342
3582.59/3592.11 c #Conflicts: 827000 | #Constraints: 35342
3582.59/3592.11 c #Conflicts: 828000 | #Constraints: 36342
3582.59/3592.11 c INPROCESSING
3582.59/3592.11 c GARBAGE COLLECT
3582.59/3592.11 c #Conflicts: 829000 | #Constraints: 19344
3582.59/3592.11 c #Conflicts: 830000 | #Constraints: 20344
3582.59/3592.11 c #Conflicts: 831000 | #Constraints: 21344
3582.59/3592.11 c #Conflicts: 832000 | #Constraints: 22344
3582.59/3592.11 c #Conflicts: 833000 | #Constraints: 23344
3582.59/3592.11 c #Conflicts: 834000 | #Constraints: 24344
3582.59/3592.11 c #Conflicts: 835000 | #Constraints: 25344
3582.59/3592.11 c #Conflicts: 836000 | #Constraints: 26344
3582.59/3592.11 c #Conflicts: 837000 | #Constraints: 27344
3582.59/3592.11 c #Conflicts: 838000 | #Constraints: 28344
3582.59/3592.11 c #Conflicts: 839000 | #Constraints: 29344
3582.59/3592.11 c #Conflicts: 840000 | #Constraints: 30344
3582.59/3592.11 c #Conflicts: 841000 | #Constraints: 31344
3582.59/3592.11 c #Conflicts: 842000 | #Constraints: 32344
3582.59/3592.11 c #Conflicts: 843000 | #Constraints: 33344
3582.59/3592.11 c #Conflicts: 844000 | #Constraints: 34344
3582.59/3592.11 c #Conflicts: 845000 | #Constraints: 35344
3582.59/3592.11 c #Conflicts: 846000 | #Constraints: 36344
3582.59/3592.11 c INPROCESSING
3582.59/3592.11 c GARBAGE COLLECT
3582.59/3592.11 c #Conflicts: 847000 | #Constraints: 19140
3582.59/3592.11 c #Conflicts: 848000 | #Constraints: 20140
3582.59/3592.11 c #Conflicts: 849000 | #Constraints: 21140
3582.59/3592.11 c #Conflicts: 850000 | #Constraints: 22140
3582.59/3592.11 c #Conflicts: 851000 | #Constraints: 23140
3582.59/3592.11 c #Conflicts: 852000 | #Constraints: 24140
3600.04/3609.60 c #Conflicts: 853000 | #Constraints: 25140
3600.04/3609.60 c #Conflicts: 854000 | #Constraints: 26140
3600.04/3609.60 c #Conflicts: 855000 | #Constraints: 27140
3600.04/3609.60 c Program interrupted by user.
3600.04/3609.60 c cpu time 3590.02 s
3600.04/3609.60 c deterministic time 391926336302 3.92e+11
3600.04/3609.60 c optimization time 38.416 s
3600.04/3609.60 c total solve time 3252.37 s
3600.04/3609.60 c core-guided solve time 3252.37 s
3600.04/3609.60 c propagation time 2909.04 s
3600.04/3609.60 c conflict analysis time 332.959 s
3600.04/3609.60 c propagations 64594734
3600.04/3609.60 c resolve steps 4272349
3600.04/3609.60 c decisions 5764972
3600.04/3609.60 c conflicts 855782
3600.04/3609.60 c restarts 1834
3600.04/3609.60 c inprocessing phases 83
3600.04/3609.60 c input clauses 56
3600.04/3609.60 c input cardinalities 78
3600.04/3609.60 c input general constraints 468
3600.04/3609.60 c input average constraint length 68.28
3600.04/3609.60 c input average constraint degree 34.81
3600.04/3609.60 c learned clauses 168956
3600.04/3609.60 c learned cardinalities 1159
3600.04/3609.60 c learned general constraints 685685
3600.04/3609.60 c learned average constraint length 321.14
3600.04/3609.60 c learned average constraint degree 319473.63
3600.04/3609.60 c watched constraints 594008
3600.04/3609.60 c counting constraints 92145
3600.04/3609.60 c gcd simplifications 139229
3600.04/3609.60 c detected cardinalities 912
3600.04/3609.60 c weakened non-implied lits 26193975
3600.04/3609.60 c weakened non-implying lits 67764
3600.04/3609.60 c original variables 470
3600.04/3609.60 c clausal propagations 1257582
3600.04/3609.60 c cardinality propagations 185754
3600.04/3609.60 c watched propagations 39934417
3600.04/3609.60 c counting propagations 22127460
3600.04/3609.60 c watch lookups 60486161113
3600.04/3609.60 c watch backjump lookups 56621376395
3600.04/3609.60 c watch checks 265892744712
3600.04/3609.60 c propagation checks 7899825679
3600.04/3609.60 c constraint additions 884653549
3600.04/3609.60 c trail pops 71215147
3600.04/3609.60 c formula constraints 470
3600.04/3609.60 c learned constraints 855800
3600.04/3609.60 c bound constraints 78
3600.04/3609.60 c core-guided constraints 54
3600.04/3609.60 c encountered formula constraints 2621596
3600.04/3609.60 c encountered learned constraints 2410416
3600.04/3609.60 c encountered bound constraints 293
3600.04/3609.60 c encountered core-guided constraints 95826
3600.04/3609.60 c LP total time 0 s
3600.04/3609.60 c LP solve time 0 s
3600.04/3609.60 c LP constraints added 0
3600.04/3609.60 c LP constraints removed 0
3600.04/3609.60 c LP pivots internal 0
3600.04/3609.60 c LP pivots root 0
3600.04/3609.60 c LP calls 0
3600.04/3609.60 c LP optimalities 0
3600.04/3609.60 c LP no pivot count 0
3600.04/3609.60 c LP infeasibilities 0
3600.04/3609.60 c LP valid Farkas constraints 0
3600.04/3609.60 c LP learned Farkas constraints 0
3600.04/3609.60 c LP basis resets 0
3600.04/3609.60 c LP cycling count 0
3600.04/3609.60 c LP singular count 0
3600.04/3609.60 c LP no primal count 0
3600.04/3609.60 c LP no farkas count 0
3600.04/3609.60 c LP other issue count 0
3600.04/3609.60 c LP Gomory cuts 0
3600.04/3609.60 c LP learned cuts 0
3600.04/3609.60 c LP deleted cuts 0
3600.04/3609.60 c LP encountered Gomory constraints 0
3600.04/3609.60 c LP encountered Farkas constraints 0
3600.04/3609.60 c LP encountered learned Farkas constraints 0
3600.04/3609.60 c CG auxiliary variables introduced 54
3600.04/3609.60 c CG solutions found 0
3600.04/3609.60 c CG cores constructed 77
3600.04/3609.60 c CG core cardinality constraints returned 0
3600.04/3609.60 c CG unit cores 0
3600.04/3609.60 c CG single cores 77
3600.04/3609.60 c CG blocks removed during cardinality reduction 0
3600.04/3609.60 c CG first core best 0
3600.04/3609.60 c CG decision core best 0
3600.04/3609.60 c CG core reduction tie 0
3600.04/3609.60 c CG core degree average 1.00
3600.04/3609.60 c CG core slack average 2.77
3600.04/3609.60 c CG exhausted 0
3600.04/3609.60 c CG exhaust time 0 s
3600.04/3609.60 c CG trimmed 1
3600.04/3609.60 c CG trim time 0.000371 s
3600.04/3609.60 c CG minimized 0
3600.04/3609.60 c CG minimize time 0 s
3600.04/3609.60 c CG am1 prop time 0.00023 s
3600.04/3609.60 c CG # am1s reformulated 54
3600.04/3609.60 c CG lower bound derived from am1s 54
3600.04/3609.60 c CG # clausal cores 18
3600.04/3609.60 c CG # cardinality cores 0
3600.04/3609.60 c CG # pb cores 59
3600.04/3609.60 c CG # pb reforms 0
3600.04/3609.60 c CG # cores discarded because of pb reform 0
3600.04/3609.60 d LOWERBOUND 131
3600.04/3609.60 d NCORES 77
3600.04/3609.60 d NPBCORES 59
3600.04/3609.60 d NPBREFORM 0
3600.04/3609.60 d NTRIMMED 1
3600.04/3609.60 d NEXHAUSTED 0
3600.04/3609.60 d NAM1S 54
3600.04/3609.60 d AM1LB 54
3600.04/3609.60 c [Papilo Statistics]
3600.04/3609.60 c prepro time 0.00153646s
3600.04/3609.60 c # tsx applied 15
3600.04/3609.60 c # tsx conflicts 0
3600.04/3609.60 c # bound changes 0
3600.04/3609.60 c # side changes 0
3600.04/3609.60 c # coef changes 43
3600.04/3609.60 c # rounds 3
3600.04/3609.60 c # deted vars 0
3600.04/3609.60 c # deted constrs 0
3600.04/3609.60 c # consecutive rounds of only bound changes 0
3600.04/3609.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62456 MiB free)
memory of node 1: 64473 MiB (62859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435456-1721094828/watcher-4435456-1721094828 -o /tmp/evaluation-result-4435456-1721094828/solver-4435456-1721094828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833382 --watchdog 3760 mixed-bag HOME/instance-4435456-1721094828.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=835361, runsolver pid=835357
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.15 4.12 4.09 4/254 835371
/proc/meminfo: memFree=128312836/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=93252 memory=26248 CPUtime=0.09 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 3052 0 0 0 9 0 0 0 20 0 1 0 161653656 95490048 6562 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 23313 6562 4020 3002 0 7064 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93252 KiB
Current children cumulated memory: 26248 KiB
[startup+0.205721 s]*
/proc/loadavg: 4.15 4.12 4.09 4/251 835388
/proc/meminfo: memFree=128329712/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=93252 memory=26248 CPUtime=0.2 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 3064 0 0 0 20 0 0 0 20 0 1 0 161653656 95490048 6562 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 23313 6562 4020 3002 0 7064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93252 KiB
Current children cumulated memory: 26248 KiB
[startup+0.305559 s]*
/proc/loadavg: 4.15 4.12 4.09 6/254 835397
/proc/meminfo: memFree=128306176/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=93544 memory=26440 CPUtime=0.3 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 3140 0 0 0 30 0 0 0 20 0 1 0 161653656 95789056 6610 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 23386 6610 4020 3002 0 7137 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93544 KiB
Current children cumulated memory: 26440 KiB
[startup+0.70022 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 835403
/proc/meminfo: memFree=128302512/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=111112 memory=43860 CPUtime=0.68 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 7495 0 0 0 68 0 0 0 20 0 1 0 161653656 113778688 10965 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 27778 10965 4020 3002 0 11529 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111112 KiB
Current children cumulated memory: 43860 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 4.12 4.09 4/251 835435
/proc/meminfo: memFree=128692060/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=188352 memory=119040 CPUtime=1.48 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 27762 0 0 0 145 3 0 0 20 0 1 0 161653656 192872448 29760 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 47088 29760 4020 3002 0 30839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188352 KiB
Current children cumulated memory: 119040 KiB
[startup+3.10538 s]
/proc/loadavg: 4.14 4.12 4.09 4/255 835450
/proc/meminfo: memFree=128773124/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=227172 memory=154680 CPUtime=3.08 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 36677 0 0 0 304 4 0 0 20 0 1 0 161653656 232624128 38670 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 56793 38670 4020 3002 0 40544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 227172 KiB
Current children cumulated memory: 154680 KiB
[startup+6.30014 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835497
/proc/meminfo: memFree=128626128/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=227172 memory=154680 CPUtime=6.27 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 36681 0 0 0 623 4 0 0 20 0 1 0 161653656 232624128 38670 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 56793 38670 4020 3002 0 40544 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 227172 KiB
Current children cumulated memory: 154680 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 835499
/proc/meminfo: memFree=128621452/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=233008 memory=161984 CPUtime=12.66 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 38462 0 0 0 1261 5 0 0 20 0 1 0 161653656 238600192 40496 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 58252 40496 4020 3002 0 42003 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 233008 KiB
Current children cumulated memory: 161984 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 835501
/proc/meminfo: memFree=128346728/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=322564 memory=249332 CPUtime=25.42 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 61208 0 0 0 2534 8 0 0 20 0 1 0 161653656 330305536 62333 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 80641 62333 4020 3002 0 64392 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 322564 KiB
Current children cumulated memory: 249332 KiB
[startup+51.1054 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 835505
/proc/meminfo: memFree=128317264/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=322248 memory=249532 CPUtime=50.96 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 61281 0 0 0 5088 8 0 0 20 0 1 0 161653656 329981952 62383 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 80562 62383 4020 3002 0 64313 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 322248 KiB
Current children cumulated memory: 249532 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 835898
/proc/meminfo: memFree=128272616/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=330276 memory=260740 CPUtime=102.03 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 63264 0 0 0 10194 9 0 0 20 0 1 0 161653656 338202624 65185 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 82569 65185 4029 3002 0 66320 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 330276 KiB
Current children cumulated memory: 260740 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 835908
/proc/meminfo: memFree=128044304/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=369316 memory=301876 CPUtime=161.87 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 73050 0 0 0 16177 10 0 0 20 0 1 0 161653656 378179584 75469 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 92329 75469 4029 3002 0 76080 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 369316 KiB
Current children cumulated memory: 301876 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 835919
/proc/meminfo: memFree=127972356/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=369316 memory=307172 CPUtime=221.71 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 73221 0 0 0 22161 10 0 0 20 0 1 0 161653656 378179584 76793 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 92329 76793 4029 3002 0 76080 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 369316 KiB
Current children cumulated memory: 307172 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 836098
/proc/meminfo: memFree=127968716/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=369316 memory=307300 CPUtime=281.53 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 73340 0 0 0 28143 10 0 0 20 0 1 0 161653656 378179584 76825 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 92329 76825 4029 3002 0 76080 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 369316 KiB
Current children cumulated memory: 307300 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 836109
/proc/meminfo: memFree=128100584/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=319776 memory=257848 CPUtime=341.34 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 75425 0 0 0 34064 70 0 0 20 0 1 0 161653656 327450624 64462 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 79944 64462 4188 3002 0 63695 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 319776 KiB
Current children cumulated memory: 257848 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 836121
/proc/meminfo: memFree=128063992/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=338744 memory=263720 CPUtime=401.16 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 75963 0 0 0 40008 108 0 0 20 0 1 0 161653656 346873856 65930 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 84686 65930 4188 3002 0 68437 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 338744 KiB
Current children cumulated memory: 263720 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 836143
/proc/meminfo: memFree=128044104/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=338744 memory=270252 CPUtime=460.97 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 76098 0 0 0 45942 155 0 0 20 0 1 0 161653656 346873856 67563 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 84686 67563 4188 3002 0 68437 0
################
# More data... #
################
Current children cumulated memory: 320664 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/256 837197
/proc/meminfo: memFree=127796372/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=2854.69 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80375 0 0 0 284613 856 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 837209
/proc/meminfo: memFree=127795712/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=2914.52 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80441 0 0 0 290586 866 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/257 837219
/proc/meminfo: memFree=127794824/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=2974.36 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80510 0 0 0 296559 877 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/257 837231
/proc/meminfo: memFree=127793088/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3034.2 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80576 0 0 0 302528 892 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/255 837241
/proc/meminfo: memFree=127790136/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3094.04 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80710 0 0 0 308497 907 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 837252
/proc/meminfo: memFree=127786328/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3153.88 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80777 0 0 0 314467 921 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3222.3 s]
/proc/loadavg: 4.33 4.19 4.13 5/255 837264
/proc/meminfo: memFree=127783424/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3213.72 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80847 0 0 0 320439 933 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.18 4.13 5/255 837274
/proc/meminfo: memFree=127781844/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3273.55 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 80951 0 0 0 326412 943 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/255 837284
/proc/meminfo: memFree=127779156/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3333.4 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 81054 0 0 0 332384 956 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 837298
/proc/meminfo: memFree=127776276/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3393.25 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 81169 0 0 0 338357 968 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.39 4.20 4.13 5/257 837309
/proc/meminfo: memFree=127775332/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3453.1 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 81278 0 0 0 344334 976 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.21 4.14 5/256 837320
/proc/meminfo: memFree=127773240/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=320664 CPUtime=3512.95 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 81379 0 0 0 350309 986 0 0 20 0 1 0 161653656 429723648 80166 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80166 4188 3002 0 88664 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 320664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.20 4.14 5/256 837331
/proc/meminfo: memFree=127765464/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=322712 CPUtime=3572.8 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 81495 0 0 0 356283 997 0 0 20 0 1 0 161653656 429723648 80678 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80678 4188 3002 0 88664 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 322712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.20 4.20 4.14 5/256 837336
/proc/meminfo: memFree=127765284/131524600 swapFree=131071996/131071996
[pid=835361] ppid=835357 vsize=419652 memory=322712 CPUtime=3600.04 cores=5,7
/proc/835361/stat : 835361 (mixed-bag) R 835357 835361 833369 0 -1 4194304 81586 0 0 0 359002 1002 0 0 20 0 1 0 161653656 429723648 80678 134679101440 4194304 16487941 140725985918576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 26243072 140725985924119 140725985924196 140725985924196 140725985931211 0
/proc/835361/statm: 104913 80678 4188 3002 0 88664 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 419652 KiB
Current children cumulated memory: 322712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 835361 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.03 s, system=10.0252 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.05
CPU user time (s): 3590.03
CPU system time (s): 10.0252
CPU usage (%): 99.7353
Max. virtual memory (cumulated for all children) (KiB): 419652
Max. memory (cumulated for all children) (KiB): 322712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.03
system time used= 10.0252
maximum resident set size= 323436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 1259
# summary of solver processes directly reported to runsolver:
# pid: 835361
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.03
# total CPU system time (s): 10.0252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57729 second user time and 17.6564 second system time
The end
Begin job on nodeC035 at 2024-07-16 03:54:01
IDJOB=4435456
IDBENCH=147543
IDSOLVER=3066
FILE ID=nodeC035/4435456-1721094828
RUNJOBID= nodeC035-1721091231-833382
SLURM_JOB_ID= 7505584
Free space on /tmp= 890020 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435456-1721094828/watcher-4435456-1721094828 -o /tmp/evaluation-result-4435456-1721094828/solver-4435456-1721094828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833382 --watchdog 3760 mixed-bag HOME/instance-4435456-1721094828.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=1758606305
nodeC035.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 : 3684.254
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.65
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 : 3686.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3612.158
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.65
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 : 3638.697
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3682.984
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.65
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 : 3661.622
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3669.142
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.65
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 : 3667.915
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128322952 kB
MemAvailable: 128867880 kB
Buffers: 375540 kB
Cached: 1008356 kB
SwapCached: 0 kB
Active: 696340 kB
Inactive: 1915468 kB
Active(anon): 1568 kB
Inactive(anon): 1264068 kB
Active(file): 694772 kB
Inactive(file): 651400 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15992 kB
Writeback: 24 kB
AnonPages: 1227332 kB
Mapped: 127848 kB
Shmem: 37724 kB
KReclaimable: 77156 kB
Slab: 180484 kB
SReclaimable: 77156 kB
SUnreclaim: 103328 kB
KernelStack: 4176 kB
PageTables: 12176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1706216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1114112 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-16 04:54:10