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.00 c [STEP] solving with SCIP
299.27/300.17 c [STEP] preprocessing done, loading into solver
299.27/300.17 c [STEP] solving
299.27/300.17 c #variables 477 #constraints 476
299.27/300.17 c SMALL=int, LARGE=long long
299.27/300.17 c bounds - >= 0 @ 299.105
299.27/300.17 c stratification level: 0
317.52/318.40 c bounds - >= 54 @ 299.106
317.52/318.40 c bounds - >= 55 @ 299.106
317.52/318.40 c bounds - >= 56 @ 299.106
317.52/318.40 c bounds - >= 57 @ 299.106
317.52/318.40 c bounds - >= 58 @ 299.106
317.52/318.40 c bounds - >= 59 @ 299.106
317.52/318.40 c bounds - >= 60 @ 299.106
317.52/318.40 c bounds - >= 61 @ 299.106
317.52/318.40 c bounds - >= 62 @ 299.106
317.52/318.40 c bounds - >= 63 @ 299.106
317.52/318.40 c bounds - >= 64 @ 299.106
317.52/318.40 c bounds - >= 65 @ 299.106
317.52/318.40 c bounds - >= 66 @ 299.106
317.52/318.40 c bounds - >= 67 @ 299.106
317.52/318.40 c bounds - >= 68 @ 299.106
317.52/318.40 c bounds - >= 69 @ 299.106
317.52/318.40 c bounds - >= 70 @ 299.106
317.52/318.40 c bounds - >= 71 @ 299.106
317.52/318.40 c bounds - >= 72 @ 299.106
317.52/318.40 c bounds - >= 73 @ 299.106
317.52/318.40 c bounds - >= 74 @ 299.106
317.52/318.40 c bounds - >= 75 @ 299.106
317.52/318.40 c bounds - >= 76 @ 299.106
317.52/318.40 c bounds - >= 77 @ 299.106
317.52/318.40 c bounds - >= 78 @ 299.106
317.52/318.40 c bounds - >= 79 @ 299.106
317.52/318.40 c bounds - >= 80 @ 299.107
317.52/318.40 c bounds - >= 81 @ 299.107
317.52/318.40 c bounds - >= 82 @ 299.107
317.52/318.40 c bounds - >= 83 @ 299.107
317.52/318.40 c bounds - >= 84 @ 299.107
317.52/318.40 c bounds - >= 85 @ 299.107
317.52/318.40 c bounds - >= 86 @ 299.107
317.52/318.40 c bounds - >= 87 @ 299.107
317.52/318.40 c bounds - >= 88 @ 299.107
317.52/318.40 c bounds - >= 89 @ 299.107
317.52/318.40 c bounds - >= 90 @ 299.107
317.52/318.40 c bounds - >= 91 @ 299.107
317.52/318.40 c bounds - >= 92 @ 299.107
317.52/318.40 c bounds - >= 93 @ 299.107
317.52/318.40 c bounds - >= 94 @ 299.107
317.52/318.40 c bounds - >= 95 @ 299.107
317.52/318.40 c bounds - >= 96 @ 299.107
317.52/318.40 c bounds - >= 97 @ 299.108
317.52/318.40 c bounds - >= 98 @ 299.108
317.52/318.40 c bounds - >= 99 @ 299.108
317.52/318.40 c bounds - >= 100 @ 299.108
317.52/318.40 c bounds - >= 101 @ 299.108
317.52/318.40 c bounds - >= 102 @ 299.108
317.52/318.40 c bounds - >= 103 @ 299.108
317.52/318.40 c bounds - >= 104 @ 299.108
317.52/318.40 c bounds - >= 105 @ 299.108
317.52/318.40 c bounds - >= 106 @ 299.108
317.52/318.40 c bounds - >= 107 @ 299.108
317.52/318.40 c bounds - >= 108 @ 299.108
317.52/318.40 c bounds - >= 109 @ 299.108
317.52/318.40 c bounds - >= 110 @ 299.108
317.52/318.40 c bounds - >= 111 @ 299.108
317.52/318.40 c bounds - >= 112 @ 299.108
317.52/318.40 c bounds - >= 113 @ 299.109
317.52/318.40 c bounds - >= 114 @ 299.109
317.52/318.40 c bounds - >= 115 @ 299.109
317.52/318.40 c bounds - >= 116 @ 299.109
317.52/318.40 c bounds - >= 117 @ 299.109
317.52/318.40 c bounds - >= 118 @ 299.109
317.52/318.40 c bounds - >= 119 @ 299.109
317.52/318.40 c bounds - >= 120 @ 299.11
317.52/318.40 c bounds - >= 121 @ 299.11
317.52/318.40 c bounds - >= 122 @ 299.11
317.52/318.40 c bounds - >= 123 @ 299.11
317.52/318.40 c bounds - >= 124 @ 299.11
317.52/318.40 c bounds - >= 125 @ 299.11
317.52/318.40 c bounds - >= 126 @ 299.11
317.52/318.40 c bounds - >= 127 @ 299.11
317.52/318.40 c bounds - >= 128 @ 299.11
317.52/318.40 c #Conflicts: 1000 | #Constraints: 1613
317.52/318.40 c #Conflicts: 2000 | #Constraints: 2613
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 3000 | #Constraints: 2543
317.52/318.40 c #Conflicts: 4000 | #Constraints: 3543
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 5000 | #Constraints: 2941
317.52/318.40 c #Conflicts: 6000 | #Constraints: 3941
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 7000 | #Constraints: 2941
317.52/318.40 c #Conflicts: 8000 | #Constraints: 3941
317.52/318.40 c #Conflicts: 9000 | #Constraints: 4941
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 10000 | #Constraints: 3642
317.52/318.40 c #Conflicts: 11000 | #Constraints: 4642
317.52/318.40 c #Conflicts: 12000 | #Constraints: 5642
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 13000 | #Constraints: 4097
317.52/318.40 c #Conflicts: 14000 | #Constraints: 5097
317.52/318.40 c #Conflicts: 15000 | #Constraints: 6097
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 16000 | #Constraints: 4323
317.52/318.40 c #Conflicts: 17000 | #Constraints: 5323
317.52/318.40 c #Conflicts: 18000 | #Constraints: 6323
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 19000 | #Constraints: 4334
317.52/318.40 c #Conflicts: 20000 | #Constraints: 5334
317.52/318.40 c #Conflicts: 21000 | #Constraints: 6334
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 22000 | #Constraints: 4140
317.52/318.40 c #Conflicts: 23000 | #Constraints: 5140
317.52/318.40 c #Conflicts: 24000 | #Constraints: 6140
317.52/318.40 c #Conflicts: 25000 | #Constraints: 7140
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 26000 | #Constraints: 4744
317.52/318.40 c #Conflicts: 27000 | #Constraints: 5744
317.52/318.40 c #Conflicts: 28000 | #Constraints: 6744
317.52/318.40 c #Conflicts: 29000 | #Constraints: 7744
317.52/318.40 c INPROCESSING
317.52/318.40 c GARBAGE COLLECT
317.52/318.40 c #Conflicts: 30000 | #Constraints: 5143
317.52/318.40 c #Conflicts: 31000 | #Constraints: 6143
317.52/318.40 c #Conflicts: 32000 | #Constraints: 7143
317.52/318.40 c #Conflicts: 33000 | #Constraints: 8143
317.52/318.40 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 34000 | #Constraints: 5342
414.98/416.19 c #Conflicts: 35000 | #Constraints: 6342
414.98/416.19 c #Conflicts: 36000 | #Constraints: 7342
414.98/416.19 c #Conflicts: 37000 | #Constraints: 8342
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 38000 | #Constraints: 5344
414.98/416.19 c #Conflicts: 39000 | #Constraints: 6344
414.98/416.19 c #Conflicts: 40000 | #Constraints: 7344
414.98/416.19 c #Conflicts: 41000 | #Constraints: 8344
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 42000 | #Constraints: 5153
414.98/416.19 c #Conflicts: 43000 | #Constraints: 6153
414.98/416.19 c #Conflicts: 44000 | #Constraints: 7153
414.98/416.19 c #Conflicts: 45000 | #Constraints: 8153
414.98/416.19 c #Conflicts: 46000 | #Constraints: 9153
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 47000 | #Constraints: 5752
414.98/416.19 c #Conflicts: 48000 | #Constraints: 6752
414.98/416.19 c #Conflicts: 49000 | #Constraints: 7752
414.98/416.19 c #Conflicts: 50000 | #Constraints: 8752
414.98/416.19 c #Conflicts: 51000 | #Constraints: 9752
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 52000 | #Constraints: 6157
414.98/416.19 c #Conflicts: 53000 | #Constraints: 7157
414.98/416.19 c #Conflicts: 54000 | #Constraints: 8157
414.98/416.19 c #Conflicts: 55000 | #Constraints: 9157
414.98/416.19 c #Conflicts: 56000 | #Constraints: 10157
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 57000 | #Constraints: 6354
414.98/416.19 c #Conflicts: 58000 | #Constraints: 7354
414.98/416.19 c #Conflicts: 59000 | #Constraints: 8354
414.98/416.19 c #Conflicts: 60000 | #Constraints: 9354
414.98/416.19 c #Conflicts: 61000 | #Constraints: 10354
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 62000 | #Constraints: 6351
414.98/416.19 c #Conflicts: 63000 | #Constraints: 7351
414.98/416.19 c #Conflicts: 64000 | #Constraints: 8351
414.98/416.19 c #Conflicts: 65000 | #Constraints: 9351
414.98/416.19 c #Conflicts: 66000 | #Constraints: 10351
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 67000 | #Constraints: 6146
414.98/416.19 c #Conflicts: 68000 | #Constraints: 7146
414.98/416.19 c #Conflicts: 69000 | #Constraints: 8146
414.98/416.19 c #Conflicts: 70000 | #Constraints: 9146
414.98/416.19 c #Conflicts: 71000 | #Constraints: 10146
414.98/416.19 c #Conflicts: 72000 | #Constraints: 11146
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 73000 | #Constraints: 6749
414.98/416.19 c #Conflicts: 74000 | #Constraints: 7749
414.98/416.19 c #Conflicts: 75000 | #Constraints: 8749
414.98/416.19 c #Conflicts: 76000 | #Constraints: 9749
414.98/416.19 c #Conflicts: 77000 | #Constraints: 10749
414.98/416.19 c #Conflicts: 78000 | #Constraints: 11749
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 79000 | #Constraints: 7152
414.98/416.19 c #Conflicts: 80000 | #Constraints: 8152
414.98/416.19 c #Conflicts: 81000 | #Constraints: 9152
414.98/416.19 c #Conflicts: 82000 | #Constraints: 10152
414.98/416.19 c #Conflicts: 83000 | #Constraints: 11152
414.98/416.19 c #Conflicts: 84000 | #Constraints: 12152
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 85000 | #Constraints: 7349
414.98/416.19 c #Conflicts: 86000 | #Constraints: 8349
414.98/416.19 c #Conflicts: 87000 | #Constraints: 9349
414.98/416.19 c #Conflicts: 88000 | #Constraints: 10349
414.98/416.19 c #Conflicts: 89000 | #Constraints: 11349
414.98/416.19 c #Conflicts: 90000 | #Constraints: 12349
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 91000 | #Constraints: 7350
414.98/416.19 c #Conflicts: 92000 | #Constraints: 8350
414.98/416.19 c #Conflicts: 93000 | #Constraints: 9350
414.98/416.19 c #Conflicts: 94000 | #Constraints: 10350
414.98/416.19 c #Conflicts: 95000 | #Constraints: 11350
414.98/416.19 c #Conflicts: 96000 | #Constraints: 12350
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
414.98/416.19 c #Conflicts: 97000 | #Constraints: 7150
414.98/416.19 c #Conflicts: 98000 | #Constraints: 8150
414.98/416.19 c #Conflicts: 99000 | #Constraints: 9150
414.98/416.19 c #Conflicts: 100000 | #Constraints: 10150
414.98/416.19 c #Conflicts: 101000 | #Constraints: 11150
414.98/416.19 c #Conflicts: 102000 | #Constraints: 12150
414.98/416.19 c #Conflicts: 103000 | #Constraints: 13150
414.98/416.19 c INPROCESSING
414.98/416.19 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 104000 | #Constraints: 7746
556.13/557.62 c #Conflicts: 105000 | #Constraints: 8746
556.13/557.62 c #Conflicts: 106000 | #Constraints: 9746
556.13/557.62 c #Conflicts: 107000 | #Constraints: 10746
556.13/557.62 c #Conflicts: 108000 | #Constraints: 11746
556.13/557.62 c #Conflicts: 109000 | #Constraints: 12746
556.13/557.62 c #Conflicts: 110000 | #Constraints: 13746
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 111000 | #Constraints: 8147
556.13/557.62 c #Conflicts: 112000 | #Constraints: 9147
556.13/557.62 c #Conflicts: 113000 | #Constraints: 10147
556.13/557.62 c #Conflicts: 114000 | #Constraints: 11147
556.13/557.62 c #Conflicts: 115000 | #Constraints: 12147
556.13/557.62 c #Conflicts: 116000 | #Constraints: 13147
556.13/557.62 c #Conflicts: 117000 | #Constraints: 14147
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 118000 | #Constraints: 8351
556.13/557.62 c #Conflicts: 119000 | #Constraints: 9351
556.13/557.62 c #Conflicts: 120000 | #Constraints: 10351
556.13/557.62 c #Conflicts: 121000 | #Constraints: 11351
556.13/557.62 c #Conflicts: 122000 | #Constraints: 12351
556.13/557.62 c #Conflicts: 123000 | #Constraints: 13351
556.13/557.62 c #Conflicts: 124000 | #Constraints: 14351
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 125000 | #Constraints: 8353
556.13/557.62 c #Conflicts: 126000 | #Constraints: 9353
556.13/557.62 c #Conflicts: 127000 | #Constraints: 10353
556.13/557.62 c #Conflicts: 128000 | #Constraints: 11353
556.13/557.62 c #Conflicts: 129000 | #Constraints: 12353
556.13/557.62 c #Conflicts: 130000 | #Constraints: 13353
556.13/557.62 c #Conflicts: 131000 | #Constraints: 14353
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 132000 | #Constraints: 8150
556.13/557.62 c #Conflicts: 133000 | #Constraints: 9150
556.13/557.62 c #Conflicts: 134000 | #Constraints: 10150
556.13/557.62 c #Conflicts: 135000 | #Constraints: 11150
556.13/557.62 c #Conflicts: 136000 | #Constraints: 12150
556.13/557.62 c #Conflicts: 137000 | #Constraints: 13150
556.13/557.62 c #Conflicts: 138000 | #Constraints: 14150
556.13/557.62 c #Conflicts: 139000 | #Constraints: 15150
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 140000 | #Constraints: 8751
556.13/557.62 c #Conflicts: 141000 | #Constraints: 9751
556.13/557.62 c #Conflicts: 142000 | #Constraints: 10751
556.13/557.62 c #Conflicts: 143000 | #Constraints: 11751
556.13/557.62 c #Conflicts: 144000 | #Constraints: 12751
556.13/557.62 c #Conflicts: 145000 | #Constraints: 13751
556.13/557.62 c #Conflicts: 146000 | #Constraints: 14751
556.13/557.62 c #Conflicts: 147000 | #Constraints: 15751
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 148000 | #Constraints: 9155
556.13/557.62 c #Conflicts: 149000 | #Constraints: 10155
556.13/557.62 c #Conflicts: 150000 | #Constraints: 11155
556.13/557.62 c #Conflicts: 151000 | #Constraints: 12155
556.13/557.62 c #Conflicts: 152000 | #Constraints: 13155
556.13/557.62 c #Conflicts: 153000 | #Constraints: 14155
556.13/557.62 c #Conflicts: 154000 | #Constraints: 15155
556.13/557.62 c #Conflicts: 155000 | #Constraints: 16155
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 156000 | #Constraints: 9352
556.13/557.62 c #Conflicts: 157000 | #Constraints: 10352
556.13/557.62 c #Conflicts: 158000 | #Constraints: 11352
556.13/557.62 c #Conflicts: 159000 | #Constraints: 12352
556.13/557.62 c #Conflicts: 160000 | #Constraints: 13352
556.13/557.62 c #Conflicts: 161000 | #Constraints: 14352
556.13/557.62 c #Conflicts: 162000 | #Constraints: 15352
556.13/557.62 c #Conflicts: 163000 | #Constraints: 16352
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 164000 | #Constraints: 9349
556.13/557.62 c #Conflicts: 165000 | #Constraints: 10349
556.13/557.62 c #Conflicts: 166000 | #Constraints: 11349
556.13/557.62 c #Conflicts: 167000 | #Constraints: 12349
556.13/557.62 c #Conflicts: 168000 | #Constraints: 13349
556.13/557.62 c #Conflicts: 169000 | #Constraints: 14349
556.13/557.62 c #Conflicts: 170000 | #Constraints: 15349
556.13/557.62 c #Conflicts: 171000 | #Constraints: 16349
556.13/557.62 c INPROCESSING
556.13/557.62 c GARBAGE COLLECT
556.13/557.62 c #Conflicts: 172000 | #Constraints: 9148
556.13/557.62 c #Conflicts: 173000 | #Constraints: 10148
556.13/557.62 c #Conflicts: 174000 | #Constraints: 11148
556.13/557.62 c #Conflicts: 175000 | #Constraints: 12148
556.13/557.62 c #Conflicts: 176000 | #Constraints: 13148
556.13/557.62 c #Conflicts: 177000 | #Constraints: 14148
734.00/735.95 c #Conflicts: 178000 | #Constraints: 15148
734.00/735.95 c #Conflicts: 179000 | #Constraints: 16148
734.00/735.95 c #Conflicts: 180000 | #Constraints: 17148
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 181000 | #Constraints: 9748
734.00/735.95 c #Conflicts: 182000 | #Constraints: 10748
734.00/735.95 c #Conflicts: 183000 | #Constraints: 11748
734.00/735.95 c #Conflicts: 184000 | #Constraints: 12748
734.00/735.95 c #Conflicts: 185000 | #Constraints: 13748
734.00/735.95 c #Conflicts: 186000 | #Constraints: 14748
734.00/735.95 c #Conflicts: 187000 | #Constraints: 15748
734.00/735.95 c #Conflicts: 188000 | #Constraints: 16748
734.00/735.95 c #Conflicts: 189000 | #Constraints: 17748
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 190000 | #Constraints: 10150
734.00/735.95 c #Conflicts: 191000 | #Constraints: 11150
734.00/735.95 c #Conflicts: 192000 | #Constraints: 12150
734.00/735.95 c #Conflicts: 193000 | #Constraints: 13150
734.00/735.95 c #Conflicts: 194000 | #Constraints: 14150
734.00/735.95 c #Conflicts: 195000 | #Constraints: 15150
734.00/735.95 c #Conflicts: 196000 | #Constraints: 16150
734.00/735.95 c #Conflicts: 197000 | #Constraints: 17150
734.00/735.95 c #Conflicts: 198000 | #Constraints: 18150
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 199000 | #Constraints: 10355
734.00/735.95 c #Conflicts: 200000 | #Constraints: 11355
734.00/735.95 c #Conflicts: 201000 | #Constraints: 12355
734.00/735.95 c #Conflicts: 202000 | #Constraints: 13355
734.00/735.95 c #Conflicts: 203000 | #Constraints: 14355
734.00/735.95 c #Conflicts: 204000 | #Constraints: 15355
734.00/735.95 c #Conflicts: 205000 | #Constraints: 16355
734.00/735.95 c #Conflicts: 206000 | #Constraints: 17355
734.00/735.95 c #Conflicts: 207000 | #Constraints: 18355
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 208000 | #Constraints: 10353
734.00/735.95 c #Conflicts: 209000 | #Constraints: 11353
734.00/735.95 c #Conflicts: 210000 | #Constraints: 12353
734.00/735.95 c #Conflicts: 211000 | #Constraints: 13353
734.00/735.95 c #Conflicts: 212000 | #Constraints: 14353
734.00/735.95 c #Conflicts: 213000 | #Constraints: 15353
734.00/735.95 c #Conflicts: 214000 | #Constraints: 16353
734.00/735.95 c #Conflicts: 215000 | #Constraints: 17353
734.00/735.95 c #Conflicts: 216000 | #Constraints: 18353
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 217000 | #Constraints: 10156
734.00/735.95 c #Conflicts: 218000 | #Constraints: 11156
734.00/735.95 c #Conflicts: 219000 | #Constraints: 12156
734.00/735.95 c #Conflicts: 220000 | #Constraints: 13156
734.00/735.95 c #Conflicts: 221000 | #Constraints: 14156
734.00/735.95 c #Conflicts: 222000 | #Constraints: 15156
734.00/735.95 c #Conflicts: 223000 | #Constraints: 16156
734.00/735.95 c #Conflicts: 224000 | #Constraints: 17156
734.00/735.95 c #Conflicts: 225000 | #Constraints: 18156
734.00/735.95 c #Conflicts: 226000 | #Constraints: 19156
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 227000 | #Constraints: 10755
734.00/735.95 c #Conflicts: 228000 | #Constraints: 11755
734.00/735.95 c #Conflicts: 229000 | #Constraints: 12755
734.00/735.95 c #Conflicts: 230000 | #Constraints: 13755
734.00/735.95 c #Conflicts: 231000 | #Constraints: 14755
734.00/735.95 c #Conflicts: 232000 | #Constraints: 15755
734.00/735.95 c #Conflicts: 233000 | #Constraints: 16755
734.00/735.95 c #Conflicts: 234000 | #Constraints: 17755
734.00/735.95 c #Conflicts: 235000 | #Constraints: 18755
734.00/735.95 c #Conflicts: 236000 | #Constraints: 19755
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 237000 | #Constraints: 11151
734.00/735.95 c #Conflicts: 238000 | #Constraints: 12151
734.00/735.95 c #Conflicts: 239000 | #Constraints: 13151
734.00/735.95 c #Conflicts: 240000 | #Constraints: 14151
734.00/735.95 c #Conflicts: 241000 | #Constraints: 15151
734.00/735.95 c #Conflicts: 242000 | #Constraints: 16151
734.00/735.95 c #Conflicts: 243000 | #Constraints: 17151
734.00/735.95 c #Conflicts: 244000 | #Constraints: 18151
734.00/735.95 c #Conflicts: 245000 | #Constraints: 19151
734.00/735.95 c #Conflicts: 246000 | #Constraints: 20151
734.00/735.95 c INPROCESSING
734.00/735.95 c GARBAGE COLLECT
734.00/735.95 c #Conflicts: 247000 | #Constraints: 11351
734.00/735.95 c #Conflicts: 248000 | #Constraints: 12351
734.00/735.95 c #Conflicts: 249000 | #Constraints: 13351
734.00/735.95 c #Conflicts: 250000 | #Constraints: 14351
943.20/945.68 c #Conflicts: 251000 | #Constraints: 15351
943.20/945.68 c #Conflicts: 252000 | #Constraints: 16351
943.20/945.68 c #Conflicts: 253000 | #Constraints: 17351
943.20/945.68 c #Conflicts: 254000 | #Constraints: 18351
943.20/945.68 c #Conflicts: 255000 | #Constraints: 19351
943.20/945.68 c #Conflicts: 256000 | #Constraints: 20351
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 257000 | #Constraints: 11353
943.20/945.68 c #Conflicts: 258000 | #Constraints: 12353
943.20/945.68 c #Conflicts: 259000 | #Constraints: 13353
943.20/945.68 c #Conflicts: 260000 | #Constraints: 14353
943.20/945.68 c #Conflicts: 261000 | #Constraints: 15353
943.20/945.68 c #Conflicts: 262000 | #Constraints: 16353
943.20/945.68 c #Conflicts: 263000 | #Constraints: 17353
943.20/945.68 c #Conflicts: 264000 | #Constraints: 18353
943.20/945.68 c #Conflicts: 265000 | #Constraints: 19353
943.20/945.68 c #Conflicts: 266000 | #Constraints: 20353
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 267000 | #Constraints: 11156
943.20/945.68 c #Conflicts: 268000 | #Constraints: 12156
943.20/945.68 c #Conflicts: 269000 | #Constraints: 13156
943.20/945.68 c #Conflicts: 270000 | #Constraints: 14156
943.20/945.68 c #Conflicts: 271000 | #Constraints: 15156
943.20/945.68 c #Conflicts: 272000 | #Constraints: 16156
943.20/945.68 c #Conflicts: 273000 | #Constraints: 17156
943.20/945.68 c #Conflicts: 274000 | #Constraints: 18156
943.20/945.68 c #Conflicts: 275000 | #Constraints: 19156
943.20/945.68 c #Conflicts: 276000 | #Constraints: 20156
943.20/945.68 c #Conflicts: 277000 | #Constraints: 21156
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 278000 | #Constraints: 11752
943.20/945.68 c #Conflicts: 279000 | #Constraints: 12752
943.20/945.68 c #Conflicts: 280000 | #Constraints: 13752
943.20/945.68 c #Conflicts: 281000 | #Constraints: 14752
943.20/945.68 c #Conflicts: 282000 | #Constraints: 15752
943.20/945.68 c #Conflicts: 283000 | #Constraints: 16752
943.20/945.68 c #Conflicts: 284000 | #Constraints: 17752
943.20/945.68 c #Conflicts: 285000 | #Constraints: 18752
943.20/945.68 c #Conflicts: 286000 | #Constraints: 19752
943.20/945.68 c #Conflicts: 287000 | #Constraints: 20752
943.20/945.68 c #Conflicts: 288000 | #Constraints: 21752
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 289000 | #Constraints: 12152
943.20/945.68 c #Conflicts: 290000 | #Constraints: 13152
943.20/945.68 c #Conflicts: 291000 | #Constraints: 14152
943.20/945.68 c #Conflicts: 292000 | #Constraints: 15152
943.20/945.68 c #Conflicts: 293000 | #Constraints: 16152
943.20/945.68 c #Conflicts: 294000 | #Constraints: 17152
943.20/945.68 c #Conflicts: 295000 | #Constraints: 18152
943.20/945.68 c #Conflicts: 296000 | #Constraints: 19152
943.20/945.68 c #Conflicts: 297000 | #Constraints: 20152
943.20/945.68 c #Conflicts: 298000 | #Constraints: 21152
943.20/945.68 c #Conflicts: 299000 | #Constraints: 22152
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 300000 | #Constraints: 12351
943.20/945.68 c #Conflicts: 301000 | #Constraints: 13351
943.20/945.68 c #Conflicts: 302000 | #Constraints: 14351
943.20/945.68 c #Conflicts: 303000 | #Constraints: 15351
943.20/945.68 c #Conflicts: 304000 | #Constraints: 16351
943.20/945.68 c #Conflicts: 305000 | #Constraints: 17351
943.20/945.68 c #Conflicts: 306000 | #Constraints: 18351
943.20/945.68 c #Conflicts: 307000 | #Constraints: 19351
943.20/945.68 c #Conflicts: 308000 | #Constraints: 20351
943.20/945.68 c #Conflicts: 309000 | #Constraints: 21351
943.20/945.68 c #Conflicts: 310000 | #Constraints: 22351
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 311000 | #Constraints: 12350
943.20/945.68 c #Conflicts: 312000 | #Constraints: 13350
943.20/945.68 c #Conflicts: 313000 | #Constraints: 14350
943.20/945.68 c #Conflicts: 314000 | #Constraints: 15350
943.20/945.68 c #Conflicts: 315000 | #Constraints: 16350
943.20/945.68 c #Conflicts: 316000 | #Constraints: 17350
943.20/945.68 c #Conflicts: 317000 | #Constraints: 18350
943.20/945.68 c #Conflicts: 318000 | #Constraints: 19350
943.20/945.68 c #Conflicts: 319000 | #Constraints: 20350
943.20/945.68 c #Conflicts: 320000 | #Constraints: 21350
943.20/945.68 c #Conflicts: 321000 | #Constraints: 22350
943.20/945.68 c INPROCESSING
943.20/945.68 c GARBAGE COLLECT
943.20/945.68 c #Conflicts: 322000 | #Constraints: 12155
943.20/945.68 c #Conflicts: 323000 | #Constraints: 13155
943.20/945.68 c #Conflicts: 324000 | #Constraints: 14155
943.20/945.68 c #Conflicts: 325000 | #Constraints: 15155
1189.50/1192.53 c #Conflicts: 326000 | #Constraints: 16155
1189.50/1192.53 c #Conflicts: 327000 | #Constraints: 17155
1189.50/1192.53 c #Conflicts: 328000 | #Constraints: 18155
1189.50/1192.53 c #Conflicts: 329000 | #Constraints: 19155
1189.50/1192.53 c #Conflicts: 330000 | #Constraints: 20155
1189.50/1192.53 c #Conflicts: 331000 | #Constraints: 21155
1189.50/1192.53 c #Conflicts: 332000 | #Constraints: 22155
1189.50/1192.53 c #Conflicts: 333000 | #Constraints: 23155
1189.50/1192.53 c INPROCESSING
1189.50/1192.53 c GARBAGE COLLECT
1189.50/1192.53 c #Conflicts: 334000 | #Constraints: 12753
1189.50/1192.53 c #Conflicts: 335000 | #Constraints: 13753
1189.50/1192.53 c #Conflicts: 336000 | #Constraints: 14753
1189.50/1192.53 c #Conflicts: 337000 | #Constraints: 15753
1189.50/1192.53 c #Conflicts: 338000 | #Constraints: 16753
1189.50/1192.53 c #Conflicts: 339000 | #Constraints: 17753
1189.50/1192.53 c #Conflicts: 340000 | #Constraints: 18753
1189.50/1192.53 c #Conflicts: 341000 | #Constraints: 19753
1189.50/1192.53 c #Conflicts: 342000 | #Constraints: 20753
1189.50/1192.53 c #Conflicts: 343000 | #Constraints: 21753
1189.50/1192.53 c #Conflicts: 344000 | #Constraints: 22753
1189.50/1192.53 c #Conflicts: 345000 | #Constraints: 23753
1189.50/1192.53 c INPROCESSING
1189.50/1192.53 c GARBAGE COLLECT
1189.50/1192.53 c #Conflicts: 346000 | #Constraints: 13152
1189.50/1192.53 c #Conflicts: 347000 | #Constraints: 14152
1189.50/1192.53 c #Conflicts: 348000 | #Constraints: 15152
1189.50/1192.53 c #Conflicts: 349000 | #Constraints: 16152
1189.50/1192.53 c #Conflicts: 350000 | #Constraints: 17152
1189.50/1192.53 c #Conflicts: 351000 | #Constraints: 18152
1189.50/1192.53 c #Conflicts: 352000 | #Constraints: 19152
1189.50/1192.53 c #Conflicts: 353000 | #Constraints: 20152
1189.50/1192.53 c #Conflicts: 354000 | #Constraints: 21152
1189.50/1192.53 c #Conflicts: 355000 | #Constraints: 22152
1189.50/1192.53 c #Conflicts: 356000 | #Constraints: 23152
1189.50/1192.53 c #Conflicts: 357000 | #Constraints: 24152
1189.50/1192.53 c INPROCESSING
1189.50/1192.53 c GARBAGE COLLECT
1189.50/1192.53 c #Conflicts: 358000 | #Constraints: 13347
1189.50/1192.53 c #Conflicts: 359000 | #Constraints: 14347
1189.50/1192.53 c #Conflicts: 360000 | #Constraints: 15347
1189.50/1192.53 c #Conflicts: 361000 | #Constraints: 16347
1189.50/1192.53 c #Conflicts: 362000 | #Constraints: 17347
1189.50/1192.53 c #Conflicts: 363000 | #Constraints: 18347
1189.50/1192.53 c #Conflicts: 364000 | #Constraints: 19347
1189.50/1192.53 c #Conflicts: 365000 | #Constraints: 20347
1189.50/1192.53 c #Conflicts: 366000 | #Constraints: 21347
1189.50/1192.53 c #Conflicts: 367000 | #Constraints: 22347
1189.50/1192.53 c #Conflicts: 368000 | #Constraints: 23347
1189.50/1192.53 c #Conflicts: 369000 | #Constraints: 24347
1189.50/1192.53 c INPROCESSING
1189.50/1192.53 c GARBAGE COLLECT
1189.50/1192.53 c #Conflicts: 370000 | #Constraints: 13350
1189.50/1192.53 c #Conflicts: 371000 | #Constraints: 14350
1189.50/1192.53 c #Conflicts: 372000 | #Constraints: 15350
1189.50/1192.53 c #Conflicts: 373000 | #Constraints: 16350
1189.50/1192.53 c #Conflicts: 374000 | #Constraints: 17350
1189.50/1192.53 c #Conflicts: 375000 | #Constraints: 18350
1189.50/1192.53 c #Conflicts: 376000 | #Constraints: 19350
1189.50/1192.53 c #Conflicts: 377000 | #Constraints: 20350
1189.50/1192.53 c #Conflicts: 378000 | #Constraints: 21350
1189.50/1192.53 c #Conflicts: 379000 | #Constraints: 22350
1189.50/1192.53 c #Conflicts: 380000 | #Constraints: 23350
1189.50/1192.53 c #Conflicts: 381000 | #Constraints: 24350
1189.50/1192.53 c INPROCESSING
1189.50/1192.53 c GARBAGE COLLECT
1189.50/1192.53 c #Conflicts: 382000 | #Constraints: 13149
1189.50/1192.53 c #Conflicts: 383000 | #Constraints: 14149
1189.50/1192.53 c #Conflicts: 384000 | #Constraints: 15149
1189.50/1192.53 c #Conflicts: 385000 | #Constraints: 16149
1189.50/1192.53 c #Conflicts: 386000 | #Constraints: 17149
1189.50/1192.53 c #Conflicts: 387000 | #Constraints: 18149
1189.50/1192.53 c #Conflicts: 388000 | #Constraints: 19149
1189.50/1192.53 c #Conflicts: 389000 | #Constraints: 20149
1189.50/1192.53 c #Conflicts: 390000 | #Constraints: 21149
1189.50/1192.53 c #Conflicts: 391000 | #Constraints: 22149
1189.50/1192.53 c #Conflicts: 392000 | #Constraints: 23149
1189.50/1192.53 c #Conflicts: 393000 | #Constraints: 24149
1189.50/1192.53 c #Conflicts: 394000 | #Constraints: 25149
1189.50/1192.53 c INPROCESSING
1189.50/1192.53 c GARBAGE COLLECT
1189.50/1192.53 c #Conflicts: 395000 | #Constraints: 13749
1189.50/1192.53 c #Conflicts: 396000 | #Constraints: 14749
1189.50/1192.53 c #Conflicts: 397000 | #Constraints: 15749
1189.50/1192.53 c #Conflicts: 398000 | #Constraints: 16749
1189.50/1192.53 c #Conflicts: 399000 | #Constraints: 17749
1189.50/1192.53 c #Conflicts: 400000 | #Constraints: 18749
1514.60/1518.45 c #Conflicts: 401000 | #Constraints: 19749
1514.60/1518.45 c #Conflicts: 402000 | #Constraints: 20749
1514.60/1518.45 c #Conflicts: 403000 | #Constraints: 21749
1514.60/1518.45 c #Conflicts: 404000 | #Constraints: 22749
1514.60/1518.45 c #Conflicts: 405000 | #Constraints: 23749
1514.60/1518.45 c #Conflicts: 406000 | #Constraints: 24749
1514.60/1518.45 c #Conflicts: 407000 | #Constraints: 25749
1514.60/1518.45 c INPROCESSING
1514.60/1518.45 c GARBAGE COLLECT
1514.60/1518.45 c #Conflicts: 408000 | #Constraints: 14148
1514.60/1518.45 c #Conflicts: 409000 | #Constraints: 15148
1514.60/1518.45 c #Conflicts: 410000 | #Constraints: 16148
1514.60/1518.45 c #Conflicts: 411000 | #Constraints: 17148
1514.60/1518.45 c #Conflicts: 412000 | #Constraints: 18148
1514.60/1518.45 c #Conflicts: 413000 | #Constraints: 19148
1514.60/1518.45 c #Conflicts: 414000 | #Constraints: 20148
1514.60/1518.45 c #Conflicts: 415000 | #Constraints: 21148
1514.60/1518.45 c #Conflicts: 416000 | #Constraints: 22148
1514.60/1518.45 c #Conflicts: 417000 | #Constraints: 23148
1514.60/1518.45 c #Conflicts: 418000 | #Constraints: 24148
1514.60/1518.45 c #Conflicts: 419000 | #Constraints: 25148
1514.60/1518.45 c #Conflicts: 420000 | #Constraints: 26148
1514.60/1518.45 c INPROCESSING
1514.60/1518.45 c GARBAGE COLLECT
1514.60/1518.45 c #Conflicts: 421000 | #Constraints: 14351
1514.60/1518.45 c #Conflicts: 422000 | #Constraints: 15351
1514.60/1518.45 c #Conflicts: 423000 | #Constraints: 16351
1514.60/1518.45 c #Conflicts: 424000 | #Constraints: 17351
1514.60/1518.45 c #Conflicts: 425000 | #Constraints: 18351
1514.60/1518.45 c #Conflicts: 426000 | #Constraints: 19351
1514.60/1518.45 c #Conflicts: 427000 | #Constraints: 20351
1514.60/1518.45 c #Conflicts: 428000 | #Constraints: 21351
1514.60/1518.45 c #Conflicts: 429000 | #Constraints: 22351
1514.60/1518.45 c #Conflicts: 430000 | #Constraints: 23351
1514.60/1518.45 c #Conflicts: 431000 | #Constraints: 24351
1514.60/1518.45 c #Conflicts: 432000 | #Constraints: 25351
1514.60/1518.45 c #Conflicts: 433000 | #Constraints: 26351
1514.60/1518.45 c INPROCESSING
1514.60/1518.45 c GARBAGE COLLECT
1514.60/1518.45 c #Conflicts: 434000 | #Constraints: 14348
1514.60/1518.45 c #Conflicts: 435000 | #Constraints: 15348
1514.60/1518.45 c #Conflicts: 436000 | #Constraints: 16348
1514.60/1518.45 c #Conflicts: 437000 | #Constraints: 17348
1514.60/1518.45 c #Conflicts: 438000 | #Constraints: 18348
1514.60/1518.45 c #Conflicts: 439000 | #Constraints: 19348
1514.60/1518.45 c #Conflicts: 440000 | #Constraints: 20348
1514.60/1518.45 c #Conflicts: 441000 | #Constraints: 21348
1514.60/1518.45 c #Conflicts: 442000 | #Constraints: 22348
1514.60/1518.45 c #Conflicts: 443000 | #Constraints: 23348
1514.60/1518.45 c #Conflicts: 444000 | #Constraints: 24348
1514.60/1518.45 c #Conflicts: 445000 | #Constraints: 25348
1514.60/1518.45 c #Conflicts: 446000 | #Constraints: 26348
1514.60/1518.45 c INPROCESSING
1514.60/1518.45 c GARBAGE COLLECT
1514.60/1518.45 c #Conflicts: 447000 | #Constraints: 14154
1514.60/1518.45 c #Conflicts: 448000 | #Constraints: 15154
1514.60/1518.45 c #Conflicts: 449000 | #Constraints: 16154
1514.60/1518.45 c #Conflicts: 450000 | #Constraints: 17154
1514.60/1518.45 c #Conflicts: 451000 | #Constraints: 18154
1514.60/1518.45 c #Conflicts: 452000 | #Constraints: 19154
1514.60/1518.45 c #Conflicts: 453000 | #Constraints: 20154
1514.60/1518.45 c #Conflicts: 454000 | #Constraints: 21154
1514.60/1518.45 c #Conflicts: 455000 | #Constraints: 22154
1514.60/1518.45 c #Conflicts: 456000 | #Constraints: 23154
1514.60/1518.45 c #Conflicts: 457000 | #Constraints: 24154
1514.60/1518.45 c #Conflicts: 458000 | #Constraints: 25154
1514.60/1518.45 c #Conflicts: 459000 | #Constraints: 26154
1514.60/1518.45 c #Conflicts: 460000 | #Constraints: 27154
1514.60/1518.45 c INPROCESSING
1514.60/1518.45 c GARBAGE COLLECT
1514.60/1518.45 c #Conflicts: 461000 | #Constraints: 14754
1514.60/1518.45 c #Conflicts: 462000 | #Constraints: 15754
1514.60/1518.45 c #Conflicts: 463000 | #Constraints: 16754
1514.60/1518.45 c #Conflicts: 464000 | #Constraints: 17754
1514.60/1518.45 c #Conflicts: 465000 | #Constraints: 18754
1514.60/1518.45 c #Conflicts: 466000 | #Constraints: 19754
1514.60/1518.45 c #Conflicts: 467000 | #Constraints: 20754
1514.60/1518.45 c #Conflicts: 468000 | #Constraints: 21754
1514.60/1518.45 c #Conflicts: 469000 | #Constraints: 22754
1514.60/1518.45 c #Conflicts: 470000 | #Constraints: 23754
1514.60/1518.45 c #Conflicts: 471000 | #Constraints: 24754
1514.60/1518.45 c #Conflicts: 472000 | #Constraints: 25754
1514.60/1518.45 c #Conflicts: 473000 | #Constraints: 26754
1514.60/1518.45 c #Conflicts: 474000 | #Constraints: 27754
1514.60/1518.45 c INPROCESSING
1514.60/1518.45 c GARBAGE COLLECT
1829.65/1834.24 c #Conflicts: 475000 | #Constraints: 15152
1829.65/1834.24 c #Conflicts: 476000 | #Constraints: 16152
1829.65/1834.24 c #Conflicts: 477000 | #Constraints: 17152
1829.65/1834.24 c #Conflicts: 478000 | #Constraints: 18152
1829.65/1834.24 c #Conflicts: 479000 | #Constraints: 19152
1829.65/1834.24 c #Conflicts: 480000 | #Constraints: 20152
1829.65/1834.24 c #Conflicts: 481000 | #Constraints: 21152
1829.65/1834.24 c #Conflicts: 482000 | #Constraints: 22152
1829.65/1834.24 c #Conflicts: 483000 | #Constraints: 23152
1829.65/1834.24 c #Conflicts: 484000 | #Constraints: 24152
1829.65/1834.24 c #Conflicts: 485000 | #Constraints: 25152
1829.65/1834.24 c #Conflicts: 486000 | #Constraints: 26152
1829.65/1834.24 c #Conflicts: 487000 | #Constraints: 27152
1829.65/1834.24 c #Conflicts: 488000 | #Constraints: 28152
1829.65/1834.24 c INPROCESSING
1829.65/1834.24 c GARBAGE COLLECT
1829.65/1834.24 c #Conflicts: 489000 | #Constraints: 15353
1829.65/1834.24 c #Conflicts: 490000 | #Constraints: 16353
1829.65/1834.24 c #Conflicts: 491000 | #Constraints: 17353
1829.65/1834.24 c #Conflicts: 492000 | #Constraints: 18353
1829.65/1834.24 c #Conflicts: 493000 | #Constraints: 19353
1829.65/1834.24 c #Conflicts: 494000 | #Constraints: 20353
1829.65/1834.24 c #Conflicts: 495000 | #Constraints: 21353
1829.65/1834.24 c #Conflicts: 496000 | #Constraints: 22353
1829.65/1834.24 c #Conflicts: 497000 | #Constraints: 23353
1829.65/1834.24 c #Conflicts: 498000 | #Constraints: 24353
1829.65/1834.24 c #Conflicts: 499000 | #Constraints: 25353
1829.65/1834.24 c #Conflicts: 500000 | #Constraints: 26353
1829.65/1834.24 c #Conflicts: 501000 | #Constraints: 27353
1829.65/1834.24 c #Conflicts: 502000 | #Constraints: 28353
1829.65/1834.24 c INPROCESSING
1829.65/1834.24 c GARBAGE COLLECT
1829.65/1834.24 c #Conflicts: 503000 | #Constraints: 15353
1829.65/1834.24 c #Conflicts: 504000 | #Constraints: 16353
1829.65/1834.24 c #Conflicts: 505000 | #Constraints: 17353
1829.65/1834.24 c #Conflicts: 506000 | #Constraints: 18353
1829.65/1834.24 c #Conflicts: 507000 | #Constraints: 19353
1829.65/1834.24 c #Conflicts: 508000 | #Constraints: 20353
1829.65/1834.24 c #Conflicts: 509000 | #Constraints: 21353
1829.65/1834.24 c #Conflicts: 510000 | #Constraints: 22353
1829.65/1834.24 c #Conflicts: 511000 | #Constraints: 23353
1829.65/1834.24 c #Conflicts: 512000 | #Constraints: 24353
1829.65/1834.24 c #Conflicts: 513000 | #Constraints: 25353
1829.65/1834.24 c #Conflicts: 514000 | #Constraints: 26353
1829.65/1834.24 c #Conflicts: 515000 | #Constraints: 27353
1829.65/1834.24 c #Conflicts: 516000 | #Constraints: 28353
1829.65/1834.24 c INPROCESSING
1829.65/1834.24 c GARBAGE COLLECT
1829.65/1834.24 c #Conflicts: 517000 | #Constraints: 15148
1829.65/1834.24 c #Conflicts: 518000 | #Constraints: 16148
1829.65/1834.24 c #Conflicts: 519000 | #Constraints: 17148
1829.65/1834.24 c #Conflicts: 520000 | #Constraints: 18148
1829.65/1834.24 c #Conflicts: 521000 | #Constraints: 19148
1829.65/1834.24 c #Conflicts: 522000 | #Constraints: 20148
1829.65/1834.24 c #Conflicts: 523000 | #Constraints: 21148
1829.65/1834.24 c #Conflicts: 524000 | #Constraints: 22148
1829.65/1834.24 c #Conflicts: 525000 | #Constraints: 23148
1829.65/1834.24 c #Conflicts: 526000 | #Constraints: 24148
1829.65/1834.24 c #Conflicts: 527000 | #Constraints: 25148
1829.65/1834.24 c #Conflicts: 528000 | #Constraints: 26148
1829.65/1834.24 c #Conflicts: 529000 | #Constraints: 27148
1829.65/1834.24 c #Conflicts: 530000 | #Constraints: 28148
1829.65/1834.24 c #Conflicts: 531000 | #Constraints: 29148
1829.65/1834.24 c INPROCESSING
1829.65/1834.24 c GARBAGE COLLECT
1829.65/1834.24 c #Conflicts: 532000 | #Constraints: 15752
1829.65/1834.24 c #Conflicts: 533000 | #Constraints: 16752
1829.65/1834.24 c #Conflicts: 534000 | #Constraints: 17752
1829.65/1834.24 c #Conflicts: 535000 | #Constraints: 18752
1829.65/1834.24 c #Conflicts: 536000 | #Constraints: 19752
1829.65/1834.24 c #Conflicts: 537000 | #Constraints: 20752
1829.65/1834.24 c #Conflicts: 538000 | #Constraints: 21752
1829.65/1834.24 c #Conflicts: 539000 | #Constraints: 22752
1829.65/1834.24 c #Conflicts: 540000 | #Constraints: 23752
1829.65/1834.24 c #Conflicts: 541000 | #Constraints: 24752
1829.65/1834.24 c #Conflicts: 542000 | #Constraints: 25752
1829.65/1834.24 c #Conflicts: 543000 | #Constraints: 26752
1829.65/1834.24 c #Conflicts: 544000 | #Constraints: 27752
1829.65/1834.24 c #Conflicts: 545000 | #Constraints: 28752
1829.65/1834.24 c #Conflicts: 546000 | #Constraints: 29752
1829.65/1834.24 c INPROCESSING
1829.65/1834.24 c GARBAGE COLLECT
1829.65/1834.24 c #Conflicts: 547000 | #Constraints: 16152
1829.65/1834.24 c #Conflicts: 548000 | #Constraints: 17152
1829.65/1834.24 c #Conflicts: 549000 | #Constraints: 18152
1829.65/1834.24 c #Conflicts: 550000 | #Constraints: 19152
2126.12/2131.49 c #Conflicts: 551000 | #Constraints: 20152
2126.12/2131.49 c #Conflicts: 552000 | #Constraints: 21152
2126.12/2131.49 c #Conflicts: 553000 | #Constraints: 22152
2126.12/2131.49 c #Conflicts: 554000 | #Constraints: 23152
2126.12/2131.49 c #Conflicts: 555000 | #Constraints: 24152
2126.12/2131.49 c #Conflicts: 556000 | #Constraints: 25152
2126.12/2131.49 c #Conflicts: 557000 | #Constraints: 26152
2126.12/2131.49 c #Conflicts: 558000 | #Constraints: 27152
2126.12/2131.49 c #Conflicts: 559000 | #Constraints: 28152
2126.12/2131.49 c #Conflicts: 560000 | #Constraints: 29152
2126.12/2131.49 c #Conflicts: 561000 | #Constraints: 30152
2126.12/2131.49 c INPROCESSING
2126.12/2131.49 c GARBAGE COLLECT
2126.12/2131.49 c #Conflicts: 562000 | #Constraints: 16351
2126.12/2131.49 c #Conflicts: 563000 | #Constraints: 17351
2126.12/2131.49 c #Conflicts: 564000 | #Constraints: 18351
2126.12/2131.49 c #Conflicts: 565000 | #Constraints: 19351
2126.12/2131.49 c #Conflicts: 566000 | #Constraints: 20351
2126.12/2131.49 c #Conflicts: 567000 | #Constraints: 21351
2126.12/2131.49 c #Conflicts: 568000 | #Constraints: 22351
2126.12/2131.49 c #Conflicts: 569000 | #Constraints: 23351
2126.12/2131.49 c #Conflicts: 570000 | #Constraints: 24351
2126.12/2131.49 c #Conflicts: 571000 | #Constraints: 25351
2126.12/2131.49 c #Conflicts: 572000 | #Constraints: 26351
2126.12/2131.49 c #Conflicts: 573000 | #Constraints: 27351
2126.12/2131.49 c #Conflicts: 574000 | #Constraints: 28351
2126.12/2131.49 c #Conflicts: 575000 | #Constraints: 29351
2126.12/2131.49 c #Conflicts: 576000 | #Constraints: 30351
2126.12/2131.49 c INPROCESSING
2126.12/2131.49 c GARBAGE COLLECT
2126.12/2131.49 c #Conflicts: 577000 | #Constraints: 16347
2126.12/2131.49 c #Conflicts: 578000 | #Constraints: 17347
2126.12/2131.49 c #Conflicts: 579000 | #Constraints: 18347
2126.12/2131.49 c #Conflicts: 580000 | #Constraints: 19347
2126.12/2131.49 c #Conflicts: 581000 | #Constraints: 20347
2126.12/2131.49 c #Conflicts: 582000 | #Constraints: 21347
2126.12/2131.49 c #Conflicts: 583000 | #Constraints: 22347
2126.12/2131.49 c #Conflicts: 584000 | #Constraints: 23347
2126.12/2131.49 c #Conflicts: 585000 | #Constraints: 24347
2126.12/2131.49 c #Conflicts: 586000 | #Constraints: 25347
2126.12/2131.49 c #Conflicts: 587000 | #Constraints: 26347
2126.12/2131.49 c #Conflicts: 588000 | #Constraints: 27347
2126.12/2131.49 c #Conflicts: 589000 | #Constraints: 28347
2126.12/2131.49 c #Conflicts: 590000 | #Constraints: 29347
2126.12/2131.49 c #Conflicts: 591000 | #Constraints: 30347
2126.12/2131.49 c INPROCESSING
2126.12/2131.49 c GARBAGE COLLECT
2126.12/2131.49 c #Conflicts: 592000 | #Constraints: 16149
2126.12/2131.49 c #Conflicts: 593000 | #Constraints: 17149
2126.12/2131.49 c #Conflicts: 594000 | #Constraints: 18149
2126.12/2131.49 c #Conflicts: 595000 | #Constraints: 19149
2126.12/2131.49 c #Conflicts: 596000 | #Constraints: 20149
2126.12/2131.49 c #Conflicts: 597000 | #Constraints: 21149
2126.12/2131.49 c #Conflicts: 598000 | #Constraints: 22149
2126.12/2131.49 c #Conflicts: 599000 | #Constraints: 23149
2126.12/2131.49 c #Conflicts: 600000 | #Constraints: 24149
2126.12/2131.49 c #Conflicts: 601000 | #Constraints: 25149
2126.12/2131.49 c #Conflicts: 602000 | #Constraints: 26149
2126.12/2131.49 c #Conflicts: 603000 | #Constraints: 27149
2126.12/2131.49 c #Conflicts: 604000 | #Constraints: 28149
2126.12/2131.49 c #Conflicts: 605000 | #Constraints: 29149
2126.12/2131.49 c #Conflicts: 606000 | #Constraints: 30149
2126.12/2131.49 c #Conflicts: 607000 | #Constraints: 31149
2126.12/2131.49 c INPROCESSING
2126.12/2131.49 c GARBAGE COLLECT
2126.12/2131.49 c #Conflicts: 608000 | #Constraints: 16754
2126.12/2131.49 c #Conflicts: 609000 | #Constraints: 17754
2126.12/2131.49 c #Conflicts: 610000 | #Constraints: 18754
2126.12/2131.49 c #Conflicts: 611000 | #Constraints: 19754
2126.12/2131.49 c #Conflicts: 612000 | #Constraints: 20754
2126.12/2131.49 c #Conflicts: 613000 | #Constraints: 21754
2126.12/2131.49 c #Conflicts: 614000 | #Constraints: 22754
2126.12/2131.49 c #Conflicts: 615000 | #Constraints: 23754
2126.12/2131.49 c #Conflicts: 616000 | #Constraints: 24754
2126.12/2131.49 c #Conflicts: 617000 | #Constraints: 25754
2126.12/2131.49 c #Conflicts: 618000 | #Constraints: 26754
2126.12/2131.49 c #Conflicts: 619000 | #Constraints: 27754
2126.12/2131.49 c #Conflicts: 620000 | #Constraints: 28754
2126.12/2131.49 c #Conflicts: 621000 | #Constraints: 29754
2126.12/2131.49 c #Conflicts: 622000 | #Constraints: 30754
2126.12/2131.49 c #Conflicts: 623000 | #Constraints: 31754
2126.12/2131.49 c INPROCESSING
2126.12/2131.49 c GARBAGE COLLECT
2126.12/2131.49 c #Conflicts: 624000 | #Constraints: 17151
2126.12/2131.49 c #Conflicts: 625000 | #Constraints: 18151
2126.12/2131.49 c #Conflicts: 626000 | #Constraints: 19151
2462.38/2468.52 c #Conflicts: 627000 | #Constraints: 20151
2462.38/2468.52 c #Conflicts: 628000 | #Constraints: 21151
2462.38/2468.52 c #Conflicts: 629000 | #Constraints: 22151
2462.38/2468.52 c #Conflicts: 630000 | #Constraints: 23151
2462.38/2468.52 c #Conflicts: 631000 | #Constraints: 24151
2462.38/2468.52 c #Conflicts: 632000 | #Constraints: 25151
2462.38/2468.52 c #Conflicts: 633000 | #Constraints: 26151
2462.38/2468.52 c #Conflicts: 634000 | #Constraints: 27151
2462.38/2468.52 c #Conflicts: 635000 | #Constraints: 28151
2462.38/2468.52 c #Conflicts: 636000 | #Constraints: 29151
2462.38/2468.52 c #Conflicts: 637000 | #Constraints: 30151
2462.38/2468.52 c #Conflicts: 638000 | #Constraints: 31151
2462.38/2468.52 c #Conflicts: 639000 | #Constraints: 32151
2462.38/2468.52 c INPROCESSING
2462.38/2468.52 c GARBAGE COLLECT
2462.38/2468.52 c #Conflicts: 640000 | #Constraints: 17350
2462.38/2468.52 c #Conflicts: 641000 | #Constraints: 18350
2462.38/2468.52 c #Conflicts: 642000 | #Constraints: 19350
2462.38/2468.52 c #Conflicts: 643000 | #Constraints: 20350
2462.38/2468.52 c #Conflicts: 644000 | #Constraints: 21350
2462.38/2468.52 c #Conflicts: 645000 | #Constraints: 22350
2462.38/2468.52 c #Conflicts: 646000 | #Constraints: 23350
2462.38/2468.52 c #Conflicts: 647000 | #Constraints: 24350
2462.38/2468.52 c #Conflicts: 648000 | #Constraints: 25350
2462.38/2468.52 c #Conflicts: 649000 | #Constraints: 26350
2462.38/2468.52 c #Conflicts: 650000 | #Constraints: 27350
2462.38/2468.52 c #Conflicts: 651000 | #Constraints: 28350
2462.38/2468.52 c #Conflicts: 652000 | #Constraints: 29350
2462.38/2468.52 c #Conflicts: 653000 | #Constraints: 30350
2462.38/2468.52 c #Conflicts: 654000 | #Constraints: 31350
2462.38/2468.52 c #Conflicts: 655000 | #Constraints: 32350
2462.38/2468.52 c INPROCESSING
2462.38/2468.52 c GARBAGE COLLECT
2462.38/2468.52 c #Conflicts: 656000 | #Constraints: 17349
2462.38/2468.52 c #Conflicts: 657000 | #Constraints: 18349
2462.38/2468.52 c #Conflicts: 658000 | #Constraints: 19349
2462.38/2468.52 c #Conflicts: 659000 | #Constraints: 20349
2462.38/2468.52 c #Conflicts: 660000 | #Constraints: 21349
2462.38/2468.52 c #Conflicts: 661000 | #Constraints: 22349
2462.38/2468.52 c #Conflicts: 662000 | #Constraints: 23349
2462.38/2468.52 c #Conflicts: 663000 | #Constraints: 24349
2462.38/2468.52 c #Conflicts: 664000 | #Constraints: 25349
2462.38/2468.52 c #Conflicts: 665000 | #Constraints: 26349
2462.38/2468.52 c #Conflicts: 666000 | #Constraints: 27349
2462.38/2468.52 c #Conflicts: 667000 | #Constraints: 28349
2462.38/2468.52 c #Conflicts: 668000 | #Constraints: 29349
2462.38/2468.52 c #Conflicts: 669000 | #Constraints: 30349
2462.38/2468.52 c #Conflicts: 670000 | #Constraints: 31349
2462.38/2468.52 c #Conflicts: 671000 | #Constraints: 32349
2462.38/2468.52 c INPROCESSING
2462.38/2468.52 c GARBAGE COLLECT
2462.38/2468.52 c #Conflicts: 672000 | #Constraints: 17148
2462.38/2468.52 c #Conflicts: 673000 | #Constraints: 18148
2462.38/2468.52 c #Conflicts: 674000 | #Constraints: 19148
2462.38/2468.52 c #Conflicts: 675000 | #Constraints: 20148
2462.38/2468.52 c #Conflicts: 676000 | #Constraints: 21148
2462.38/2468.52 c #Conflicts: 677000 | #Constraints: 22148
2462.38/2468.52 c #Conflicts: 678000 | #Constraints: 23148
2462.38/2468.52 c #Conflicts: 679000 | #Constraints: 24148
2462.38/2468.52 c #Conflicts: 680000 | #Constraints: 25148
2462.38/2468.52 c #Conflicts: 681000 | #Constraints: 26148
2462.38/2468.52 c #Conflicts: 682000 | #Constraints: 27148
2462.38/2468.52 c #Conflicts: 683000 | #Constraints: 28148
2462.38/2468.52 c #Conflicts: 684000 | #Constraints: 29148
2462.38/2468.52 c #Conflicts: 685000 | #Constraints: 30148
2462.38/2468.52 c #Conflicts: 686000 | #Constraints: 31148
2462.38/2468.52 c #Conflicts: 687000 | #Constraints: 32148
2462.38/2468.52 c #Conflicts: 688000 | #Constraints: 33148
2462.38/2468.52 c INPROCESSING
2462.38/2468.52 c GARBAGE COLLECT
2462.38/2468.52 c #Conflicts: 689000 | #Constraints: 17744
2462.38/2468.52 c #Conflicts: 690000 | #Constraints: 18744
2462.38/2468.52 c #Conflicts: 691000 | #Constraints: 19744
2462.38/2468.52 c #Conflicts: 692000 | #Constraints: 20744
2462.38/2468.52 c #Conflicts: 693000 | #Constraints: 21744
2462.38/2468.52 c #Conflicts: 694000 | #Constraints: 22744
2462.38/2468.52 c #Conflicts: 695000 | #Constraints: 23744
2462.38/2468.52 c #Conflicts: 696000 | #Constraints: 24744
2462.38/2468.52 c #Conflicts: 697000 | #Constraints: 25744
2462.38/2468.52 c #Conflicts: 698000 | #Constraints: 26744
2462.38/2468.52 c #Conflicts: 699000 | #Constraints: 27744
2462.38/2468.52 c #Conflicts: 700000 | #Constraints: 28744
2462.38/2468.52 c #Conflicts: 701000 | #Constraints: 29744
2462.38/2468.52 c #Conflicts: 702000 | #Constraints: 30744
2900.46/2907.82 c #Conflicts: 703000 | #Constraints: 31744
2900.46/2907.82 c #Conflicts: 704000 | #Constraints: 32744
2900.46/2907.82 c #Conflicts: 705000 | #Constraints: 33744
2900.46/2907.82 c INPROCESSING
2900.46/2907.82 c GARBAGE COLLECT
2900.46/2907.82 c #Conflicts: 706000 | #Constraints: 18148
2900.46/2907.82 c #Conflicts: 707000 | #Constraints: 19148
2900.46/2907.82 c #Conflicts: 708000 | #Constraints: 20148
2900.46/2907.82 c #Conflicts: 709000 | #Constraints: 21148
2900.46/2907.82 c #Conflicts: 710000 | #Constraints: 22148
2900.46/2907.82 c #Conflicts: 711000 | #Constraints: 23148
2900.46/2907.82 c #Conflicts: 712000 | #Constraints: 24148
2900.46/2907.82 c #Conflicts: 713000 | #Constraints: 25148
2900.46/2907.82 c #Conflicts: 714000 | #Constraints: 26148
2900.46/2907.82 c #Conflicts: 715000 | #Constraints: 27148
2900.46/2907.82 c #Conflicts: 716000 | #Constraints: 28148
2900.46/2907.82 c #Conflicts: 717000 | #Constraints: 29148
2900.46/2907.82 c #Conflicts: 718000 | #Constraints: 30148
2900.46/2907.82 c #Conflicts: 719000 | #Constraints: 31148
2900.46/2907.82 c #Conflicts: 720000 | #Constraints: 32148
2900.46/2907.82 c #Conflicts: 721000 | #Constraints: 33148
2900.46/2907.82 c #Conflicts: 722000 | #Constraints: 34148
2900.46/2907.82 c INPROCESSING
2900.46/2907.82 c GARBAGE COLLECT
2900.46/2907.82 c #Conflicts: 723000 | #Constraints: 18351
2900.46/2907.82 c #Conflicts: 724000 | #Constraints: 19351
2900.46/2907.82 c #Conflicts: 725000 | #Constraints: 20351
2900.46/2907.82 c #Conflicts: 726000 | #Constraints: 21351
2900.46/2907.82 c #Conflicts: 727000 | #Constraints: 22351
2900.46/2907.82 c #Conflicts: 728000 | #Constraints: 23351
2900.46/2907.82 c #Conflicts: 729000 | #Constraints: 24351
2900.46/2907.82 c #Conflicts: 730000 | #Constraints: 25351
2900.46/2907.82 c #Conflicts: 731000 | #Constraints: 26351
2900.46/2907.82 c #Conflicts: 732000 | #Constraints: 27351
2900.46/2907.82 c #Conflicts: 733000 | #Constraints: 28351
2900.46/2907.82 c #Conflicts: 734000 | #Constraints: 29351
2900.46/2907.82 c #Conflicts: 735000 | #Constraints: 30351
2900.46/2907.82 c #Conflicts: 736000 | #Constraints: 31351
2900.46/2907.82 c #Conflicts: 737000 | #Constraints: 32351
2900.46/2907.82 c #Conflicts: 738000 | #Constraints: 33351
2900.46/2907.82 c #Conflicts: 739000 | #Constraints: 34351
2900.46/2907.82 c INPROCESSING
2900.46/2907.82 c GARBAGE COLLECT
2900.46/2907.82 c #Conflicts: 740000 | #Constraints: 18355
2900.46/2907.82 c #Conflicts: 741000 | #Constraints: 19355
2900.46/2907.82 c #Conflicts: 742000 | #Constraints: 20355
2900.46/2907.82 c #Conflicts: 743000 | #Constraints: 21355
2900.46/2907.82 c #Conflicts: 744000 | #Constraints: 22355
2900.46/2907.82 c #Conflicts: 745000 | #Constraints: 23355
2900.46/2907.82 c #Conflicts: 746000 | #Constraints: 24355
2900.46/2907.82 c #Conflicts: 747000 | #Constraints: 25355
2900.46/2907.82 c #Conflicts: 748000 | #Constraints: 26355
2900.46/2907.82 c #Conflicts: 749000 | #Constraints: 27355
2900.46/2907.82 c #Conflicts: 750000 | #Constraints: 28355
2900.46/2907.82 c #Conflicts: 751000 | #Constraints: 29355
2900.46/2907.82 c #Conflicts: 752000 | #Constraints: 30355
2900.46/2907.82 c #Conflicts: 753000 | #Constraints: 31355
2900.46/2907.82 c #Conflicts: 754000 | #Constraints: 32355
2900.46/2907.82 c #Conflicts: 755000 | #Constraints: 33355
2900.46/2907.82 c #Conflicts: 756000 | #Constraints: 34355
2900.46/2907.82 c INPROCESSING
2900.46/2907.82 c GARBAGE COLLECT
2900.46/2907.82 c #Conflicts: 757000 | #Constraints: 18154
2900.46/2907.82 c #Conflicts: 758000 | #Constraints: 19154
2900.46/2907.82 c #Conflicts: 759000 | #Constraints: 20154
2900.46/2907.82 c #Conflicts: 760000 | #Constraints: 21154
2900.46/2907.82 c #Conflicts: 761000 | #Constraints: 22154
2900.46/2907.82 c #Conflicts: 762000 | #Constraints: 23154
2900.46/2907.82 c #Conflicts: 763000 | #Constraints: 24154
2900.46/2907.82 c #Conflicts: 764000 | #Constraints: 25154
2900.46/2907.82 c #Conflicts: 765000 | #Constraints: 26154
2900.46/2907.82 c #Conflicts: 766000 | #Constraints: 27154
2900.46/2907.82 c #Conflicts: 767000 | #Constraints: 28154
2900.46/2907.82 c #Conflicts: 768000 | #Constraints: 29154
2900.46/2907.82 c #Conflicts: 769000 | #Constraints: 30154
2900.46/2907.82 c #Conflicts: 770000 | #Constraints: 31154
2900.46/2907.82 c #Conflicts: 771000 | #Constraints: 32154
2900.46/2907.82 c #Conflicts: 772000 | #Constraints: 33154
2900.46/2907.82 c #Conflicts: 773000 | #Constraints: 34154
2900.46/2907.82 c #Conflicts: 774000 | #Constraints: 35154
2900.46/2907.82 c INPROCESSING
2900.46/2907.82 c GARBAGE COLLECT
2900.46/2907.82 c #Conflicts: 775000 | #Constraints: 18754
2900.46/2907.82 c #Conflicts: 776000 | #Constraints: 19754
2900.46/2907.82 c #Conflicts: 777000 | #Constraints: 20754
3324.54/3333.04 c #Conflicts: 778000 | #Constraints: 21754
3324.54/3333.04 c #Conflicts: 779000 | #Constraints: 22754
3324.54/3333.04 c #Conflicts: 780000 | #Constraints: 23754
3324.54/3333.04 c #Conflicts: 781000 | #Constraints: 24754
3324.54/3333.04 c #Conflicts: 782000 | #Constraints: 25754
3324.54/3333.04 c #Conflicts: 783000 | #Constraints: 26754
3324.54/3333.04 c #Conflicts: 784000 | #Constraints: 27754
3324.54/3333.04 c #Conflicts: 785000 | #Constraints: 28754
3324.54/3333.04 c #Conflicts: 786000 | #Constraints: 29754
3324.54/3333.04 c #Conflicts: 787000 | #Constraints: 30754
3324.54/3333.04 c #Conflicts: 788000 | #Constraints: 31754
3324.54/3333.04 c #Conflicts: 789000 | #Constraints: 32754
3324.54/3333.04 c #Conflicts: 790000 | #Constraints: 33754
3324.54/3333.04 c #Conflicts: 791000 | #Constraints: 34754
3324.54/3333.04 c #Conflicts: 792000 | #Constraints: 35754
3324.54/3333.04 c INPROCESSING
3324.54/3333.04 c GARBAGE COLLECT
3324.54/3333.04 c #Conflicts: 793000 | #Constraints: 19147
3324.54/3333.04 c #Conflicts: 794000 | #Constraints: 20147
3324.54/3333.04 c #Conflicts: 795000 | #Constraints: 21147
3324.54/3333.04 c #Conflicts: 796000 | #Constraints: 22147
3324.54/3333.04 c #Conflicts: 797000 | #Constraints: 23147
3324.54/3333.04 c #Conflicts: 798000 | #Constraints: 24147
3324.54/3333.04 c #Conflicts: 799000 | #Constraints: 25147
3324.54/3333.04 c #Conflicts: 800000 | #Constraints: 26147
3324.54/3333.04 c #Conflicts: 801000 | #Constraints: 27147
3324.54/3333.04 c #Conflicts: 802000 | #Constraints: 28147
3324.54/3333.04 c #Conflicts: 803000 | #Constraints: 29147
3324.54/3333.04 c #Conflicts: 804000 | #Constraints: 30147
3324.54/3333.04 c #Conflicts: 805000 | #Constraints: 31147
3324.54/3333.04 c #Conflicts: 806000 | #Constraints: 32147
3324.54/3333.04 c #Conflicts: 807000 | #Constraints: 33147
3324.54/3333.04 c #Conflicts: 808000 | #Constraints: 34147
3324.54/3333.04 c #Conflicts: 809000 | #Constraints: 35147
3324.54/3333.04 c #Conflicts: 810000 | #Constraints: 36147
3324.54/3333.04 c INPROCESSING
3324.54/3333.04 c GARBAGE COLLECT
3324.54/3333.04 c #Conflicts: 811000 | #Constraints: 19348
3324.54/3333.04 c #Conflicts: 812000 | #Constraints: 20348
3324.54/3333.04 c #Conflicts: 813000 | #Constraints: 21348
3324.54/3333.04 c #Conflicts: 814000 | #Constraints: 22348
3324.54/3333.04 c #Conflicts: 815000 | #Constraints: 23348
3324.54/3333.04 c #Conflicts: 816000 | #Constraints: 24348
3324.54/3333.04 c #Conflicts: 817000 | #Constraints: 25348
3324.54/3333.04 c #Conflicts: 818000 | #Constraints: 26348
3324.54/3333.04 c #Conflicts: 819000 | #Constraints: 27348
3324.54/3333.04 c #Conflicts: 820000 | #Constraints: 28348
3324.54/3333.04 c #Conflicts: 821000 | #Constraints: 29348
3324.54/3333.04 c #Conflicts: 822000 | #Constraints: 30348
3324.54/3333.04 c #Conflicts: 823000 | #Constraints: 31348
3324.54/3333.04 c #Conflicts: 824000 | #Constraints: 32348
3324.54/3333.04 c #Conflicts: 825000 | #Constraints: 33348
3324.54/3333.04 c #Conflicts: 826000 | #Constraints: 34348
3324.54/3333.04 c #Conflicts: 827000 | #Constraints: 35348
3324.54/3333.04 c #Conflicts: 828000 | #Constraints: 36348
3324.54/3333.04 c INPROCESSING
3324.54/3333.04 c GARBAGE COLLECT
3324.54/3333.04 c #Conflicts: 829000 | #Constraints: 19352
3324.54/3333.04 c #Conflicts: 830000 | #Constraints: 20352
3324.54/3333.04 c #Conflicts: 831000 | #Constraints: 21352
3324.54/3333.04 c #Conflicts: 832000 | #Constraints: 22352
3324.54/3333.04 c #Conflicts: 833000 | #Constraints: 23352
3324.54/3333.04 c #Conflicts: 834000 | #Constraints: 24352
3324.54/3333.04 c #Conflicts: 835000 | #Constraints: 25352
3324.54/3333.04 c #Conflicts: 836000 | #Constraints: 26352
3324.54/3333.04 c #Conflicts: 837000 | #Constraints: 27352
3324.54/3333.04 c #Conflicts: 838000 | #Constraints: 28352
3324.54/3333.04 c #Conflicts: 839000 | #Constraints: 29352
3324.54/3333.04 c #Conflicts: 840000 | #Constraints: 30352
3324.54/3333.04 c #Conflicts: 841000 | #Constraints: 31352
3324.54/3333.04 c #Conflicts: 842000 | #Constraints: 32352
3324.54/3333.04 c #Conflicts: 843000 | #Constraints: 33352
3324.54/3333.04 c #Conflicts: 844000 | #Constraints: 34352
3324.54/3333.04 c #Conflicts: 845000 | #Constraints: 35352
3324.54/3333.04 c #Conflicts: 846000 | #Constraints: 36352
3324.54/3333.04 c INPROCESSING
3324.54/3333.04 c GARBAGE COLLECT
3324.54/3333.04 c #Conflicts: 847000 | #Constraints: 19149
3324.54/3333.04 c #Conflicts: 848000 | #Constraints: 20149
3324.54/3333.04 c #Conflicts: 849000 | #Constraints: 21149
3324.54/3333.04 c #Conflicts: 850000 | #Constraints: 22149
3324.54/3333.04 c #Conflicts: 851000 | #Constraints: 23149
3324.54/3333.04 c #Conflicts: 852000 | #Constraints: 24149
3324.54/3333.04 c #Conflicts: 853000 | #Constraints: 25149
3324.54/3333.04 c #Conflicts: 854000 | #Constraints: 26149
3600.00/3609.20 c #Conflicts: 855000 | #Constraints: 27149
3600.00/3609.20 c #Conflicts: 856000 | #Constraints: 28149
3600.00/3609.20 c #Conflicts: 857000 | #Constraints: 29149
3600.00/3609.20 c #Conflicts: 858000 | #Constraints: 30149
3600.00/3609.20 c #Conflicts: 859000 | #Constraints: 31149
3600.00/3609.20 c #Conflicts: 860000 | #Constraints: 32149
3600.00/3609.20 c #Conflicts: 861000 | #Constraints: 33149
3600.00/3609.20 c #Conflicts: 862000 | #Constraints: 34149
3600.00/3609.20 c #Conflicts: 863000 | #Constraints: 35149
3600.00/3609.20 c #Conflicts: 864000 | #Constraints: 36149
3600.00/3609.20 c #Conflicts: 865000 | #Constraints: 37149
3600.00/3609.20 c INPROCESSING
3600.00/3609.20 c GARBAGE COLLECT
3600.00/3609.20 c #Conflicts: 866000 | #Constraints: 19752
3600.00/3609.20 c #Conflicts: 867000 | #Constraints: 20752
3600.00/3609.20 c #Conflicts: 868000 | #Constraints: 21752
3600.00/3609.20 c #Conflicts: 869000 | #Constraints: 22752
3600.00/3609.20 c #Conflicts: 870000 | #Constraints: 23752
3600.00/3609.20 c #Conflicts: 871000 | #Constraints: 24752
3600.00/3609.20 c #Conflicts: 872000 | #Constraints: 25752
3600.00/3609.20 c #Conflicts: 873000 | #Constraints: 26752
3600.00/3609.20 c #Conflicts: 874000 | #Constraints: 27752
3600.00/3609.20 c #Conflicts: 875000 | #Constraints: 28752
3600.00/3609.20 c #Conflicts: 876000 | #Constraints: 29752
3600.00/3609.20 c #Conflicts: 877000 | #Constraints: 30752
3600.00/3609.20 c #Conflicts: 878000 | #Constraints: 31752
3600.00/3609.20 c #Conflicts: 879000 | #Constraints: 32752
3600.00/3609.20 c #Conflicts: 880000 | #Constraints: 33752
3600.00/3609.20 c #Conflicts: 881000 | #Constraints: 34752
3600.00/3609.20 c #Conflicts: 882000 | #Constraints: 35752
3600.00/3609.20 c #Conflicts: 883000 | #Constraints: 36752
3600.00/3609.20 c #Conflicts: 884000 | #Constraints: 37752
3600.00/3609.20 c INPROCESSING
3600.00/3609.20 c GARBAGE COLLECT
3600.00/3609.20 c #Conflicts: 885000 | #Constraints: 20152
3600.00/3609.20 c #Conflicts: 886000 | #Constraints: 21152
3600.00/3609.20 c #Conflicts: 887000 | #Constraints: 22152
3600.00/3609.20 c #Conflicts: 888000 | #Constraints: 23152
3600.00/3609.20 c #Conflicts: 889000 | #Constraints: 24152
3600.00/3609.20 c #Conflicts: 890000 | #Constraints: 25152
3600.00/3609.20 c #Conflicts: 891000 | #Constraints: 26152
3600.00/3609.20 c #Conflicts: 892000 | #Constraints: 27152
3600.00/3609.20 c #Conflicts: 893000 | #Constraints: 28152
3600.00/3609.20 c #Conflicts: 894000 | #Constraints: 29152
3600.00/3609.20 c #Conflicts: 895000 | #Constraints: 30152
3600.00/3609.20 c #Conflicts: 896000 | #Constraints: 31152
3600.00/3609.20 c #Conflicts: 897000 | #Constraints: 32152
3600.00/3609.20 c #Conflicts: 898000 | #Constraints: 33152
3600.00/3609.20 c #Conflicts: 899000 | #Constraints: 34152
3600.00/3609.20 c #Conflicts: 900000 | #Constraints: 35152
3600.00/3609.20 c Program interrupted by user.
3600.00/3609.20 c cpu time 3590.28 s
3600.00/3609.20 c deterministic time 380688071684 3.81e+11
3600.00/3609.20 c optimization time 77.588 s
3600.00/3609.20 c total solve time 3213.59 s
3600.00/3609.20 c core-guided solve time 3213.59 s
3600.00/3609.20 c propagation time 2828.54 s
3600.00/3609.20 c conflict analysis time 397.606 s
3600.00/3609.20 c propagations 57066812
3600.00/3609.20 c resolve steps 4712973
3600.00/3609.20 c decisions 4591007
3600.00/3609.20 c conflicts 900391
3600.00/3609.20 c restarts 1961
3600.00/3609.20 c inprocessing phases 85
3600.00/3609.20 c input clauses 56
3600.00/3609.20 c input cardinalities 76
3600.00/3609.20 c input general constraints 473
3600.00/3609.20 c input average constraint length 67.07
3600.00/3609.20 c input average constraint degree 34.19
3600.00/3609.20 c learned clauses 216080
3600.00/3609.20 c learned cardinalities 156
3600.00/3609.20 c learned general constraints 684164
3600.00/3609.20 c learned average constraint length 323.57
3600.00/3609.20 c learned average constraint degree 523299.40
3600.00/3609.20 c watched constraints 577913
3600.00/3609.20 c counting constraints 106724
3600.00/3609.20 c gcd simplifications 174818
3600.00/3609.20 c detected cardinalities 115
3600.00/3609.20 c weakened non-implied lits 31665849
3600.00/3609.20 c weakened non-implying lits 110485
3600.00/3609.20 c original variables 476
3600.00/3609.20 c clausal propagations 967981
3600.00/3609.20 c cardinality propagations 40443
3600.00/3609.20 c watched propagations 30440300
3600.00/3609.20 c counting propagations 24821883
3600.00/3609.20 c watch lookups 58904616301
3600.00/3609.20 c watch backjump lookups 55526391530
3600.00/3609.20 c watch checks 258544763504
3600.00/3609.20 c propagation checks 6604949743
3600.00/3609.20 c constraint additions 983134962
3600.00/3609.20 c trail pops 62557824
3600.00/3609.20 c formula constraints 476
3600.00/3609.20 c learned constraints 900400
3600.00/3609.20 c bound constraints 76
3600.00/3609.20 c core-guided constraints 53
3600.00/3609.20 c encountered formula constraints 2843684
3600.00/3609.20 c encountered learned constraints 2677670
3600.00/3609.20 c encountered bound constraints 187
3600.00/3609.20 c encountered core-guided constraints 91823
3600.00/3609.20 c LP total time 0 s
3600.00/3609.20 c LP solve time 0 s
3600.00/3609.20 c LP constraints added 0
3600.00/3609.20 c LP constraints removed 0
3600.00/3609.20 c LP pivots internal 0
3600.00/3609.20 c LP pivots root 0
3600.00/3609.20 c LP calls 0
3600.00/3609.20 c LP optimalities 0
3600.00/3609.20 c LP no pivot count 0
3600.00/3609.20 c LP infeasibilities 0
3600.00/3609.20 c LP valid Farkas constraints 0
3600.00/3609.20 c LP learned Farkas constraints 0
3600.00/3609.20 c LP basis resets 0
3600.00/3609.20 c LP cycling count 0
3600.00/3609.20 c LP singular count 0
3600.00/3609.20 c LP no primal count 0
3600.00/3609.20 c LP no farkas count 0
3600.00/3609.20 c LP other issue count 0
3600.00/3609.20 c LP Gomory cuts 0
3600.00/3609.20 c LP learned cuts 0
3600.00/3609.20 c LP deleted cuts 0
3600.00/3609.20 c LP encountered Gomory constraints 0
3600.00/3609.20 c LP encountered Farkas constraints 0
3600.00/3609.20 c LP encountered learned Farkas constraints 0
3600.00/3609.20 c CG auxiliary variables introduced 53
3600.00/3609.20 c CG solutions found 0
3600.00/3609.20 c CG cores constructed 75
3600.00/3609.20 c CG core cardinality constraints returned 0
3600.00/3609.20 c CG unit cores 0
3600.00/3609.20 c CG single cores 75
3600.00/3609.20 c CG blocks removed during cardinality reduction 0
3600.00/3609.20 c CG first core best 0
3600.00/3609.20 c CG decision core best 0
3600.00/3609.20 c CG core reduction tie 0
3600.00/3609.20 c CG core degree average 1.00
3600.00/3609.20 c CG core slack average 2.72
3600.00/3609.20 c CG exhausted 0
3600.00/3609.20 c CG exhaust time 0 s
3600.00/3609.20 c CG trimmed 0
3600.00/3609.20 c CG trim time 0.000228 s
3600.00/3609.20 c CG minimized 0
3600.00/3609.20 c CG minimize time 0 s
3600.00/3609.20 c CG am1 prop time 0.000735 s
3600.00/3609.20 c CG # am1s reformulated 53
3600.00/3609.20 c CG lower bound derived from am1s 53
3600.00/3609.20 c CG # clausal cores 16
3600.00/3609.20 c CG # cardinality cores 0
3600.00/3609.20 c CG # pb cores 59
3600.00/3609.20 c CG # pb reforms 0
3600.00/3609.20 c CG # cores discarded because of pb reform 0
3600.00/3609.20 d LOWERBOUND 128
3600.00/3609.20 d NCORES 75
3600.00/3609.20 d NPBCORES 59
3600.00/3609.20 d NPBREFORM 0
3600.00/3609.20 d NTRIMMED 0
3600.00/3609.20 d NEXHAUSTED 0
3600.00/3609.20 d NAM1S 53
3600.00/3609.20 d AM1LB 53
3600.00/3609.20 c [Papilo Statistics]
3600.00/3609.20 c prepro time 0.00154284s
3600.00/3609.20 c # tsx applied 24
3600.00/3609.20 c # tsx conflicts 0
3600.00/3609.20 c # bound changes 0
3600.00/3609.20 c # side changes 0
3600.00/3609.20 c # coef changes 37
3600.00/3609.20 c # rounds 3
3600.00/3609.20 c # deted vars 0
3600.00/3609.20 c # deted constrs 0
3600.00/3609.20 c # consecutive rounds of only bound changes 0
3600.00/3609.20 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62456 MiB free)
memory of node 1: 64473 MiB (62849 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435452-1721094828/watcher-4435452-1721094828 -o /tmp/evaluation-result-4435452-1721094828/solver-4435452-1721094828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833380 --watchdog 3760 mixed-bag HOME/instance-4435452-1721094828.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=835402, runsolver pid=835399
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 835403
/proc/meminfo: memFree=128302680/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=93112 memory=26020 CPUtime=0.09 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 2989 0 0 0 9 0 0 0 20 0 1 0 161653687 95346688 6505 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 23278 6505 4028 3002 0 7029 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93112 KiB
Current children cumulated memory: 26020 KiB
[startup+0.205706 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 835403
/proc/meminfo: memFree=128302176/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=93308 memory=26284 CPUtime=0.2 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 3038 0 0 0 20 0 0 0 20 0 1 0 161653687 95547392 6571 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 23327 6571 4028 3002 0 7078 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93308 KiB
Current children cumulated memory: 26284 KiB
[startup+0.305593 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 835403
/proc/meminfo: memFree=128286608/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=93668 memory=26436 CPUtime=0.3 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 3086 0 0 0 30 0 0 0 20 0 1 0 161653687 95916032 6609 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 23417 6609 4028 3002 0 7168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93668 KiB
Current children cumulated memory: 26436 KiB
[startup+0.700163 s]
/proc/loadavg: 4.15 4.12 4.09 4/254 835417
/proc/meminfo: memFree=128715976/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=109672 memory=42332 CPUtime=0.68 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 7104 0 0 0 68 0 0 0 20 0 1 0 161653687 112304128 10583 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 27418 10583 4044 3002 0 11169 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109672 KiB
Current children cumulated memory: 42332 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 835450
/proc/meminfo: memFree=128617888/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=186540 memory=117028 CPUtime=1.48 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 27671 0 0 0 145 3 0 0 20 0 1 0 161653687 191016960 29257 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 46635 29257 4044 3002 0 30386 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 186540 KiB
Current children cumulated memory: 117028 KiB
[startup+3.10539 s]
/proc/loadavg: 4.14 4.12 4.09 6/252 835486
/proc/meminfo: memFree=128777392/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=227308 memory=156628 CPUtime=3.09 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 37516 0 0 0 304 5 0 0 20 0 1 0 161653687 232763392 39157 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 56827 39157 4044 3002 0 40578 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 227308 KiB
Current children cumulated memory: 156628 KiB
[startup+6.30014 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 835497
/proc/meminfo: memFree=128626072/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=227308 memory=156628 CPUtime=6.27 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 37531 0 0 0 622 5 0 0 20 0 1 0 161653687 232763392 39157 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 56827 39157 4044 3002 0 40578 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 227308 KiB
Current children cumulated memory: 156628 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 835499
/proc/meminfo: memFree=128617808/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=227308 memory=156628 CPUtime=12.65 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 37531 0 0 0 1260 5 0 0 20 0 1 0 161653687 232763392 39157 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 56827 39157 4044 3002 0 40578 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 227308 KiB
Current children cumulated memory: 156628 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 835501
/proc/meminfo: memFree=128344032/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=330220 memory=256800 CPUtime=25.42 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 63632 0 0 0 2532 10 0 0 20 0 1 0 161653687 338145280 64200 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 82555 64200 4044 3002 0 66306 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 330220 KiB
Current children cumulated memory: 256800 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 835505
/proc/meminfo: memFree=128316892/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=347936 memory=273420 CPUtime=50.95 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 67813 0 0 0 5082 13 0 0 20 0 1 0 161653687 356286464 68355 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 86984 68355 4044 3002 0 70735 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 347936 KiB
Current children cumulated memory: 273420 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 835898
/proc/meminfo: memFree=128270936/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=361476 memory=291096 CPUtime=101.98 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 73884 0 0 0 10180 18 0 0 20 0 1 0 161653687 370151424 72774 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 90369 72774 4066 3002 0 74120 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 361476 KiB
Current children cumulated memory: 291096 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 835908
/proc/meminfo: memFree=128042736/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=396420 memory=326344 CPUtime=161.81 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 82823 0 0 0 16159 22 0 0 20 0 1 0 161653687 405934080 81586 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 99105 81586 4066 3002 0 82856 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 396420 KiB
Current children cumulated memory: 326344 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=835402] ppid=835399 vsize=399928 memory=329780 CPUtime=221.65 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 83593 0 0 0 22142 23 0 0 20 0 1 0 161653687 409526272 82445 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 99982 82445 4066 3002 0 83733 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 399928 KiB
Current children cumulated memory: 329780 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/257 836098
/proc/meminfo: memFree=127968744/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=399928 memory=330712 CPUtime=281.51 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 83782 0 0 0 28128 23 0 0 20 0 1 0 161653687 409526272 82678 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 99982 82678 4066 3002 0 83733 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 399928 KiB
Current children cumulated memory: 330712 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 836109
/proc/meminfo: memFree=128100592/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=392984 memory=325144 CPUtime=341.36 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 87074 0 0 0 34059 77 0 0 20 0 1 0 161653687 402415616 81286 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 98246 81286 4209 3002 0 81997 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 392984 KiB
Current children cumulated memory: 325144 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 836121
/proc/meminfo: memFree=128064020/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=411952 memory=338008 CPUtime=401.21 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 87514 0 0 0 40004 117 0 0 20 0 1 0 161653687 421838848 84502 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 102988 84502 4209 3002 0 86739 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 411952 KiB
Current children cumulated memory: 338008 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=835402] ppid=835399 vsize=411952 memory=342736 CPUtime=461.07 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 87738 0 0 0 45952 155 0 0 20 0 1 0 161653687 421838848 85684 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 102988 85684 4209 3002 0 86739 0
################
# More data... #
################
Current children cumulated memory: 393260 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/256 837197
/proc/meminfo: memFree=127796372/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=393292 CPUtime=2855.07 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92183 0 0 0 284711 796 0 0 20 0 1 0 161653687 504688640 98323 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98323 4209 3002 0 106966 0
Current children cumulated CPU time: 2855.07 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 393292 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/257 837209
/proc/meminfo: memFree=127795712/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=393292 CPUtime=2914.91 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92250 0 0 0 290679 812 0 0 20 0 1 0 161653687 504688640 98323 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98323 4209 3002 0 106966 0
Current children cumulated CPU time: 2914.91 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 393292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/257 837219
/proc/meminfo: memFree=127794816/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=393292 CPUtime=2974.76 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92316 0 0 0 296649 827 0 0 20 0 1 0 161653687 504688640 98323 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98323 4209 3002 0 106966 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 393292 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/257 837231
/proc/meminfo: memFree=127793116/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=393292 CPUtime=3034.59 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92381 0 0 0 302615 844 0 0 20 0 1 0 161653687 504688640 98323 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98323 4209 3002 0 106966 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 393292 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/255 837241
/proc/meminfo: memFree=127790140/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=395340 CPUtime=3094.44 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92449 0 0 0 308584 860 0 0 20 0 1 0 161653687 504688640 98835 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98835 4209 3002 0 106966 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 395340 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=835402] ppid=835399 vsize=492860 memory=395340 CPUtime=3154.27 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92513 0 0 0 314553 874 0 0 20 0 1 0 161653687 504688640 98835 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98835 4209 3002 0 106966 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 395340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.33 4.19 4.13 5/255 837264
/proc/meminfo: memFree=127783452/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=395340 CPUtime=3214.13 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92581 0 0 0 320524 889 0 0 20 0 1 0 161653687 504688640 98835 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98835 4209 3002 0 106966 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 395340 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=835402] ppid=835399 vsize=492860 memory=395340 CPUtime=3273.97 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92647 0 0 0 326498 899 0 0 20 0 1 0 161653687 504688640 98835 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 98835 4209 3002 0 106966 0
Current children cumulated CPU time: 3273.97 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 395340 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=835402] ppid=835399 vsize=492860 memory=397388 CPUtime=3333.82 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92716 0 0 0 332468 914 0 0 20 0 1 0 161653687 504688640 99347 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 99347 4209 3002 0 106966 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 397388 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=835402] ppid=835399 vsize=492860 memory=397388 CPUtime=3393.66 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92787 0 0 0 338440 926 0 0 20 0 1 0 161653687 504688640 99347 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 99347 4209 3002 0 106966 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 397388 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=835402] ppid=835399 vsize=492860 memory=397388 CPUtime=3453.5 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92853 0 0 0 344407 943 0 0 20 0 1 0 161653687 504688640 99347 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 99347 4209 3002 0 106966 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 397388 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=835402] ppid=835399 vsize=492860 memory=399436 CPUtime=3513.34 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 92964 0 0 0 350378 956 0 0 20 0 1 0 161653687 504688640 99859 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 99859 4209 3002 0 106966 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 399436 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=835402] ppid=835399 vsize=492860 memory=401484 CPUtime=3573.18 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 93076 0 0 0 356350 968 0 0 20 0 1 0 161653687 504688640 100371 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 100371 4209 3002 0 106966 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 401484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.20 4.20 4.14 5/256 837336
/proc/meminfo: memFree=127765284/131524600 swapFree=131071996/131071996
[pid=835402] ppid=835399 vsize=492860 memory=401484 CPUtime=3600 cores=4,6
/proc/835402/stat : 835402 (mixed-bag) R 835399 835402 833369 0 -1 4194304 93146 0 0 0 359027 973 0 0 20 0 1 0 161653687 504688640 100371 134679101440 4194304 16487941 140734561697152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55451648 140734561702935 140734561703012 140734561703012 140734561710027 0
/proc/835402/statm: 123215 100371 4209 3002 0 106966 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 492860 KiB
Current children cumulated memory: 401484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 835402 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.28 s, system=9.7371 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.02
CPU user time (s): 3590.28
CPU system time (s): 9.7371
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (KiB): 492860
Max. memory (cumulated for all children) (KiB): 401484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.28
system time used= 9.7371
maximum resident set size= 402212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93169
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= 92
involuntary context switches= 1221
# summary of solver processes directly reported to runsolver:
# pid: 835402
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.28
# total CPU system time (s): 9.7371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00176 second user time and 17.6009 second system time
The end
Begin job on nodeC035 at 2024-07-16 03:54:01
IDJOB=4435452
IDBENCH=147545
IDSOLVER=3066
FILE ID=nodeC035/4435452-1721094828
RUNJOBID= nodeC035-1721091231-833380
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_16.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435452-1721094828/watcher-4435452-1721094828 -o /tmp/evaluation-result-4435452-1721094828/solver-4435452-1721094828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833380 --watchdog 3760 mixed-bag HOME/instance-4435452-1721094828.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
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 : 3669.086
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 : 3680.304
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 : 3603.253
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 : 3600.095
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 : 3659.751
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 : 3680.337
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 : 3664.866
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 : 3599.835
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: 128313708 kB
MemAvailable: 128858524 kB
Buffers: 375540 kB
Cached: 1008288 kB
SwapCached: 0 kB
Active: 685076 kB
Inactive: 1936536 kB
Active(anon): 1536 kB
Inactive(anon): 1273964 kB
Active(file): 683540 kB
Inactive(file): 662572 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 32604 kB
Writeback: 12 kB
AnonPages: 1237004 kB
Mapped: 138028 kB
Shmem: 37724 kB
KReclaimable: 77056 kB
Slab: 180284 kB
SReclaimable: 77056 kB
SUnreclaim: 103228 kB
KernelStack: 4096 kB
PageTables: 12056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1633100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62656 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1001472 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