0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
299.36/300.41 c [STEP] preprocessing done, loading into solver
299.36/300.41 c [STEP] solving
299.36/300.41 c #variables 477 #constraints 476
299.36/300.41 c SMALL=int, LARGE=long long
299.36/300.41 d SCIPUB 194
299.36/300.41 c bounds - >= 0 @ 299.204
299.36/300.41 c stratification level: 0
318.09/319.24 c bounds - >= 54 @ 299.205
318.09/319.24 c bounds - >= 55 @ 299.205
318.09/319.24 c bounds - >= 56 @ 299.205
318.09/319.24 c bounds - >= 57 @ 299.205
318.09/319.24 c bounds - >= 58 @ 299.205
318.09/319.24 c bounds - >= 59 @ 299.205
318.09/319.24 c bounds - >= 60 @ 299.205
318.09/319.24 c bounds - >= 61 @ 299.206
318.09/319.24 c bounds - >= 62 @ 299.206
318.09/319.24 c bounds - >= 63 @ 299.206
318.09/319.24 c bounds - >= 64 @ 299.206
318.09/319.24 c bounds - >= 65 @ 299.206
318.09/319.24 c bounds - >= 66 @ 299.206
318.09/319.24 c bounds - >= 67 @ 299.206
318.09/319.24 c bounds - >= 68 @ 299.206
318.09/319.24 c bounds - >= 69 @ 299.206
318.09/319.24 c bounds - >= 70 @ 299.206
318.09/319.24 c bounds - >= 71 @ 299.207
318.09/319.24 c bounds - >= 72 @ 299.207
318.09/319.24 c bounds - >= 73 @ 299.207
318.09/319.24 c bounds - >= 74 @ 299.207
318.09/319.24 c bounds - >= 75 @ 299.207
318.09/319.24 c bounds - >= 76 @ 299.207
318.09/319.24 c bounds - >= 77 @ 299.207
318.09/319.24 c bounds - >= 78 @ 299.207
318.09/319.24 c bounds - >= 79 @ 299.207
318.09/319.24 c bounds - >= 80 @ 299.207
318.09/319.24 c bounds - >= 81 @ 299.208
318.09/319.24 c bounds - >= 82 @ 299.208
318.09/319.24 c bounds - >= 83 @ 299.208
318.09/319.24 c bounds - >= 84 @ 299.208
318.09/319.24 c bounds - >= 85 @ 299.208
318.09/319.24 c bounds - >= 86 @ 299.208
318.09/319.24 c bounds - >= 87 @ 299.208
318.09/319.24 c bounds - >= 88 @ 299.208
318.09/319.24 c bounds - >= 89 @ 299.208
318.09/319.24 c bounds - >= 90 @ 299.209
318.09/319.24 c bounds - >= 91 @ 299.209
318.09/319.24 c bounds - >= 92 @ 299.209
318.09/319.24 c bounds - >= 93 @ 299.209
318.09/319.24 c bounds - >= 94 @ 299.209
318.09/319.24 c bounds - >= 95 @ 299.209
318.09/319.24 c bounds - >= 96 @ 299.209
318.09/319.24 c bounds - >= 97 @ 299.209
318.09/319.24 c bounds - >= 98 @ 299.209
318.09/319.24 c bounds - >= 99 @ 299.21
318.09/319.24 c bounds - >= 100 @ 299.21
318.09/319.24 c bounds - >= 101 @ 299.21
318.09/319.24 c bounds - >= 102 @ 299.21
318.09/319.24 c bounds - >= 103 @ 299.21
318.09/319.24 c bounds - >= 104 @ 299.21
318.09/319.24 c bounds - >= 105 @ 299.21
318.09/319.24 c bounds - >= 106 @ 299.211
318.09/319.24 c bounds - >= 107 @ 299.211
318.09/319.24 c bounds - >= 108 @ 299.211
318.09/319.24 c bounds - >= 109 @ 299.211
318.09/319.24 c bounds - >= 110 @ 299.211
318.09/319.24 c bounds - >= 111 @ 299.211
318.09/319.24 c bounds - >= 112 @ 299.211
318.09/319.24 c bounds - >= 113 @ 299.211
318.09/319.24 c bounds - >= 114 @ 299.211
318.09/319.24 c bounds - >= 115 @ 299.211
318.09/319.24 c bounds - >= 116 @ 299.211
318.09/319.24 c bounds - >= 117 @ 299.211
318.09/319.24 c bounds - >= 118 @ 299.212
318.09/319.24 c bounds - >= 119 @ 299.212
318.09/319.24 c bounds - >= 120 @ 299.212
318.09/319.24 c bounds - >= 121 @ 299.212
318.09/319.24 c bounds - >= 122 @ 299.212
318.09/319.24 c bounds - >= 123 @ 299.212
318.09/319.24 c bounds - >= 124 @ 299.212
318.09/319.24 c bounds - >= 125 @ 299.213
318.09/319.24 c bounds - >= 126 @ 299.213
318.09/319.24 c bounds - >= 127 @ 299.213
318.09/319.24 c bounds - >= 128 @ 299.213
318.09/319.24 c #Conflicts: 1000 | #Constraints: 1613
318.09/319.24 c #Conflicts: 2000 | #Constraints: 2613
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 3000 | #Constraints: 2543
318.09/319.24 c #Conflicts: 4000 | #Constraints: 3543
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 5000 | #Constraints: 2941
318.09/319.24 c #Conflicts: 6000 | #Constraints: 3941
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 7000 | #Constraints: 2941
318.09/319.24 c #Conflicts: 8000 | #Constraints: 3941
318.09/319.24 c #Conflicts: 9000 | #Constraints: 4941
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 10000 | #Constraints: 3642
318.09/319.24 c #Conflicts: 11000 | #Constraints: 4642
318.09/319.24 c #Conflicts: 12000 | #Constraints: 5642
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 13000 | #Constraints: 4097
318.09/319.24 c #Conflicts: 14000 | #Constraints: 5097
318.09/319.24 c #Conflicts: 15000 | #Constraints: 6097
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 16000 | #Constraints: 4323
318.09/319.24 c #Conflicts: 17000 | #Constraints: 5323
318.09/319.24 c #Conflicts: 18000 | #Constraints: 6323
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 19000 | #Constraints: 4334
318.09/319.24 c #Conflicts: 20000 | #Constraints: 5334
318.09/319.24 c #Conflicts: 21000 | #Constraints: 6334
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 22000 | #Constraints: 4140
318.09/319.24 c #Conflicts: 23000 | #Constraints: 5140
318.09/319.24 c #Conflicts: 24000 | #Constraints: 6140
318.09/319.24 c #Conflicts: 25000 | #Constraints: 7140
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 26000 | #Constraints: 4744
318.09/319.24 c #Conflicts: 27000 | #Constraints: 5744
318.09/319.24 c #Conflicts: 28000 | #Constraints: 6744
318.09/319.24 c #Conflicts: 29000 | #Constraints: 7744
318.09/319.24 c INPROCESSING
318.09/319.24 c GARBAGE COLLECT
318.09/319.24 c #Conflicts: 30000 | #Constraints: 5143
318.09/319.24 c #Conflicts: 31000 | #Constraints: 6143
318.09/319.24 c #Conflicts: 32000 | #Constraints: 7143
318.09/319.24 c #Conflicts: 33000 | #Constraints: 8143
318.09/319.24 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 34000 | #Constraints: 5342
420.83/422.38 c #Conflicts: 35000 | #Constraints: 6342
420.83/422.38 c #Conflicts: 36000 | #Constraints: 7342
420.83/422.38 c #Conflicts: 37000 | #Constraints: 8342
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 38000 | #Constraints: 5344
420.83/422.38 c #Conflicts: 39000 | #Constraints: 6344
420.83/422.38 c #Conflicts: 40000 | #Constraints: 7344
420.83/422.38 c #Conflicts: 41000 | #Constraints: 8344
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 42000 | #Constraints: 5153
420.83/422.38 c #Conflicts: 43000 | #Constraints: 6153
420.83/422.38 c #Conflicts: 44000 | #Constraints: 7153
420.83/422.38 c #Conflicts: 45000 | #Constraints: 8153
420.83/422.38 c #Conflicts: 46000 | #Constraints: 9153
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 47000 | #Constraints: 5752
420.83/422.38 c #Conflicts: 48000 | #Constraints: 6752
420.83/422.38 c #Conflicts: 49000 | #Constraints: 7752
420.83/422.38 c #Conflicts: 50000 | #Constraints: 8752
420.83/422.38 c #Conflicts: 51000 | #Constraints: 9752
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 52000 | #Constraints: 6157
420.83/422.38 c #Conflicts: 53000 | #Constraints: 7157
420.83/422.38 c #Conflicts: 54000 | #Constraints: 8157
420.83/422.38 c #Conflicts: 55000 | #Constraints: 9157
420.83/422.38 c #Conflicts: 56000 | #Constraints: 10157
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 57000 | #Constraints: 6354
420.83/422.38 c #Conflicts: 58000 | #Constraints: 7354
420.83/422.38 c #Conflicts: 59000 | #Constraints: 8354
420.83/422.38 c #Conflicts: 60000 | #Constraints: 9354
420.83/422.38 c #Conflicts: 61000 | #Constraints: 10354
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 62000 | #Constraints: 6351
420.83/422.38 c #Conflicts: 63000 | #Constraints: 7351
420.83/422.38 c #Conflicts: 64000 | #Constraints: 8351
420.83/422.38 c #Conflicts: 65000 | #Constraints: 9351
420.83/422.38 c #Conflicts: 66000 | #Constraints: 10351
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 67000 | #Constraints: 6146
420.83/422.38 c #Conflicts: 68000 | #Constraints: 7146
420.83/422.38 c #Conflicts: 69000 | #Constraints: 8146
420.83/422.38 c #Conflicts: 70000 | #Constraints: 9146
420.83/422.38 c #Conflicts: 71000 | #Constraints: 10146
420.83/422.38 c #Conflicts: 72000 | #Constraints: 11146
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 73000 | #Constraints: 6749
420.83/422.38 c #Conflicts: 74000 | #Constraints: 7749
420.83/422.38 c #Conflicts: 75000 | #Constraints: 8749
420.83/422.38 c #Conflicts: 76000 | #Constraints: 9749
420.83/422.38 c #Conflicts: 77000 | #Constraints: 10749
420.83/422.38 c #Conflicts: 78000 | #Constraints: 11749
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 79000 | #Constraints: 7152
420.83/422.38 c #Conflicts: 80000 | #Constraints: 8152
420.83/422.38 c #Conflicts: 81000 | #Constraints: 9152
420.83/422.38 c #Conflicts: 82000 | #Constraints: 10152
420.83/422.38 c #Conflicts: 83000 | #Constraints: 11152
420.83/422.38 c #Conflicts: 84000 | #Constraints: 12152
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 85000 | #Constraints: 7349
420.83/422.38 c #Conflicts: 86000 | #Constraints: 8349
420.83/422.38 c #Conflicts: 87000 | #Constraints: 9349
420.83/422.38 c #Conflicts: 88000 | #Constraints: 10349
420.83/422.38 c #Conflicts: 89000 | #Constraints: 11349
420.83/422.38 c #Conflicts: 90000 | #Constraints: 12349
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 91000 | #Constraints: 7350
420.83/422.38 c #Conflicts: 92000 | #Constraints: 8350
420.83/422.38 c #Conflicts: 93000 | #Constraints: 9350
420.83/422.38 c #Conflicts: 94000 | #Constraints: 10350
420.83/422.38 c #Conflicts: 95000 | #Constraints: 11350
420.83/422.38 c #Conflicts: 96000 | #Constraints: 12350
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
420.83/422.38 c #Conflicts: 97000 | #Constraints: 7150
420.83/422.38 c #Conflicts: 98000 | #Constraints: 8150
420.83/422.38 c #Conflicts: 99000 | #Constraints: 9150
420.83/422.38 c #Conflicts: 100000 | #Constraints: 10150
420.83/422.38 c #Conflicts: 101000 | #Constraints: 11150
420.83/422.38 c #Conflicts: 102000 | #Constraints: 12150
420.83/422.38 c #Conflicts: 103000 | #Constraints: 13150
420.83/422.38 c INPROCESSING
420.83/422.38 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 104000 | #Constraints: 7746
564.97/566.92 c #Conflicts: 105000 | #Constraints: 8746
564.97/566.92 c #Conflicts: 106000 | #Constraints: 9746
564.97/566.92 c #Conflicts: 107000 | #Constraints: 10746
564.97/566.92 c #Conflicts: 108000 | #Constraints: 11746
564.97/566.92 c #Conflicts: 109000 | #Constraints: 12746
564.97/566.92 c #Conflicts: 110000 | #Constraints: 13746
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 111000 | #Constraints: 8147
564.97/566.92 c #Conflicts: 112000 | #Constraints: 9147
564.97/566.92 c #Conflicts: 113000 | #Constraints: 10147
564.97/566.92 c #Conflicts: 114000 | #Constraints: 11147
564.97/566.92 c #Conflicts: 115000 | #Constraints: 12147
564.97/566.92 c #Conflicts: 116000 | #Constraints: 13147
564.97/566.92 c #Conflicts: 117000 | #Constraints: 14147
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 118000 | #Constraints: 8351
564.97/566.92 c #Conflicts: 119000 | #Constraints: 9351
564.97/566.92 c #Conflicts: 120000 | #Constraints: 10351
564.97/566.92 c #Conflicts: 121000 | #Constraints: 11351
564.97/566.92 c #Conflicts: 122000 | #Constraints: 12351
564.97/566.92 c #Conflicts: 123000 | #Constraints: 13351
564.97/566.92 c #Conflicts: 124000 | #Constraints: 14351
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 125000 | #Constraints: 8353
564.97/566.92 c #Conflicts: 126000 | #Constraints: 9353
564.97/566.92 c #Conflicts: 127000 | #Constraints: 10353
564.97/566.92 c #Conflicts: 128000 | #Constraints: 11353
564.97/566.92 c #Conflicts: 129000 | #Constraints: 12353
564.97/566.92 c #Conflicts: 130000 | #Constraints: 13353
564.97/566.92 c #Conflicts: 131000 | #Constraints: 14353
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 132000 | #Constraints: 8150
564.97/566.92 c #Conflicts: 133000 | #Constraints: 9150
564.97/566.92 c #Conflicts: 134000 | #Constraints: 10150
564.97/566.92 c #Conflicts: 135000 | #Constraints: 11150
564.97/566.92 c #Conflicts: 136000 | #Constraints: 12150
564.97/566.92 c #Conflicts: 137000 | #Constraints: 13150
564.97/566.92 c #Conflicts: 138000 | #Constraints: 14150
564.97/566.92 c #Conflicts: 139000 | #Constraints: 15150
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 140000 | #Constraints: 8751
564.97/566.92 c #Conflicts: 141000 | #Constraints: 9751
564.97/566.92 c #Conflicts: 142000 | #Constraints: 10751
564.97/566.92 c #Conflicts: 143000 | #Constraints: 11751
564.97/566.92 c #Conflicts: 144000 | #Constraints: 12751
564.97/566.92 c #Conflicts: 145000 | #Constraints: 13751
564.97/566.92 c #Conflicts: 146000 | #Constraints: 14751
564.97/566.92 c #Conflicts: 147000 | #Constraints: 15751
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 148000 | #Constraints: 9155
564.97/566.92 c #Conflicts: 149000 | #Constraints: 10155
564.97/566.92 c #Conflicts: 150000 | #Constraints: 11155
564.97/566.92 c #Conflicts: 151000 | #Constraints: 12155
564.97/566.92 c #Conflicts: 152000 | #Constraints: 13155
564.97/566.92 c #Conflicts: 153000 | #Constraints: 14155
564.97/566.92 c #Conflicts: 154000 | #Constraints: 15155
564.97/566.92 c #Conflicts: 155000 | #Constraints: 16155
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 156000 | #Constraints: 9352
564.97/566.92 c #Conflicts: 157000 | #Constraints: 10352
564.97/566.92 c #Conflicts: 158000 | #Constraints: 11352
564.97/566.92 c #Conflicts: 159000 | #Constraints: 12352
564.97/566.92 c #Conflicts: 160000 | #Constraints: 13352
564.97/566.92 c #Conflicts: 161000 | #Constraints: 14352
564.97/566.92 c #Conflicts: 162000 | #Constraints: 15352
564.97/566.92 c #Conflicts: 163000 | #Constraints: 16352
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 164000 | #Constraints: 9349
564.97/566.92 c #Conflicts: 165000 | #Constraints: 10349
564.97/566.92 c #Conflicts: 166000 | #Constraints: 11349
564.97/566.92 c #Conflicts: 167000 | #Constraints: 12349
564.97/566.92 c #Conflicts: 168000 | #Constraints: 13349
564.97/566.92 c #Conflicts: 169000 | #Constraints: 14349
564.97/566.92 c #Conflicts: 170000 | #Constraints: 15349
564.97/566.92 c #Conflicts: 171000 | #Constraints: 16349
564.97/566.92 c INPROCESSING
564.97/566.92 c GARBAGE COLLECT
564.97/566.92 c #Conflicts: 172000 | #Constraints: 9148
564.97/566.92 c #Conflicts: 173000 | #Constraints: 10148
564.97/566.92 c #Conflicts: 174000 | #Constraints: 11148
564.97/566.92 c #Conflicts: 175000 | #Constraints: 12148
564.97/566.92 c #Conflicts: 176000 | #Constraints: 13148
729.81/732.25 c #Conflicts: 177000 | #Constraints: 14148
729.81/732.25 c #Conflicts: 178000 | #Constraints: 15148
729.81/732.25 c #Conflicts: 179000 | #Constraints: 16148
729.81/732.25 c #Conflicts: 180000 | #Constraints: 17148
729.81/732.25 c INPROCESSING
729.81/732.25 c GARBAGE COLLECT
729.81/732.25 c #Conflicts: 181000 | #Constraints: 9748
729.81/732.25 c #Conflicts: 182000 | #Constraints: 10748
729.81/732.25 c #Conflicts: 183000 | #Constraints: 11748
729.81/732.25 c #Conflicts: 184000 | #Constraints: 12748
729.81/732.25 c #Conflicts: 185000 | #Constraints: 13748
729.81/732.25 c #Conflicts: 186000 | #Constraints: 14748
729.81/732.25 c #Conflicts: 187000 | #Constraints: 15748
729.81/732.25 c #Conflicts: 188000 | #Constraints: 16748
729.81/732.25 c #Conflicts: 189000 | #Constraints: 17748
729.81/732.25 c INPROCESSING
729.81/732.25 c GARBAGE COLLECT
729.81/732.25 c #Conflicts: 190000 | #Constraints: 10150
729.81/732.25 c #Conflicts: 191000 | #Constraints: 11150
729.81/732.25 c #Conflicts: 192000 | #Constraints: 12150
729.81/732.25 c #Conflicts: 193000 | #Constraints: 13150
729.81/732.25 c #Conflicts: 194000 | #Constraints: 14150
729.81/732.25 c #Conflicts: 195000 | #Constraints: 15150
729.81/732.26 c #Conflicts: 196000 | #Constraints: 16150
729.81/732.26 c #Conflicts: 197000 | #Constraints: 17150
729.81/732.26 c #Conflicts: 198000 | #Constraints: 18150
729.81/732.26 c INPROCESSING
729.81/732.26 c GARBAGE COLLECT
729.81/732.26 c #Conflicts: 199000 | #Constraints: 10355
729.81/732.26 c #Conflicts: 200000 | #Constraints: 11355
729.81/732.26 c #Conflicts: 201000 | #Constraints: 12355
729.81/732.26 c #Conflicts: 202000 | #Constraints: 13355
729.81/732.26 c #Conflicts: 203000 | #Constraints: 14355
729.81/732.26 c #Conflicts: 204000 | #Constraints: 15355
729.81/732.26 c #Conflicts: 205000 | #Constraints: 16355
729.81/732.26 c #Conflicts: 206000 | #Constraints: 17355
729.81/732.26 c #Conflicts: 207000 | #Constraints: 18355
729.81/732.26 c INPROCESSING
729.81/732.26 c GARBAGE COLLECT
729.81/732.26 c #Conflicts: 208000 | #Constraints: 10353
729.81/732.26 c #Conflicts: 209000 | #Constraints: 11353
729.81/732.26 c #Conflicts: 210000 | #Constraints: 12353
729.81/732.26 c #Conflicts: 211000 | #Constraints: 13353
729.81/732.26 c #Conflicts: 212000 | #Constraints: 14353
729.81/732.26 c #Conflicts: 213000 | #Constraints: 15353
729.81/732.26 c #Conflicts: 214000 | #Constraints: 16353
729.81/732.26 c #Conflicts: 215000 | #Constraints: 17353
729.81/732.26 c #Conflicts: 216000 | #Constraints: 18353
729.81/732.26 c INPROCESSING
729.81/732.26 c GARBAGE COLLECT
729.81/732.26 c #Conflicts: 217000 | #Constraints: 10156
729.81/732.26 c #Conflicts: 218000 | #Constraints: 11156
729.81/732.26 c #Conflicts: 219000 | #Constraints: 12156
729.81/732.26 c #Conflicts: 220000 | #Constraints: 13156
729.81/732.26 c #Conflicts: 221000 | #Constraints: 14156
729.81/732.26 c #Conflicts: 222000 | #Constraints: 15156
729.81/732.26 c #Conflicts: 223000 | #Constraints: 16156
729.81/732.26 c #Conflicts: 224000 | #Constraints: 17156
729.81/732.26 c #Conflicts: 225000 | #Constraints: 18156
729.81/732.26 c #Conflicts: 226000 | #Constraints: 19156
729.81/732.26 c INPROCESSING
729.81/732.26 c GARBAGE COLLECT
729.81/732.26 c #Conflicts: 227000 | #Constraints: 10755
729.81/732.26 c #Conflicts: 228000 | #Constraints: 11755
729.81/732.26 c #Conflicts: 229000 | #Constraints: 12755
729.81/732.26 c #Conflicts: 230000 | #Constraints: 13755
729.81/732.26 c #Conflicts: 231000 | #Constraints: 14755
729.81/732.26 c #Conflicts: 232000 | #Constraints: 15755
729.81/732.26 c #Conflicts: 233000 | #Constraints: 16755
729.81/732.26 c #Conflicts: 234000 | #Constraints: 17755
729.81/732.26 c #Conflicts: 235000 | #Constraints: 18755
729.81/732.26 c #Conflicts: 236000 | #Constraints: 19755
729.81/732.26 c INPROCESSING
729.81/732.26 c GARBAGE COLLECT
729.81/732.26 c #Conflicts: 237000 | #Constraints: 11151
729.81/732.26 c #Conflicts: 238000 | #Constraints: 12151
729.81/732.26 c #Conflicts: 239000 | #Constraints: 13151
729.81/732.26 c #Conflicts: 240000 | #Constraints: 14151
729.81/732.26 c #Conflicts: 241000 | #Constraints: 15151
729.81/732.26 c #Conflicts: 242000 | #Constraints: 16151
729.81/732.26 c #Conflicts: 243000 | #Constraints: 17151
729.81/732.26 c #Conflicts: 244000 | #Constraints: 18151
729.81/732.26 c #Conflicts: 245000 | #Constraints: 19151
729.81/732.26 c #Conflicts: 246000 | #Constraints: 20151
729.81/732.26 c INPROCESSING
729.81/732.26 c GARBAGE COLLECT
729.81/732.26 c #Conflicts: 247000 | #Constraints: 11351
729.81/732.26 c #Conflicts: 248000 | #Constraints: 12351
729.81/732.26 c #Conflicts: 249000 | #Constraints: 13351
729.81/732.26 c #Conflicts: 250000 | #Constraints: 14351
922.70/925.63 c #Conflicts: 251000 | #Constraints: 15351
922.70/925.63 c #Conflicts: 252000 | #Constraints: 16351
922.70/925.63 c #Conflicts: 253000 | #Constraints: 17351
922.70/925.63 c #Conflicts: 254000 | #Constraints: 18351
922.70/925.63 c #Conflicts: 255000 | #Constraints: 19351
922.70/925.63 c #Conflicts: 256000 | #Constraints: 20351
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 257000 | #Constraints: 11353
922.70/925.63 c #Conflicts: 258000 | #Constraints: 12353
922.70/925.63 c #Conflicts: 259000 | #Constraints: 13353
922.70/925.63 c #Conflicts: 260000 | #Constraints: 14353
922.70/925.63 c #Conflicts: 261000 | #Constraints: 15353
922.70/925.63 c #Conflicts: 262000 | #Constraints: 16353
922.70/925.63 c #Conflicts: 263000 | #Constraints: 17353
922.70/925.63 c #Conflicts: 264000 | #Constraints: 18353
922.70/925.63 c #Conflicts: 265000 | #Constraints: 19353
922.70/925.63 c #Conflicts: 266000 | #Constraints: 20353
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 267000 | #Constraints: 11156
922.70/925.63 c #Conflicts: 268000 | #Constraints: 12156
922.70/925.63 c #Conflicts: 269000 | #Constraints: 13156
922.70/925.63 c #Conflicts: 270000 | #Constraints: 14156
922.70/925.63 c #Conflicts: 271000 | #Constraints: 15156
922.70/925.63 c #Conflicts: 272000 | #Constraints: 16156
922.70/925.63 c #Conflicts: 273000 | #Constraints: 17156
922.70/925.63 c #Conflicts: 274000 | #Constraints: 18156
922.70/925.63 c #Conflicts: 275000 | #Constraints: 19156
922.70/925.63 c #Conflicts: 276000 | #Constraints: 20156
922.70/925.63 c #Conflicts: 277000 | #Constraints: 21156
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 278000 | #Constraints: 11752
922.70/925.63 c #Conflicts: 279000 | #Constraints: 12752
922.70/925.63 c #Conflicts: 280000 | #Constraints: 13752
922.70/925.63 c #Conflicts: 281000 | #Constraints: 14752
922.70/925.63 c #Conflicts: 282000 | #Constraints: 15752
922.70/925.63 c #Conflicts: 283000 | #Constraints: 16752
922.70/925.63 c #Conflicts: 284000 | #Constraints: 17752
922.70/925.63 c #Conflicts: 285000 | #Constraints: 18752
922.70/925.63 c #Conflicts: 286000 | #Constraints: 19752
922.70/925.63 c #Conflicts: 287000 | #Constraints: 20752
922.70/925.63 c #Conflicts: 288000 | #Constraints: 21752
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 289000 | #Constraints: 12152
922.70/925.63 c #Conflicts: 290000 | #Constraints: 13152
922.70/925.63 c #Conflicts: 291000 | #Constraints: 14152
922.70/925.63 c #Conflicts: 292000 | #Constraints: 15152
922.70/925.63 c #Conflicts: 293000 | #Constraints: 16152
922.70/925.63 c #Conflicts: 294000 | #Constraints: 17152
922.70/925.63 c #Conflicts: 295000 | #Constraints: 18152
922.70/925.63 c #Conflicts: 296000 | #Constraints: 19152
922.70/925.63 c #Conflicts: 297000 | #Constraints: 20152
922.70/925.63 c #Conflicts: 298000 | #Constraints: 21152
922.70/925.63 c #Conflicts: 299000 | #Constraints: 22152
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 300000 | #Constraints: 12351
922.70/925.63 c #Conflicts: 301000 | #Constraints: 13351
922.70/925.63 c #Conflicts: 302000 | #Constraints: 14351
922.70/925.63 c #Conflicts: 303000 | #Constraints: 15351
922.70/925.63 c #Conflicts: 304000 | #Constraints: 16351
922.70/925.63 c #Conflicts: 305000 | #Constraints: 17351
922.70/925.63 c #Conflicts: 306000 | #Constraints: 18351
922.70/925.63 c #Conflicts: 307000 | #Constraints: 19351
922.70/925.63 c #Conflicts: 308000 | #Constraints: 20351
922.70/925.63 c #Conflicts: 309000 | #Constraints: 21351
922.70/925.63 c #Conflicts: 310000 | #Constraints: 22351
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 311000 | #Constraints: 12350
922.70/925.63 c #Conflicts: 312000 | #Constraints: 13350
922.70/925.63 c #Conflicts: 313000 | #Constraints: 14350
922.70/925.63 c #Conflicts: 314000 | #Constraints: 15350
922.70/925.63 c #Conflicts: 315000 | #Constraints: 16350
922.70/925.63 c #Conflicts: 316000 | #Constraints: 17350
922.70/925.63 c #Conflicts: 317000 | #Constraints: 18350
922.70/925.63 c #Conflicts: 318000 | #Constraints: 19350
922.70/925.63 c #Conflicts: 319000 | #Constraints: 20350
922.70/925.63 c #Conflicts: 320000 | #Constraints: 21350
922.70/925.63 c #Conflicts: 321000 | #Constraints: 22350
922.70/925.63 c INPROCESSING
922.70/925.63 c GARBAGE COLLECT
922.70/925.63 c #Conflicts: 322000 | #Constraints: 12155
922.70/925.63 c #Conflicts: 323000 | #Constraints: 13155
922.70/925.63 c #Conflicts: 324000 | #Constraints: 14155
922.70/925.63 c #Conflicts: 325000 | #Constraints: 15155
1147.18/1150.76 c #Conflicts: 326000 | #Constraints: 16155
1147.18/1150.76 c #Conflicts: 327000 | #Constraints: 17155
1147.18/1150.76 c #Conflicts: 328000 | #Constraints: 18155
1147.18/1150.76 c #Conflicts: 329000 | #Constraints: 19155
1147.18/1150.76 c #Conflicts: 330000 | #Constraints: 20155
1147.18/1150.76 c #Conflicts: 331000 | #Constraints: 21155
1147.18/1150.76 c #Conflicts: 332000 | #Constraints: 22155
1147.18/1150.76 c #Conflicts: 333000 | #Constraints: 23155
1147.18/1150.76 c INPROCESSING
1147.18/1150.76 c GARBAGE COLLECT
1147.18/1150.76 c #Conflicts: 334000 | #Constraints: 12753
1147.18/1150.76 c #Conflicts: 335000 | #Constraints: 13753
1147.18/1150.76 c #Conflicts: 336000 | #Constraints: 14753
1147.18/1150.76 c #Conflicts: 337000 | #Constraints: 15753
1147.18/1150.76 c #Conflicts: 338000 | #Constraints: 16753
1147.18/1150.76 c #Conflicts: 339000 | #Constraints: 17753
1147.18/1150.76 c #Conflicts: 340000 | #Constraints: 18753
1147.18/1150.76 c #Conflicts: 341000 | #Constraints: 19753
1147.18/1150.76 c #Conflicts: 342000 | #Constraints: 20753
1147.18/1150.76 c #Conflicts: 343000 | #Constraints: 21753
1147.18/1150.76 c #Conflicts: 344000 | #Constraints: 22753
1147.18/1150.76 c #Conflicts: 345000 | #Constraints: 23753
1147.18/1150.76 c INPROCESSING
1147.18/1150.76 c GARBAGE COLLECT
1147.18/1150.76 c #Conflicts: 346000 | #Constraints: 13152
1147.18/1150.76 c #Conflicts: 347000 | #Constraints: 14152
1147.18/1150.76 c #Conflicts: 348000 | #Constraints: 15152
1147.18/1150.76 c #Conflicts: 349000 | #Constraints: 16152
1147.18/1150.76 c #Conflicts: 350000 | #Constraints: 17152
1147.18/1150.76 c #Conflicts: 351000 | #Constraints: 18152
1147.18/1150.76 c #Conflicts: 352000 | #Constraints: 19152
1147.18/1150.76 c #Conflicts: 353000 | #Constraints: 20152
1147.18/1150.76 c #Conflicts: 354000 | #Constraints: 21152
1147.18/1150.76 c #Conflicts: 355000 | #Constraints: 22152
1147.18/1150.76 c #Conflicts: 356000 | #Constraints: 23152
1147.18/1150.76 c #Conflicts: 357000 | #Constraints: 24152
1147.18/1150.76 c INPROCESSING
1147.18/1150.76 c GARBAGE COLLECT
1147.18/1150.76 c #Conflicts: 358000 | #Constraints: 13347
1147.18/1150.76 c #Conflicts: 359000 | #Constraints: 14347
1147.18/1150.76 c #Conflicts: 360000 | #Constraints: 15347
1147.18/1150.76 c #Conflicts: 361000 | #Constraints: 16347
1147.18/1150.76 c #Conflicts: 362000 | #Constraints: 17347
1147.18/1150.76 c #Conflicts: 363000 | #Constraints: 18347
1147.18/1150.76 c #Conflicts: 364000 | #Constraints: 19347
1147.18/1150.76 c #Conflicts: 365000 | #Constraints: 20347
1147.18/1150.76 c #Conflicts: 366000 | #Constraints: 21347
1147.18/1150.76 c #Conflicts: 367000 | #Constraints: 22347
1147.18/1150.76 c #Conflicts: 368000 | #Constraints: 23347
1147.18/1150.76 c #Conflicts: 369000 | #Constraints: 24347
1147.18/1150.76 c INPROCESSING
1147.18/1150.76 c GARBAGE COLLECT
1147.18/1150.76 c #Conflicts: 370000 | #Constraints: 13350
1147.18/1150.76 c #Conflicts: 371000 | #Constraints: 14350
1147.18/1150.76 c #Conflicts: 372000 | #Constraints: 15350
1147.18/1150.76 c #Conflicts: 373000 | #Constraints: 16350
1147.18/1150.76 c #Conflicts: 374000 | #Constraints: 17350
1147.18/1150.76 c #Conflicts: 375000 | #Constraints: 18350
1147.18/1150.76 c #Conflicts: 376000 | #Constraints: 19350
1147.18/1150.76 c #Conflicts: 377000 | #Constraints: 20350
1147.18/1150.76 c #Conflicts: 378000 | #Constraints: 21350
1147.18/1150.76 c #Conflicts: 379000 | #Constraints: 22350
1147.18/1150.76 c #Conflicts: 380000 | #Constraints: 23350
1147.18/1150.76 c #Conflicts: 381000 | #Constraints: 24350
1147.18/1150.76 c INPROCESSING
1147.18/1150.76 c GARBAGE COLLECT
1147.18/1150.76 c #Conflicts: 382000 | #Constraints: 13149
1147.18/1150.76 c #Conflicts: 383000 | #Constraints: 14149
1147.18/1150.76 c #Conflicts: 384000 | #Constraints: 15149
1147.18/1150.76 c #Conflicts: 385000 | #Constraints: 16149
1147.18/1150.76 c #Conflicts: 386000 | #Constraints: 17149
1147.18/1150.76 c #Conflicts: 387000 | #Constraints: 18149
1147.18/1150.76 c #Conflicts: 388000 | #Constraints: 19149
1147.18/1150.76 c #Conflicts: 389000 | #Constraints: 20149
1147.18/1150.76 c #Conflicts: 390000 | #Constraints: 21149
1147.18/1150.76 c #Conflicts: 391000 | #Constraints: 22149
1147.18/1150.76 c #Conflicts: 392000 | #Constraints: 23149
1147.18/1150.76 c #Conflicts: 393000 | #Constraints: 24149
1147.18/1150.76 c #Conflicts: 394000 | #Constraints: 25149
1147.18/1150.76 c INPROCESSING
1147.18/1150.76 c GARBAGE COLLECT
1147.18/1150.76 c #Conflicts: 395000 | #Constraints: 13749
1147.18/1150.76 c #Conflicts: 396000 | #Constraints: 14749
1147.18/1150.76 c #Conflicts: 397000 | #Constraints: 15749
1147.18/1150.76 c #Conflicts: 398000 | #Constraints: 16749
1147.18/1150.76 c #Conflicts: 399000 | #Constraints: 17749
1469.20/1473.60 c #Conflicts: 400000 | #Constraints: 18749
1469.20/1473.60 c #Conflicts: 401000 | #Constraints: 19749
1469.20/1473.60 c #Conflicts: 402000 | #Constraints: 20749
1469.20/1473.60 c #Conflicts: 403000 | #Constraints: 21749
1469.20/1473.60 c #Conflicts: 404000 | #Constraints: 22749
1469.20/1473.60 c #Conflicts: 405000 | #Constraints: 23749
1469.20/1473.60 c #Conflicts: 406000 | #Constraints: 24749
1469.20/1473.60 c #Conflicts: 407000 | #Constraints: 25749
1469.20/1473.60 c INPROCESSING
1469.20/1473.60 c GARBAGE COLLECT
1469.20/1473.60 c #Conflicts: 408000 | #Constraints: 14148
1469.20/1473.60 c #Conflicts: 409000 | #Constraints: 15148
1469.20/1473.60 c #Conflicts: 410000 | #Constraints: 16148
1469.20/1473.60 c #Conflicts: 411000 | #Constraints: 17148
1469.20/1473.60 c #Conflicts: 412000 | #Constraints: 18148
1469.20/1473.60 c #Conflicts: 413000 | #Constraints: 19148
1469.20/1473.60 c #Conflicts: 414000 | #Constraints: 20148
1469.20/1473.60 c #Conflicts: 415000 | #Constraints: 21148
1469.20/1473.60 c #Conflicts: 416000 | #Constraints: 22148
1469.20/1473.60 c #Conflicts: 417000 | #Constraints: 23148
1469.20/1473.60 c #Conflicts: 418000 | #Constraints: 24148
1469.20/1473.60 c #Conflicts: 419000 | #Constraints: 25148
1469.20/1473.60 c #Conflicts: 420000 | #Constraints: 26148
1469.20/1473.60 c INPROCESSING
1469.20/1473.60 c GARBAGE COLLECT
1469.20/1473.60 c #Conflicts: 421000 | #Constraints: 14351
1469.20/1473.60 c #Conflicts: 422000 | #Constraints: 15351
1469.20/1473.60 c #Conflicts: 423000 | #Constraints: 16351
1469.20/1473.60 c #Conflicts: 424000 | #Constraints: 17351
1469.20/1473.60 c #Conflicts: 425000 | #Constraints: 18351
1469.20/1473.60 c #Conflicts: 426000 | #Constraints: 19351
1469.20/1473.60 c #Conflicts: 427000 | #Constraints: 20351
1469.20/1473.60 c #Conflicts: 428000 | #Constraints: 21351
1469.20/1473.60 c #Conflicts: 429000 | #Constraints: 22351
1469.20/1473.60 c #Conflicts: 430000 | #Constraints: 23351
1469.20/1473.60 c #Conflicts: 431000 | #Constraints: 24351
1469.20/1473.60 c #Conflicts: 432000 | #Constraints: 25351
1469.20/1473.60 c #Conflicts: 433000 | #Constraints: 26351
1469.20/1473.60 c INPROCESSING
1469.20/1473.60 c GARBAGE COLLECT
1469.20/1473.60 c #Conflicts: 434000 | #Constraints: 14348
1469.20/1473.60 c #Conflicts: 435000 | #Constraints: 15348
1469.20/1473.60 c #Conflicts: 436000 | #Constraints: 16348
1469.20/1473.60 c #Conflicts: 437000 | #Constraints: 17348
1469.20/1473.60 c #Conflicts: 438000 | #Constraints: 18348
1469.20/1473.60 c #Conflicts: 439000 | #Constraints: 19348
1469.20/1473.60 c #Conflicts: 440000 | #Constraints: 20348
1469.20/1473.60 c #Conflicts: 441000 | #Constraints: 21348
1469.20/1473.60 c #Conflicts: 442000 | #Constraints: 22348
1469.20/1473.60 c #Conflicts: 443000 | #Constraints: 23348
1469.20/1473.60 c #Conflicts: 444000 | #Constraints: 24348
1469.20/1473.60 c #Conflicts: 445000 | #Constraints: 25348
1469.20/1473.60 c #Conflicts: 446000 | #Constraints: 26348
1469.20/1473.60 c INPROCESSING
1469.20/1473.60 c GARBAGE COLLECT
1469.20/1473.60 c #Conflicts: 447000 | #Constraints: 14154
1469.20/1473.60 c #Conflicts: 448000 | #Constraints: 15154
1469.20/1473.60 c #Conflicts: 449000 | #Constraints: 16154
1469.20/1473.60 c #Conflicts: 450000 | #Constraints: 17154
1469.20/1473.60 c #Conflicts: 451000 | #Constraints: 18154
1469.20/1473.60 c #Conflicts: 452000 | #Constraints: 19154
1469.20/1473.60 c #Conflicts: 453000 | #Constraints: 20154
1469.20/1473.60 c #Conflicts: 454000 | #Constraints: 21154
1469.20/1473.60 c #Conflicts: 455000 | #Constraints: 22154
1469.20/1473.60 c #Conflicts: 456000 | #Constraints: 23154
1469.20/1473.60 c #Conflicts: 457000 | #Constraints: 24154
1469.20/1473.60 c #Conflicts: 458000 | #Constraints: 25154
1469.20/1473.60 c #Conflicts: 459000 | #Constraints: 26154
1469.20/1473.60 c #Conflicts: 460000 | #Constraints: 27154
1469.20/1473.60 c INPROCESSING
1469.20/1473.60 c GARBAGE COLLECT
1469.20/1473.60 c #Conflicts: 461000 | #Constraints: 14754
1469.20/1473.60 c #Conflicts: 462000 | #Constraints: 15754
1469.20/1473.60 c #Conflicts: 463000 | #Constraints: 16754
1469.20/1473.60 c #Conflicts: 464000 | #Constraints: 17754
1469.20/1473.60 c #Conflicts: 465000 | #Constraints: 18754
1469.20/1473.60 c #Conflicts: 466000 | #Constraints: 19754
1469.20/1473.60 c #Conflicts: 467000 | #Constraints: 20754
1469.20/1473.60 c #Conflicts: 468000 | #Constraints: 21754
1469.20/1473.60 c #Conflicts: 469000 | #Constraints: 22754
1469.20/1473.60 c #Conflicts: 470000 | #Constraints: 23754
1469.20/1473.60 c #Conflicts: 471000 | #Constraints: 24754
1469.20/1473.60 c #Conflicts: 472000 | #Constraints: 25754
1469.20/1473.60 c #Conflicts: 473000 | #Constraints: 26754
1469.20/1473.60 c #Conflicts: 474000 | #Constraints: 27754
1469.20/1473.60 c INPROCESSING
1469.20/1473.60 c GARBAGE COLLECT
1787.22/1792.56 c #Conflicts: 475000 | #Constraints: 15152
1787.22/1792.56 c #Conflicts: 476000 | #Constraints: 16152
1787.22/1792.56 c #Conflicts: 477000 | #Constraints: 17152
1787.22/1792.56 c #Conflicts: 478000 | #Constraints: 18152
1787.22/1792.56 c #Conflicts: 479000 | #Constraints: 19152
1787.22/1792.56 c #Conflicts: 480000 | #Constraints: 20152
1787.22/1792.56 c #Conflicts: 481000 | #Constraints: 21152
1787.22/1792.56 c #Conflicts: 482000 | #Constraints: 22152
1787.22/1792.56 c #Conflicts: 483000 | #Constraints: 23152
1787.22/1792.56 c #Conflicts: 484000 | #Constraints: 24152
1787.22/1792.56 c #Conflicts: 485000 | #Constraints: 25152
1787.22/1792.56 c #Conflicts: 486000 | #Constraints: 26152
1787.22/1792.56 c #Conflicts: 487000 | #Constraints: 27152
1787.22/1792.56 c #Conflicts: 488000 | #Constraints: 28152
1787.22/1792.56 c INPROCESSING
1787.22/1792.56 c GARBAGE COLLECT
1787.22/1792.56 c #Conflicts: 489000 | #Constraints: 15353
1787.22/1792.56 c #Conflicts: 490000 | #Constraints: 16353
1787.22/1792.56 c #Conflicts: 491000 | #Constraints: 17353
1787.22/1792.56 c #Conflicts: 492000 | #Constraints: 18353
1787.22/1792.56 c #Conflicts: 493000 | #Constraints: 19353
1787.22/1792.56 c #Conflicts: 494000 | #Constraints: 20353
1787.22/1792.56 c #Conflicts: 495000 | #Constraints: 21353
1787.22/1792.56 c #Conflicts: 496000 | #Constraints: 22353
1787.22/1792.56 c #Conflicts: 497000 | #Constraints: 23353
1787.22/1792.56 c #Conflicts: 498000 | #Constraints: 24353
1787.22/1792.56 c #Conflicts: 499000 | #Constraints: 25353
1787.22/1792.56 c #Conflicts: 500000 | #Constraints: 26353
1787.22/1792.56 c #Conflicts: 501000 | #Constraints: 27353
1787.22/1792.56 c #Conflicts: 502000 | #Constraints: 28353
1787.22/1792.56 c INPROCESSING
1787.22/1792.56 c GARBAGE COLLECT
1787.22/1792.56 c #Conflicts: 503000 | #Constraints: 15353
1787.22/1792.56 c #Conflicts: 504000 | #Constraints: 16353
1787.22/1792.56 c #Conflicts: 505000 | #Constraints: 17353
1787.22/1792.56 c #Conflicts: 506000 | #Constraints: 18353
1787.22/1792.56 c #Conflicts: 507000 | #Constraints: 19353
1787.22/1792.56 c #Conflicts: 508000 | #Constraints: 20353
1787.22/1792.56 c #Conflicts: 509000 | #Constraints: 21353
1787.22/1792.56 c #Conflicts: 510000 | #Constraints: 22353
1787.22/1792.56 c #Conflicts: 511000 | #Constraints: 23353
1787.22/1792.56 c #Conflicts: 512000 | #Constraints: 24353
1787.22/1792.56 c #Conflicts: 513000 | #Constraints: 25353
1787.22/1792.56 c #Conflicts: 514000 | #Constraints: 26353
1787.22/1792.56 c #Conflicts: 515000 | #Constraints: 27353
1787.22/1792.56 c #Conflicts: 516000 | #Constraints: 28353
1787.22/1792.56 c INPROCESSING
1787.22/1792.56 c GARBAGE COLLECT
1787.22/1792.56 c #Conflicts: 517000 | #Constraints: 15148
1787.22/1792.56 c #Conflicts: 518000 | #Constraints: 16148
1787.22/1792.56 c #Conflicts: 519000 | #Constraints: 17148
1787.22/1792.56 c #Conflicts: 520000 | #Constraints: 18148
1787.22/1792.56 c #Conflicts: 521000 | #Constraints: 19148
1787.22/1792.56 c #Conflicts: 522000 | #Constraints: 20148
1787.22/1792.56 c #Conflicts: 523000 | #Constraints: 21148
1787.22/1792.56 c #Conflicts: 524000 | #Constraints: 22148
1787.22/1792.56 c #Conflicts: 525000 | #Constraints: 23148
1787.22/1792.56 c #Conflicts: 526000 | #Constraints: 24148
1787.22/1792.56 c #Conflicts: 527000 | #Constraints: 25148
1787.22/1792.56 c #Conflicts: 528000 | #Constraints: 26148
1787.22/1792.56 c #Conflicts: 529000 | #Constraints: 27148
1787.22/1792.56 c #Conflicts: 530000 | #Constraints: 28148
1787.22/1792.56 c #Conflicts: 531000 | #Constraints: 29148
1787.22/1792.56 c INPROCESSING
1787.22/1792.56 c GARBAGE COLLECT
1787.22/1792.56 c #Conflicts: 532000 | #Constraints: 15752
1787.22/1792.56 c #Conflicts: 533000 | #Constraints: 16752
1787.22/1792.56 c #Conflicts: 534000 | #Constraints: 17752
1787.22/1792.56 c #Conflicts: 535000 | #Constraints: 18752
1787.22/1792.56 c #Conflicts: 536000 | #Constraints: 19752
1787.22/1792.56 c #Conflicts: 537000 | #Constraints: 20752
1787.22/1792.56 c #Conflicts: 538000 | #Constraints: 21752
1787.22/1792.56 c #Conflicts: 539000 | #Constraints: 22752
1787.22/1792.56 c #Conflicts: 540000 | #Constraints: 23752
1787.22/1792.56 c #Conflicts: 541000 | #Constraints: 24752
1787.22/1792.56 c #Conflicts: 542000 | #Constraints: 25752
1787.22/1792.56 c #Conflicts: 543000 | #Constraints: 26752
1787.22/1792.56 c #Conflicts: 544000 | #Constraints: 27752
1787.22/1792.56 c #Conflicts: 545000 | #Constraints: 28752
1787.22/1792.56 c #Conflicts: 546000 | #Constraints: 29752
1787.22/1792.56 c INPROCESSING
1787.22/1792.56 c GARBAGE COLLECT
1787.22/1792.56 c #Conflicts: 547000 | #Constraints: 16152
1787.22/1792.56 c #Conflicts: 548000 | #Constraints: 17152
1787.22/1792.56 c #Conflicts: 549000 | #Constraints: 18152
1787.22/1792.56 c #Conflicts: 550000 | #Constraints: 19152
2086.50/2092.64 c #Conflicts: 551000 | #Constraints: 20152
2086.50/2092.64 c #Conflicts: 552000 | #Constraints: 21152
2086.50/2092.64 c #Conflicts: 553000 | #Constraints: 22152
2086.50/2092.64 c #Conflicts: 554000 | #Constraints: 23152
2086.50/2092.64 c #Conflicts: 555000 | #Constraints: 24152
2086.50/2092.64 c #Conflicts: 556000 | #Constraints: 25152
2086.50/2092.64 c #Conflicts: 557000 | #Constraints: 26152
2086.50/2092.64 c #Conflicts: 558000 | #Constraints: 27152
2086.50/2092.64 c #Conflicts: 559000 | #Constraints: 28152
2086.50/2092.64 c #Conflicts: 560000 | #Constraints: 29152
2086.50/2092.64 c #Conflicts: 561000 | #Constraints: 30152
2086.50/2092.64 c INPROCESSING
2086.50/2092.64 c GARBAGE COLLECT
2086.50/2092.64 c #Conflicts: 562000 | #Constraints: 16351
2086.50/2092.64 c #Conflicts: 563000 | #Constraints: 17351
2086.50/2092.64 c #Conflicts: 564000 | #Constraints: 18351
2086.50/2092.64 c #Conflicts: 565000 | #Constraints: 19351
2086.50/2092.64 c #Conflicts: 566000 | #Constraints: 20351
2086.50/2092.64 c #Conflicts: 567000 | #Constraints: 21351
2086.50/2092.64 c #Conflicts: 568000 | #Constraints: 22351
2086.50/2092.64 c #Conflicts: 569000 | #Constraints: 23351
2086.50/2092.64 c #Conflicts: 570000 | #Constraints: 24351
2086.50/2092.64 c #Conflicts: 571000 | #Constraints: 25351
2086.50/2092.64 c #Conflicts: 572000 | #Constraints: 26351
2086.50/2092.64 c #Conflicts: 573000 | #Constraints: 27351
2086.50/2092.64 c #Conflicts: 574000 | #Constraints: 28351
2086.50/2092.64 c #Conflicts: 575000 | #Constraints: 29351
2086.50/2092.64 c #Conflicts: 576000 | #Constraints: 30351
2086.50/2092.64 c INPROCESSING
2086.50/2092.64 c GARBAGE COLLECT
2086.50/2092.64 c #Conflicts: 577000 | #Constraints: 16347
2086.50/2092.64 c #Conflicts: 578000 | #Constraints: 17347
2086.50/2092.64 c #Conflicts: 579000 | #Constraints: 18347
2086.50/2092.64 c #Conflicts: 580000 | #Constraints: 19347
2086.50/2092.64 c #Conflicts: 581000 | #Constraints: 20347
2086.50/2092.64 c #Conflicts: 582000 | #Constraints: 21347
2086.50/2092.64 c #Conflicts: 583000 | #Constraints: 22347
2086.50/2092.64 c #Conflicts: 584000 | #Constraints: 23347
2086.50/2092.64 c #Conflicts: 585000 | #Constraints: 24347
2086.50/2092.64 c #Conflicts: 586000 | #Constraints: 25347
2086.50/2092.64 c #Conflicts: 587000 | #Constraints: 26347
2086.50/2092.64 c #Conflicts: 588000 | #Constraints: 27347
2086.50/2092.64 c #Conflicts: 589000 | #Constraints: 28347
2086.50/2092.64 c #Conflicts: 590000 | #Constraints: 29347
2086.50/2092.64 c #Conflicts: 591000 | #Constraints: 30347
2086.50/2092.64 c INPROCESSING
2086.50/2092.64 c GARBAGE COLLECT
2086.50/2092.64 c #Conflicts: 592000 | #Constraints: 16149
2086.50/2092.64 c #Conflicts: 593000 | #Constraints: 17149
2086.50/2092.64 c #Conflicts: 594000 | #Constraints: 18149
2086.50/2092.64 c #Conflicts: 595000 | #Constraints: 19149
2086.50/2092.64 c #Conflicts: 596000 | #Constraints: 20149
2086.50/2092.64 c #Conflicts: 597000 | #Constraints: 21149
2086.50/2092.64 c #Conflicts: 598000 | #Constraints: 22149
2086.50/2092.64 c #Conflicts: 599000 | #Constraints: 23149
2086.50/2092.64 c #Conflicts: 600000 | #Constraints: 24149
2086.50/2092.64 c #Conflicts: 601000 | #Constraints: 25149
2086.50/2092.64 c #Conflicts: 602000 | #Constraints: 26149
2086.50/2092.64 c #Conflicts: 603000 | #Constraints: 27149
2086.50/2092.64 c #Conflicts: 604000 | #Constraints: 28149
2086.50/2092.64 c #Conflicts: 605000 | #Constraints: 29149
2086.50/2092.64 c #Conflicts: 606000 | #Constraints: 30149
2086.50/2092.64 c #Conflicts: 607000 | #Constraints: 31149
2086.50/2092.64 c INPROCESSING
2086.50/2092.64 c GARBAGE COLLECT
2086.50/2092.64 c #Conflicts: 608000 | #Constraints: 16754
2086.50/2092.64 c #Conflicts: 609000 | #Constraints: 17754
2086.50/2092.64 c #Conflicts: 610000 | #Constraints: 18754
2086.50/2092.64 c #Conflicts: 611000 | #Constraints: 19754
2086.50/2092.64 c #Conflicts: 612000 | #Constraints: 20754
2086.50/2092.64 c #Conflicts: 613000 | #Constraints: 21754
2086.50/2092.64 c #Conflicts: 614000 | #Constraints: 22754
2086.50/2092.64 c #Conflicts: 615000 | #Constraints: 23754
2086.50/2092.64 c #Conflicts: 616000 | #Constraints: 24754
2086.50/2092.64 c #Conflicts: 617000 | #Constraints: 25754
2086.50/2092.64 c #Conflicts: 618000 | #Constraints: 26754
2086.50/2092.64 c #Conflicts: 619000 | #Constraints: 27754
2086.50/2092.64 c #Conflicts: 620000 | #Constraints: 28754
2086.50/2092.64 c #Conflicts: 621000 | #Constraints: 29754
2086.50/2092.64 c #Conflicts: 622000 | #Constraints: 30754
2086.50/2092.64 c #Conflicts: 623000 | #Constraints: 31754
2086.50/2092.64 c INPROCESSING
2086.50/2092.64 c GARBAGE COLLECT
2086.50/2092.64 c #Conflicts: 624000 | #Constraints: 17151
2086.50/2092.64 c #Conflicts: 625000 | #Constraints: 18151
2086.50/2092.64 c #Conflicts: 626000 | #Constraints: 19151
2426.08/2433.12 c #Conflicts: 627000 | #Constraints: 20151
2426.08/2433.12 c #Conflicts: 628000 | #Constraints: 21151
2426.08/2433.12 c #Conflicts: 629000 | #Constraints: 22151
2426.08/2433.12 c #Conflicts: 630000 | #Constraints: 23151
2426.08/2433.12 c #Conflicts: 631000 | #Constraints: 24151
2426.08/2433.12 c #Conflicts: 632000 | #Constraints: 25151
2426.08/2433.12 c #Conflicts: 633000 | #Constraints: 26151
2426.08/2433.12 c #Conflicts: 634000 | #Constraints: 27151
2426.08/2433.12 c #Conflicts: 635000 | #Constraints: 28151
2426.08/2433.12 c #Conflicts: 636000 | #Constraints: 29151
2426.08/2433.12 c #Conflicts: 637000 | #Constraints: 30151
2426.08/2433.12 c #Conflicts: 638000 | #Constraints: 31151
2426.08/2433.12 c #Conflicts: 639000 | #Constraints: 32151
2426.08/2433.12 c INPROCESSING
2426.08/2433.12 c GARBAGE COLLECT
2426.08/2433.12 c #Conflicts: 640000 | #Constraints: 17350
2426.08/2433.12 c #Conflicts: 641000 | #Constraints: 18350
2426.08/2433.12 c #Conflicts: 642000 | #Constraints: 19350
2426.08/2433.12 c #Conflicts: 643000 | #Constraints: 20350
2426.08/2433.12 c #Conflicts: 644000 | #Constraints: 21350
2426.08/2433.12 c #Conflicts: 645000 | #Constraints: 22350
2426.08/2433.12 c #Conflicts: 646000 | #Constraints: 23350
2426.08/2433.12 c #Conflicts: 647000 | #Constraints: 24350
2426.08/2433.12 c #Conflicts: 648000 | #Constraints: 25350
2426.08/2433.12 c #Conflicts: 649000 | #Constraints: 26350
2426.08/2433.12 c #Conflicts: 650000 | #Constraints: 27350
2426.08/2433.12 c #Conflicts: 651000 | #Constraints: 28350
2426.08/2433.12 c #Conflicts: 652000 | #Constraints: 29350
2426.08/2433.12 c #Conflicts: 653000 | #Constraints: 30350
2426.08/2433.12 c #Conflicts: 654000 | #Constraints: 31350
2426.08/2433.12 c #Conflicts: 655000 | #Constraints: 32350
2426.08/2433.12 c INPROCESSING
2426.08/2433.12 c GARBAGE COLLECT
2426.08/2433.12 c #Conflicts: 656000 | #Constraints: 17349
2426.08/2433.12 c #Conflicts: 657000 | #Constraints: 18349
2426.08/2433.12 c #Conflicts: 658000 | #Constraints: 19349
2426.08/2433.12 c #Conflicts: 659000 | #Constraints: 20349
2426.08/2433.12 c #Conflicts: 660000 | #Constraints: 21349
2426.08/2433.12 c #Conflicts: 661000 | #Constraints: 22349
2426.08/2433.12 c #Conflicts: 662000 | #Constraints: 23349
2426.08/2433.12 c #Conflicts: 663000 | #Constraints: 24349
2426.08/2433.12 c #Conflicts: 664000 | #Constraints: 25349
2426.08/2433.12 c #Conflicts: 665000 | #Constraints: 26349
2426.08/2433.12 c #Conflicts: 666000 | #Constraints: 27349
2426.08/2433.12 c #Conflicts: 667000 | #Constraints: 28349
2426.08/2433.12 c #Conflicts: 668000 | #Constraints: 29349
2426.08/2433.12 c #Conflicts: 669000 | #Constraints: 30349
2426.08/2433.12 c #Conflicts: 670000 | #Constraints: 31349
2426.08/2433.12 c #Conflicts: 671000 | #Constraints: 32349
2426.08/2433.12 c INPROCESSING
2426.08/2433.12 c GARBAGE COLLECT
2426.08/2433.12 c #Conflicts: 672000 | #Constraints: 17148
2426.08/2433.12 c #Conflicts: 673000 | #Constraints: 18148
2426.08/2433.12 c #Conflicts: 674000 | #Constraints: 19148
2426.08/2433.12 c #Conflicts: 675000 | #Constraints: 20148
2426.08/2433.12 c #Conflicts: 676000 | #Constraints: 21148
2426.08/2433.12 c #Conflicts: 677000 | #Constraints: 22148
2426.08/2433.12 c #Conflicts: 678000 | #Constraints: 23148
2426.08/2433.12 c #Conflicts: 679000 | #Constraints: 24148
2426.08/2433.12 c #Conflicts: 680000 | #Constraints: 25148
2426.08/2433.12 c #Conflicts: 681000 | #Constraints: 26148
2426.08/2433.12 c #Conflicts: 682000 | #Constraints: 27148
2426.08/2433.12 c #Conflicts: 683000 | #Constraints: 28148
2426.08/2433.12 c #Conflicts: 684000 | #Constraints: 29148
2426.08/2433.12 c #Conflicts: 685000 | #Constraints: 30148
2426.08/2433.12 c #Conflicts: 686000 | #Constraints: 31148
2426.08/2433.12 c #Conflicts: 687000 | #Constraints: 32148
2426.08/2433.12 c #Conflicts: 688000 | #Constraints: 33148
2426.08/2433.12 c INPROCESSING
2426.08/2433.12 c GARBAGE COLLECT
2426.08/2433.12 c #Conflicts: 689000 | #Constraints: 17744
2426.08/2433.12 c #Conflicts: 690000 | #Constraints: 18744
2426.08/2433.12 c #Conflicts: 691000 | #Constraints: 19744
2426.08/2433.12 c #Conflicts: 692000 | #Constraints: 20744
2426.08/2433.12 c #Conflicts: 693000 | #Constraints: 21744
2426.08/2433.12 c #Conflicts: 694000 | #Constraints: 22744
2426.08/2433.12 c #Conflicts: 695000 | #Constraints: 23744
2426.08/2433.12 c #Conflicts: 696000 | #Constraints: 24744
2426.08/2433.12 c #Conflicts: 697000 | #Constraints: 25744
2426.08/2433.12 c #Conflicts: 698000 | #Constraints: 26744
2426.08/2433.12 c #Conflicts: 699000 | #Constraints: 27744
2426.08/2433.12 c #Conflicts: 700000 | #Constraints: 28744
2426.08/2433.12 c #Conflicts: 701000 | #Constraints: 29744
2426.08/2433.12 c #Conflicts: 702000 | #Constraints: 30744
2867.53/2876.00 c #Conflicts: 703000 | #Constraints: 31744
2867.53/2876.00 c #Conflicts: 704000 | #Constraints: 32744
2867.53/2876.00 c #Conflicts: 705000 | #Constraints: 33744
2867.53/2876.00 c INPROCESSING
2867.53/2876.00 c GARBAGE COLLECT
2867.53/2876.00 c #Conflicts: 706000 | #Constraints: 18148
2867.53/2876.00 c #Conflicts: 707000 | #Constraints: 19148
2867.53/2876.00 c #Conflicts: 708000 | #Constraints: 20148
2867.53/2876.00 c #Conflicts: 709000 | #Constraints: 21148
2867.53/2876.00 c #Conflicts: 710000 | #Constraints: 22148
2867.53/2876.00 c #Conflicts: 711000 | #Constraints: 23148
2867.53/2876.00 c #Conflicts: 712000 | #Constraints: 24148
2867.53/2876.00 c #Conflicts: 713000 | #Constraints: 25148
2867.53/2876.00 c #Conflicts: 714000 | #Constraints: 26148
2867.53/2876.00 c #Conflicts: 715000 | #Constraints: 27148
2867.53/2876.00 c #Conflicts: 716000 | #Constraints: 28148
2867.53/2876.00 c #Conflicts: 717000 | #Constraints: 29148
2867.53/2876.00 c #Conflicts: 718000 | #Constraints: 30148
2867.53/2876.00 c #Conflicts: 719000 | #Constraints: 31148
2867.53/2876.00 c #Conflicts: 720000 | #Constraints: 32148
2867.53/2876.00 c #Conflicts: 721000 | #Constraints: 33148
2867.53/2876.00 c #Conflicts: 722000 | #Constraints: 34148
2867.53/2876.00 c INPROCESSING
2867.53/2876.00 c GARBAGE COLLECT
2867.53/2876.00 c #Conflicts: 723000 | #Constraints: 18351
2867.53/2876.00 c #Conflicts: 724000 | #Constraints: 19351
2867.53/2876.00 c #Conflicts: 725000 | #Constraints: 20351
2867.53/2876.00 c #Conflicts: 726000 | #Constraints: 21351
2867.53/2876.00 c #Conflicts: 727000 | #Constraints: 22351
2867.53/2876.00 c #Conflicts: 728000 | #Constraints: 23351
2867.53/2876.00 c #Conflicts: 729000 | #Constraints: 24351
2867.53/2876.00 c #Conflicts: 730000 | #Constraints: 25351
2867.53/2876.00 c #Conflicts: 731000 | #Constraints: 26351
2867.53/2876.00 c #Conflicts: 732000 | #Constraints: 27351
2867.53/2876.00 c #Conflicts: 733000 | #Constraints: 28351
2867.53/2876.00 c #Conflicts: 734000 | #Constraints: 29351
2867.53/2876.00 c #Conflicts: 735000 | #Constraints: 30351
2867.53/2876.00 c #Conflicts: 736000 | #Constraints: 31351
2867.53/2876.00 c #Conflicts: 737000 | #Constraints: 32351
2867.53/2876.00 c #Conflicts: 738000 | #Constraints: 33351
2867.53/2876.00 c #Conflicts: 739000 | #Constraints: 34351
2867.53/2876.00 c INPROCESSING
2867.53/2876.00 c GARBAGE COLLECT
2867.53/2876.00 c #Conflicts: 740000 | #Constraints: 18355
2867.53/2876.00 c #Conflicts: 741000 | #Constraints: 19355
2867.53/2876.00 c #Conflicts: 742000 | #Constraints: 20355
2867.53/2876.00 c #Conflicts: 743000 | #Constraints: 21355
2867.53/2876.00 c #Conflicts: 744000 | #Constraints: 22355
2867.53/2876.00 c #Conflicts: 745000 | #Constraints: 23355
2867.53/2876.00 c #Conflicts: 746000 | #Constraints: 24355
2867.53/2876.00 c #Conflicts: 747000 | #Constraints: 25355
2867.53/2876.00 c #Conflicts: 748000 | #Constraints: 26355
2867.53/2876.00 c #Conflicts: 749000 | #Constraints: 27355
2867.53/2876.00 c #Conflicts: 750000 | #Constraints: 28355
2867.53/2876.00 c #Conflicts: 751000 | #Constraints: 29355
2867.53/2876.00 c #Conflicts: 752000 | #Constraints: 30355
2867.53/2876.00 c #Conflicts: 753000 | #Constraints: 31355
2867.53/2876.00 c #Conflicts: 754000 | #Constraints: 32355
2867.53/2876.00 c #Conflicts: 755000 | #Constraints: 33355
2867.53/2876.00 c #Conflicts: 756000 | #Constraints: 34355
2867.53/2876.00 c INPROCESSING
2867.53/2876.00 c GARBAGE COLLECT
2867.53/2876.00 c #Conflicts: 757000 | #Constraints: 18154
2867.53/2876.00 c #Conflicts: 758000 | #Constraints: 19154
2867.53/2876.00 c #Conflicts: 759000 | #Constraints: 20154
2867.53/2876.00 c #Conflicts: 760000 | #Constraints: 21154
2867.53/2876.00 c #Conflicts: 761000 | #Constraints: 22154
2867.53/2876.00 c #Conflicts: 762000 | #Constraints: 23154
2867.53/2876.00 c #Conflicts: 763000 | #Constraints: 24154
2867.53/2876.00 c #Conflicts: 764000 | #Constraints: 25154
2867.53/2876.00 c #Conflicts: 765000 | #Constraints: 26154
2867.53/2876.00 c #Conflicts: 766000 | #Constraints: 27154
2867.53/2876.00 c #Conflicts: 767000 | #Constraints: 28154
2867.53/2876.00 c #Conflicts: 768000 | #Constraints: 29154
2867.53/2876.00 c #Conflicts: 769000 | #Constraints: 30154
2867.53/2876.00 c #Conflicts: 770000 | #Constraints: 31154
2867.53/2876.00 c #Conflicts: 771000 | #Constraints: 32154
2867.53/2876.00 c #Conflicts: 772000 | #Constraints: 33154
2867.53/2876.00 c #Conflicts: 773000 | #Constraints: 34154
2867.53/2876.00 c #Conflicts: 774000 | #Constraints: 35154
2867.53/2876.00 c INPROCESSING
2867.53/2876.00 c GARBAGE COLLECT
2867.53/2876.00 c #Conflicts: 775000 | #Constraints: 18754
2867.53/2876.00 c #Conflicts: 776000 | #Constraints: 19754
2867.53/2876.00 c #Conflicts: 777000 | #Constraints: 20754
3293.15/3302.83 c #Conflicts: 778000 | #Constraints: 21754
3293.15/3302.83 c #Conflicts: 779000 | #Constraints: 22754
3293.15/3302.83 c #Conflicts: 780000 | #Constraints: 23754
3293.15/3302.83 c #Conflicts: 781000 | #Constraints: 24754
3293.15/3302.83 c #Conflicts: 782000 | #Constraints: 25754
3293.15/3302.83 c #Conflicts: 783000 | #Constraints: 26754
3293.15/3302.83 c #Conflicts: 784000 | #Constraints: 27754
3293.15/3302.83 c #Conflicts: 785000 | #Constraints: 28754
3293.15/3302.83 c #Conflicts: 786000 | #Constraints: 29754
3293.15/3302.83 c #Conflicts: 787000 | #Constraints: 30754
3293.15/3302.83 c #Conflicts: 788000 | #Constraints: 31754
3293.15/3302.83 c #Conflicts: 789000 | #Constraints: 32754
3293.15/3302.83 c #Conflicts: 790000 | #Constraints: 33754
3293.15/3302.83 c #Conflicts: 791000 | #Constraints: 34754
3293.15/3302.83 c #Conflicts: 792000 | #Constraints: 35754
3293.15/3302.83 c INPROCESSING
3293.15/3302.83 c GARBAGE COLLECT
3293.15/3302.83 c #Conflicts: 793000 | #Constraints: 19147
3293.15/3302.83 c #Conflicts: 794000 | #Constraints: 20147
3293.15/3302.83 c #Conflicts: 795000 | #Constraints: 21147
3293.15/3302.83 c #Conflicts: 796000 | #Constraints: 22147
3293.15/3302.83 c #Conflicts: 797000 | #Constraints: 23147
3293.15/3302.83 c #Conflicts: 798000 | #Constraints: 24147
3293.15/3302.83 c #Conflicts: 799000 | #Constraints: 25147
3293.15/3302.83 c #Conflicts: 800000 | #Constraints: 26147
3293.15/3302.83 c #Conflicts: 801000 | #Constraints: 27147
3293.15/3302.83 c #Conflicts: 802000 | #Constraints: 28147
3293.15/3302.83 c #Conflicts: 803000 | #Constraints: 29147
3293.15/3302.83 c #Conflicts: 804000 | #Constraints: 30147
3293.15/3302.83 c #Conflicts: 805000 | #Constraints: 31147
3293.15/3302.83 c #Conflicts: 806000 | #Constraints: 32147
3293.15/3302.83 c #Conflicts: 807000 | #Constraints: 33147
3293.15/3302.83 c #Conflicts: 808000 | #Constraints: 34147
3293.15/3302.83 c #Conflicts: 809000 | #Constraints: 35147
3293.15/3302.83 c #Conflicts: 810000 | #Constraints: 36147
3293.15/3302.83 c INPROCESSING
3293.15/3302.83 c GARBAGE COLLECT
3293.15/3302.83 c #Conflicts: 811000 | #Constraints: 19348
3293.15/3302.83 c #Conflicts: 812000 | #Constraints: 20348
3293.15/3302.83 c #Conflicts: 813000 | #Constraints: 21348
3293.15/3302.83 c #Conflicts: 814000 | #Constraints: 22348
3293.15/3302.83 c #Conflicts: 815000 | #Constraints: 23348
3293.15/3302.83 c #Conflicts: 816000 | #Constraints: 24348
3293.15/3302.83 c #Conflicts: 817000 | #Constraints: 25348
3293.15/3302.83 c #Conflicts: 818000 | #Constraints: 26348
3293.15/3302.83 c #Conflicts: 819000 | #Constraints: 27348
3293.15/3302.83 c #Conflicts: 820000 | #Constraints: 28348
3293.15/3302.83 c #Conflicts: 821000 | #Constraints: 29348
3293.15/3302.83 c #Conflicts: 822000 | #Constraints: 30348
3293.15/3302.83 c #Conflicts: 823000 | #Constraints: 31348
3293.15/3302.83 c #Conflicts: 824000 | #Constraints: 32348
3293.15/3302.83 c #Conflicts: 825000 | #Constraints: 33348
3293.15/3302.83 c #Conflicts: 826000 | #Constraints: 34348
3293.15/3302.83 c #Conflicts: 827000 | #Constraints: 35348
3293.15/3302.83 c #Conflicts: 828000 | #Constraints: 36348
3293.15/3302.83 c INPROCESSING
3293.15/3302.83 c GARBAGE COLLECT
3293.15/3302.83 c #Conflicts: 829000 | #Constraints: 19352
3293.15/3302.83 c #Conflicts: 830000 | #Constraints: 20352
3293.15/3302.83 c #Conflicts: 831000 | #Constraints: 21352
3293.15/3302.83 c #Conflicts: 832000 | #Constraints: 22352
3293.15/3302.83 c #Conflicts: 833000 | #Constraints: 23352
3293.15/3302.83 c #Conflicts: 834000 | #Constraints: 24352
3293.15/3302.83 c #Conflicts: 835000 | #Constraints: 25352
3293.15/3302.83 c #Conflicts: 836000 | #Constraints: 26352
3293.15/3302.83 c #Conflicts: 837000 | #Constraints: 27352
3293.15/3302.83 c #Conflicts: 838000 | #Constraints: 28352
3293.15/3302.83 c #Conflicts: 839000 | #Constraints: 29352
3293.15/3302.83 c #Conflicts: 840000 | #Constraints: 30352
3293.15/3302.83 c #Conflicts: 841000 | #Constraints: 31352
3293.15/3302.83 c #Conflicts: 842000 | #Constraints: 32352
3293.15/3302.83 c #Conflicts: 843000 | #Constraints: 33352
3293.15/3302.83 c #Conflicts: 844000 | #Constraints: 34352
3293.15/3302.83 c #Conflicts: 845000 | #Constraints: 35352
3293.15/3302.83 c #Conflicts: 846000 | #Constraints: 36352
3293.15/3302.83 c INPROCESSING
3293.15/3302.83 c GARBAGE COLLECT
3293.15/3302.83 c #Conflicts: 847000 | #Constraints: 19149
3293.15/3302.83 c #Conflicts: 848000 | #Constraints: 20149
3293.15/3302.83 c #Conflicts: 849000 | #Constraints: 21149
3293.15/3302.83 c #Conflicts: 850000 | #Constraints: 22149
3293.15/3302.83 c #Conflicts: 851000 | #Constraints: 23149
3293.15/3302.83 c #Conflicts: 852000 | #Constraints: 24149
3293.15/3302.83 c #Conflicts: 853000 | #Constraints: 25149
3293.15/3302.83 c #Conflicts: 854000 | #Constraints: 26149
3600.04/3610.60 c #Conflicts: 855000 | #Constraints: 27149
3600.04/3610.60 c #Conflicts: 856000 | #Constraints: 28149
3600.04/3610.60 c #Conflicts: 857000 | #Constraints: 29149
3600.04/3610.60 c #Conflicts: 858000 | #Constraints: 30149
3600.04/3610.60 c #Conflicts: 859000 | #Constraints: 31149
3600.04/3610.60 c #Conflicts: 860000 | #Constraints: 32149
3600.04/3610.60 c #Conflicts: 861000 | #Constraints: 33149
3600.04/3610.60 c #Conflicts: 862000 | #Constraints: 34149
3600.04/3610.60 c #Conflicts: 863000 | #Constraints: 35149
3600.04/3610.60 c #Conflicts: 864000 | #Constraints: 36149
3600.04/3610.60 c #Conflicts: 865000 | #Constraints: 37149
3600.04/3610.60 c INPROCESSING
3600.04/3610.60 c GARBAGE COLLECT
3600.04/3610.60 c #Conflicts: 866000 | #Constraints: 19752
3600.04/3610.60 c #Conflicts: 867000 | #Constraints: 20752
3600.04/3610.60 c #Conflicts: 868000 | #Constraints: 21752
3600.04/3610.60 c #Conflicts: 869000 | #Constraints: 22752
3600.04/3610.60 c #Conflicts: 870000 | #Constraints: 23752
3600.04/3610.60 c #Conflicts: 871000 | #Constraints: 24752
3600.04/3610.60 c #Conflicts: 872000 | #Constraints: 25752
3600.04/3610.60 c #Conflicts: 873000 | #Constraints: 26752
3600.04/3610.60 c #Conflicts: 874000 | #Constraints: 27752
3600.04/3610.60 c #Conflicts: 875000 | #Constraints: 28752
3600.04/3610.60 c #Conflicts: 876000 | #Constraints: 29752
3600.04/3610.60 c #Conflicts: 877000 | #Constraints: 30752
3600.04/3610.60 c #Conflicts: 878000 | #Constraints: 31752
3600.04/3610.60 c #Conflicts: 879000 | #Constraints: 32752
3600.04/3610.60 c #Conflicts: 880000 | #Constraints: 33752
3600.04/3610.60 c #Conflicts: 881000 | #Constraints: 34752
3600.04/3610.60 c #Conflicts: 882000 | #Constraints: 35752
3600.04/3610.60 c #Conflicts: 883000 | #Constraints: 36752
3600.04/3610.60 c #Conflicts: 884000 | #Constraints: 37752
3600.04/3610.60 c INPROCESSING
3600.04/3610.60 c GARBAGE COLLECT
3600.04/3610.60 c #Conflicts: 885000 | #Constraints: 20152
3600.04/3610.60 c #Conflicts: 886000 | #Constraints: 21152
3600.04/3610.60 c #Conflicts: 887000 | #Constraints: 22152
3600.04/3610.60 c #Conflicts: 888000 | #Constraints: 23152
3600.04/3610.60 c #Conflicts: 889000 | #Constraints: 24152
3600.04/3610.60 c #Conflicts: 890000 | #Constraints: 25152
3600.04/3610.60 c #Conflicts: 891000 | #Constraints: 26152
3600.04/3610.60 c #Conflicts: 892000 | #Constraints: 27152
3600.04/3610.60 c #Conflicts: 893000 | #Constraints: 28152
3600.04/3610.60 c #Conflicts: 894000 | #Constraints: 29152
3600.04/3610.60 c #Conflicts: 895000 | #Constraints: 30152
3600.04/3610.60 c #Conflicts: 896000 | #Constraints: 31152
3600.04/3610.60 c #Conflicts: 897000 | #Constraints: 32152
3600.04/3610.60 c #Conflicts: 898000 | #Constraints: 33152
3600.04/3610.60 c #Conflicts: 899000 | #Constraints: 34152
3600.04/3610.60 c #Conflicts: 900000 | #Constraints: 35152
3600.04/3610.60 c #Conflicts: 901000 | #Constraints: 36152
3600.04/3610.60 c #Conflicts: 902000 | #Constraints: 37152
3600.04/3610.60 c #Conflicts: 903000 | #Constraints: 38152
3600.04/3610.60 c INPROCESSING
3600.04/3610.60 c GARBAGE COLLECT
3600.04/3610.60 c #Conflicts: 904000 | #Constraints: 20352
3600.04/3610.60 c #Conflicts: 905000 | #Constraints: 21352
3600.04/3610.60 c #Conflicts: 906000 | #Constraints: 22352
3600.04/3610.60 c #Conflicts: 907000 | #Constraints: 23352
3600.04/3610.60 c Program interrupted by user.
3600.04/3610.60 c cpu time 3592 s
3600.04/3610.60 c deterministic time 385416937254 3.85e+11
3600.04/3610.60 c optimization time 31.1537 s
3600.04/3610.60 c total solve time 3261.64 s
3600.04/3610.60 c core-guided solve time 3261.64 s
3600.04/3610.60 c propagation time 2823.28 s
3600.04/3610.60 c conflict analysis time 403.432 s
3600.04/3610.60 c propagations 57487461
3600.04/3610.60 c resolve steps 4751348
3600.04/3610.60 c decisions 4636251
3600.04/3610.60 c conflicts 907251
3600.04/3610.60 c restarts 1978
3600.04/3610.60 c inprocessing phases 86
3600.04/3610.60 c input clauses 56
3600.04/3610.60 c input cardinalities 76
3600.04/3610.60 c input general constraints 473
3600.04/3610.60 c input average constraint length 67.07
3600.04/3610.60 c input average constraint degree 34.19
3600.04/3610.60 c learned clauses 217237
3600.04/3610.60 c learned cardinalities 156
3600.04/3610.60 c learned general constraints 689866
3600.04/3610.60 c learned average constraint length 323.52
3600.04/3610.60 c learned average constraint degree 521757.05
3600.04/3610.60 c watched constraints 582926
3600.04/3610.60 c counting constraints 107413
3600.04/3610.60 c gcd simplifications 175694
3600.04/3610.60 c detected cardinalities 115
3600.04/3610.60 c weakened non-implied lits 31810785
3600.04/3610.60 c weakened non-implying lits 111168
3600.04/3610.60 c original variables 476
3600.04/3610.60 c clausal propagations 980328
3600.04/3610.60 c cardinality propagations 40443
3600.04/3610.60 c watched propagations 30663841
3600.04/3610.60 c counting propagations 25002720
3600.04/3610.60 c watch lookups 59882465694
3600.04/3610.60 c watch backjump lookups 56465948256
3600.04/3610.60 c watch checks 261295068990
3600.04/3610.60 c propagation checks 6657935763
3600.04/3610.60 c constraint additions 990364321
3600.04/3610.60 c trail pops 63030517
3600.04/3610.60 c formula constraints 476
3600.04/3610.60 c learned constraints 907259
3600.04/3610.60 c bound constraints 76
3600.04/3610.60 c core-guided constraints 53
3600.04/3610.60 c encountered formula constraints 2866817
3600.04/3610.60 c encountered learned constraints 2698716
3600.04/3610.60 c encountered bound constraints 187
3600.04/3610.60 c encountered core-guided constraints 92879
3600.04/3610.60 c LP total time 0 s
3600.04/3610.60 c LP solve time 0 s
3600.04/3610.60 c LP constraints added 0
3600.04/3610.60 c LP constraints removed 0
3600.04/3610.60 c LP pivots internal 0
3600.04/3610.60 c LP pivots root 0
3600.04/3610.60 c LP calls 0
3600.04/3610.60 c LP optimalities 0
3600.04/3610.60 c LP no pivot count 0
3600.04/3610.60 c LP infeasibilities 0
3600.04/3610.60 c LP valid Farkas constraints 0
3600.04/3610.60 c LP learned Farkas constraints 0
3600.04/3610.60 c LP basis resets 0
3600.04/3610.60 c LP cycling count 0
3600.04/3610.60 c LP singular count 0
3600.04/3610.60 c LP no primal count 0
3600.04/3610.60 c LP no farkas count 0
3600.04/3610.60 c LP other issue count 0
3600.04/3610.60 c LP Gomory cuts 0
3600.04/3610.60 c LP learned cuts 0
3600.04/3610.60 c LP deleted cuts 0
3600.04/3610.60 c LP encountered Gomory constraints 0
3600.04/3610.60 c LP encountered Farkas constraints 0
3600.04/3610.60 c LP encountered learned Farkas constraints 0
3600.04/3610.60 c CG auxiliary variables introduced 53
3600.04/3610.60 c CG solutions found 0
3600.04/3610.60 c CG cores constructed 75
3600.04/3610.60 c CG core cardinality constraints returned 0
3600.04/3610.60 c CG unit cores 0
3600.04/3610.60 c CG single cores 75
3600.04/3610.60 c CG blocks removed during cardinality reduction 0
3600.04/3610.60 c CG first core best 0
3600.04/3610.60 c CG decision core best 0
3600.04/3610.60 c CG core reduction tie 0
3600.04/3610.60 c CG core degree average 1.00
3600.04/3610.60 c CG core slack average 2.72
3600.04/3610.60 c CG exhausted 0
3600.04/3610.60 c CG exhaust time 0 s
3600.04/3610.60 c CG trimmed 0
3600.04/3610.60 c CG trim time 0.000572 s
3600.04/3610.60 c CG minimized 0
3600.04/3610.60 c CG minimize time 0 s
3600.04/3610.60 c CG am1 prop time 0.000329 s
3600.04/3610.60 c CG # am1s reformulated 53
3600.04/3610.60 c CG lower bound derived from am1s 53
3600.04/3610.60 c CG # clausal cores 16
3600.04/3610.60 c CG # cardinality cores 0
3600.04/3610.60 c CG # pb cores 59
3600.04/3610.60 c CG # pb reforms 0
3600.04/3610.60 c CG # cores discarded because of pb reform 0
3600.04/3610.60 d LOWERBOUND 128
3600.04/3610.60 d NCORES 75
3600.04/3610.60 d NPBCORES 59
3600.04/3610.60 d NPBREFORM 0
3600.04/3610.60 d NTRIMMED 0
3600.04/3610.60 d NEXHAUSTED 0
3600.04/3610.60 d NAM1S 53
3600.04/3610.60 d AM1LB 53
3600.04/3610.60 c [Papilo Statistics]
3600.04/3610.60 c prepro time 0.00415565s
3600.04/3610.60 c # tsx applied 24
3600.04/3610.60 c # tsx conflicts 0
3600.04/3610.60 c # bound changes 0
3600.04/3610.60 c # side changes 0
3600.04/3610.60 c # coef changes 37
3600.04/3610.60 c # rounds 3
3600.04/3610.60 c # deted vars 0
3600.04/3610.60 c # deted constrs 0
3600.04/3610.60 c # consecutive rounds of only bound changes 0
3600.04/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (60702 MiB free)
memory of node 1: 64507 MiB (59560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489313-1751353208/watcher-4489313-1751353208 -o /tmp/evaluation-result-4489313-1751353208/solver-4489313-1751353208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50709 --watchdog 3760 mixed-bag HOME/instance-4489313-1751353208.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51110, runsolver pid=51105
[startup+0.10007 s]*
/proc/loadavg: 4.12 4.11 4.09 4/247 51116
/proc/meminfo: memFree=123157364/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=98964 memory=24064 CPUtime=0.08 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 2391 0 0 0 7 1 0 0 20 0 1 0 51000633 101339136 6016 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 24741 6016 4096 2842 0 6435 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 98964 KiB
Current children cumulated memory: 24064 KiB
[startup+0.21356 s]*
/proc/loadavg: 4.12 4.11 4.09 6/248 51121
/proc/meminfo: memFree=123152340/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=101388 memory=27308 CPUtime=0.19 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 3071 0 0 0 18 1 0 0 20 0 1 0 51000633 103821312 6827 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 25347 6827 4288 2842 0 7041 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 101388 KiB
Current children cumulated memory: 27308 KiB
[startup+0.313705 s]*
/proc/loadavg: 4.12 4.11 4.09 5/247 51121
/proc/meminfo: memFree=123145088/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=101388 memory=27308 CPUtime=0.29 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 3072 0 0 0 28 1 0 0 20 0 1 0 51000633 103821312 6827 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 25347 6827 4288 2842 0 7041 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101388 KiB
Current children cumulated memory: 27308 KiB
[startup+0.70026 s]
/proc/loadavg: 4.12 4.11 4.09 6/252 51130
/proc/meminfo: memFree=123145360/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=101944 memory=27692 CPUtime=0.66 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 3168 0 0 0 65 1 0 0 20 0 1 0 51000633 104390656 6923 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 25486 6923 4288 2842 0 7180 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 101944 KiB
Current children cumulated memory: 27692 KiB
[startup+1.50033 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123127720/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=117948 memory=43692 CPUtime=1.46 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 7191 0 0 0 144 2 0 0 20 0 1 0 51000633 120778752 10923 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 29487 10923 4288 2842 0 11181 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 117948 KiB
Current children cumulated memory: 43692 KiB
[startup+3.11279 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122655244/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=231488 memory=154032 CPUtime=3.07 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 36684 0 0 0 299 8 0 0 20 0 1 0 51000633 237043712 38508 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 57872 38508 4288 2842 0 39566 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 231488 KiB
Current children cumulated memory: 154032 KiB
[startup+6.30025 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122623304/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=235584 memory=157744 CPUtime=6.25 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 37614 0 0 0 617 8 0 0 20 0 1 0 51000633 241238016 39436 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 58896 39436 4288 2842 0 40590 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 235584 KiB
Current children cumulated memory: 157744 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.10 5/252 51130
/proc/meminfo: memFree=122623308/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=235584 memory=157744 CPUtime=12.63 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 37614 0 0 0 1255 8 0 0 20 0 1 0 51000633 241238016 39436 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 58896 39436 4288 2842 0 40590 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 235584 KiB
Current children cumulated memory: 157744 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51130
/proc/meminfo: memFree=122290604/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=336452 memory=255996 CPUtime=25.39 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 63205 0 0 0 2527 12 0 0 20 0 1 0 51000633 344526848 63999 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 84113 63999 4288 2842 0 65807 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 336452 KiB
Current children cumulated memory: 255996 KiB
[startup+51.1126 s]
/proc/loadavg: 4.09 4.11 4.09 5/252 51131
/proc/meminfo: memFree=122219784/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=349748 memory=269180 CPUtime=50.92 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 66531 0 0 0 5079 13 0 0 20 0 1 0 51000633 358141952 67295 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 87437 67295 4288 2842 0 69131 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 349748 KiB
Current children cumulated memory: 269180 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51143
/proc/meminfo: memFree=122141252/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=363648 memory=286460 CPUtime=101.93 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 72530 0 0 0 10179 14 0 0 20 0 1 0 51000633 372375552 71615 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 90912 71615 4288 2842 0 72606 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 363648 KiB
Current children cumulated memory: 286460 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 51145
/proc/meminfo: memFree=121952868/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=404696 memory=327548 CPUtime=161.73 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 82801 0 0 0 16157 16 0 0 20 0 1 0 51000633 414408704 81887 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 101174 81887 4288 2842 0 82868 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 404696 KiB
Current children cumulated memory: 327548 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/252 51147
/proc/meminfo: memFree=121954508/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=408204 memory=330364 CPUtime=221.52 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 83543 0 0 0 22136 16 0 0 20 0 1 0 51000633 418000896 82591 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 102051 82591 4288 2842 0 83745 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 408204 KiB
Current children cumulated memory: 330364 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 51149
/proc/meminfo: memFree=121953200/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=408204 memory=330620 CPUtime=281.32 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 83590 0 0 0 28115 17 0 0 20 0 1 0 51000633 418000896 82655 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 102051 82655 4288 2842 0 83745 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 408204 KiB
Current children cumulated memory: 330620 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 51151
/proc/meminfo: memFree=122113556/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=401260 memory=324704 CPUtime=341.12 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 86349 0 0 0 34044 68 0 0 20 0 1 0 51000633 410890240 81176 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 100315 81176 4480 2842 0 82009 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 401260 KiB
Current children cumulated memory: 324704 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 51153
/proc/meminfo: memFree=122070960/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=420228 memory=332400 CPUtime=400.9 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 86769 0 0 0 39980 110 0 0 20 0 1 0 51000633 430313472 83100 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 105057 83100 4480 2842 0 86751 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 420228 KiB
Current children cumulated memory: 332400 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 51155
/proc/meminfo: memFree=122043940/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=420228 memory=337916 CPUtime=460.7 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 86962 0 0 0 45926 144 0 0 20 0 1 0 51000633 430313472 84479 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 105057 84479 4480 2842 0 86751 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
Current children cumulated memory: 392368 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/249 51266
/proc/meminfo: memFree=121871744/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=394416 CPUtime=2853.97 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88796 0 0 0 284733 664 0 0 20 0 1 0 51000633 513163264 98604 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 98604 4480 2842 0 106978 0
Current children cumulated CPU time: 2853.97 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 394416 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 51268
/proc/meminfo: memFree=121874576/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=394416 CPUtime=2913.79 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88857 0 0 0 290701 678 0 0 20 0 1 0 51000633 513163264 98604 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 98604 4480 2842 0 106978 0
Current children cumulated CPU time: 2913.79 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 394416 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 51270
/proc/meminfo: memFree=121877052/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=394416 CPUtime=2973.62 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88858 0 0 0 296670 692 0 0 20 0 1 0 51000633 513163264 98604 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 98604 4480 2842 0 106978 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 394416 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 51279
/proc/meminfo: memFree=121879828/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=394416 CPUtime=3033.44 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88858 0 0 0 302639 705 0 0 20 0 1 0 51000633 513163264 98604 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 98604 4480 2842 0 106978 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 394416 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 51281
/proc/meminfo: memFree=121876720/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=396464 CPUtime=3093.26 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88859 0 0 0 308608 718 0 0 20 0 1 0 51000633 513163264 99116 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99116 4480 2842 0 106978 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 396464 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 51283
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=396464 CPUtime=3153.08 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88859 0 0 0 314578 730 0 0 20 0 1 0 51000633 513163264 99116 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99116 4480 2842 0 106978 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 396464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 51285
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=396464 CPUtime=3212.9 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88859 0 0 0 320549 741 0 0 20 0 1 0 51000633 513163264 99116 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99116 4480 2842 0 106978 0
Current children cumulated CPU time: 3212.9 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 396464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 51287
/proc/meminfo: memFree=121871376/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=398512 CPUtime=3272.72 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88861 0 0 0 326519 753 0 0 20 0 1 0 51000633 513163264 99628 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99628 4480 2842 0 106978 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 398512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 51289
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=398512 CPUtime=3332.52 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88900 0 0 0 332486 766 0 0 20 0 1 0 51000633 513163264 99628 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99628 4480 2842 0 106978 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 398512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 51291
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=398512 CPUtime=3392.36 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88900 0 0 0 338461 775 0 0 20 0 1 0 51000633 513163264 99628 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99628 4480 2842 0 106978 0
Current children cumulated CPU time: 3392.36 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 398512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/249 51293
/proc/meminfo: memFree=121867028/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=398512 CPUtime=3452.19 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88900 0 0 0 344434 785 0 0 20 0 1 0 51000633 513163264 99628 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 99628 4480 2842 0 106978 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 398512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.28 4.16 5/249 51295
/proc/meminfo: memFree=121860088/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=402608 CPUtime=3512.02 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88902 0 0 0 350408 794 0 0 20 0 1 0 51000633 513163264 100652 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 100652 4480 2842 0 106978 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 402608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/249 51297
/proc/meminfo: memFree=121855720/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=402608 CPUtime=3571.83 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88902 0 0 0 356382 801 0 0 20 0 1 0 51000633 513163264 100652 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 100652 4480 2842 0 106978 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 402608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.23 4.23 4.15 3/243 51323
/proc/meminfo: memFree=122487564/131382112 swapFree=33010684/33010684
[pid=51110] ppid=51105 vsize=501136 memory=402608 CPUtime=3600.04 cores=0,2
/proc/51110/stat : 51110 (mixed-bag) R 51105 51110 50699 0 -1 4194304 88902 0 0 0 359199 805 0 0 20 0 1 0 51000633 513163264 100652 18446744073709551615 4235264 15874749 140735807878080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 40091648 140735807879580 140735807879657 140735807879657 140735807885259 0
/proc/51110/statm: 125284 100652 4480 2842 0 106978 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 501136 KiB
Current children cumulated memory: 402608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 51110 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592 s, system=8.05916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.06
CPU user time (s): 3592
CPU system time (s): 8.05916
CPU usage (%): 99.7079
Max. virtual memory (cumulated for all children) (KiB): 501136
Max. memory (cumulated for all children) (KiB): 402608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592
system time used= 8.05916
maximum resident set size= 403120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88932
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= 252
involuntary context switches= 7981
# summary of solver processes directly reported to runsolver:
# pid: 51110
# total CPU time (s): 3600.06
# total CPU user time (s): 3592
# total CPU system time (s): 8.05916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5625 second user time and 35.5271 second system time
The end
Begin job on nodeC009 at 2025-07-01 09:00:08
IDJOB=4489313
IDBENCH=147545
IDSOLVER=3340
FILE ID=nodeC009/4489313-1751353208
RUNJOBID= nodeC009-1751349596-50709
SLURM_JOB_ID= 9598132
Free space on /tmp= 432612 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4489313-1751353208/watcher-4489313-1751353208 -o /tmp/evaluation-result-4489313-1751353208/solver-4489313-1751353208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50709 --watchdog 3760 mixed-bag HOME/instance-4489313-1751353208.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4fbd70ee8b80515313bebcddc52f82a
RANDOM SEED=541342985
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.226
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.218
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.407
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
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 : 0xb00001f
cpu MHz : 1197.203
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123149396 kB
MemAvailable: 129892468 kB
Buffers: 3280 kB
Cached: 7514804 kB
SwapCached: 0 kB
Active: 393652 kB
Inactive: 7215184 kB
Active(anon): 107748 kB
Inactive(anon): 968 kB
Active(file): 285904 kB
Inactive(file): 7214216 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47036 kB
Writeback: 16 kB
AnonPages: 94252 kB
Mapped: 126252 kB
Shmem: 17960 kB
KReclaimable: 164772 kB
Slab: 248568 kB
SReclaimable: 164772 kB
SUnreclaim: 83796 kB
KernelStack: 3984 kB
PageTables: 3024 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 439048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 10:00:19